Newest at the top
| 2026-01-16 03:24:22 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 03:23:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-16 03:21:50 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 03:16:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 03:06:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 03:04:38 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 03:04:15 +0100 | trickard_ | (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-16 03:01:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 02:57:51 +0100 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
| 2026-01-16 02:53:56 +0100 | omidmash3 | omidmash |
| 2026-01-16 02:53:56 +0100 | omidmash | (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-01-16 02:52:19 +0100 | omidmash3 | (~omidmash@user/omidmash) omidmash |
| 2026-01-16 02:50:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-16 02:43:04 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 02:39:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-01-16 02:32:08 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 02:27:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 02:25:05 +0100 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-01-16 02:24:42 +0100 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-16 02:16:31 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 02:11:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 02:11:45 +0100 | Zemy | (~Zemy@2600:100c:b0a0:7e6f:e8ca:c9ff:fea3:b5f7) (Ping timeout: 252 seconds) |
| 2026-01-16 02:10:25 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-01-16 02:10:09 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2026-01-16 02:09:45 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2026-01-16 02:09:44 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-01-16 02:07:45 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2026-01-16 02:07:09 +0100 | Zemy | (~Zemy@2600:100c:b0a0:7e6f:e8ca:c9ff:fea3:b5f7) |
| 2026-01-16 02:06:59 +0100 | Zemy | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 02:02:51 +0100 | <dolio> | Like, `unsafeInterleaveIO` lets you access a bit stream that has no corresponding Haskell term. |
| 2026-01-16 02:01:55 +0100 | <dolio> | It can even be useful within a computing system. |
| 2026-01-16 02:01:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-16 01:58:41 +0100 | <dolio> | Like, you can model the bits coming in from your ethernet cable as an 'uncomputable' bit stream, because it is an external entity not subject to your computational model. But you can computably act on the stream. |
| 2026-01-16 01:57:28 +0100 | <dolio> | Not because there are 'really' uncomputable bit streams, but because a stream being uncomputable and you not knowing exactly how to compute it (because it doesn't come from some particular definition) act in sort of the same way. |
| 2026-01-16 01:56:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 01:54:52 +0100 | <dolio> | That can be a useful perspective. |
| 2026-01-16 01:54:29 +0100 | <dolio> | Oh, maybe I should mention. You can set things up differently so that there are are uncomputable bit strings to talk about. And you can identify the computable bit strings as a subset, but is still uncountable. |
| 2026-01-16 01:53:28 +0100 | <jreicher> | I didn't even know about that channel |
| 2026-01-16 01:48:33 +0100 | <geekosaur> | yeh, I've only been peeking in occasionally since I'm busy this afternoon/evening |
| 2026-01-16 01:48:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5f60:7a2f:94c6:623e) (Ping timeout: 244 seconds) |
| 2026-01-16 01:47:04 +0100 | <monochrom> | But OK! Kicking people into the deep end feels good haha. |
| 2026-01-16 01:46:41 +0100 | <monochrom> | But I think we're done. :) |
| 2026-01-16 01:46:07 +0100 | <geekosaur> | I really should start kicking those things into #haskell-in-depth |
| 2026-01-16 01:45:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 01:45:23 +0100 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-01-16 01:40:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-16 01:32:56 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-16 01:30:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 01:29:26 +0100 | <monochrom> | haha |
| 2026-01-16 01:29:18 +0100 | <TMA> | monochrom: good idea, I'll go to bed instead |