2025/03/18

Newest at the top

2025-03-18 18:16:26 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca)
2025-03-18 18:15:35 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-03-18 18:14:03 +0100petrichor(~znc-user@user/petrichor) petrichor
2025-03-18 18:13:10 +0100cipherrot(~znc-user@user/petrichor) (Ping timeout: 244 seconds)
2025-03-18 18:11:57 +0100 <EvanR> do we have to go in there like inception
2025-03-18 18:11:39 +0100 <EvanR> is it all in SPJ's mind locked away
2025-03-18 18:11:06 +0100 <EvanR> is there a paper or document or something which has an overview of GHC's modern compilation strategy, including how it deals with machine arithmetic, unboxing, etc. All the old books on graph reduction seem... old
2025-03-18 18:01:13 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 245 seconds)
2025-03-18 17:59:16 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-03-18 17:58:51 +0100cipherrot(~znc-user@user/petrichor) petrichor
2025-03-18 17:55:57 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-03-18 17:55:48 +0100hattckory(~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds)
2025-03-18 17:55:19 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2025-03-18 17:54:17 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-18 17:50:59 +0100petrichor(~znc-user@user/petrichor) petrichor
2025-03-18 17:44:15 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-03-18 17:41:52 +0100kh0d(~kh0d@109.111.226.14) kh0d
2025-03-18 17:38:35 +0100acidjnk(~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-03-18 17:37:58 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-18 17:33:59 +0100cipherrot(~znc-user@user/petrichor) (Ping timeout: 252 seconds)
2025-03-18 17:33:55 +0100alexherbo2(~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection)
2025-03-18 17:33:12 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 17:26:44 +0100jespada(~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-03-18 17:26:22 +0100chele(~chele@user/chele) (Read error: Connection reset by peer)
2025-03-18 17:22:33 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 252 seconds)
2025-03-18 17:18:03 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 17:10:52 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds)
2025-03-18 16:58:39 +0100son0p(~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection)
2025-03-18 16:56:41 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-03-18 16:52:34 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-18 16:48:07 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 16:46:03 +0100L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-03-18 16:43:18 +0100jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-03-18 16:39:41 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-18 16:24:05 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds)
2025-03-18 16:21:34 +0100kh0d(~kh0d@212.200.181.151) (Ping timeout: 244 seconds)
2025-03-18 16:17:51 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 16:16:40 +0100kh0d(~kh0d@212.200.181.151) kh0d
2025-03-18 16:08:34 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-18 16:07:42 +0100jespada(~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada
2025-03-18 16:06:42 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)
2025-03-18 16:06:34 +0100jespada(~jespada@2800:a4:22a3:dd00:ccd8:1ec4:f7c9:8e8d) (Ping timeout: 260 seconds)
2025-03-18 16:02:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-18 15:57:41 +0100Square(~Square4@user/square) Square
2025-03-18 15:57:25 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 15:50:36 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-03-18 15:49:42 +0100Guest23(~Guest23@2607:f470:6:4001:ad10:d2c2:8393:6a02) (Ping timeout: 240 seconds)
2025-03-18 15:46:16 +0100ash3en(~Thunderbi@ip1f10cbd6.dynamic.kabel-deutschland.de) ash3en
2025-03-18 15:42:10 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:4780:d0f0:79b4:9ac) (Quit: ubert)
2025-03-18 15:42:09 +0100ash3en(~Thunderbi@31.16.203.214) (Ping timeout: 252 seconds)