Logs: liberachat/#haskell
| 2026-02-19 01:57:42 | <sm> | https://github.com/well-typed/haskell-debugger |
| 2026-02-19 01:58:07 | <sm> | also, AI has become really good at writing, debugging, and cleaning up haskell code |
| 2026-02-19 02:00:32 | <jreicher> | Oh it implements DAP. Interesting. |
| 2026-02-19 02:01:11 | <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 02:02:43 | <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 02:03:46 | × | hololeap quits (~quassel@user/hololeap) (Ping timeout: 256 seconds) |
| 2026-02-19 02:03:54 | × | markasoftware quits (~quassel@2604:180:f2::217) (Ping timeout: 252 seconds) |
| 2026-02-19 02:04:37 | → | hololeap joins (~quassel@user/hololeap) |
| 2026-02-19 02:05:46 | <jreicher> | Woah. You sound so far away all of a sudden. |
| 2026-02-19 02:07:34 | → | markasoftware joins (~quassel@107.161.26.124) |
| 2026-02-19 02:07:39 | × | tomsmeding quits (~tomsmedin@user/tomsmeding) (Server closed connection) |
| 2026-02-19 02:07:56 | → | tomsmeding joins (~tomsmedin@user/tomsmeding) |
| 2026-02-19 02:10:37 | <haskellbridge> | <sm> hehe I'm o v e r h e r e o / |
| 2026-02-19 02:10:46 | <fgarcia> | i found out ghc can run in the browser. huge download though |
| 2026-02-19 02:17:31 | × | dy quits (sid3438@user/dy) (Server closed connection) |
| 2026-02-19 02:17:43 | → | dy joins (sid3438@user/dy) |
| 2026-02-19 02:35:28 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-02-19 02:35:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 02:36:30 | → | wickedja` joins (~user@72.143.223.37) |
| 2026-02-19 02:36:59 | × | Googulator72 quits (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-19 02:37:16 | → | Googulator72 joins (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-19 02:38:12 | × | wickedjargon quits (~user@2605:8d80:5430:82f4:92d3:1184:5262:be6e) (Ping timeout: 264 seconds) |
| 2026-02-19 02:40:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 02:51:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 02:52:15 | <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 02:53:17 | <Clint> | surprise aquarium |
| 2026-02-19 02:53:23 | <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 02:53:34 | <edwardk> | Clint: mor like surprise availability of the electrician ;) |
| 2026-02-19 02:54:58 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 268 seconds) |
| 2026-02-19 02:55:09 | <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 02:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 02:56:32 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 03:04:59 | × | geekosaur quits (sid609282@xmonad/geekosaur) (Server closed connection) |
| 2026-02-19 03:05:11 | → | geekosaur joins (sid609282@xmonad/geekosaur) |
| 2026-02-19 03:06:08 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-19 03:06:36 | jmcantrell_ | is now known as jmcantrell |
| 2026-02-19 03:06:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 03:07:39 | × | totbwf quits (sid402332@user/totbwf) (Server closed connection) |
| 2026-02-19 03:07:50 | → | totbwf joins (sid402332@id-402332.uxbridge.irccloud.com) |
| 2026-02-19 03:09:56 | × | totbwf quits (sid402332@id-402332.uxbridge.irccloud.com) (Changing host) |
| 2026-02-19 03:09:56 | → | totbwf joins (sid402332@user/totbwf) |
| 2026-02-19 03:10:14 | × | td_ quits (~td@i5387090B.versanet.de) (Ping timeout: 252 seconds) |
| 2026-02-19 03:11:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-19 03:11:49 | → | td_ joins (~td@i5387091E.versanet.de) |
| 2026-02-19 03:18:27 | <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 03:18:27 | <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 03:19:12 | <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 03:22:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 03:26:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-19 03:37:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 03:37:52 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 2026-02-19 03:41:31 | × | Franciman quits (~Franciman@mx1.fracta.dev) (Server closed connection) |
| 2026-02-19 03:41:45 | → | Franciman joins (~Franciman@mx1.fracta.dev) |
| 2026-02-19 03:42:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 03:44:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2026-02-19 03:47:34 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 03:49:24 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-02-19 03:52:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 03:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 04:03:19 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 04:03:55 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2026-02-19 04:09:07 | × | wickedja` quits (~user@72.143.223.37) (Remote host closed the connection) |
| 2026-02-19 04:10:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 04:15:06 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:15:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 04:26:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 04:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-19 04:30:55 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-19 04:31:54 | <chromoblob> | TIL Haskell has a debugger... |
| 2026-02-19 04:31:59 | → | michalz joins (~michalz@185.246.207.203) |
| 2026-02-19 04:32:18 | <jreicher> | edwardk: Oh that is fun. I've often thought about experimenting with something like that. |
| 2026-02-19 04:32:18 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-19 04:33:17 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-19 04:33:31 | × | caz quits (866183745f@2a03:6000:1812:100::15d4) (Server closed connection) |
| 2026-02-19 04:33:32 | <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 04:33:39 | → | caz joins (866183745f@2a03:6000:1812:100::15d4) |
| 2026-02-19 04:36:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 04:38:45 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-02-19 04:39:09 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2026-02-19 04:41:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-19 04:43:32 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 265 seconds) |
| 2026-02-19 04:45:33 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-02-19 04:45:39 | × | hook54321 quits (sid149355@user/hook54321) (Server closed connection) |
| 2026-02-19 04:46:55 | → | hook54321 joins (sid149355@user/hook54321) |
| 2026-02-19 04:47:22 | <haskellbridge> | <sm> reef tank.. tons of seawater, you say... |
| 2026-02-19 04:50:01 | <edwardk> | haskellbridge/sm: water is heavy. it doesn't take much volume before you hit the ton marker! |
| 2026-02-19 04:50:05 | × | emaczen quits (~user@user/emaczen) (Ping timeout: 272 seconds) |
| 2026-02-19 04:50:32 | <edwardk> | er.. happy to move that to #haskell-offtopic if folks get annoyed at me talking about fish |
| 2026-02-19 04:50:55 | <humasect> | i want to hear about the fish |
| 2026-02-19 04:51:28 | <haskellbridge> | <sm> yes, tell about the fish ? |
| 2026-02-19 04:51:35 | <haskellbridge> | <sm> nothing else happening here :) |
| 2026-02-19 04:51:47 | <edwardk> | okay. will move the moment someone complains. =) |
| 2026-02-19 04:51:50 | <haskellbridge> | <sm> we'll tie it back to haskell |
| 2026-02-19 04:52:37 | <haskellbridge> | <sm> there shall be a haskell-based embedded reef tank ecology controller |
| 2026-02-19 04:52:49 | <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 04:52:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-19 04:53:10 | <haskellbridge> | <sm> yikes |
| 2026-02-19 04:53:47 | <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 04:55:13 | <haskellbridge> | <sm> awesome |
| 2026-02-19 04:56:04 | <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 |
All times are in UTC.