2026/02/19

Newest at the top

2026-02-19 08:43:04 +0100pinkc(~luke@user/pinkc) pinkc
2026-02-19 08:42:37 +0100nek0(~nek0@user/nek0) nek0
2026-02-19 08:42:19 +0100nek0(~nek0@user/nek0) (Server closed connection)
2026-02-19 08:41:28 +0100 <gentauro> it was also quite a nice read :)
2026-02-19 08:41:17 +0100 <gentauro> sm: he also removed his `nanoparsec`
2026-02-19 08:40:56 +0100pinkc(~luke@user/pinkc) (Ping timeout: 252 seconds)
2026-02-19 08:39:57 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-19 08:38:29 +0100nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2026-02-19 08:38:19 +0100nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Server closed connection)
2026-02-19 08:38:07 +0100Square3(~Square@user/square) (Ping timeout: 264 seconds)
2026-02-19 08:37:40 +0100tromp(~textual@2001:1c00:3487:1b00:d9a6:1966:8883:20ad)
2026-02-19 08:35:26 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-19 08:35:26 +0100arandombit(~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad) (Changing host)
2026-02-19 08:35:26 +0100arandombit(~arandombi@2a02:2455:8656:7100:d8cf:2bc2:edef:88ad)
2026-02-19 08:33:57 +0100 <haskellbridge> <sm> I wish he would revive his "what I wish I knew" doc, it was awesome even though old
2026-02-19 08:33:44 +0100bionade24(~quassel@server2.oscloud.info) bionade24
2026-02-19 08:33:31 +0100bionade24(~quassel@server2.oscloud.info) (Server closed connection)
2026-02-19 08:33:30 +0100 <haskellbridge> <sm> ha
2026-02-19 08:31:39 +0100gentauroI guess something has to pay for the rent
2026-02-19 08:31:29 +0100 <gentauro> edwardk: it seems like Stephen Diehl also joined the AI-hype (but with LEAN) https://www.linkedin.com/posts/activity-7429162959521738752-8ynh/ I used to recall him as a very "anti" crypto, but now he is "finance+AI"
2026-02-19 08:31:22 +0100 <haskellbridge> <sm> must be very pretty
2026-02-19 08:31:09 +0100 <haskellbridge> <sm> that's a lot
2026-02-19 08:31:08 +0100 <haskellbridge> <sm> edwardk: "holy mackerel!"
2026-02-19 08:30:49 +0100 <haskellbridge> <sm> haskell in the mix! there it is!!
2026-02-19 08:29:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-19 08:28:00 +0100sajenim(~sajenim@user/sajenim) (Ping timeout: 264 seconds)
2026-02-19 08:27:40 +0100pinkc(~luke@user/pinkc) pinkc
2026-02-19 08:26:07 +0100pinkc(~luke@user/pinkc) (Ping timeout: 264 seconds)
2026-02-19 08:25:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-19 08:22:23 +0100alinab(sid468903@id-468903.helmsley.irccloud.com) alinab
2026-02-19 08:22:11 +0100alinab(sid468903@id-468903.helmsley.irccloud.com) (Server closed connection)
2026-02-19 08:19:26 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-19 08:18:34 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-19 08:16:23 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-19 08:14:35 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-19 08:11:58 +0100tt12316070(~tt1231@75.185.104.199) tt1231
2026-02-19 08:10:18 +0100Enrico63(~Enrico63@host-79-56-90-180.retail.telecomitalia.it) (Quit: Client closed)
2026-02-19 08:09:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-19 08:06:31 +0100pinkc(~luke@user/pinkc) pinkc
2026-02-19 08:00:21 +0100Logio(em@kapsi.fi) Logio
2026-02-19 08:00:11 +0100Logio(em@kapsi.fi) (Server closed connection)
2026-02-19 07:59:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2026-02-19 07:54:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-19 07:48:55 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2026-02-19 07:48:32 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-19 07:47:53 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 272 seconds)
2026-02-19 07:44:21 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2026-02-19 07:44:11 +0100samhh_samhh
2026-02-19 07:44:11 +0100samhh(7569f027cf@2a03:6000:1812:100::e4) (Server closed connection)
2026-02-19 07:43:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)