Newest at the top
| 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 |
| 2025-12-02 20:49:51 +0100 | <tomsmeding> | and it's rather evident how laziness, while useful for some design patterns, is not the basis of a high-performance algorithm |
| 2025-12-02 20:49:22 +0100 | tromp | (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-12-02 20:49:15 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-02 20:48:58 +0100 | <tomsmeding> | you're less fazed by why some things are magically faster than others, because it's generally not magic at all |
| 2025-12-02 20:48:25 +0100 | <tomsmeding> | having a solid understanding of how a processor works, and how compilers work for languages that are less distant from said processor's design (like C), is honestly a very good basis to start learning haskell from |
| 2025-12-02 20:48:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 20:47:37 +0100 | <tomsmeding> | (but I guess I didn't get far enough in that to really count as a "C people") |
| 2025-12-02 20:46:46 +0100 | <tomsmeding> | (my first serious programming language was C) |
| 2025-12-02 20:43:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-12-02 20:41:56 +0100 | <juri_> | as a C people... C people can be converted. ex-linux-kernel ex-apache now-fulltime-haskeller. there is life after understanding floating point in binary operations. |
| 2025-12-02 20:39:58 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-02 20:39:12 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-02 20:39:06 +0100 | tromp | (~textual@2001:1c00:3487:1b00:40c9:191b:e4f:324a) |
| 2025-12-02 20:37:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-02 20:32:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-02 20:32:17 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-02 20:31:59 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-12-02 20:29:54 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |