Home liberachat/#haskell: Logs Calendar

Logs on 2026-03-16 (liberachat/#haskell)

00:00:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:01:45 st_aldini joins (~Betterbir@136.48.46.187)
00:04:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
00:15:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:16:56 pavonia joins (~user@user/siracusa)
00:20:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
00:25:22 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
00:25:26 × Guest24 quits (~Guest24@94.42.242.59) (Quit: Client closed)
00:31:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:35:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
00:40:53 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:45:51 × wickedjargon quits (~user@S0106ac17c8c20e24.vc.shawcable.net) (Remote host closed the connection)
00:46:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:50:57 peterbecich joins (~Thunderbi@71.84.33.135)
00:53:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:01:23 × xff0x_ quits (~xff0x@2405:6580:b080:900:1fdc:c04d:3012:9e4) (Ping timeout: 272 seconds)
01:04:28 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:08:56 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
01:19:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:24:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
01:30:35 × acidjnk_new3 quits (~acidjnk@p200300d6e700e515b93fdf75026bf1fc.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
01:30:58 × malte quits (~malte@mal.tc) (Ping timeout: 248 seconds)
01:34:55 wickedjargon joins (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a)
01:41:46 craunts795335385 joins (~craunts@61.245.22.252)
01:43:12 × peterbecich quits (~Thunderbi@71.84.33.135) (Quit: peterbecich)
01:43:26 peterbecich joins (~Thunderbi@71.84.33.135)
01:46:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:47:38 × wickedjargon quits (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Remote host closed the connection)
01:47:52 wickedjargon joins (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a)
01:48:14 × Square2 quits (~Square@user/square) (Read error: Connection reset by peer)
01:48:19 × Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 264 seconds)
01:49:17 Square2 joins (~Square@user/square)
01:49:22 × elarks quits (~elarks@user/yerrii) (Ping timeout: 268 seconds)
01:49:50 × craunts795335385 quits (~craunts@61.245.22.252) (Quit: Ping timeout (120 seconds))
01:50:29 × somemathguy quits (~somemathg@user/somemathguy) (Remote host closed the connection)
01:50:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:50:49 elarks joins (~elarks@user/yerrii)
01:57:16 Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se)
01:58:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:59:54 × czan quits (~czan@user/mange) (Ping timeout: 245 seconds)
02:00:10 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
02:03:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
02:03:24 × wickedjargon quits (~user@2605:8d80:5431:a584:b202:1ead:c0d0:b1a) (Ping timeout: 246 seconds)
02:05:36 xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
02:13:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:18:26 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
02:24:52 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
02:29:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:35:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
02:37:03 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 255 seconds)
02:47:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:52:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
02:55:32 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
02:55:32 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
02:55:32 arandombit joins (~arandombi@user/arandombit)
03:00:48 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds)
03:02:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:03:24 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
03:05:30 peterbecich joins (~Thunderbi@71.84.33.135)
03:06:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:08:25 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
03:17:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:22:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
03:31:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:34:16 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
03:36:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
03:41:30 × terrorjack quits (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat)
03:42:05 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
03:42:05 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
03:42:05 haritz joins (~hrtz@user/haritz)
03:46:15 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
03:46:15 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
03:46:15 arandombit joins (~arandombi@user/arandombit)
03:47:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:50:07 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
03:51:40 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
03:52:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
04:02:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:07:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
04:17:07 ChaiTRex joins (~ChaiTRex@user/chaitrex)
04:18:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:22:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
04:24:38 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
04:31:22 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
04:32:56 merijn joins (~merijn@62.45.136.136)
04:32:56 peterbecich joins (~Thunderbi@71.84.33.135)
04:37:24 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds)
04:39:51 arandombit joins (~arandombi@user/arandombit)
04:44:57 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
04:48:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:49:32 × dutchie quits (~dutchie@user/dutchie) (Ping timeout: 244 seconds)
04:52:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
04:56:15 dutchie joins (~dutchie@user/dutchie)
04:56:36 poscat joins (~poscat@user/poscat)
04:58:19 × poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 244 seconds)
05:03:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:08:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
05:11:59 × Square2 quits (~Square@user/square) (Ping timeout: 245 seconds)
05:19:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:22:17 arandombit joins (~arandombi@user/arandombit)
05:23:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:24:56 wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net)
05:25:19 × wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Remote host closed the connection)
05:25:33 wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net)
05:27:15 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
05:33:43 michalz joins (~michalz@185.246.207.200)
05:33:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:36:00 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
05:38:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
05:41:26 arandombit joins (~arandombi@user/arandombit)
05:45:45 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds)
05:49:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:53:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
05:57:33 arandombit joins (~arandombi@user/arandombit)
05:57:46 peterbecich joins (~Thunderbi@71.84.33.135)
06:01:56 mismorgano joins (~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5)
06:02:12 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
06:03:15 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
06:04:02 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
06:04:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:05:17 wootehfoot joins (~wootehfoo@user/wootehfoot)
06:11:25 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:12:58 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.7.2)
06:13:39 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
06:14:43 craunts795335385 joins (~craunts@222.127.102.78)
06:17:32 × jreicher quits (~joelr@user/jreicher) (Quit: In transit)
06:22:40 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:27:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:34:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:35:22 <gentauro> 21:53 < newmind> sshine: a lot of windows installation in a corporate settings are also managed, so it's not even that they are not interested in it, it's often simply not permitted
06:35:40 <gentauro> newmind: and this is why products like `Admin By Request` are used everywhere
06:36:36 gentauro fun fact, `Admin By Request` was developed entirely by `Lars Sneftrup` (dane)
06:39:46 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
06:40:32 <gentauro> jreicher, what do you mean by RPN? Reverse Polish Notation?
06:40:49 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
06:40:49 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
06:40:49 arandombit joins (~arandombi@user/arandombit)
06:41:25 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
06:46:09 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
06:50:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:54:29 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:54:37 Enrico63 joins (~Enrico63@host-79-27-153-132.retail.telecomitalia.it)
07:01:30 × hellwolf quits (~user@521a-36d5-5381-57e0-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection)
07:05:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:08:10 × wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 265 seconds)
07:09:46 <gentauro> btw, when jumping back and forth between diff prog-langs, with support for FP (ish), this table from Gustavo Guerra (ovatus old blog) is really nice to have -> https://github.com/ovatsus/ovatsus.github.com/blob/master/blog/2013/11/10/higher-order-list-operations-across-languages/index.html#L112-L125
07:10:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
07:12:19 × craunts795335385 quits (~craunts@222.127.102.78) (Ping timeout: 264 seconds)
07:17:36 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
07:17:36 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
07:17:36 arandombit joins (~arandombi@user/arandombit)
07:21:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:22:45 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
07:23:12 × vidak quits (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) (Ping timeout: 264 seconds)
07:23:31 craunts795335385 joins (~craunts@61.245.22.252)
07:24:28 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
07:24:28 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
07:24:28 arandombit joins (~arandombi@user/arandombit)
07:25:41 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
07:27:21 wickedjargon joins (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba)
07:28:38 × Enrico63 quits (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed)
07:29:32 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds)
07:35:52 merijn joins (~merijn@62.45.136.136)
07:40:28 × kimiamania40 quits (~b4b260c9@user/kimiamania) (Quit: Ping timeout (120 seconds))
07:41:18 arandombit joins (~arandombi@user/arandombit)
07:42:26 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
07:42:37 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 244 seconds)
07:51:18 × wickedjargon quits (~user@2605:8d80:5430:e5d2:e3ca:cdc4:8a8e:ccba) (Remote host closed the connection)
07:51:24 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
07:52:24 jreicher joins (~joelr@user/jreicher)
07:53:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:55:30 × Digit quits (~user@user/digit) (Ping timeout: 246 seconds)
07:56:06 Digitteknohippie joins (~user@user/digit)
07:58:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
07:58:21 Enrico63 joins (~Enrico63@host-79-27-153-132.retail.telecomitalia.it)
08:01:14 sord937 joins (~sord937@gateway/tor-sasl/sord937)
08:02:45 <jreicher> gentauro: yes
08:03:17 Digitteknohippie is now known as Digit
08:04:10 chele joins (~chele@user/chele)
08:09:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:13:22 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
08:14:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
08:17:21 Square2 joins (~Square4@user/square)
08:23:31 AlexNoo_ joins (~AlexNoo@5.139.232.240)
08:23:40 AlexNoo_ is now known as AlexNoo
08:24:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:26:58 × Square2 quits (~Square4@user/square) (Ping timeout: 276 seconds)
08:27:00 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
08:27:00 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
08:27:00 arandombit joins (~arandombi@user/arandombit)
08:28:18 Square2 joins (~Square4@user/square)
08:29:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
08:30:02 glguy_ joins (glguy@libera/staff/glguy)
08:30:36 × glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer)
08:41:34 <gentauro> jreicher: you really need to use terms they understand. Try to explain `classes` to kidos where in their vocabulay class = (school) class :0
08:48:17 × mismorgano quits (~mismorgan@2806:102e:b:1045:ddfc:cd2e:171c:85e5) (Quit: Client closed)
08:48:56 <jreicher> I know. I tend to use prefix/postfix if I'm not talking to people who enjoy the old names. ;)
08:54:02 vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a)
08:59:25 __monty__ joins (~toonn@user/toonn)
09:05:46 × craunts795335385 quits (~craunts@61.245.22.252) (Quit: The Lounge - https://thelounge.chat)
09:09:19 danza joins (~danza@user/danza)
09:11:28 merijn joins (~merijn@77.242.116.146)
09:15:10 × tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Ping timeout: 245 seconds)
09:15:12 tessier_ joins (~tessier@ip68-8-117-219.sd.sd.cox.net)
09:21:17 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
09:21:47 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
09:25:43 acidjnk_new3 joins (~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de)
09:30:09 × Digit quits (~user@user/digit) (Ping timeout: 255 seconds)
09:30:21 Digitteknohippie joins (~user@user/digit)
09:31:00 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
09:39:59 Digitteknohippie is now known as Digit
10:02:39 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
10:14:08 × sixfourtwelve quits (~ethanmorg@static.82.129.225.46.clients.your-server.de) (Quit: leaving)
10:19:25 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
10:19:38 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
10:19:56 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
10:20:02 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds)
10:25:58 × danza quits (~danza@user/danza) (Read error: Connection reset by peer)
10:25:59 danz83428 joins (~danza@user/danza)
10:26:19 arandombit joins (~arandombi@user/arandombit)
10:30:41 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
10:30:42 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
10:30:42 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
10:30:42 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
10:31:00 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
10:31:03 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
10:31:05 sord937 joins (~sord937@gateway/tor-sasl/sord937)
10:31:22 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
10:31:26 gmg joins (~user@user/gehmehgeh)
10:42:20 madresch joins (~Thunderbi@user/madresch)
10:43:15 acidjnk_new joins (~acidjnk@p200300d6e700e5002f63032c884ffe61.dip0.t-ipconnect.de)
10:44:34 sixfourtwelve joins (~ethanmorg@static.82.129.225.46.clients.your-server.de)
10:46:26 × acidjnk_new3 quits (~acidjnk@p200300d6e700e515475642ad00179aca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
10:52:06 × danz83428 quits (~danza@user/danza) (Remote host closed the connection)
10:53:14 × califax quits (~califax@user/califx) (Remote host closed the connection)
10:53:25 califax joins (~califax@user/califx)
10:56:47 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Read error: Connection reset by peer)
10:57:00 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
10:58:00 terrorjack joins (~terrorjac@2a01:4f8:271:2d98::2)
11:01:22 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
11:01:22 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
11:01:22 arandombit joins (~arandombi@user/arandombit)
11:06:11 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
11:14:13 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
11:14:38 divlamir joins (~divlamir@user/divlamir)
11:18:15 xff0x joins (~xff0x@2405:6580:b080:900:666b:627e:a15c:e58f)
11:27:16 × Enrico63 quits (~Enrico63@host-79-27-153-132.retail.telecomitalia.it) (Quit: Client closed)
11:27:31 arandombit joins (~arandombi@user/arandombit)
11:32:01 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
11:34:42 kadobanana joins (~mud@user/kadoban)
11:34:46 tt123160701978 joins (~tt1231@75.185.104.199)
11:35:34 × tt12316070197 quits (~tt1231@75.185.104.199) (Quit: Ping timeout (120 seconds))
11:35:34 tt123160701978 is now known as tt12316070197
11:36:24 × mud quits (~mud@user/kadoban) (Ping timeout: 264 seconds)
11:41:09 × koz quits (~koz@121.99.240.58) (Ping timeout: 245 seconds)
11:42:44 × Googulator quits (~Googulato@2a01-036d-0106-2025-8806-aadb-981f-aee0.pool6.digikabel.hu) (Quit: Client closed)
11:43:02 Googulator joins (~Googulato@84-236-126-180.pool.digikabel.hu)
11:43:40 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
11:43:40 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
11:43:40 arandombit joins (~arandombi@user/arandombit)
11:53:52 koz joins (~koz@121.99.240.58)
12:35:21 × YoungFrog quits (~youngfrog@2a02:a03f:ca07:f900:1032:66d2:1281:f541) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
12:35:42 YoungFrog joins (~youngfrog@2a02:a03f:ca07:f900:da2b:d75e:d3df:ac78)
12:41:50 × Square2 quits (~Square4@user/square) (Ping timeout: 245 seconds)
12:47:44 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
12:53:17 × AlexZenon quits (~alzenon@5.139.232.240) (Quit: ;-)
12:53:39 × Alex_delenda_est quits (~al_test@5.139.232.240) (Quit: ;-)
12:54:13 × AlexNoo quits (~AlexNoo@5.139.232.240) (Quit: Leaving)
12:58:55 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
13:04:40 qqq joins (~qqq@185.54.20.215)
13:05:35 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
13:09:55 bggd_ joins (~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d)
13:15:51 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
13:15:51 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
13:15:51 arandombit joins (~arandombi@user/arandombit)
13:19:31 × koz quits (~koz@121.99.240.58) (Ping timeout: 264 seconds)
13:21:02 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
13:24:39 AlexNoo joins (~AlexNoo@5.139.232.240)
13:25:18 AlexZenon joins (~alzenon@5.139.232.240)
13:25:30 koz joins (~koz@121.99.240.58)
13:30:14 arandombit joins (~arandombi@user/arandombit)
13:37:17 × bggd_ quits (~bgg@2a01:e0a:fd5:f510:b358:492e:e5d6:701d) (Remote host closed the connection)
13:37:48 × Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 246 seconds)
13:42:08 Maxdamantus joins (~Maxdamant@user/maxdamantus)
13:49:16 tremon joins (~tremon@83.80.159.219)
13:58:34 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
14:00:11 somemathguy joins (~somemathg@user/somemathguy)
14:03:55 × rainbyte quits (~rainbyte@181.47.219.106) (Ping timeout: 245 seconds)
14:06:05 <lisbeths> uh I think binary lambda calculus 2 + a memory palace is good for Turing complete mnemonics
14:22:36 madresch1 joins (~Thunderbi@user/madresch)
14:24:23 × madresch1 quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
14:24:50 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 248 seconds)
14:25:25 madresch joins (~Thunderbi@user/madresch)
14:35:48 × somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1)
14:49:36 accountant joins (~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c)
14:49:37 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
14:49:54 × Pixi quits (~Pixi@user/pixi) (Ping timeout: 248 seconds)
15:07:03 Pixi joins (~Pixi@user/pixi)
15:09:17 danza joins (~danza@user/danza)
15:09:40 img_ joins (~img@user/img)
15:09:57 glguy_ is now known as glguy
15:11:39 × img quits (~img@user/img) (Ping timeout: 268 seconds)
15:14:14 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
15:14:51 × Digit quits (~user@user/digit) (Ping timeout: 255 seconds)
15:15:03 Digitteknohippie joins (~user@user/digit)
15:15:30 wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net)
15:38:37 Enrico63 joins (~Enrico63@79.27.153.132)
15:42:03 wickedja` joins (~user@2605:8d80:5431:5306:f152:ae23:65ff:8189)
15:44:07 × wickedjargon quits (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds)
15:45:26 × oats quits (~oats@user/oats) (Read error: Connection reset by peer)
15:45:41 oats joins (~oats@user/oats)
15:45:46 craunts795335385 joins (~craunts@152.32.99.2)
15:46:06 × Enrico63 quits (~Enrico63@79.27.153.132) (Quit: Client closed)
15:46:57 Alex_delenda_est joins (~al_test@5.139.232.240)
15:53:00 × wickedja` quits (~user@2605:8d80:5431:5306:f152:ae23:65ff:8189) (Remote host closed the connection)
15:55:07 × craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat)
15:56:14 craunts795335385 joins (~craunts@152.32.99.2)
16:02:41 weary-traveler joins (~user@user/user363627)
16:08:24 × st_aldini quits (~Betterbir@136.48.46.187) (Quit: st_aldini)
16:11:53 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds)
16:13:33 × natechan quits (~natechan@c-98-45-159-200.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
16:15:28 × accountant quits (~accountan@2600:1702:5b61:8b40:89ea:ac5:d69b:838c) (Quit: Client closed)
16:22:50 j1n37 joins (~j1n37@user/j1n37)
16:23:11 v0id_7 joins (~v0id_7@user/v0id-7:62772)
16:26:48 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
16:29:32 Digitteknohippie is now known as Digit
16:29:43 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 264 seconds)
16:31:24 × v0id_7 quits (~v0id_7@user/v0id-7:62772) (Ping timeout: 246 seconds)
16:31:48 v0id_7 joins (~v0id_7@user/v0id-7:62772)
16:36:15 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:38:50 j1n37 joins (~j1n37@user/j1n37)
16:44:05 × madresch quits (~Thunderbi@user/madresch) (Ping timeout: 244 seconds)
16:50:05 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
16:50:13 × craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat)
16:54:59 × danza quits (~danza@user/danza) (Remote host closed the connection)
16:55:22 <dminuoso> Python strikes again.
16:55:39 <dminuoso> django.conf.settings is an attempt at lazyness, but done in a grotesque and buggy way
16:56:33 Guest62t joins (~Guest62t@p200300ca8f03bb00982801fe38106b84.dip0.t-ipconnect.de)
16:56:49 <dminuoso> While we protect recursion in our thunks with blackhole, django.conf.settings not only allows it, but of course you end up with at scenario where not only can a recursive evaluation end up with a different value, but because they mutate state you end up with scenarios where depending on the order of evaluation you have three possible states that range from "bugged, bugged and buggy, and slightly
16:56:51 <dminuoso> less bugged"
16:57:47 <dminuoso> Or maybe "recursion" is the wrong term here, reentrance seems more fitting.
16:57:52 <haskellbridge> <magic_rb> Sounds like great software ngl
16:59:50 <[exa]> it's tested by time
17:03:25 st_aldini joins (~Betterbir@136.48.46.187)
17:11:50 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds)
17:12:54 × dyniec quits (~dyniec@dybiec.info) (Remote host closed the connection)
17:13:31 dyniec joins (~dyniec@dybiec.info)
17:17:46 <mesaoptimizer> well, by a lot of people you mean
17:38:25 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
17:53:21 arandombit joins (~arandombi@user/arandombit)
18:05:44 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds)
18:18:35 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
18:18:35 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
18:18:35 arandombit joins (~arandombi@user/arandombit)
18:21:42 <EvanR> that is what happens when people think what's the big deal it's all 1s and 0s
18:22:24 <EvanR> no semantic balls
18:25:40 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
18:26:09 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
18:28:14 somemathguy joins (~somemathg@user/somemathguy)
18:32:44 <L29Ah> only type holes?
18:33:32 <monochrom> Just fill your type holes with semantics balls >:)
18:42:28 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
18:50:48 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 264 seconds)
18:51:05 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:52:18 target_i joins (~target_i@user/target-i/x-6023099)
18:54:23 peterbecich joins (~Thunderbi@71.84.33.135)
19:01:49 Square2 joins (~Square@user/square)
19:01:54 <mesaoptimizer> what is a semantic ball
19:07:15 <EvanR> when you assert during the design process that what we're creating is not a random arrangement of machine code instructions to munge the computer words to and fro, but (exact or approximate in some sense) realization of some semantics, this latter objective is much more narrow and focused. And not everyone has the guts (or foolhardiness?) to try!
19:08:28 <EvanR> e.g. you might sabotage yourself second guessing whether the more narrow and defined objective is appropriate for the problem
19:13:38 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
19:15:16 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
19:19:36 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
19:19:45 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 246 seconds)
19:25:36 malte joins (~malte@mal.tc)
19:32:20 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
19:34:06 × emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 246 seconds)
19:34:37 emmanuelux joins (~em@user/emmanuelux)
19:39:48 madresch joins (~Thunderbi@user/madresch)
19:43:30 emmanuelux_ joins (~em@2a02-8440-260d-61f7-ac71-fff7-5c29-395c.rev.sfr.net)
19:44:09 × emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 248 seconds)
19:50:49 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:51:37 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
19:51:37 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
19:51:37 arandombit joins (~arandombi@user/arandombit)
19:51:53 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
19:53:43 Lord_of_Life_ is now known as Lord_of_Life
19:56:26 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds)
19:57:27 lol__ is now known as jcarpenter22
20:00:47 × st_aldini quits (~Betterbir@136.48.46.187) (Quit: st_aldini)
20:03:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:05:57 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 246 seconds)
20:08:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
20:10:50 st_aldini joins (~Betterbir@136.48.46.187)
20:11:53 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
20:11:53 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
20:11:53 arandombit joins (~arandombi@user/arandombit)
20:16:54 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
20:17:31 TMA joins (tma@twin.jikos.cz)
20:19:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:23:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
20:28:05 <Franciman> mesaoptimizer: semantic web inventions /jk
20:30:20 × LUCKY_NOOB quits (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: Lost terminal)
20:34:27 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:39:32 hellwolf joins (~user@d2c7-375c-6044-5280-0f00-4d40-07d0-2001.sta.estpak.ee)
20:41:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:48:47 arandombit joins (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a)
20:48:47 × arandombit quits (~arandombi@2a02:2455:8656:7100:85dd:2465:f8d7:ee0a) (Changing host)
20:48:47 arandombit joins (~arandombi@user/arandombit)
20:49:44 roconnor parts (~quassel@rocq/roconnor) ()
20:52:33 merijn joins (~merijn@62.45.136.136)
20:55:00 × st_aldini quits (~Betterbir@136.48.46.187) (Quit: st_aldini)
20:56:59 × merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds)
21:02:58 × Square2 quits (~Square@user/square) (Read error: Connection reset by peer)
21:04:14 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:07:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:12:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:16:55 × michalz quits (~michalz@185.246.207.200) (Remote host closed the connection)
21:23:15 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:27:44 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
21:32:14 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Read error: Connection reset by peer)
21:34:05 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
21:34:43 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
21:36:19 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 264 seconds)
21:38:37 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:39:54 natechan joins (~natechan@c-98-45-159-200.hsd1.ca.comcast.net)
21:42:51 Sgeo joins (~Sgeo@user/sgeo)
21:43:37 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
21:53:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:54:56 × img_ quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
21:56:10 img joins (~img@user/img)
21:57:01 × Guest62t quits (~Guest62t@p200300ca8f03bb00982801fe38106b84.dip0.t-ipconnect.de) (Quit: Client closed)
21:58:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:09:03 × carbolymer quits (~carbolyme@delirium.systems) ()
22:09:21 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:09:22 carbolymer joins (~carbolyme@2a0a:4cc0:c1:e0af:cafe:babe:0:1)
22:13:59 pavonia joins (~user@user/siracusa)
22:16:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
22:16:20 lisbeths joins (uid135845@id-135845.lymington.irccloud.com)
22:17:49 × jreicher quits (~joelr@user/jreicher) (Read error: Connection reset by peer)
22:18:17 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
22:18:57 jreicher joins (~joelr@user/jreicher)
22:27:07 tomku joins (~tomku@user/tomku)
22:27:21 × carbolymer quits (~carbolyme@2a0a:4cc0:c1:e0af:cafe:babe:0:1) ()
22:27:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:27:43 carbolymer joins (carbolymer@2a0a:4cc0:c1:e0af:cafe:babe:0:1)
22:29:11 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
22:31:48 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Remote host closed the connection)
22:31:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
22:42:45 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:46:57 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:53:57 adpad-13 joins (~adpad-13@112.133.220.139)
22:58:07 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:02:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:05:12 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
23:09:41 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
23:13:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:16:44 × adpad-13 quits (~adpad-13@112.133.220.139) (Quit: Client closed)
23:18:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
23:24:37 × infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 276 seconds)
23:28:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:33:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
23:34:19 × v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks)
23:37:04 wickedjargon joins (~user@207.194.38.18)
23:44:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:44:36 infinity0 joins (~infinity0@pwned.gg)
23:50:18 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
23:51:17 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:59:24 × wickedjargon quits (~user@207.194.38.18) (Ping timeout: 246 seconds)
23:59:48 × j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)

All times are in UTC on 2026-03-16.