2026/03/29

2026-03-29 00:03:47 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 00:08:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 00:09:59 +0100wickedjargon(~user@207.194.38.18) wickedjargon
2026-03-29 00:10:00 +0100foul_owl(~kerry@71-212-87-156.tukw.qwest.net) foul_owl
2026-03-29 00:19:10 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 00:23:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 00:27:09 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
2026-03-29 00:27:41 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 00:31:42 +0100Guest7645(~luke@2601:249:8900:81d4::4b5)
2026-03-29 00:31:46 +0100takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 256 seconds)
2026-03-29 00:33:50 +0100Guest7645luke
2026-03-29 00:34:01 +0100luke(~luke@2601:249:8900:81d4::4b5) (Changing host)
2026-03-29 00:34:01 +0100luke(~luke@user/luke) luke
2026-03-29 00:34:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 00:39:18 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 00:44:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 00:45:31 +0100yin(~zero@user/zero) zero
2026-03-29 00:47:07 +0100wickedjargon(~user@207.194.38.18) (Ping timeout: 264 seconds)
2026-03-29 00:48:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-29 00:59:25 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2026-03-29 00:59:30 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 01:00:14 +0100wickedjargon(~user@207.194.38.18) wickedjargon
2026-03-29 01:06:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-29 01:09:00 +0100luke(~luke@user/luke) (Remote host closed the connection)
2026-03-29 01:17:33 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 01:22:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 01:22:10 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 248 seconds)
2026-03-29 01:30:43 +0100luke(~luke@user/luke) luke
2026-03-29 01:51:54 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-03-29 01:51:54 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-03-29 01:51:54 +0100haritz(~hrtz@user/haritz) haritz
2026-03-29 01:54:09 +0100polykernel(~polykerne@user/polykernel) polykernel
2026-03-29 03:00:40 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 03:02:40 +0200Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-03-29 03:05:35 +0200acidjnk_new3(~acidjnk@p200300d6e700e5535bb9bc59ae9550d0.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-03-29 03:07:07 +0200tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2026-03-29 03:11:08 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 265 seconds)
2026-03-29 03:11:08 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 265 seconds)
2026-03-29 03:12:39 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-29 03:12:47 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-29 03:14:05 +0200hsw_(~hsw@106.104.102.45) (Read error: Connection reset by peer)
2026-03-29 03:17:48 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 03:26:33 +0200LukeHoersten(~LukeHoers@user/lukehoersten) LukeHoersten
2026-03-29 03:30:58 +0200LukeHoersten(~LukeHoers@user/lukehoersten) (Client Quit)
2026-03-29 03:34:06 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds)
2026-03-29 03:35:50 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 03:37:43 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 03:39:04 +0200czan(~czan@user/mange) czan
2026-03-29 03:44:07 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 03:46:11 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 03:51:05 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 03:55:53 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
2026-03-29 04:00:28 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 04:05:01 +0200op_4(~tslil@user/op-4/x-9116473) (Remote host closed the connection)
2026-03-29 04:06:31 +0200wickedjargon(~user@207.194.38.18) (Remote host closed the connection)
2026-03-29 04:07:08 +0200op_4(~tslil@user/op-4/x-9116473) op_4
2026-03-29 04:08:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 04:08:57 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 04:08:57 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 04:08:57 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 04:11:44 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 04:14:11 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 252 seconds)
2026-03-29 04:17:05 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 04:19:24 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 04:21:21 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-29 04:26:11 +0200Nosrep(~jimothy@user/nosrep) Nosrep
2026-03-29 04:32:22 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 04:33:34 +0200notzmv(~umar@user/notzmv) notzmv
2026-03-29 04:36:37 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 04:44:10 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 04:47:50 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 04:48:18 +0200foul_owl(~kerry@71-212-87-156.tukw.qwest.net) (Ping timeout: 255 seconds)
2026-03-29 04:49:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-29 04:54:42 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-29 04:56:21 +0200 <geekosaur> taking the bridge (and laptop) down for battery replacement. hopefully back soon.
2026-03-29 04:56:58 +0200haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2026-03-29 05:02:13 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 05:02:48 +0200foul_owl(~kerry@94.156.149.92) foul_owl
2026-03-29 05:02:53 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 05:02:53 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 05:02:53 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 05:02:56 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2026-03-29 05:03:32 +0200CloneOfNone(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-03-29 05:05:10 +0200CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Ping timeout: 245 seconds)
2026-03-29 05:06:58 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 05:07:05 +0200rabbull(~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!)
2026-03-29 05:08:09 +0200rabbull(~rabbull@user/rabbull) rabbull
2026-03-29 05:12:40 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
2026-03-29 05:13:27 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 05:17:35 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 05:18:49 +0200humasect(~humasect@192.249.132.90) humasect
2026-03-29 05:19:48 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-29 05:20:33 +0200CloneOfNone_(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-03-29 05:21:59 +0200CloneOfNone_(~CloneOfNo@user/CloneOfNone) (Read error: Connection reset by peer)
2026-03-29 05:22:01 +0200CloneOfN-(~CloneOfNo@user/CloneOfNone) CloneOfNone
2026-03-29 05:22:03 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 05:22:57 +0200CloneOfNone(~CloneOfNo@user/CloneOfNone) (Ping timeout: 255 seconds)
2026-03-29 05:24:54 +0200haskellbridge(~hackager@96.28.224.214) hackager
2026-03-29 05:24:54 +0200ChanServ+v haskellbridge
2026-03-29 05:27:39 +0200 <geekosaur> everything should be back now
2026-03-29 05:31:24 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 05:35:43 +0200karenw(~karenw@user/karenw) (Ping timeout: 264 seconds)
2026-03-29 05:38:16 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 256 seconds)
2026-03-29 05:45:12 +0200humasect(~humasect@192.249.132.90) (Quit: Leaving...)
2026-03-29 05:46:40 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 05:56:53 +0200machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 272 seconds)
2026-03-29 06:03:06 +0200 <haskellbridge> <Liamzee> geekosaur: want a infomaniak server?
2026-03-29 06:03:51 +0200 <haskellbridge> <Liamzee> swiss-based, 2 GB ram and 40 GB disk space for 5.4 EUR, should be 6.3 in funbuck$
2026-03-29 06:03:59 +0200 <haskellbridge> <Liamzee> i can cover a year
2026-03-29 06:04:15 +0200 <geekosaur> no, I have a server lined up, I just need to find time (and not be suffering through alternating nights of no sleep). I also want to replace the bridge software with something that's easier for people to work with
2026-03-29 06:04:28 +0200 <haskellbridge> <Liamzee> i'm so sorry geekosaur! gah
2026-03-29 06:04:48 +0200notzmv(~umar@user/notzmv) (Ping timeout: 255 seconds)
2026-03-29 06:06:00 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 06:10:35 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 06:17:39 +0200notzmv(~umar@user/notzmv) notzmv
2026-03-29 06:18:46 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 06:18:46 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 06:18:46 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 06:21:32 +0200xff0x(~xff0x@2405:6580:b080:900:fe99:f2ca:92ea:c869) (Quit: xff0x)
2026-03-29 06:22:32 +0200notzmv(~umar@user/notzmv) (Ping timeout: 244 seconds)
2026-03-29 06:23:29 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-03-29 06:28:47 +0200peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-29 06:32:39 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Remote host closed the connection)
2026-03-29 06:34:22 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) ezzieyguywuf
2026-03-29 06:36:12 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 06:42:55 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 06:53:28 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-03-29 06:54:04 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 06:57:27 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 246 seconds)
2026-03-29 07:00:35 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 07:01:40 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 07:04:53 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 07:05:54 +0200jle`(~jle`@2603:8001:3b00:11:db71:d654:fa5c:59c0) (Ping timeout: 248 seconds)
2026-03-29 07:06:53 +0200jle`(~jle`@2603:8001:3b00:11:6c37:350d:bb0b:7093) jle`
2026-03-29 07:07:28 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 07:08:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 07:11:07 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 07:18:34 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 07:23:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 07:23:21 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 07:30:10 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-03-29 07:33:57 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 07:35:35 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 07:35:35 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 07:35:35 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 07:38:44 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 07:39:54 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-29 07:44:00 +0200werneta(~werneta@71.83.160.242) (Quit: Lost terminal)
2026-03-29 07:47:07 +0200Nosrep(~jimothy@user/nosrep) (Ping timeout: 264 seconds)
2026-03-29 07:49:20 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 07:52:15 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 07:54:22 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2026-03-29 07:56:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 07:56:34 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 08:04:17 +0200merijn(~merijn@62.45.136.136) merijn
2026-03-29 08:08:54 +0200merijn(~merijn@62.45.136.136) (Ping timeout: 268 seconds)
2026-03-29 08:09:56 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 08:14:20 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-29 08:19:37 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 08:24:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 08:34:59 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 08:38:40 +0200redshuffle(~quassel@45.43.70.75) (Ping timeout: 265 seconds)
2026-03-29 08:39:55 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 08:46:51 +0200redshuffle(~quassel@45.43.70.75)
2026-03-29 08:50:22 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 08:54:45 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 08:58:59 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 09:01:06 +0200tt123160701978(~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat)
2026-03-29 09:04:25 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 276 seconds)
2026-03-29 09:05:12 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 09:07:03 +0200tt123160701978(~tt1231@75.185.104.199) tt1231
2026-03-29 09:07:06 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-29 09:09:45 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 09:18:33 +0200peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds)
2026-03-29 09:20:01 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 09:20:37 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 09:21:38 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 09:24:25 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds)
2026-03-29 09:26:38 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-29 09:26:59 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 09:27:02 +0200berberman(~berberman@user/berberman) berberman
2026-03-29 09:27:30 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 09:38:13 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 09:38:38 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 09:41:16 +0200xff0x(~xff0x@2405:6580:b080:900:fe0d:cc74:768c:fa68)
2026-03-29 09:41:20 +0200Guest62(~Guest62@p200300ca8f23fa006ed0063bd1d9f371.dip0.t-ipconnect.de)
2026-03-29 09:43:03 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 09:47:33 +0200juri_(~juri@217-114-215-140.pool.ovpn.com) (Ping timeout: 246 seconds)
2026-03-29 09:49:36 +0200juri_(~juri@217-114-215-140.pool.ovpn.com) juri_
2026-03-29 09:50:39 +0200 <haskellbridge> <sm> haskell-links.org has been retired, use https://silicon.int-e.eu/lambdabot/State/where.html instead
2026-03-29 09:52:21 +0200nek0(~nek0@user/nek0) (Quit: The Lounge - https://thelounge.chat)
2026-03-29 09:53:15 +0200 <haskellbridge> <sm> .
2026-03-29 09:53:15 +0200 <haskellbridge> @where browser-keywords
2026-03-29 09:53:15 +0200 <lambdabot> https://gist.github.com/simonmichael/6f95f7d72048649a9ba05c7b31e44968 time-saving Haskell-related url macros
2026-03-29 09:53:50 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 09:54:01 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 09:56:12 +0200mistivia(~mistivia@user/mistivia) mistivia
2026-03-29 09:57:50 +0200nek0(~nek0@user/nek0) nek0
2026-03-29 09:58:05 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 10:01:37 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-03-29 10:05:04 +0200acidjnk_new3(~acidjnk@p200300d6e700e55368351fe88f29e79a.dip0.t-ipconnect.de)
2026-03-29 10:06:13 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 10:06:38 +0200mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-29 10:06:52 +0200mistivia(~mistivia@user/mistivia) mistivia
2026-03-29 10:06:56 +0200 <gentauro> geekosaur: do you have a Framework laptop?
2026-03-29 10:07:01 +0200bggd(~bgg@user/bggd) bggd
2026-03-29 10:11:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 10:12:38 +0200Square2(~Square@user/square) Square
2026-03-29 10:14:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-03-29 10:15:51 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Read error: Connection reset by peer)
2026-03-29 10:17:39 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2026-03-29 10:18:00 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2026-03-29 10:18:50 +0200berberman(~berberman@user/berberman) berberman
2026-03-29 10:21:36 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 10:23:33 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-03-29 10:24:11 +0200 <gentauro> is there a way to turn EVERYTHING off in a `GHCi` session? I tried with `λ> :set -XNoImplicitPrelude` but didn't seem to work …
2026-03-29 10:25:01 +0200 <tomsmeding> gentauro: what remains?
2026-03-29 10:25:20 +0200 <gentauro> λ> 4 + 2 -- 6 (0.00 secs, 111,456 bytes)
2026-03-29 10:25:31 +0200 <[exa]> gentauro: I think you have to use that one as a commandline argument
2026-03-29 10:25:33 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 10:25:41 +0200 <tomsmeding> gentauro: ghci -XNoImplicitPrelude
2026-03-29 10:25:57 +0200 <[exa]> gentauro: anyway I was using just `import Prelude ()` to kinda hide the conflicty things
2026-03-29 10:25:58 +0200 <tomsmeding> if you set it with :set then it doesn't un-import Prelude, it just sets it to not be imported next time
2026-03-29 10:26:15 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 10:27:05 +0200 <gentauro> tomsmeding: this worked like charm -> `ghci -XNoImplicitPrelude` (many thx)
2026-03-29 10:27:29 +0200 <tomsmeding> gentauro: possibly add -ignore-dot-ghci if your .ghci uses Prelude stuff
2026-03-29 10:29:11 +0200 <gentauro> tomsmeding: my `~/.ghci` is quite basic -> https://paste.tomsmeding.com/QcokzxL2
2026-03-29 10:32:49 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2026-03-29 10:34:53 +0200gentauroalias ddd='stack ghci --ghc-options -XNoImplicitPrelude' 👀
2026-03-29 10:36:56 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 10:39:30 +0200 <gentauro> have any of you used this approach for domain-driven design (DDD) doing "real-time" defs with customers? https://paste.tomsmeding.com/cPSF7ANV
2026-03-29 10:40:35 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 10:40:42 +0200 <gentauro> there is no implementation details, however, it's "very easy" to define the systems domain like that (Haskell enforce corretness and provides you with a nice AST you can then use to generate "boiler plate stuff")
2026-03-29 10:41:22 +0200 <[exa]> gentauro: so basically you agree with customers on the highlevel-ish types of all operations?
2026-03-29 10:41:23 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 10:41:27 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 246 seconds)
2026-03-29 10:42:34 +0200xff0x(~xff0x@2405:6580:b080:900:fe0d:cc74:768c:fa68) (Ping timeout: 256 seconds)
2026-03-29 10:42:48 +0200 <gentauro> [exa]: [exa]ctly !!!
2026-03-29 10:42:57 +0200 <tomsmeding> lol
2026-03-29 10:43:01 +0200 <gentauro> xD
2026-03-29 10:43:35 +0200[exa]feels boxed
2026-03-29 10:43:45 +0200tomsmedingblames [exa]
2026-03-29 10:43:59 +0200 <[exa]> perhaps I'm undefined the whole time guys, you never know until you force it
2026-03-29 10:44:37 +0200 <tomsmeding> I think you're just an infinite loop
2026-03-29 10:45:30 +0200 <[exa]> gentauro: anyway. :D back in the time when I was dealing with actual customers we didn't have much haskell (nor customer understanding for functional programming). So we did a roughly similar thing but with constraints and as little "concrete objects" as possible because customers tended to have opinions about anything they could imagine as materializable (they often imagined it wrong)
2026-03-29 10:45:35 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 10:47:26 +0200 <gentauro> [exa]: «(they often imagined it wrong)» this comes to mind -> https://www.youtube.com/watch?v=BKorP55Aqvg
2026-03-29 10:48:25 +0200 <[exa]> gentauro: so the sotware kinda looked like a minimal set of actors (I was calling them "robots"), the robots ahd constraints ("must know this", "remembers this", "must not know this" because of security etc, "listens to requests from these guys"), and the "actions" were written usually as pre-conditions and post-conditions to avoid folks from starting to think about programs
2026-03-29 10:48:50 +0200 <gentauro> I normally sit in emacs (terminal ofc). Left part of screen is module for defining domain and right part is GHCi. We start basic and then CTRL+L (evaluate to GHCi). If there are any inconsistencies, Haskell WILL tell you
2026-03-29 10:49:17 +0200 <[exa]> yeah the point is that 99% of the usual programming job was the inconsistencies :D
2026-03-29 10:49:18 +0200 <gentauro> it's always easier to tell customers: "Your suggestions is not sound" by showing that having to argue for ages
2026-03-29 10:50:21 +0200 <[exa]> anyway the whole point was that the customers were not very computer friendly and they knew much better about what they did _not_ want, instead of the actual form of stuff that they wanted.
2026-03-29 10:50:50 +0200 <gentauro> once high-level is in place, we can begin to add attributes. Lets say for Person. We can also translate Person to a sumtype (Adult | Child and so)
2026-03-29 10:51:14 +0200 <[exa]> tomsmeding: oh let me quickly fix this loop here......whoops now there's two of them
2026-03-29 10:51:31 +0200 <gentauro> [exa]: the most diff thing to do is to actually show customers what they NEED and not what they want ;)
2026-03-29 10:51:48 +0200 <[exa]> yeah
2026-03-29 10:52:18 +0200 <gentauro> all the consultancies I worked for, I was tech-sales dude
2026-03-29 10:52:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 10:52:59 +0200 <gentauro> people always asked why I was doing it. Didn't I like code more. My answer was always: "Do you prefer that we bid on projects with the snake-oil sales reps?"
2026-03-29 10:52:59 +0200 <[exa]> extracting the needs without the taint of wishes and assumptions, the holy grail of customer relations :D
2026-03-29 10:53:50 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 10:53:50 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 10:53:50 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 10:55:46 +0200 <gentauro> and getting paid for your those (scoping is SO important). However, birds-eye-view is as important as well. If you can spot (early) something that is essential for the project to a succeed and somehow get that in (and other stuff out) you are a God among people
2026-03-29 10:55:50 +0200 <gentauro> xD
2026-03-29 10:57:19 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-29 10:57:21 +0200m2(~travltux@user/travltux) travltux
2026-03-29 10:57:29 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-29 10:58:43 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-29 11:00:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Excess Flood)
2026-03-29 11:03:45 +0200Guest62(~Guest62@p200300ca8f23fa006ed0063bd1d9f371.dip0.t-ipconnect.de) (Quit: Client closed)
2026-03-29 11:06:29 +0200m2(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-03-29 11:06:46 +0200m2(~travltux@user/travltux) travltux
2026-03-29 11:07:12 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 11:07:33 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 11:10:47 +0200werneta_(~werneta@71.83.160.242) (Read error: Connection reset by peer)
2026-03-29 11:13:33 +0200hiecaq(~hiecaq@user/hiecaq) hiecaq
2026-03-29 11:14:05 +0200werneta(~werneta@71.83.160.242) werneta
2026-03-29 11:14:18 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-29 11:14:28 +0200wickedjargon(~user@2605:8d80:5430:307b:7709:a52d:ec9a:4662) wickedjargon
2026-03-29 11:14:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 11:16:05 +0200m2(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-03-29 11:16:59 +0200m2(~travltux@user/travltux) travltux
2026-03-29 11:17:21 +0200Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla
2026-03-29 11:25:15 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 11:27:27 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 11:28:11 +0200m2(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-03-29 11:28:24 +0200m2(~travltux@user/travltux) travltux
2026-03-29 11:29:42 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 11:29:50 +0200emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-29 11:30:20 +0200emmanuelux_(~em@2a02-8440-2504-46f6-d9db-ddcd-9d62-8fc7.rev.sfr.net) (Ping timeout: 252 seconds)
2026-03-29 11:31:05 +0200m2(~travltux@user/travltux) (Client Quit)
2026-03-29 11:34:16 +0200GdeVolpi1(~GdeVolpia@user/GdeVolpiano) GdeVolpiano
2026-03-29 11:35:13 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 276 seconds)
2026-03-29 11:35:14 +0200GdeVolpiano(~GdeVolpia@user/GdeVolpiano) (Ping timeout: 248 seconds)
2026-03-29 11:40:41 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 11:43:03 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 11:43:37 +0200elrisas92(~user@user/elrisas92) ()
2026-03-29 11:44:31 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 11:45:13 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-29 11:52:16 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-03-29 11:56:00 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 11:56:30 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 11:57:31 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-29 11:57:52 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 12:00:26 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 12:02:54 +0200m2(~travltux@user/travltux) travltux
2026-03-29 12:05:07 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 12:05:36 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 12:08:10 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 268 seconds)
2026-03-29 12:16:25 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 12:16:26 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-03-29 12:16:34 +0200wickedjargon(~user@2605:8d80:5430:307b:7709:a52d:ec9a:4662) (Ping timeout: 245 seconds)
2026-03-29 12:23:12 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2026-03-29 12:23:34 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 12:23:34 +0200acidjnk_new(~acidjnk@p200300d6e700e59750ab726a7f707d9b.dip0.t-ipconnect.de)
2026-03-29 12:26:21 +0200Flow(~none@gentoo/developer/flow) (Quit: WeeChat 4.5.2)
2026-03-29 12:26:24 +0200m2(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-03-29 12:26:34 +0200acidjnk_new3(~acidjnk@p200300d6e700e55368351fe88f29e79a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2026-03-29 12:28:31 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 12:28:41 +0200m2(~travltux@user/travltux) travltux
2026-03-29 12:29:22 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 268 seconds)
2026-03-29 12:30:55 +0200alter2000(~alter2000@user/alter2000) alter2000
2026-03-29 12:32:13 +0200alter2000(~alter2000@user/alter2000) (Quit: WeeChat 4.8.1)
2026-03-29 12:32:33 +0200alter2000(~alter2000@user/alter2000) alter2000
2026-03-29 12:32:49 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-03-29 12:34:45 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 12:38:56 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 12:41:15 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 244 seconds)
2026-03-29 12:44:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-03-29 12:44:45 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 272 seconds)
2026-03-29 12:46:41 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-03-29 12:49:22 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 12:51:57 +0200poscat(~poscat@user/poscat) (Ping timeout: 268 seconds)
2026-03-29 12:52:20 +0200poscat(~poscat@user/poscat) poscat
2026-03-29 12:54:18 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 12:56:06 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) arandombit
2026-03-29 12:56:06 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 12:56:06 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 12:56:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 13:01:01 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2026-03-29 13:01:31 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 13:04:22 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2026-03-29 13:06:13 +0200Flow(~none@gentoo/developer/flow) flow
2026-03-29 13:06:42 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 13:09:13 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 13:09:36 +0200Flow(~none@gentoo/developer/flow) (Client Quit)
2026-03-29 13:09:53 +0200Flow(~none@gentoo/developer/flow) flow
2026-03-29 13:10:36 +0200Flow(~none@gentoo/developer/flow) (Client Quit)
2026-03-29 13:11:15 +0200Flow(~none@gentoo/developer/flow) flow
2026-03-29 13:11:43 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 13:12:05 +0200emmanuelux_(~em@72.107.204.77.rev.sfr.net)
2026-03-29 13:12:38 +0200emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-03-29 13:12:42 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 13:14:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 13:20:47 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 13:21:35 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard
2026-03-29 13:21:44 +0200Arman999(~Arman999@user/Arman999) Arman999
2026-03-29 13:24:35 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 13:27:55 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 13:27:55 +0200Arman999(~Arman999@user/Arman999) (Quit: Client closed)
2026-03-29 13:29:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 13:39:57 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 13:41:49 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 13:44:32 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-29 13:48:24 +0200xff0x(~xff0x@2405:6580:b080:900:4000:5831:f1fe:d4db)
2026-03-29 13:50:12 +0200__monty__(~toonn@user/toonn) toonn
2026-03-29 13:54:58 +0200xff0x(~xff0x@2405:6580:b080:900:4000:5831:f1fe:d4db) (Ping timeout: 248 seconds)
2026-03-29 13:55:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 13:58:42 +0200m2(~travltux@user/travltux) (Quit: WeeChat 4.7.2)
2026-03-29 14:00:05 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 14:00:11 +0200m2(~travltux@user/travltux) travltux
2026-03-29 14:00:26 +0200m2(~travltux@user/travltux) (Client Quit)
2026-03-29 14:00:46 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
2026-03-29 14:01:22 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 14:01:32 +0200m2(~travltux@user/travltux) travltux
2026-03-29 14:04:37 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 14:08:00 +0200elrisas92(~user@user/elrisas92) (Remote host closed the connection)
2026-03-29 14:08:08 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 14:10:12 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 14:13:03 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 255 seconds)
2026-03-29 14:14:29 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 14:18:16 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 14:18:18 +0200elarks(~elarks@user/yerrii) (Quit: WeeChat 4.7.1)
2026-03-29 14:22:12 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-03-29 14:23:46 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 248 seconds)
2026-03-29 14:25:34 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 14:32:18 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-29 14:35:14 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 14:39:22 +0200xff0x(~xff0x@2405:6580:b080:900:3248:701e:e9f9:9e47)
2026-03-29 14:40:14 +0200tremon(~tremon@83.80.159.219) tremon
2026-03-29 14:41:07 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 14:41:24 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-29 14:42:10 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-03-29 14:43:38 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 14:43:39 +0200xff0x(~xff0x@2405:6580:b080:900:3248:701e:e9f9:9e47) (Ping timeout: 246 seconds)
2026-03-29 14:47:51 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-29 14:49:31 +0200Pozyomka(~pyon@user/pyon) pyon
2026-03-29 14:50:48 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 14:54:03 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 14:56:25 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 14:58:55 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 245 seconds)
2026-03-29 14:59:00 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 15:00:56 +0200srazkvt(~sarah@user/srazkvt) srazkvt
2026-03-29 15:01:44 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 15:03:30 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 15:05:27 +0200czan(~czan@user/mange) (Quit: Zzz...)
2026-03-29 15:05:57 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 15:08:28 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2026-03-29 15:10:56 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 268 seconds)
2026-03-29 15:11:12 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 15:14:07 +0200CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen
2026-03-29 15:15:52 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-29 15:16:26 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 15:23:04 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 15:26:34 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 15:26:55 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2026-03-29 15:28:31 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 15:29:13 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2026-03-29 15:29:24 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 15:31:17 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-03-29 15:36:11 +0200jreicher(~joelr@user/jreicher) (Ping timeout: 272 seconds)
2026-03-29 15:36:19 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 15:40:44 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 15:41:56 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 15:44:24 +0200emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-29 15:44:40 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-03-29 15:44:40 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-03-29 15:44:40 +0200haritz(~hrtz@user/haritz) haritz
2026-03-29 15:45:18 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 255 seconds)
2026-03-29 15:45:55 +0200emmanuelux_(~em@72.107.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2026-03-29 15:46:38 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-03-29 15:46:45 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 15:47:24 +0200craunts795335385(~craunts@152.32.99.2)
2026-03-29 15:52:57 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-29 15:56:43 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 15:57:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 15:57:19 +0200xff0x(~xff0x@2405:6580:b080:900:a380:3902:39a8:4574)
2026-03-29 15:58:31 +0200CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2026-03-29 15:59:07 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 276 seconds)
2026-03-29 16:00:20 +0200divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-03-29 16:00:33 +0200divlamir(~divlamir@user/divlamir) divlamir
2026-03-29 16:01:25 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 245 seconds)
2026-03-29 16:01:50 +0200xff0x(~xff0x@2405:6580:b080:900:a380:3902:39a8:4574) (Ping timeout: 245 seconds)
2026-03-29 16:02:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 16:03:31 +0200xff0x(~xff0x@2405:6580:b080:900:1c1e:28d6:7f8:5027)
2026-03-29 16:06:59 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 16:07:07 +0200mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-29 16:07:21 +0200mistivia(~mistivia@user/mistivia) mistivia
2026-03-29 16:08:58 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2026-03-29 16:09:07 +0200mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-29 16:10:10 +0200mistivia(~mistivia@user/mistivia) mistivia
2026-03-29 16:10:53 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 16:11:43 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 16:12:41 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 16:13:49 +0200jreicher(~joelr@user/jreicher) jreicher
2026-03-29 16:15:46 +0200xff0x(~xff0x@2405:6580:b080:900:1c1e:28d6:7f8:5027) (Ping timeout: 256 seconds)
2026-03-29 16:16:11 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds)
2026-03-29 16:17:44 +0200xff0x(~xff0x@2405:6580:b080:900:b761:7de8:b1c8:d95)
2026-03-29 16:19:17 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 16:22:38 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 16:27:30 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 248 seconds)
2026-03-29 16:28:31 +0200Nosrep(~jimothy@user/nosrep) Nosrep
2026-03-29 16:29:27 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 16:30:44 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 16:35:14 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 16:35:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds)
2026-03-29 16:39:35 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds)
2026-03-29 16:39:42 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 16:40:31 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 16:40:52 +0200califax(~califax@user/califx) (Remote host closed the connection)
2026-03-29 16:40:53 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2026-03-29 16:41:08 +0200califax(~califax@user/califx) califx
2026-03-29 16:41:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) ChaiTRex
2026-03-29 16:44:02 +0200xff0x(~xff0x@2405:6580:b080:900:b761:7de8:b1c8:d95) (Read error: Connection reset by peer)
2026-03-29 16:45:06 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 246 seconds)
2026-03-29 16:46:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 16:46:09 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 246 seconds)
2026-03-29 16:47:34 +0200dibblego(~dibblego@haskell/developer/dibblego) dibblego
2026-03-29 16:47:57 +0200xff0x(~xff0x@2405:6580:b080:900:8021:118f:c4a3:e61a)
2026-03-29 16:49:43 +0200jreicher(~joelr@user/jreicher) (Ping timeout: 264 seconds)
2026-03-29 16:50:21 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-29 16:56:02 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 16:56:09 +0200xff0x(~xff0x@2405:6580:b080:900:8021:118f:c4a3:e61a) (Ping timeout: 245 seconds)
2026-03-29 16:58:09 +0200xff0x(~xff0x@2405:6580:b080:900:63ce:131f:1cff:8e4f)
2026-03-29 16:58:20 +0200pfc(~pfc@user/pfc) pfc
2026-03-29 16:59:56 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 17:00:54 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 255 seconds)
2026-03-29 17:01:31 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 17:06:18 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 17:06:18 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 255 seconds)
2026-03-29 17:07:43 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 17:08:13 +0200xff0x(~xff0x@2405:6580:b080:900:63ce:131f:1cff:8e4f) (Ping timeout: 272 seconds)
2026-03-29 17:09:26 +0200xff0x(~xff0x@om126205235185.34.openmobile.ne.jp)
2026-03-29 17:12:55 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 17:15:33 +0200somemathguy(~somemathg@user/somemathguy) (Ping timeout: 246 seconds)
2026-03-29 17:16:41 +0200somemathguy(~somemathg@user/somemathguy) somemathguy
2026-03-29 17:16:55 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 17:17:44 +0200xff0x(~xff0x@om126205235185.34.openmobile.ne.jp) (Ping timeout: 268 seconds)
2026-03-29 17:18:27 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 17:18:57 +0200xff0x(~xff0x@om126205235185.34.openmobile.ne.jp)
2026-03-29 17:21:19 +0200alter2000(~alter2000@user/alter2000) (Ping timeout: 264 seconds)
2026-03-29 17:21:25 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 17:25:54 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 17:26:22 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2026-03-29 17:27:26 +0200xff0x(~xff0x@om126205235185.34.openmobile.ne.jp) (Ping timeout: 265 seconds)
2026-03-29 17:29:12 +0200xff0x(~xff0x@2405:6580:b080:900:e37d:7f68:ca61:232f)
2026-03-29 17:30:15 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 246 seconds)
2026-03-29 17:32:22 +0200merijn(~merijn@62.45.136.136) merijn
2026-03-29 17:34:17 +0200bggd(~bgg@user/bggd) (Quit: std::move)
2026-03-29 17:37:06 +0200merijn(~merijn@62.45.136.136) (Ping timeout: 265 seconds)
2026-03-29 17:37:57 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 17:38:18 +0200xff0x(~xff0x@2405:6580:b080:900:e37d:7f68:ca61:232f) (Ping timeout: 246 seconds)
2026-03-29 17:39:25 +0200xff0x(~xff0x@2405:6580:b080:900:61f1:d9ad:e03b:31e6)
2026-03-29 17:41:26 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 17:41:53 +0200machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-03-29 17:44:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 17:46:19 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 17:47:01 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 276 seconds)
2026-03-29 17:47:40 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 17:48:19 +0200xff0x(~xff0x@2405:6580:b080:900:61f1:d9ad:e03b:31e6) (Ping timeout: 276 seconds)
2026-03-29 17:50:02 +0200xff0x(~xff0x@ai083084.d.east.v6connect.net)
2026-03-29 17:50:40 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2026-03-29 17:51:17 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-29 17:53:54 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 17:54:29 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2026-03-29 17:54:55 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 17:55:28 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2026-03-29 17:57:08 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 17:57:56 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-29 17:58:02 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 17:58:16 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-29 18:00:35 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 245 seconds)
2026-03-29 18:03:19 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 264 seconds)
2026-03-29 18:05:42 +0200 <geekosaur> gentauro: framework 13, old enough to be affected by the battery+bios bug, and it was too late to save the battery when the bios was updated
2026-03-29 18:05:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 18:06:35 +0200koz_(~koz@121.99.240.58) (Ping timeout: 265 seconds)
2026-03-29 18:07:15 +0200xff0x(~xff0x@ai083084.d.east.v6connect.net) (Ping timeout: 245 seconds)
2026-03-29 18:07:59 +0200koz(~koz@121.99.240.58)
2026-03-29 18:08:23 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-03-29 18:09:03 +0200elrisas92(~user@user/elrisas92) elrisas92
2026-03-29 18:09:13 +0200xff0x(~xff0x@2405:6580:b080:900:b479:e409:fe65:cc3)
2026-03-29 18:10:43 +0200Flow(~none@gentoo/developer/flow) (Read error: Connection reset by peer)
2026-03-29 18:11:01 +0200Flow(~none@gentoo/developer/flow) flow
2026-03-29 18:13:19 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 18:13:48 +0200elrisas92(~user@user/elrisas92) (Ping timeout: 255 seconds)
2026-03-29 18:14:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 18:19:38 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds)
2026-03-29 18:25:16 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 18:29:24 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 18:30:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 18:32:25 +0200CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen
2026-03-29 18:40:39 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 18:45:06 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-03-29 18:46:45 +0200peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-03-29 18:50:43 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 18:54:12 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 18:56:00 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 19:00:14 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds)
2026-03-29 19:00:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-03-29 19:10:50 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 19:11:26 +0200tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-03-29 19:17:12 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 19:18:03 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 272 seconds)
2026-03-29 19:18:55 +0200tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds)
2026-03-29 19:20:41 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-03-29 19:21:04 +0200abiss27(~abiss27@user/abiss) abiss
2026-03-29 19:21:38 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-03-29 19:24:42 +0200CiaoSen(~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2026-03-29 19:29:55 +0200hiecaq(~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2026-03-29 19:31:39 +0200peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 255 seconds)
2026-03-29 19:32:10 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 19:32:35 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 19:37:03 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 19:37:41 +0200straybits(~straybits@user/straybits) (Ping timeout: 272 seconds)
2026-03-29 19:39:29 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-03-29 19:46:31 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 19:47:55 +0200 <tomsmeding> this channel be like: I look at random old logs of the channel and instead of doing what I wanted to do, end up on wikipedia on the Entscheidungsproblem
2026-03-29 19:47:58 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 19:48:21 +0200 <tomsmeding> my thanks to dminuoso in 2021
2026-03-29 19:51:28 +0200 <EvanR> @remember tomsmeding this channel
2026-03-29 19:51:28 +0200 <lambdabot> I will never forget.
2026-03-29 19:52:00 +0200 <tomsmeding> I feel like something is missing there
2026-03-29 19:54:14 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 19:54:39 +0200 <monochrom> Yes, the question of "when I turn on my computer/phone, will I do what I planned or will I get distracted by notifications?" is undecidable.
2026-03-29 19:54:55 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 19:55:06 +0200 <geekosaur> does that work? I think it only keeps what you said
2026-03-29 19:55:33 +0200 <geekosaur> (which allows, among other things, editing for better quotability and quotes from non-channel folks
2026-03-29 19:55:40 +0200 <geekosaur> @quote tomsmeding channel
2026-03-29 19:55:40 +0200 <lambdabot> tomsmeding says: this channel
2026-03-29 19:55:43 +0200 <monochrom> Corollary: By an easy reduction, the question "when I launch an RPG, will I focus on the main quest or will I focus on a side quest" is also undecidable. >:)
2026-03-29 19:55:44 +0200 <geekosaur> ^
2026-03-29 19:56:48 +0200 <int-e> just get drunk in the bar while you deliberate the choice
2026-03-29 19:57:20 +0200 <monochrom> heh that's a great plan
2026-03-29 19:57:27 +0200Guest96(~Guest62@p200300ca8f23fa0023c431aeeea1b74f.dip0.t-ipconnect.de)
2026-03-29 19:57:46 +0200 <monochrom> "don't use your laptop/phone unless you're at a bar"
2026-03-29 19:58:07 +0200 <monochrom> "a person and their phone entered a bar..."
2026-03-29 19:58:35 +0200 <int-e> but you need at least 3 bars for a decent internet connection
2026-03-29 19:58:46 +0200 <monochrom> hahaha
2026-03-29 19:59:51 +0200 <EvanR> oops
2026-03-29 20:00:09 +0200 <EvanR> @forget tomsmeding this channel
2026-03-29 20:00:09 +0200 <lambdabot> Done.
2026-03-29 20:00:19 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 20:00:47 +0200 <monochrom> tomsmeding: "You may also be interested in..." Turing's PhD thesis, "Systems of Logic". (Adding oracles, transfinite ordinals, probably also the arithmetic hierarchy.)
2026-03-29 20:00:57 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 20:01:22 +0200 <tomsmeding> nah I'm building an ircbrowse replacement
2026-03-29 20:01:38 +0200 <tomsmeding> why else do you think I'm looking at random old logs that I have lying around ?!
2026-03-29 20:01:43 +0200 <monochrom> Haha it contains its own side quest "chapter 10: the continuum hypothesis, a digression"
2026-03-29 20:01:48 +0200 <tomsmeding> lol
2026-03-29 20:04:11 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 20:06:01 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 20:11:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-03-29 20:20:47 +0200natto17(~natto@129.154.243.159) (Quit: a.)
2026-03-29 20:21:24 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 20:23:14 +0200abiss27(~abiss27@user/abiss) (Ping timeout: 245 seconds)
2026-03-29 20:24:51 +0200natto17(~natto@129.154.243.159) natto
2026-03-29 20:25:44 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 20:26:27 +0200tri(~tri@ool-44c70bcb.dyn.optonline.net)
2026-03-29 20:35:16 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-03-29 20:35:55 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-03-29 20:36:47 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 20:40:28 +0200notzmv(~umar@user/notzmv) notzmv
2026-03-29 20:41:21 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
2026-03-29 20:41:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 20:42:04 +0200tri(~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection)
2026-03-29 20:42:06 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 20:47:22 +0200alter2000(~alter2000@user/alter2000) alter2000
2026-03-29 20:47:37 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 248 seconds)
2026-03-29 20:47:43 +0200elarks(~elarks@user/yerrii) yerrii
2026-03-29 20:51:47 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 20:52:09 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 20:56:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 20:59:07 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 21:00:23 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2026-03-29 21:02:40 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 21:03:03 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 21:05:26 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) arandombit
2026-03-29 21:05:26 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 21:05:26 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 21:06:44 +0200rabbull(~rabbull@user/rabbull) (Quit: And in case I don't see you, good afternoon, good evening and good night!)
2026-03-29 21:06:59 +0200rabbull(~rabbull@user/rabbull) rabbull
2026-03-29 21:08:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 21:09:54 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 245 seconds)
2026-03-29 21:18:26 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 21:20:53 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 265 seconds)
2026-03-29 21:22:55 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 21:23:07 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 21:23:59 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 21:23:59 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 21:23:59 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 21:24:24 +0200alter2000(~alter2000@user/alter2000) (Ping timeout: 246 seconds)
2026-03-29 21:24:37 +0200DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-03-29 21:25:01 +0200DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-03-29 21:28:11 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 252 seconds)
2026-03-29 21:28:17 +0200michalz(~michalz@185.246.207.215)
2026-03-29 21:30:43 +0200abiss27(~abiss27@user/abiss) abiss
2026-03-29 21:33:49 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 21:38:30 +0200jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 245 seconds)
2026-03-29 21:39:26 +0200 <tomsmeding> [exa]: did you figure out how to tame warp's "yolo let's accept(2) until EMFILE"
2026-03-29 21:40:39 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-03-29 21:42:41 +0200michalz(~michalz@185.246.207.215) (Quit: ZNC 1.9.1 - https://znc.in)
2026-03-29 21:42:59 +0200michalz(~michalz@185.246.207.203)
2026-03-29 21:48:15 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2026-03-29 21:51:52 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 21:52:46 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-03-29 21:54:00 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2026-03-29 21:54:45 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 21:55:38 +0200Lord_of_Life_Lord_of_Life
2026-03-29 21:56:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 22:00:09 +0200 <[exa]> tomsmeding: tested the thing with the semaphore in the handler before fork, it apparently worked, so now it's stashed until I actually need it
2026-03-29 22:00:42 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-29 22:00:48 +0200notzmv(~umar@user/notzmv) (Ping timeout: 246 seconds)
2026-03-29 22:01:09 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-29 22:01:13 +0200 <tomsmeding> [exa]: I looked at the warp source code and it seemed like the accept already happens before the fork, so putting a semaphore in settingsFork doesn't seem like it really blocks accept
2026-03-29 22:01:37 +0200 <tomsmeding> then again, there's supposedly some EMFILE handling around the accept(2) call, but not sure if that actually does anything
2026-03-29 22:02:03 +0200mistivia(~mistivia@user/mistivia) (Remote host closed the connection)
2026-03-29 22:02:48 +0200 <[exa]> tomsmeding: well if you don't fork, the socket is killed and you have an acceptable state again (oh so punny)
2026-03-29 22:02:58 +0200 <tomsmeding> heh
2026-03-29 22:03:35 +0200 <tomsmeding> oh right and because accept() is called in a sequential loop, this way you can limit the number of open sockets
2026-03-29 22:03:37 +0200 <[exa]> and failing early is actually the recommended behavior in congestion, so I think it's okay-ish
2026-03-29 22:03:55 +0200 <tomsmeding> with the downside being that connections that go over the limit are accepted and then dropped instead of not accepted
2026-03-29 22:04:02 +0200 <tomsmeding> hm
2026-03-29 22:04:14 +0200 <[exa]> "not accepted" means "queued forever in the OS" which might be worse
2026-03-29 22:04:19 +0200 <tomsmeding> yes
2026-03-29 22:04:38 +0200 <[exa]> in other news I'm not a great fan of tcp
2026-03-29 22:04:40 +0200 <[exa]> :D
2026-03-29 22:05:22 +0200 <tomsmeding> then I bet you're happier with QUIC
2026-03-29 22:05:42 +0200 <tomsmeding> I don't know how it works but a friend does and he's happy for reasons complementary to what you seem to not like in tcp
2026-03-29 22:07:15 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 22:11:51 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2026-03-29 22:13:11 +0200 <[exa]> nah, you still need a state machine there, doesn't help.
2026-03-29 22:17:17 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-03-29 22:17:27 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2026-03-29 22:17:47 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2026-03-29 22:19:28 +0200jreicher(~joelr@user/jreicher) jreicher
2026-03-29 22:21:50 +0200takuan(~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 256 seconds)
2026-03-29 22:22:36 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 22:23:42 +0200emmanuelux(~em@user/emmanuelux) (Read error: Connection reset by peer)
2026-03-29 22:25:08 +0200 <TMA> [exa]: there is a parameter to listen(2) that limits how many unaccepted connections are waiting. setting it to 5 or 3 is fine for the normal case of acepting often
2026-03-29 22:26:48 +0200emmanuelux(~em@user/emmanuelux) emmanuelux
2026-03-29 22:27:19 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-03-29 22:28:11 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 244 seconds)
2026-03-29 22:28:58 +0200 <tomsmeding> TMA: following the call chain, warp seems to pass 2048 there
2026-03-29 22:29:04 +0200 <tomsmeding> through this function https://hackage-content.haskell.org/package/streaming-commons-0.2.3.1/docs/src/Data.Streaming.Netw…
2026-03-29 22:30:29 +0200 <TMA> that might be a problem
2026-03-29 22:30:55 +0200machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-03-29 22:33:06 +0200srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-03-29 22:33:27 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Read error: Connection reset by peer)
2026-03-29 22:34:12 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 22:35:19 +0200pavonia(~user@user/siracusa) siracusa
2026-03-29 22:37:58 +0200merijn(~merijn@62.45.136.136) merijn
2026-03-29 22:42:57 +0200merijn(~merijn@62.45.136.136) (Ping timeout: 269 seconds)
2026-03-29 22:53:22 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 22:57:20 +0200 <monochrom> listen(a number in the order of thousands) is simply mean.
2026-03-29 22:57:51 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
2026-03-29 22:59:29 +0200 <monochrom> In the brick-and-mortor retail world, there are only two reasons to do that (long customer queue). One is to create hype ("oh look at how many people are dying to buy our product!"). The other is in supermarkets putting pressure on cashier workers.
2026-03-29 23:01:39 +0200Guest96(~Guest62@p200300ca8f23fa0023c431aeeea1b74f.dip0.t-ipconnect.de) (Quit: Client closed)
2026-03-29 23:04:18 +0200 <monochrom> And now that I think about it, even those reasons are intended to be mean (to customers in the 1st case, employees in the 2nd case).
2026-03-29 23:05:34 +0200 <tomsmeding> putting pressure on cashier workers is indirectly also a bit mean to the supermarket, as it results in more mistakes and more missed (i.e. stolen) products, but likely the effect on the cashiers is bigger, yes
2026-03-29 23:06:06 +0200 <EvanR> standing there with nothing to do is the worst though
2026-03-29 23:07:14 +0200 <EvanR> having worked black friday, from my perspective it wasn't particularly different from a normal busy day, since I can't tell the diff between 5 people in my line vs 500
2026-03-29 23:07:37 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2026-03-29 23:08:17 +0200 <monochrom> Pretty sure the capitalist supermarket managers have found the sweet spot of the right queue length pressure to balance between "motivation to work" and error rate. :)
2026-03-29 23:08:27 +0200 <glguy> When I worked people who'd been waiting in a long line behaved at least a little differently from those who hadn't been waiting long
2026-03-29 23:08:43 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 23:08:57 +0200 <glguy> I worked at a computer store in the age of mail in rebates. Every sunday lines went to the back of the store as people can in to get their free-after-rebate stuff
2026-03-29 23:08:58 +0200 <tomsmeding> (my supermarket cashier experience is from when I was like 15 and didn't know shit)
2026-03-29 23:09:23 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-03-29 23:09:42 +0200 <EvanR> yeah just assume the customer is baseline evil and you won't be disappointed
2026-03-29 23:10:11 +0200 <glguy> I also worked in a movie theater back when people still lined up to see movies on the big screen and lines could get quite long
2026-03-29 23:12:15 +0200 <tomsmeding> can we talk about dependencies? I have a simple app that uses chronos (not even all that much), mustache, warp, and some negligible other stuff. Chronos and mustache pull in aeson, and warp pulls in crypton and http2, and suddenly I have tons of transitive dependencies that take ages to build
2026-03-29 23:12:36 +0200 <tomsmeding> I don't use aeson or json in any way, and I only need HTTP/1.1 so crypton and http2 are useless
2026-03-29 23:13:40 +0200 <tomsmeding> and then I have a server that crashes and burns when I spam it with requests because warp decided that limiting accepts is not necessary
2026-03-29 23:14:53 +0200 <EvanR> why does chronos or mustache even use aeson
2026-03-29 23:15:06 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2026-03-29 23:15:10 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 23:15:28 +0200 <tomsmeding> chronos I think only for ToJSON/FromJSON instances
2026-03-29 23:16:21 +0200 <tomsmeding> mustache the inverse, i.e. it has some functions taking ToJSON for convenience
2026-03-29 23:16:26 +0200 <tomsmeding> I need none of this
2026-03-29 23:16:31 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 264 seconds)
2026-03-29 23:17:07 +0200 <tomsmeding> tempted to reimplement date <-> day-number handling from chronos, and simple GET-only HTTP/1.1 handling from scratch instead of warp
2026-03-29 23:17:12 +0200 <tomsmeding> and nuke like 95% of my deps
2026-03-29 23:17:14 +0200 <EvanR> breaking ToJSON FromJSON instances that aren't actually used in a library into a separate library, orphans I guess, sounds better in light of this
2026-03-29 23:18:29 +0200 <EvanR> date <-> day-number ought to be not much copy pasta
2026-03-29 23:18:34 +0200 <tomsmeding> yes
2026-03-29 23:18:44 +0200 <tomsmeding> but then I still have aeson from mustache
2026-03-29 23:18:58 +0200 <tomsmeding> so just nuking chronos helps naught
2026-03-29 23:19:13 +0200 <EvanR> premature optimization!
2026-03-29 23:20:01 +0200 <EvanR> this story suggests smaller more targeted libraries with fewer dependencies might be warranted
2026-03-29 23:20:21 +0200 <tomsmeding> I've been looking for a haskell http server that is small and does simple stuff for ages
2026-03-29 23:20:23 +0200 <EvanR> e.g. a thing that parses HTTP, but not necessarily every content type that exists
2026-03-29 23:20:45 +0200 <tomsmeding> snap is the closest that I've found, but this time I wanted to try something different because snap is a bit weird sometimes
2026-03-29 23:21:20 +0200 <tomsmeding> e.g. snap segfaulted when a request had an invalid Date: header because their C code didn't check errors (I fixed that)
2026-03-29 23:21:57 +0200 <EvanR> OOF
2026-03-29 23:23:03 +0200raincomplex_(~rain@user/raincomplex) raincomplex
2026-03-29 23:23:09 +0200 <tomsmeding> https://github.com/snapframework/snap-core/pull/305
2026-03-29 23:23:13 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01)
2026-03-29 23:23:13 +0200arandombit(~arandombi@2a02:2455:8656:7100:4dba:7f3:232c:4f01) (Changing host)
2026-03-29 23:23:13 +0200arandombit(~arandombi@user/arandombit) arandombit
2026-03-29 23:23:19 +0200 <tomsmeding> not Date, If-Modified-Since apparently
2026-03-29 23:23:39 +0200raincomplex(~rain@user/raincomplex) (Ping timeout: 268 seconds)
2026-03-29 23:26:29 +0200abiss27(~abiss27@user/abiss) (Quit: I'm off, Goodbye!)
2026-03-29 23:26:47 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-03-29 23:27:04 +0200 <mauke> this is why I use a functional language like haskell: so I can FFI out to C for parsing and segfault on syntax errors
2026-03-29 23:28:12 +0200 <tomsmeding> precisely
2026-03-29 23:28:16 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2026-03-29 23:31:09 +0200merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2026-03-29 23:31:30 +0200s00pcan(~s00pcan@24.73.63.94) s00pcan
2026-03-29 23:31:48 +0200s00pcan(~s00pcan@24.73.63.94) (Client Quit)