Newest at the top
| 2026-02-05 00:15:24 +0100 | mange | (~mange@user/mange) mange |
| 2026-02-05 00:08:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-05 00:04:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-05 00:01:34 +0100 | tromp | (~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-04 23:56:22 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d171:1c19:51a5:d6b5) |
| 2026-02-04 23:54:03 +0100 | skum | (~skum@user/skum) skum |
| 2026-02-04 23:52:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 23:48:48 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-04 23:48:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 23:46:29 +0100 | <EvanR> | this code is provided without any warranty or even an implied warranty of merchantability or fitness for a particular purpose! |
| 2026-02-04 23:45:54 +0100 | skum | (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 2026-02-04 23:43:37 +0100 | <jreicher> | Yeah, this is specific to "bugs" |
| 2026-02-04 23:43:16 +0100 | <EvanR> | at a much slower pace |
| 2026-02-04 23:42:45 +0100 | <EvanR> | one of these esolangs has your code devolving as it runs, due to "entropy"... annoying until you accept this is happening to your real computer all the time xD |
| 2026-02-04 23:41:15 +0100 | <EvanR> | (except for surface level consumer hardware does experience random errors for reasons... though that's just another instance of the same point) |
| 2026-02-04 23:39:48 +0100 | <jreicher> | EvanR: I know you're joking, but in all seriousness I "lecture" to every non-techy I meet that when a bug hits it's not a computer malfunction. The computer did exactly what it was told to do. It's the developers who malfunctioned. |
| 2026-02-04 23:37:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 23:35:36 +0100 | <EvanR> | technology, industrialization absolving people of accountability |
| 2026-02-04 23:34:49 +0100 | <EvanR> | jreicher, sure... blame the computer! |
| 2026-02-04 23:32:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 23:29:37 +0100 | chexum_ | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-04 23:29:32 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-04 23:21:50 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-04 23:21:20 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-02-04 23:18:59 +0100 | xff0x | (~xff0x@2405:6580:b080:900:5e48:b86:53c8:1c87) (Quit: xff0x) |
| 2026-02-04 23:14:43 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 23:06:47 +0100 | <gentauro> | with regard to LEAN, I like the following explanation from Charles Hoskinson: https://www.youtube.com/watch?v=3snIzhjqsk0 (academic papers tend to loose insights, so by providing a more formal framework, we might have better insights) |
| 2026-02-04 23:05:05 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-02-04 23:02:01 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-02-04 22:57:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 22:55:54 +0100 | tromp | (~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065) |
| 2026-02-04 22:54:37 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-04 22:52:46 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-04 22:52:46 +0100 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-04 22:52:19 +0100 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-04 22:51:56 +0100 | <jreicher> | Better not to test in prod though, of course. |
| 2026-02-04 22:51:21 +0100 | <jreicher> | Verification by humans will never completely go away. When people die, there's general agreement the software might have done the wrong thing. |
| 2026-02-04 22:48:53 +0100 | tromp | (~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-04 22:48:43 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-04 22:46:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-02-04 22:46:19 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 265 seconds) |
| 2026-02-04 22:44:31 +0100 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds) |
| 2026-02-04 22:41:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-04 22:39:51 +0100 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2026-02-04 22:39:48 +0100 | <monochrom> | Well, in the limit, minimize both verification by humans and synthesis by humans. We're getting there! |
| 2026-02-04 22:38:51 +0100 | <monochrom> | Industry wants to minimize proofs-by-humans. So they will take automated checks, or more recently, proofs-by-AI. |
| 2026-02-04 22:38:02 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) |
| 2026-02-04 22:37:46 +0100 | Googulator | (~Googulato@2a01-036d-0106-216f-0081-f2ad-9e0f-9d89.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-04 22:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-04 22:27:37 +0100 | <jreicher> | mesaoptimizer: I don't do Haskell heavily in Emacs, but based on my experience with other languages and what I'm seeing out there I would strongly recommend eglot, regardless of the major mode you choose, and then do your own comparison of haskell-mode vs haskell-ts-mode. (My hunch is the latter is better.) |