| 2026-02-19 00:03:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 00:04:42 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-19 00:14:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:16:36 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-19 00:18:43 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 00:19:03 +0100 | <EvanR> | yes my account was inaccurate |
| 2026-02-19 00:19:33 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-19 00:20:14 +0100 | <Clint> | your timeline was inaccurate |
| 2026-02-19 00:21:07 +0100 | yin | (~zero@user/zero) (Ping timeout: 246 seconds) |
| 2026-02-19 00:21:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 00:30:19 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-19 00:30:34 +0100 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2026-02-19 00:32:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:32:15 +0100 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-19 00:33:43 +0100 | spew | (~spew@user/spew) (Quit: nyaa~) |
| 2026-02-19 00:34:19 +0100 | ___ | (~o@user/offon) (Server closed connection) |
| 2026-02-19 00:34:30 +0100 | _\_ | (~o@user/offon) offon |
| 2026-02-19 00:35:22 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-02-19 00:35:27 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-19 00:36:59 +0100 | tromp | (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-19 00:37:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 00:38:19 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Server closed connection) |
| 2026-02-19 00:38:39 +0100 | farn__ | (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn |
| 2026-02-19 00:47:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:50:59 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 250 seconds) |
| 2026-02-19 00:52:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 00:52:50 +0100 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-19 00:54:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 00:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 01:05:03 +0100 | Raito_Bezarius | (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) Raito_Bezarius |
| 2026-02-19 01:05:10 +0100 | Guest99 | (~Guest99@197.146.208.67) |
| 2026-02-19 01:06:04 +0100 | Guest99 | (~Guest99@197.146.208.67) (Client Quit) |
| 2026-02-19 01:06:19 +0100 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) (Server closed connection) |
| 2026-02-19 01:06:26 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 01:06:26 +0100 | fgaz | (1ff9197ed6@2a03:6000:1812:100::11ea) fgaz |
| 2026-02-19 01:06:54 +0100 | Guest99 | (~Guest99@197.146.208.67) |
| 2026-02-19 01:07:39 +0100 | Guest99 | (~Guest99@197.146.208.67) (Client Quit) |
| 2026-02-19 01:10:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:10:53 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 01:14:53 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 01:22:57 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-19 01:24:12 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 01:24:12 +0100 | wickedjargon | (~user@2605:8d80:5430:82f4:92d3:1184:5262:be6e) wickedjargon |
| 2026-02-19 01:25:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:30:07 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-19 01:30:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 01:39:55 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-19 01:40:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:43:39 +0100 | orcus- | (~orcus@user/brprice) (Server closed connection) |
| 2026-02-19 01:43:52 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-19 01:43:58 +0100 | orcus | (~orcus@user/brprice) brprice |
| 2026-02-19 01:45:39 +0100 | peutri | (~peutri@bobo.desast.re) (Server closed connection) |
| 2026-02-19 01:45:49 +0100 | peutri | (~peutri@bobo.desast.re) peutri |
| 2026-02-19 01:46:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 01:46:11 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-19 01:46:23 +0100 | S11001001 | (sid42510@id-42510.ilkley.irccloud.com) S11001001 |
| 2026-02-19 01:46:25 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 01:47:16 +0100 | xff0x | (~xff0x@2405:6580:b080:900:f3ed:c7e5:5beb:90ae) (Ping timeout: 256 seconds) |
| 2026-02-19 01:51:38 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-02-19 01:51:50 +0100 | <edwardk> | __monty__, evanr: the 'it was already owned by them for a while' thing is being rather credulous, because it hinges on an argument that basically says 'hey i helped you guys run one event one time, so now i own you' and a rather clandestine ownership transfer that was hidden from all the mods. then when all the mods quit over his moves, THEN boom one week later libera. |
| 2026-02-19 01:52:11 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 01:52:23 +0100 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) hamishmack |
| 2026-02-19 01:56:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 01:57:11 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2026-02-19 02:05:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 02:06:01 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-19 02:08:02 +0100 | yin | (~zero@user/zero) zero |
| 2026-02-19 02:10:18 +0100 | <sm> | Glory to Libera! HAIL! |
| 2026-02-19 02:11:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2026-02-19 02:12:40 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2026-02-19 02:13:02 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-19 02:15:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 02:20:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 02:22:59 +0100 | piele | (~piele@eiseth.creativeserver.net) (Server closed connection) |
| 2026-02-19 02:23:11 +0100 | piele | (~piele@eiseth.creativeserver.net) piele |
| 2026-02-19 02:32:51 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-19 02:33:03 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) b20n |
| 2026-02-19 02:33:52 +0100 | <edwardk> | so what interesting stuff is going on in the haskell world in the last year or two? I've been a bit distracted |
| 2026-02-19 02:34:51 +0100 | haasn | (sid579015@id-579015.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 02:35:18 +0100 | haasn | (sid579015@id-579015.hampstead.irccloud.com) haasn |
| 2026-02-19 02:36:51 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-19 02:37:13 +0100 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2026-02-19 02:38:25 +0100 | spew | (~spew@user/spew) (Ping timeout: 265 seconds) |
| 2026-02-19 02:40:31 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-19 02:47:44 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-19 02:49:04 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:8f54:b4a:bfd8:74df) |
| 2026-02-19 02:50:21 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 02:53:39 +0100 | tjbc | (~tjbc@user/fliife) (Server closed connection) |
| 2026-02-19 02:54:50 +0100 | tjbc | (~tjbc@user/fliife) fliife |
| 2026-02-19 02:55:43 +0100 | <sm> | howdy edwardk. There's a nice IDE-friendly haskell debugger coming together. Compiling to WASM is becoming a normal thing. (Pandoc runs in the browser now.) The first AmeriHAC just happened (maybe you were there ?) |
| 2026-02-19 02:56:58 +0100 | <jreicher> | sm: do you have a reference for the debugger? I've always wondered about a debugger for a runtime like this (not specifically Haskell) |
| 2026-02-19 02:57:05 +0100 | <sm> | and the github vs gitlab vs X debate for ghc dev has been simmering again |
| 2026-02-19 02:57:42 +0100 | <sm> | https://github.com/well-typed/haskell-debugger |
| 2026-02-19 02:58:07 +0100 | <sm> | also, AI has become really good at writing, debugging, and cleaning up haskell code |
| 2026-02-19 03:00:32 +0100 | <jreicher> | Oh it implements DAP. Interesting. |
| 2026-02-19 03:01:11 +0100 | <jreicher> | I'll have to watch one of the videos. Stepping is such an imperative thing I'd like to see how it looks in this context. Thanks. |
| 2026-02-19 03:02:43 +0100 | <haskellbridge> | <sm> you can see it in a more low level form in the debugger that's built in to ghci. Lots of confusing jumping around as things are evaluated! But it makes sense for the most part. haskell-debugger hopefully will make things clearer |
| 2026-02-19 03:03:46 +0100 | hololeap | (~quassel@user/hololeap) (Ping timeout: 256 seconds) |
| 2026-02-19 03:03:54 +0100 | markasoftware | (~quassel@2604:180:f2::217) (Ping timeout: 252 seconds) |
| 2026-02-19 03:04:37 +0100 | hololeap | (~quassel@user/hololeap) hololeap |
| 2026-02-19 03:05:46 +0100 | <jreicher> | Woah. You sound so far away all of a sudden. |
| 2026-02-19 03:07:34 +0100 | markasoftware | (~quassel@107.161.26.124) markasoftware |
| 2026-02-19 03:07:39 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) (Server closed connection) |
| 2026-02-19 03:07:56 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-02-19 03:10:37 +0100 | <haskellbridge> | <sm> hehe I'm o v e r h e r e o / |
| 2026-02-19 03:10:46 +0100 | <fgarcia> | i found out ghc can run in the browser. huge download though |
| 2026-02-19 03:17:31 +0100 | dy | (sid3438@user/dy) (Server closed connection) |
| 2026-02-19 03:17:43 +0100 | dy | (sid3438@user/dy) \\\\\ |
| 2026-02-19 03:35:28 +0100 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-19 03:35:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 03:36:30 +0100 | wickedja` | (~user@72.143.223.37) |
| 2026-02-19 03:36:59 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 03:37:16 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 03:38:12 +0100 | wickedjargon | (~user@2605:8d80:5430:82f4:92d3:1184:5262:be6e) (Ping timeout: 264 seconds) |
| 2026-02-19 03:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 03:51:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 03:52:15 +0100 | <edwardk> | sm: i missed amerihac. i was hoping to go, then had to deal with an electrician installing a circuit at the house for an aquarium at the last minute. |
| 2026-02-19 03:53:17 +0100 | <Clint> | surprise aquarium |
| 2026-02-19 03:53:23 +0100 | <edwardk> | i did get a chance to talk to rodrigo about the haskell-debugger project at popl. neat stuff! we've been seriously lacking in that regards. |
| 2026-02-19 03:53:34 +0100 | <edwardk> | Clint: mor like surprise availability of the electrician ;) |
| 2026-02-19 03:54:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2026-02-19 03:55:09 +0100 | <edwardk> | turns out reef tanks take a _lot_ of electricity, and i hadn't quite adequately accounted for that fact when picking where to place a couple of tons of seawater. |
| 2026-02-19 03:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 03:56:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:04:59 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2026-02-19 04:05:11 +0100 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2026-02-19 04:06:08 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-19 04:06:36 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-19 04:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:07:39 +0100 | totbwf | (sid402332@user/totbwf) (Server closed connection) |
| 2026-02-19 04:07:50 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@user/totbwf) totbwf |
| 2026-02-19 04:10:14 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2026-02-19 04:11:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 04:11:49 +0100 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2026-02-19 04:18:27 +0100 | <edwardk> | jreicher: back int he day there was a phd thesis on 'optimistic evaluation' for haskell, which turned each thunk creation point into a dynamic check for whether it should optimistically evaluate the thunk now rather than hold the context, then did some delicate dance to assign blame during gc for when it evaluated stuff that didn't get used later, eventually shutting off speculation at those let bindings. the thing i remember most |
| 2026-02-19 04:18:27 +0100 | <edwardk> | clearly about it is that it made the evaluation of haskell follow the visible control flow of the code much more clearly, like a strict language, but every once in a while while creating a thunk it'd behave kind of like the current 'thread' got pre-empted and your focus got pulled away elsewhere. i alway thought a debugger that followed that scheme would be amazing for haskell. |
| 2026-02-19 04:19:12 +0100 | <edwardk> | it would just look like a multi-threaded runtime that single stepped before jumping off to do another thread here and there as you stepped. |
| 2026-02-19 04:22:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:26:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 04:37:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:37:52 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-19 04:41:31 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Server closed connection) |
| 2026-02-19 04:41:45 +0100 | Franciman | (~Franciman@mx1.fracta.dev) Franciman |
| 2026-02-19 04:42:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 04:44:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 04:47:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:49:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 04:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:59:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 05:03:19 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 05:03:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-19 05:09:07 +0100 | wickedja` | (~user@72.143.223.37) (Remote host closed the connection) |
| 2026-02-19 05:10:51 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 05:15:06 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 05:15:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 05:26:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 05:30:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 05:30:55 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 05:31:54 +0100 | <chromoblob> | TIL Haskell has a debugger... |
| 2026-02-19 05:31:59 +0100 | michalz | (~michalz@185.246.207.203) |
| 2026-02-19 05:32:18 +0100 | <jreicher> | edwardk: Oh that is fun. I've often thought about experimenting with something like that. |
| 2026-02-19 05:32:18 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 05:33:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-19 05:33:31 +0100 | caz | (866183745f@2a03:6000:1812:100::15d4) (Server closed connection) |
| 2026-02-19 05:33:32 +0100 | <jreicher> | I'm almost inclined to say that for stepping purposes it might be worth giving the user to evaluate everything strictly with control over when/where the evaluation is "skipped" (obviously not needed expressions) |
| 2026-02-19 05:33:39 +0100 | caz | (866183745f@2a03:6000:1812:100::15d4) caz |
| 2026-02-19 05:36:58 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 05:38:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-19 05:39:09 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2026-02-19 05:41:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 05:43:32 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-02-19 05:45:33 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-19 05:45:39 +0100 | hook54321 | (sid149355@user/hook54321) (Server closed connection) |
| 2026-02-19 05:46:55 +0100 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2026-02-19 05:47:22 +0100 | <haskellbridge> | <sm> reef tank.. tons of seawater, you say... |
| 2026-02-19 05:50:01 +0100 | <edwardk> | haskellbridge/sm: water is heavy. it doesn't take much volume before you hit the ton marker! |
| 2026-02-19 05:50:05 +0100 | emaczen | (~user@user/emaczen) (Ping timeout: 272 seconds) |
| 2026-02-19 05:50:32 +0100 | <edwardk> | er.. happy to move that to #haskell-offtopic if folks get annoyed at me talking about fish |
| 2026-02-19 05:50:55 +0100 | <humasect> | i want to hear about the fish |
| 2026-02-19 05:51:28 +0100 | <haskellbridge> | <sm> yes, tell about the fish ? |
| 2026-02-19 05:51:35 +0100 | <haskellbridge> | <sm> nothing else happening here :) |
| 2026-02-19 05:51:47 +0100 | <edwardk> | okay. will move the moment someone complains. =) |
| 2026-02-19 05:51:50 +0100 | <haskellbridge> | <sm> we'll tie it back to haskell |
| 2026-02-19 05:52:37 +0100 | <haskellbridge> | <sm> there shall be a haskell-based embedded reef tank ecology controller |
| 2026-02-19 05:52:49 +0100 | <edwardk> | i wound up having to set up a 300 gallon tank in my livingroom for a bunch of baby koi that were born in the backyard way out of season. then we adopted a stingray, because i really only needed 150 gallons to hold all the koi and he was sad. he was a good houseguest of the koi for 6 months. then he discovered they were tasty |
| 2026-02-19 05:52:50 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 05:53:10 +0100 | <haskellbridge> | <sm> yikes |
| 2026-02-19 05:53:47 +0100 | <edwardk> | so now the stingray has his own 450 gallon tank elsewhere in the house. and the koi have since grown up and moved outside and the 300 gallon is now a community tank full of various noodly looking fish (ropefish, dojo loaches, etc) |
| 2026-02-19 05:55:13 +0100 | <haskellbridge> | <sm> awesome |
| 2026-02-19 05:56:04 +0100 | <edwardk> | but we're in the process of setting up a 200 gallon reef tank (FOWLR, fish-only-with-live-rock) to house a porcupine pufferfish and a zebra moray eel (and some misc fish). mostly a non-coral saltwater tank, though, some cyphastrea corals becaue they encrust and are harder for a puffer to just sample with his teeth, because his teeth are how he explores the world |
| 2026-02-19 05:56:50 +0100 | <edwardk> | and a 50 gallon reef tank that will actually have a bunch of corals in it, which is being set up to house a pair of green mandarin dragonets and some more standard saltwater fish and cleanup crew. |
| 2026-02-19 05:57:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-19 05:58:37 +0100 | <edwardk> | the fowlr tank is proving to be quite the engineering challenge, just because it turns out keeping 6 55 gallon drums worth of saltwater up and running and in tune is a lot of work (display + sump = a lot of water), and the 50 gallon is its own challenge because dragonets only eat a narrow diet and s it basically is an underwater bug farm with a couple of flashy fish on top of the ecsystem. |
| 2026-02-19 05:58:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 05:59:26 +0100 | <edwardk> | for the 200 gallon there _is_ an electronic control subsystem. =) |
| 2026-02-19 06:01:38 +0100 | <edwardk> | i have probes for basically everything. Calcium, Alkalinity, Magnesium matter for the cyphastrea. nitrate/phosphate mix as well. then we have the problem that a puffer and zebra moray eel both crunch the usual cleanup crew of a saltwater aquarium. which is why i can't run most corals. most of the things that would keep them healthy will get eaten. so i have to do nutrient export via a gigantic protein skimmer with injected ozone, but |
| 2026-02-19 06:01:38 +0100 | <edwardk> | THEN i have to scrub that away before it reaches the air around the display tank |
| 2026-02-19 06:02:57 +0100 | <edwardk> | so dosing pumps for kalkwasser for the calcium+alkalinity, automatic top off, testing equipment and probes. |
| 2026-02-19 06:03:09 +0100 | <edwardk> | i'm sure to anyone who has been doing this as a hobby for a long time this is nothing |
| 2026-02-19 06:03:37 +0100 | <edwardk> | but compared to the "huge to me" 450 gallon stingray tank this is insane. |
| 2026-02-19 06:03:55 +0100 | <edwardk> | and i'm kind of glad i didn't pull the trigger on my previous 1100 gallon plan! |
| 2026-02-19 06:04:35 +0100 | <edwardk> | trying to convince my wife we can keep epaulette sharks. she's not amused. |
| 2026-02-19 06:06:14 +0100 | <edwardk> | i do have a bit of haskell in the mi |
| 2026-02-19 06:06:17 +0100 | <edwardk> | *mix |
| 2026-02-19 06:06:19 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-19 06:06:49 +0100 | <edwardk> | for reading the co2 sensor in the room and updating the dashboard |
| 2026-02-19 06:06:57 +0100 | <edwardk> | but it feels a bit underwhelming in comparison ;) |
| 2026-02-19 06:07:57 +0100 | <edwardk> | the big freshwater tank has an autmatic water change system and just sort of takes care of itself. the big reef tank, will not be so hands off. |
| 2026-02-19 06:08:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 06:08:51 +0100 | bb010g | (~bb010g@wank.party) (Server closed connection) |
| 2026-02-19 06:08:59 +0100 | bb010g | (~bb010g@wank.party) bb010g |
| 2026-02-19 06:09:34 +0100 | <edwardk> | anyways this started by accident, and now has taken over my home. i need to learn moderation. |
| 2026-02-19 06:12:59 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-19 06:13:06 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 06:13:10 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-02-19 06:17:19 +0100 | <edwardk> | In other news, we're using a lot more haskell these days at Positron! |
| 2026-02-19 06:17:56 +0100 | <edwardk> | So I feel a lot less guilty now about hiring Haskell folks and then throwing them at C++ and SystemVerilog. |
| 2026-02-19 06:18:09 +0100 | <humasect> | what is Positron ? |
| 2026-02-19 06:18:19 +0100 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 264 seconds) |
| 2026-02-19 06:18:28 +0100 | <edwardk> | https://www.positron.ai/ |
| 2026-02-19 06:18:50 +0100 | <edwardk> | We make chips that make AI run fast, focused in heavily on AI inference rather than training. |
| 2026-02-19 06:18:52 +0100 | <humasect> | interesting. good choice haskell |
| 2026-02-19 06:20:06 +0100 | <edwardk> | We used a fair bit of Haskell when were first got off the ground ~2.5 years ago. Then it faded away as we moved from prototyping into production. Now it is back in earnest. |
| 2026-02-19 06:21:39 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-19 06:21:48 +0100 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-19 06:21:54 +0100 | <humasect> | great to hear =) had full reign of haskell projects in about 2012 great time |
| 2026-02-19 06:22:01 +0100 | <edwardk> | https://www.bloomberg.com/news/articles/2026-02-04/ai-chip-startup-positron-raises-230-million-fro… is the most recent news about us |
| 2026-02-19 06:22:43 +0100 | <humasect> | hmm site is blocked (wont scroll, needs sign up pay ) |
| 2026-02-19 06:22:47 +0100 | <edwardk> | more relevant in the haskell space was luring bgamari and johnw in. |
| 2026-02-19 06:23:09 +0100 | <edwardk> | https://techcrunch.com/2026/02/04/exclusive-positron-raises-230m-series-b-to-take-on-nvidias-ai-ch… is substantially similar and should be free access |
| 2026-02-19 06:23:10 +0100 | <chromoblob> | hmm, retro visual design |
| 2026-02-19 06:23:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 06:23:40 +0100 | <edwardk> | chromoblob: wanted to lean into the art deco 1930s style isaac asimov novel cover aesthetic |
| 2026-02-19 06:24:10 +0100 | humasect | got into retrofuturism =) |
| 2026-02-19 06:25:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 06:28:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 06:31:18 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) (Remote host closed the connection) |
| 2026-02-19 06:32:40 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-19 06:34:00 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-02-19 06:37:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 06:40:59 +0100 | buhman | (sid411355@user/buhman) (Server closed connection) |
| 2026-02-19 06:41:16 +0100 | buhman | (sid411355@user/buhman) buhman |
| 2026-02-19 06:41:39 +0100 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-19 06:41:50 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 06:41:51 +0100 | coldmountain | (sid484352@id-484352.helmsley.irccloud.com) coldmountain |
| 2026-02-19 06:43:34 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Remote host closed the connection) |
| 2026-02-19 06:44:09 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 06:44:44 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-02-19 06:45:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 06:48:14 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-19 06:48:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2026-02-19 06:50:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 06:56:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 06:57:39 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) (Server closed connection) |
| 2026-02-19 06:58:02 +0100 | Pent | (sid313808@id-313808.lymington.irccloud.com) Pent____ |
| 2026-02-19 06:58:19 +0100 | jackdk | (sid373013@cssa/life/jackdk) (Server closed connection) |
| 2026-02-19 06:58:33 +0100 | jackdk | (sid373013@cssa/life/jackdk) jackdk |
| 2026-02-19 07:00:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-19 07:00:53 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2026-02-19 07:08:16 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-19 07:09:30 +0100 | halloy7365 | (~halloy736@2404:4400:5446:4e00:e9d5:9778:cde8:a55a) |
| 2026-02-19 07:11:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 07:12:47 +0100 | superbil | (~superbil@114-32-231-70.hinet-ip.hinet.net) superbil |
| 2026-02-19 07:13:57 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-19 07:16:00 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 07:16:34 +0100 | tt12316070 | (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803) (Ping timeout: 245 seconds) |
| 2026-02-19 07:26:43 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-19 07:26:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 07:31:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 07:34:54 +0100 | Square3 | (~Square@user/square) Square |
| 2026-02-19 07:36:55 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2026-02-19 07:37:35 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 267 seconds) |
| 2026-02-19 07:38:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 07:38:59 +0100 | mniip | (mniip@libera/staff-emeritus/mniip) (Server closed connection) |
| 2026-02-19 07:39:12 +0100 | mniip | (mniip@libera/staff-emeritus/mniip) mniip |
| 2026-02-19 07:41:32 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-19 07:41:54 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-19 07:43:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 07:44:11 +0100 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2026-02-19 07:44:11 +0100 | samhh_ | samhh |
| 2026-02-19 07:44:21 +0100 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-02-19 07:47:53 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 272 seconds) |
| 2026-02-19 07:48:32 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-19 07:48:55 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-19 07:54:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 07:59:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-02-19 08:00:11 +0100 | Logio | (em@kapsi.fi) (Server closed connection) |
| 2026-02-19 08:00:21 +0100 | Logio | (em@kapsi.fi) Logio |
| 2026-02-19 08:06:31 +0100 | pinkc | (~luke@user/pinkc) pinkc |
| 2026-02-19 08:09:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 08:10:18 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-19 08:11:58 +0100 | tt12316070 | (~tt1231@75.185.104.199) tt1231 |
| 2026-02-19 08:14:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 08:16:23 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 08:18:34 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-19 08:19:26 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-19 08:22:11 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-19 08:22:23 +0100 | alinab | (sid468903@id-468903.helmsley.irccloud.com) alinab |
| 2026-02-19 08:25:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 08:26:07 +0100 | pinkc | (~luke@user/pinkc) (Ping timeout: 264 seconds) |
| 2026-02-19 08:27:40 +0100 | pinkc | (~luke@user/pinkc) pinkc |
| 2026-02-19 08:28:00 +0100 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 264 seconds) |
| 2026-02-19 08:29:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 08:30:49 +0100 | <haskellbridge> | <sm> haskell in the mix! there it is!! |
| 2026-02-19 08:31:08 +0100 | <haskellbridge> | <sm> edwardk: "holy mackerel!" |
| 2026-02-19 08:31:09 +0100 | <haskellbridge> | <sm> that's a lot |
| 2026-02-19 08:31:22 +0100 | <haskellbridge> | <sm> must be very pretty |
| 2026-02-19 08:31:29 +0100 | <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 08:31:39 +0100 | gentauro | I guess something has to pay for the rent |
| 2026-02-19 08:33:30 +0100 | <haskellbridge> | <sm> ha |
| 2026-02-19 08:33:31 +0100 | bionade24 | (~quassel@server2.oscloud.info) (Server closed connection) |
| 2026-02-19 08:33:44 +0100 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2026-02-19 08:33:57 +0100 | <haskellbridge> | <sm> I wish he would revive his "what I wish I knew" doc, it was awesome even though old |
| 2026-02-19 08:35:26 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 08:35:26 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 08:35:26 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 08:37:40 +0100 | tromp | (~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad) |
| 2026-02-19 08:38:07 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-02-19 08:38:19 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection) |
| 2026-02-19 08:38:29 +0100 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
| 2026-02-19 08:39:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 08:40:56 +0100 | pinkc | (~luke@user/pinkc) (Ping timeout: 252 seconds) |
| 2026-02-19 08:41:17 +0100 | <gentauro> | sm: he also removed his `nanoparsec` |
| 2026-02-19 08:41:28 +0100 | <gentauro> | it was also quite a nice read :) |
| 2026-02-19 08:42:19 +0100 | nek0 | (~nek0@user/nek0) (Server closed connection) |
| 2026-02-19 08:42:37 +0100 | nek0 | (~nek0@user/nek0) nek0 |
| 2026-02-19 08:43:04 +0100 | pinkc | (~luke@user/pinkc) pinkc |
| 2026-02-19 08:44:48 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 08:49:20 +0100 | jreicher | (~joelr@user/jreicher) (Quit: brb) |
| 2026-02-19 08:51:55 +0100 | pinkc | (~luke@user/pinkc) (Ping timeout: 264 seconds) |
| 2026-02-19 08:55:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 08:58:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-19 08:58:57 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-19 08:59:43 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-19 09:00:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 09:03:18 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 2026-02-19 09:07:50 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-19 09:10:05 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 269 seconds) |
| 2026-02-19 09:12:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 09:13:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 09:13:45 +0100 | <jackdk> | http://web.archive.org/web/20220416135359/http://dev.stephendiehl.com/hask/ |
| 2026-02-19 09:13:58 +0100 | <sshine_> | https://web.archive.org/web/20220122230219/http://dev.stephendiehl.com/fun/002_parsers.html |
| 2026-02-19 09:14:04 +0100 | <sshine_> | whoops, too late |
| 2026-02-19 09:14:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:18:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 09:20:30 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 09:23:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 09:25:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-19 09:26:46 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:35:07 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 09:36:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 09:39:40 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-19 09:40:59 +0100 | firesquidwao | (~a@put.gay) (Server closed connection) |
| 2026-02-19 09:41:16 +0100 | tuxpaint | (~a@put.gay) |
| 2026-02-19 09:42:25 +0100 | Ekho | (~Ekho@user/ekho) (Quit: CORE ERROR, SYSTEM HALTED.) |
| 2026-02-19 09:45:03 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-19 09:45:31 +0100 | fp | (~Thunderbi@130.233.70.214) fp |
| 2026-02-19 09:48:27 +0100 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-02-19 09:48:51 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 09:51:44 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-19 09:52:32 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-19 09:55:06 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2026-02-19 09:56:53 +0100 | Ekho | (~Ekho@user/ekho) Ekho |
| 2026-02-19 09:59:23 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-19 10:02:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-19 10:03:07 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2026-02-19 10:06:19 +0100 | ladyfriday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection) |
| 2026-02-19 10:06:30 +0100 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
| 2026-02-19 10:08:39 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-02-19 10:10:30 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-19 10:14:59 +0100 | sshine_ | (~simon@dao.mechanicus.xyz) (Server closed connection) |
| 2026-02-19 10:15:15 +0100 | sshine | (~simon@dao.mechanicus.xyz) sshine |
| 2026-02-19 10:21:17 +0100 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host) |
| 2026-02-19 10:22:23 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-19 10:25:17 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-19 10:27:29 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 2026-02-19 10:27:46 +0100 | <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 10:28:08 +0100 | <chromoblob> | when extension... |
| 2026-02-19 10:29:01 +0100 | fp | (~Thunderbi@130.233.70.214) (Ping timeout: 267 seconds) |
| 2026-02-19 10:30:58 +0100 | <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 10:31:37 +0100 | <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 10:32:21 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-19 10:34:51 +0100 | anpad | (~pandeyan@user/anpad) (Server closed connection) |
| 2026-02-19 10:34:55 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-19 10:35:38 +0100 | anpad | (~pandeyan@user/anpad) anpad |