2025/02/12

Newest at the top

2025-02-12 14:05:18 +0100 <haskellbridge> <Profpatsch> "return $!" is another one that I have no clue how it makes things in ST work
2025-02-12 14:02:37 +0100Guest34(~Guest34@96-8-132-1.block0.gvtc.com) (Client Quit)
2025-02-12 14:02:10 +0100Guest34(~Guest34@96-8-132-1.block0.gvtc.com)
2025-02-12 14:02:00 +0100jespada(~jespada@2800:a4:22f4:ae00:fc16:e598:5958:94e6) jespada
2025-02-12 13:59:59 +0100 <haskellbridge> <Profpatsch> there’s a bunch of really cool tricks in there
2025-02-12 13:59:37 +0100 <haskellbridge> <Profpatsch> plus the split into fast and slow decoding loop depending on whether the parser hits a "read()" boundary
2025-02-12 13:58:15 +0100 <haskellbridge> <Profpatsch> duncan: do you have a document describing the design of the cborg decoder? I haven’t seen a parser like that before, with the split into DecodeAction and wrapping everything in ST
2025-02-12 13:54:45 +0100florida(~florida@2a02:ab88:7200:6a00:762b:62ff:fe83:1a1b)
2025-02-12 13:53:48 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-12 13:53:24 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-02-12 13:52:01 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-02-12 13:49:19 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 252 seconds)
2025-02-12 13:45:07 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-12 13:43:59 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2)
2025-02-12 13:43:33 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-12 13:41:52 +0100vanishingideal(~vanishing@user/vanishingideal) (Remote host closed the connection)
2025-02-12 13:37:40 +0100lockywolf_(~lockywolf@213.165.252.157) lockywolf
2025-02-12 13:37:22 +0100lockywolf(~lockywolf@213.165.252.157) (Read error: Connection reset by peer)
2025-02-12 13:35:38 +0100mange(~user@user/mange) (Remote host closed the connection)
2025-02-12 13:34:24 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-02-12 13:29:09 +0100tnt2tnt1
2025-02-12 13:29:09 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 244 seconds)
2025-02-12 13:29:08 +0100ash3en1ash3en
2025-02-12 13:29:08 +0100ash3en(~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 272 seconds)
2025-02-12 13:29:08 +0100ash3en1(~Thunderbi@146.70.124.222) ash3en
2025-02-12 13:29:05 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-12 13:21:20 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) gabiruh
2025-02-12 13:13:10 +0100dtman34(~dtman34@2601:447:d000:1f5e:74c2:4ec:de8d:13d3) (Ping timeout: 268 seconds)
2025-02-12 13:12:48 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) Smiles
2025-02-12 13:12:36 +0100dtman34_(~dtman34@2601:447:d000:1f5e:74c2:4ec:de8d:13d3) dtman34
2025-02-12 13:09:39 +0100gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 252 seconds)
2025-02-12 13:06:35 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) sciencentistguy
2025-02-12 13:02:45 +0100Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 252 seconds)
2025-02-12 13:00:17 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 248 seconds)
2025-02-12 12:56:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-12 12:54:37 +0100sprotte24(~sprotte24@p200300d16f0a8e005c58c6c9b84f6b12.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2025-02-12 12:52:03 +0100xff0x(~xff0x@2405:6580:b080:900:eaaa:e5a8:7fd2:7c37)
2025-02-12 12:48:25 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-02-12 12:47:54 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-02-12 12:38:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-02-12 12:31:20 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-12 12:28:11 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-02-12 12:24:15 +0100aforemny_(~aforemny@2001:9e8:6cc1:2800:a5a5:c3e6:116b:76ba) (Ping timeout: 252 seconds)
2025-02-12 12:23:39 +0100aforemny(~aforemny@2001:9e8:6cc4:e000:b3b9:f8f6:fb02:80e2) aforemny
2025-02-12 12:21:24 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-12 12:10:44 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-12 12:10:34 +0100CiaoSen(~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2025-02-12 12:10:23 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:dd5c:182b:d497:5a90)
2025-02-12 12:08:49 +0100jcarpenter2(~lol@2603:3016:1e01:b9c0:f7:4b70:33ec:27a0) (Ping timeout: 260 seconds)
2025-02-12 12:08:42 +0100xff0x(~xff0x@2405:6580:b080:900:fa0c:e524:bc5c:8ead) (Ping timeout: 272 seconds)