Logs: liberachat/#haskell
| 2026-02-19 07:10:18 | × | Enrico63 quits (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-19 07:11:58 | → | tt12316070 joins (~tt1231@75.185.104.199) |
| 2026-02-19 07:14:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 07:16:23 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-19 07:18:34 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-19 07:19:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-19 07:22:11 | × | alinab quits (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-19 07:22:23 | → | alinab joins (sid468903@id-468903.helmsley.irccloud.com) |
| 2026-02-19 07:25:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 07:26:07 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 264 seconds) |
| 2026-02-19 07:27:40 | → | pinkc joins (~luke@user/pinkc) |
| 2026-02-19 07:28:00 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 264 seconds) |
| 2026-02-19 07:29:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 07:30:49 | <haskellbridge> | <sm> haskell in the mix! there it is!! |
| 2026-02-19 07:31:08 | <haskellbridge> | <sm> edwardk: "holy mackerel!" |
| 2026-02-19 07:31:09 | <haskellbridge> | <sm> that's a lot |
| 2026-02-19 07:31:22 | <haskellbridge> | <sm> must be very pretty |
| 2026-02-19 07:31:29 | <gentauro> | edwardk: it seems like Stephen Diehl also joined the AI-hype (but with LEAN) https://www.linkedin.com/posts/activity-7429162959521738752-8ynh/ I used to recall him as a very "anti" crypto, but now he is "finance+AI" |
| 2026-02-19 07:31:39 | gentauro | I guess something has to pay for the rent |
| 2026-02-19 07:33:30 | <haskellbridge> | <sm> ha |
| 2026-02-19 07:33:31 | × | bionade24 quits (~quassel@server2.oscloud.info) (Server closed connection) |
| 2026-02-19 07:33:44 | → | bionade24 joins (~quassel@server2.oscloud.info) |
| 2026-02-19 07:33:57 | <haskellbridge> | <sm> I wish he would revive his "what I wish I knew" doc, it was awesome even though old |
| 2026-02-19 07:35:26 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 07:35:26 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 07:35:26 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 07:37:40 | → | tromp joins (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 07:38:07 | × | Square3 quits (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-02-19 07:38:19 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection) |
| 2026-02-19 07:38:29 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 2026-02-19 07:39:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 07:40:56 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 07:41:17 | <gentauro> | sm: he also removed his `nanoparsec` |
| 2026-02-19 07:41:28 | <gentauro> | it was also quite a nice read :) |
| 2026-02-19 07:42:19 | × | nek0 quits (~nek0@user/nek0) (Server closed connection) |
| 2026-02-19 07:42:37 | → | nek0 joins (~nek0@user/nek0) |
| 2026-02-19 07:43:04 | → | pinkc joins (~luke@user/pinkc) |
| 2026-02-19 07:44:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 07:49:20 | × | jreicher quits (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-19 07:51:55 | × | pinkc quits (~luke@user/pinkc) (Ping timeout: 264 seconds) |
| 2026-02-19 07:55:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 07:58:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-19 07:58:57 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-02-19 07:59:43 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-19 08:00:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 08:03:18 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-02-19 08:07:50 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-19 08:10:05 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 269 seconds) |
| 2026-02-19 08:12:13 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 08:13:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 08:13:45 | <jackdk> | http://web.archive.org/web/20220416135359/http://dev.stephendiehl.com/hask/ |
| 2026-02-19 08:13:58 | <sshine_> | https://web.archive.org/web/20220122230219/http://dev.stephendiehl.com/fun/002_parsers.html |
| 2026-02-19 08:14:04 | <sshine_> | whoops, too late |
| 2026-02-19 08:14:54 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 08:18:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 08:20:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 08:23:32 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 08:25:38 | → | weary-traveler joins (~user@user/user363627) |
| 2026-02-19 08:26:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 08:35:07 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 08:36:58 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 08:39:40 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-19 08:40:59 | × | firesquidwao quits (~a@put.gay) (Server closed connection) |
| 2026-02-19 08:41:16 | → | tuxpaint joins (~a@put.gay) |
| 2026-02-19 08:42:25 | × | Ekho quits (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2026-02-19 08:45:03 | × | emmanuelux quits (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-19 08:45:31 | → | fp joins (~Thunderbi@130.233.70.214) |
| 2026-02-19 08:48:27 | → | jreicher joins (~joelr@user/jreicher) |
| 2026-02-19 08:48:51 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 08:51:44 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-02-19 08:52:32 | → | qqq joins (~qqq@185.54.22.240) |
| 2026-02-19 08:55:06 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-02-19 08:56:53 | → | Ekho joins (~Ekho@user/ekho) |
| 2026-02-19 08:59:23 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-19 09:02:07 | → | merijn joins (~merijn@77.242.116.146) |
| 2026-02-19 09:03:07 | → | p3n joins (~p3n@217.198.124.246) |
| 2026-02-19 09:06:19 | × | ladyfriday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2026-02-19 09:06:30 | → | mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2026-02-19 09:08:39 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-19 09:10:30 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 2026-02-19 09:14:59 | × | sshine_ quits (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 2026-02-19 09:15:15 | → | sshine joins (~simon@dao.mechanicus.xyz) |
| 2026-02-19 09:21:17 | → | jayanth joins (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 09:22:23 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 09:22:23 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 09:22:23 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-02-19 09:25:17 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-02-19 09:27:29 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 09:27:46 | <chromoblob> | it occured to me now that we should allow function definitions with no equations, which when called simply return "non-exhaustive patterns" error |
| 2026-02-19 09:28:08 | <chromoblob> | when extension... |
| 2026-02-19 09:29:01 | × | fp quits (~Thunderbi@130.233.70.214) (Ping timeout: 267 seconds) |
| 2026-02-19 09:30:58 | <int-e> | The compiler error that a declaration has no corresponding definition is practically useful though. And note that the declaration doesn't have to be next to the definition, so depending on coding style this won't be immediately obvious. |
| 2026-02-19 09:31:37 | <int-e> | So, sure, we *could* do that, and there's a related thing in EmptyCase, but I strongly disagree that we should. |
| 2026-02-19 09:32:21 | → | oskarw joins (~user@user/oskarw) |
| 2026-02-19 09:34:51 | × | anpad quits (~pandeyan@user/anpad) (Server closed connection) |
| 2026-02-19 09:34:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-19 09:35:38 | → | anpad joins (~pandeyan@user/anpad) |
| 2026-02-19 09:38:11 | × | Googulator72 quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 09:38:16 | → | chele joins (~chele@user/chele) |
| 2026-02-19 09:38:30 | → | Googulator72 joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
All times are in UTC.