Newest at the top
| 2025-03-18 18:48:05 +0100 | <haskellbridge> | <Bowuigi> And https://www.microsoft.com/en-us/research/publication/implementing-lazy-functional-languages-on-sto… is a good resource on STG |
| 2025-03-18 18:47:35 +0100 | hattckory | (~hattckory@bras-base-toroon4524w-grc-47-184-146-98-182.dsl.bell.ca) |
| 2025-03-18 18:46:53 +0100 | <haskellbridge> | <Bowuigi> The compiler itself is a good reference of Core https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Core.html, which links to https://www.microsoft.com/en-us/research/publication/system-f-with-type-equality-coercions/ |
| 2025-03-18 18:46:42 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) (Quit: wildsalander) |
| 2025-03-18 18:45:18 +0100 | <haskellbridge> | <Bowuigi> https://dl.acm.org/doi/10.1145/3674654 deals with unboxing and some machine stuff |
| 2025-03-18 18:44:12 +0100 | <haskellbridge> | <Bowuigi> EvanR the GHC wisdom is scattered over the world but there are new papers that implement some of those concepts |
| 2025-03-18 18:39:24 +0100 | krei-se | (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-03-18 18:35:03 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2025-03-18 18:32:14 +0100 | cipherrot | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
| 2025-03-18 18:31:19 +0100 | euleritian | (~euleritia@95.90.214.149) |
| 2025-03-18 18:31:01 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2025-03-18 18:29:21 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2025-03-18 18:28:00 +0100 | krei-se | (~krei-se@p3ee0f57d.dip0.t-ipconnect.de) krei-se |
| 2025-03-18 18:26:31 +0100 | <monochrom> | Reminds me of the mythical story about Osiris. >:) |
| 2025-03-18 18:26:29 +0100 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
| 2025-03-18 18:26:18 +0100 | euleritian | (~euleritia@95.90.214.149) (Read error: Connection reset by peer) |
| 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) |