Newest at the top
| 2025-03-18 18:25:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-03-18 18:24:47 +0100 | monochrom | has the push-apply thing in mind. |
| 2025-03-18 18:24:47 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 18:24:43 +0100 | <geekosaur> | if I had to guess, it's in a whole bunch of scattered [Note]s throughout the ghc codebase |
| 2025-03-18 18:24:30 +0100 | euleritian | (~euleritia@dynamic-176-006-139-032.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-03-18 18:23:55 +0100 | <monochrom> | OK OK, + or scattered over multiple papers that each partially supercede each other. |
| 2025-03-18 18:23:08 +0100 | <monochrom> | But yeah it's locked in minds or buried deeply in source code. |
| 2025-03-18 18:22:39 +0100 | <monochrom> | It is not even SPJ's mind necessarily. It's very likely someone else's minds. |
| 2025-03-18 18:22:22 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2025-03-18 18:22:03 +0100 | krei-se | (~krei-se@tmo-113-205.customers.d1-online.com) (Read error: Connection reset by peer) |
| 2025-03-18 18:21:19 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2025-03-18 18:21:04 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-03-18 18:20:56 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 18:20:04 +0100 | cipherrot | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:19:40 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) jespada |
| 2025-03-18 18:16:26 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-18 18:15:35 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-18 18:14:03 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:13:10 +0100 | cipherrot | (~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 +0100 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 245 seconds) |
| 2025-03-18 17:59:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-03-18 17:58:51 +0100 | cipherrot | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 17:55:57 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 17:55:48 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 2025-03-18 17:55:19 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-18 17:54:17 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-18 17:50:59 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 17:44:15 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-03-18 17:41:52 +0100 | kh0d | (~kh0d@109.111.226.14) kh0d |
| 2025-03-18 17:38:35 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-03-18 17:37:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 2025-03-18 17:33:59 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 252 seconds) |
| 2025-03-18 17:33:55 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3507-7a57-506e-16a6-4790-85b7.rev.sfr.net) (Remote host closed the connection) |
| 2025-03-18 17:33:12 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 17:26:44 +0100 | jespada | (~jespada@2800:a4:22a4:bf00:c8e8:ae3a:868c:376c) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-03-18 17:26:22 +0100 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2025-03-18 17:22:33 +0100 | kh0d | (~kh0d@212.200.181.151) (Ping timeout: 252 seconds) |
| 2025-03-18 17:18:03 +0100 | kh0d | (~kh0d@212.200.181.151) kh0d |
| 2025-03-18 17:10:52 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-03-18 16:58:39 +0100 | son0p | (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (Remote host closed the connection) |
| 2025-03-18 16:56:41 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-03-18 16:52:34 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-03-18 16:48:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 16:46:03 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-18 16:43:18 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-18 16:39:41 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-18 16:24:05 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |