2026/04/06

Newest at the top

2026-04-06 17:30:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-06 17:25:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 17:14:53 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-04-06 17:14:37 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2026-04-06 17:13:44 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-06 17:09:54 +0000Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
2026-04-06 17:08:23 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 17:08:13 +0000Googulator(~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu) (Quit: Client closed)
2026-04-06 17:07:59 +0000sm__(~sm@66.8.200.171)
2026-04-06 17:07:58 +0000Googulator10(~Googulato@2a01-036d-0106-496b-154a-c7fc-9f43-bd2d.pool6.digikabel.hu)
2026-04-06 17:03:51 +0000 <ski> (e.g. doesn't explain I/O exceptions, doesn't explain concurrency (including communication), &c.)
2026-04-06 17:03:13 +0000 <ski> it explains sequencing data dependency, but not much more
2026-04-06 17:03:02 +0000zalo-rocky(~flyingzal@user/zalo-rocky) zalo-rocky
2026-04-06 16:57:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-04-06 16:54:34 +0000hellwolf(~user@7530-0dab-5d73-cf2b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf
2026-04-06 16:50:21 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 16:48:41 +0000hellwolf(~user@52de-36c6-d139-9d27-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 248 seconds)
2026-04-06 16:46:42 +0000Pozyomka(~pyon@user/pyon) pyon
2026-04-06 16:43:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-06 16:38:11 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 16:29:24 +0000 <mauke> RealWorld is bullshit. it doesn't explain anything
2026-04-06 16:27:37 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-04-06 16:26:20 +0000TMAis not smart enough and that's fine
2026-04-06 16:26:17 +0000 <TMA> gentauro: some parts are easy. some parts make my brain shut down.
2026-04-06 16:25:09 +0000machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-04-06 16:24:41 +0000 <TMA> gentauro: I have read it. I have not understood it.
2026-04-06 16:22:07 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 16:14:39 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-06 16:10:03 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-06 16:05:18 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 15:59:22 +0000slomp(~slomp@47-158-212-88.lsan.ca.frontiernet.net)
2026-04-06 15:57:55 +0000slomp(~slomp@47-158-212-88.lsan.ca.frontiernet.net) (Read error: Connection reset by peer)
2026-04-06 15:54:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-04-06 15:49:20 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 15:47:15 +0000 <gentauro> TMA: do you know Binary Lambda Calculus from John Tromp? https://tromp.github.io/cl/Binary_lambda_calculus.html (see his examples how he handles IO effects) ;)
2026-04-06 15:42:45 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-04-06 15:40:22 +0000divlamir(~divlamir@user/divlamir) divlamir
2026-04-06 15:40:02 +0000divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-04-06 15:38:54 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds)
2026-04-06 15:38:17 +0000TMAis not smart enough and that's fine
2026-04-06 15:37:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 15:37:36 +0000TMAhas come to terms with own limitations
2026-04-06 15:36:41 +0000 <TMA> __monty__: nobody permits me to use haskell in employment related work so I use haskell mostly as an inspiration for structuring code in other languages, so this level of understanding does not hinder me at all
2026-04-06 15:35:09 +0000 <TMA> tomsmeding: I have read about them.
2026-04-06 15:34:37 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-06 15:27:14 +0000jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-04-06 15:26:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-04-06 15:25:46 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2026-04-06 15:19:54 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-06 15:16:59 +0000 <tomsmeding> but that's mostly an emperor's-new-clothes situation, everyone assumes it's there