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