Newest at the top
| 2026-03-11 12:02:51 +0100 | <gentauro> | comonad: even ECC mem can be impacted |
| 2026-03-11 12:01:50 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-03-11 11:54:04 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e547e046c4ed9eed220a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2026-03-11 11:53:43 +0100 | <mesaoptimizer> | Haskell doesn't have a defined operational semantics, but does it have a well-defined denotational semantics? |
| 2026-03-11 11:50:41 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e700e503f643e9bea9c15385.dip0.t-ipconnect.de) |
| 2026-03-11 11:49:36 +0100 | somemathguy | (~somemathg@user/somemathguy) (Ping timeout: 264 seconds) |
| 2026-03-11 11:38:21 +0100 | comerijn | merijn |
| 2026-03-11 11:38:17 +0100 | <comerijn> | Assuming you can get a new mortgage to afford said memory |
| 2026-03-11 11:37:50 +0100 | <comerijn> | gentauro: You buy ECC memory and stop thinking about it |
| 2026-03-11 11:36:53 +0100 | <oskarw> | gentauro: Haskell programs are protected by math gods, otherwise it would be impossible for _true_ pure functions |
| 2026-03-11 11:31:02 +0100 | <gentauro> | you suddently have invalid state in Haskell which normally doesn't allow for invalid states |
| 2026-03-11 11:30:47 +0100 | <gentauro> | oskarw: speaking of space, how do you handle (securely) space gamma rays that bit-flips memory |
| 2026-03-11 10:58:34 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-03-11 10:55:06 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-03-11 10:53:07 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-03-11 10:52:15 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-11 10:43:15 +0100 | dhil | (~dhil@5.151.29.140) dhil |
| 2026-03-11 10:32:44 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-11 10:32:06 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-03-11 10:24:48 +0100 | anpad | (~pandeyan@user/anpad) anpad |
| 2026-03-11 10:24:08 +0100 | Guest4862 | vpan |
| 2026-03-11 10:23:52 +0100 | vpan | Guest4862 |
| 2026-03-11 10:23:33 +0100 | vpan | (~vpan@212.117.1.172) |
| 2026-03-11 10:22:22 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-03-11 10:18:04 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 10:17:38 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-11 10:17:06 +0100 | lol_ | (~lol@2603:3016:1e01:b980:ddc8:52aa:8a26:613f) (Ping timeout: 248 seconds) |
| 2026-03-11 10:13:32 +0100 | lol__ | (~lol@2603:3016:1e01:b980:b5f8:9e30:8739:5bae) |
| 2026-03-11 10:07:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-03-11 09:59:09 +0100 | acidjnk_new | (~acidjnk@p200300d6e700e547e046c4ed9eed220a.dip0.t-ipconnect.de) |
| 2026-03-11 09:46:40 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-03-11 09:46:31 +0100 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-03-11 09:44:04 +0100 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2) |
| 2026-03-11 09:39:22 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-03-11 09:39:11 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 244 seconds) |
| 2026-03-11 09:38:58 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-03-11 09:34:39 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-11 09:33:03 +0100 | humasect | (~humasect@184.151.37.182) (Quit: Leaving...) |
| 2026-03-11 09:26:39 +0100 | tusko | (~uwu@user/tusko) tusko |
| 2026-03-11 09:26:24 +0100 | tusko | (~uwu@user/tusko) (Remote host closed the connection) |
| 2026-03-11 09:24:16 +0100 | <oskarw> | *that your |
| 2026-03-11 09:24:04 +0100 | <oskarw> | probie: You forgot that you burritos are wraped on space and are send back to you on Earth |
| 2026-03-11 09:21:39 +0100 | Digitteknohippie | Digit |
| 2026-03-11 09:21:06 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-03-11 09:19:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-03-11 09:19:23 +0100 | <Rembane> | Hard agree |
| 2026-03-11 09:19:14 +0100 | <[exa]> | impure |
| 2026-03-11 09:18:27 +0100 | <[exa]> | people still do pizza and similar hard-to-wrap nonsense |
| 2026-03-11 09:18:16 +0100 | <[exa]> | I find this useful analogy under-used at meetups |
| 2026-03-11 09:16:51 +0100 | <Rembane> | Infinite breakfast |