Newest at the top
| 2026-03-11 12:35:48 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 246 seconds) |
| 2026-03-11 12:29:54 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-03-11 12:27:34 +0100 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2026-03-11 12:22:03 +0100 | somemathguy | (~somemathg@user/somemathguy) somemathguy |
| 2026-03-11 12:20:44 +0100 | danza | (~danza@user/danza) (Ping timeout: 265 seconds) |
| 2026-03-11 12:18:22 +0100 | danz19215 | (~danza@user/danza) danza |
| 2026-03-11 12:16:54 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 246 seconds) |
| 2026-03-11 12:12:30 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-03-11 12:11:59 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2026-03-11 12:08:17 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-11 12:08:15 +0100 | Digit | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-11 12:04:52 +0100 | <mesaoptimizer> | oh there's a new logs link in the topic, never mind |
| 2026-03-11 12:04:05 +0100 | gentauro | thx abailly for -> https://abailly.github.io/posts/a-modern-haskell-env.html (just copy/pasta and it worked. Now I get `red` if any error <3) |
| 2026-03-11 12:03:59 +0100 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-03-11 12:03:49 +0100 | <mesaoptimizer> | seems like https://ircbrowse.net/ is dead? |
| 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) |