Newest at the top
| 2025-12-02 22:01:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 22:00:35 +0100 | polykernel_ | polykernel |
| 2025-12-02 22:00:35 +0100 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 240 seconds) |
| 2025-12-02 21:58:12 +0100 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2025-12-02 21:57:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 21:55:11 +0100 | Miroboru | (~myrvoll@84.215.250.50) (Quit: Lost terminal) |
| 2025-12-02 21:53:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-02 21:51:54 +0100 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-12-02 21:51:43 +0100 | wbooze | (~wbooze@cgn-195-14-217-157.nc.de) (Ping timeout: 244 seconds) |
| 2025-12-02 21:49:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 21:38:09 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-12-02 21:34:49 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-12-02 21:33:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 21:31:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-02 21:30:20 +0100 | causal | (~eric@50.46.156.145) causal |
| 2025-12-02 21:22:16 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 21:17:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 21:16:58 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-12-02 21:14:29 +0100 | <absentia> | oops |
| 2025-12-02 21:14:22 +0100 | <lambdabot> | Data constructor not in scope: I :: t0 -> t1 -> t2 -> t3 -> tVariable not in... |
| 2025-12-02 21:14:21 +0100 | <absentia> | holy shit... |
| 2025-12-02 21:14:19 +0100 | <absentia> | > I know X11 pretty well |
| 2025-12-02 21:12:50 +0100 | <Rembane> | That sounds like hard realtime systems |
| 2025-12-02 21:11:13 +0100 | <tomsmeding> | :D |
| 2025-12-02 21:10:44 +0100 | Googulator95 | (~Googulato@85-238-68-117.pool.digikabel.hu) |
| 2025-12-02 21:10:41 +0100 | Googulator | (~Googulato@85-238-68-117.pool.digikabel.hu) (Quit: Client closed) |
| 2025-12-02 21:10:37 +0100 | <EvanR> | even if it's provably unnecessary |
| 2025-12-02 21:10:37 +0100 | <monochrom> | My point is more about the size of the 3rd-order-niche intersection of 3 niches: C, Haskell, being sufficiently incompetent such that normal Haskell books are not enough, it has to be "haskell for c programmers" spoonfeeding. |
| 2025-12-02 21:10:18 +0100 | <EvanR> | execute everything, more than you thought you needed to |
| 2025-12-02 21:10:03 +0100 | <EvanR> | tomsmeding, meanwhile speculative execution is like anti-laziness |
| 2025-12-02 21:08:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-02 21:04:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 21:03:08 +0100 | trickard_ | trickard |
| 2025-12-02 21:02:01 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-12-02 21:01:46 +0100 | <geekosaur> | (The ICCCM describes the client side of the specification, but at the time about the only documentation for the server/window manager side of it was the twm source code) |
| 2025-12-02 20:59:12 +0100 | gawen | (~gawen@user/gawen) gawen |
| 2025-12-02 20:59:08 +0100 | <geekosaur> | so I had a couple of good mentors |
| 2025-12-02 20:59:00 +0100 | <geekosaur> | oh, also Don Stewart |
| 2025-12-02 20:58:50 +0100 | tromp | (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) |
| 2025-12-02 20:58:32 +0100 | <tomsmeding> | that kind of mutual teaching relationship is really cool |
| 2025-12-02 20:57:58 +0100 | <geekosaur> | So I learned practical Haskell by reading the xmonad code base while teaching Spencer how to do ICCCM right 🙂 |
| 2025-12-02 20:57:30 +0100 | <geekosaur> | in a slightly roundabout way: I discovered SML/NJ while working at Carnegie Mellon, then Haskell shortly afterward, then Spencer Janssen asked about Haskell folks who knew enough X11 to make xmonad work right. And while all I;d really done of Haskell at that point was the "Gentle Introduction" (not a lot of other Haskell resources around those days) I know X11 pretty well |
| 2025-12-02 20:55:30 +0100 | wickedjargon | (~user@207.194.126.29) (Remote host closed the connection) |
| 2025-12-02 20:53:43 +0100 | <Franciman> | geekosaur: how did you switch to haskell? |
| 2025-12-02 20:52:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-02 20:52:51 +0100 | <geekosaur> | I spent a couple decades writing C |
| 2025-12-02 20:51:43 +0100 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2025-12-02 20:51:10 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-12-02 20:51:04 +0100 | tomboy65 | (~tomboy64@user/tomboy64) (Read error: Connection reset by peer) |
| 2025-12-02 20:50:23 +0100 | tomsmeding | thinks of the cute pattern of doing dynamic programming with laziness, by letting the dynamic-programming array be self-referential |