Newest at the top
| 2026-02-19 04:52:49 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:49:24 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-19 04:47:34 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:44:38 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 04:42:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 04:41:45 +0100 | Franciman | (~Franciman@mx1.fracta.dev) Franciman |
| 2026-02-19 04:41:31 +0100 | Franciman | (~Franciman@mx1.fracta.dev) (Server closed connection) |
| 2026-02-19 04:37:52 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-19 04:37:27 +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:22:05 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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: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: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:11:49 +0100 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2026-02-19 04:11:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 04:10:14 +0100 | td_ | (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@user/totbwf) totbwf |
| 2026-02-19 04:09:56 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-02-19 04:07:50 +0100 | totbwf | (sid402332@id-402332.uxbridge.irccloud.com) |
| 2026-02-19 04:07:39 +0100 | totbwf | (sid402332@user/totbwf) (Server closed connection) |
| 2026-02-19 04:06:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 04:06:36 +0100 | jmcantrell_ | jmcantrell |
| 2026-02-19 04:06:08 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-19 04:05:11 +0100 | geekosaur | (sid609282@xmonad/geekosaur) geekosaur |
| 2026-02-19 04:04:59 +0100 | geekosaur | (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2026-02-19 03:56:32 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 03:56:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 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:54:58 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2026-02-19 03:53:34 +0100 | <edwardk> | Clint: mor like surprise availability of the electrician ;) |
| 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:17 +0100 | <Clint> | surprise aquarium |
| 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:51:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-19 03:40:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 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:37:16 +0100 | Googulator72 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 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:36:30 +0100 | wickedja` | (~user@72.143.223.37) |
| 2026-02-19 03:35:57 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 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:17:43 +0100 | dy | (sid3438@user/dy) \\\\\ |
| 2026-02-19 03:17:31 +0100 | dy | (sid3438@user/dy) (Server closed connection) |
| 2026-02-19 03:10:46 +0100 | <fgarcia> | i found out ghc can run in the browser. huge download though |
| 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:07:56 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) tomsmeding |
| 2026-02-19 03:07:39 +0100 | tomsmeding | (~tomsmedin@user/tomsmeding) (Server closed connection) |
| 2026-02-19 03:07:34 +0100 | markasoftware | (~quassel@107.161.26.124) markasoftware |
| 2026-02-19 03:05:46 +0100 | <jreicher> | Woah. You sound so far away all of a sudden. |