2026/02/04

Newest at the top

2026-02-05 00:49:23 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-05 00:44:07 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-02-05 00:41:26 +0100 <haskellbridge> <loonycyborg> good luck figuring out what is because of such a malfunction and what comes from programmer brainfarts :P
2026-02-05 00:40:50 +0100 <haskellbridge> <loonycyborg> There still are actual malfunctions out there, like faulty ram modules that flip some bits.
2026-02-05 00:38:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-02-05 00:33:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-05 00:28:55 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 240 seconds)
2026-02-05 00:24:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-05 00:24:13 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com)
2026-02-05 00:19:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-05 00:18:37 +0100paddymahoney(~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Remote host closed the connection)
2026-02-05 00:15:24 +0100mange(~mange@user/mange) mange
2026-02-05 00:08:56 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-05 00:04:09 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-05 00:01:34 +0100tromp(~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-04 23:56:22 +0100xff0x(~xff0x@2405:6580:b080:900:d171:1c19:51a5:d6b5)
2026-02-04 23:54:03 +0100skum(~skum@user/skum) skum
2026-02-04 23:52:55 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-04 23:48:48 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-04 23:48:18 +0100merijn(~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 +0100skum(~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 +0100merijn(~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 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 23:29:37 +0100chexum_(~quassel@gateway/tor-sasl/chexum) chexum
2026-02-04 23:29:32 +0100chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2026-02-04 23:21:50 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-04 23:21:20 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2026-02-04 23:18:59 +0100xff0x(~xff0x@2405:6580:b080:900:5e48:b86:53c8:1c87) (Quit: xff0x)
2026-02-04 23:14:43 +0100merijn(~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 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2026-02-04 23:02:01 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-02-04 22:57:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-04 22:55:54 +0100tromp(~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065)
2026-02-04 22:54:37 +0100target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2026-02-04 22:52:46 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-02-04 22:52:46 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-04 22:52:19 +0100hakutaku(~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 +0100tromp(~textual@2001:1c00:3487:1b00:10a6:5d4a:b26:4065) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-04 22:48:43 +0100marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)