Home liberachat/#haskell: Logs Calendar

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

00:01:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:10:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
00:12:34 × Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Ping timeout: 248 seconds)
00:21:37 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:26:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
00:29:50 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
00:36:58 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:44:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
00:49:29 karenw joins (~karenw@user/karenw)
00:55:27 <haskellbridge> <sm> that was a good intro video, thanks gentauro
00:55:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
00:57:18 <haskellbridge> <sm> https://www.securemessagingapps.com no longer has the "maximum number of participants" row shown in the video. A pity
00:58:24 <haskellbridge> <sm> oh yes it does. This seems to be a different version: https://www.messenger-matrix.de/messenger-matrix-en.html
01:00:20 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
01:11:04 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:17:28 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
01:27:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:27:52 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
01:30:18 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
01:32:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
01:35:07 × acidjnk quits (~acidjnk@p200300d6e700e5713cf8b3ec8a6333bb.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
01:43:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
01:49:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
01:50:21 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 244 seconds)
01:51:54 × Alex_delenda_est quits (~al_test@5.139.232.240) (Ping timeout: 244 seconds)
01:56:29 AlexZenon joins (~alzenon@5.139.232.240)
02:01:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:01:30 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 255 seconds)
02:05:33 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
02:16:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:20:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
02:20:58 AlexZenon joins (~alzenon@5.139.232.240)
02:24:20 AlexZenon_2 joins (~alzenon@5.139.232.240)
02:25:48 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 255 seconds)
02:28:57 × AlexZenon_2 quits (~alzenon@5.139.232.240) (Ping timeout: 255 seconds)
02:31:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:33:19 AlexZenon joins (~alzenon@5.139.232.240)
02:36:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
02:37:15 × jmcantrell_ quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.8.1)
02:45:40 × glguy_ quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer)
02:45:48 glguy joins (glguy@libera/staff/glguy)
02:47:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
02:51:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
03:01:36 bggd_ joins (~bgg@2a01:e0a:fd5:f510:5d6e:124e:968f:4994)
03:02:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:07:21 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
03:18:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:24:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
03:36:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:40:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
03:51:26 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
03:55:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
04:02:19 hakutaku joins (~textual@user/hakutaku)
04:06:48 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:11:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
04:19:14 × img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in)
04:20:30 img joins (~img@user/img)
04:21:38 ashwin joins (~ashwin@2600:1700:6070:b140:19ce:dbce:733:7145)
04:22:05 × rekahsoft quits (~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) (Remote host closed the connection)
04:22:09 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:22:41 × ashwin quits (~ashwin@2600:1700:6070:b140:19ce:dbce:733:7145) (Remote host closed the connection)
04:26:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
04:36:37 sp1ff joins (~user@2601:1c2:4600:6e0::a4a8)
04:37:31 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:42:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
04:52:53 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
04:59:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
05:01:20 <gentauro> sm: they only annoying part with simplex-chat tui is that backspace doesn't work xD
05:01:47 <gentauro> I actually wrote to them with a fix and then it's when I got the reply (I should move to desktop)
05:02:01 <gentauro> :-\
05:02:37 <gentauro> I will probably end patching it locally
05:07:43 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds)
05:08:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:10:35 qqq joins (~qqq@185.54.23.189)
05:13:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
05:13:53 euphores joins (~SASL_euph@user/euphores)
05:17:42 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
05:20:32 rainbyte_ joins (~rainbyte@181.47.219.106)
05:21:09 × rainbyte quits (~rainbyte@2800:810:5f9:49::91b) (Ping timeout: 244 seconds)
05:21:22 × Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Quit: )
05:24:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:27:45 <sm> sounds good gentauro, you need that key
05:28:39 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:36:29 hsw joins (~hsw@106.104.102.45)
05:39:40 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:43:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
05:55:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
05:55:19 × traxex quits (traxex@user/traxex) (Ping timeout: 245 seconds)
05:55:21 × xff0x quits (~xff0x@ai084147.d.east.v6connect.net) (Ping timeout: 268 seconds)
05:58:06 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:58:21 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
05:59:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
06:00:38 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
06:02:39 xff0x joins (~xff0x@2405:6580:b080:900:d668:182b:d321:44aa)
06:10:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:14:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
06:25:47 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:32:32 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
06:35:28 × haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
06:43:50 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:48:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
06:55:05 <gentauro> sm: currently I'm using ← + DELETE keys
06:59:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
06:59:46 Digitteknohippie is now known as Digit]
06:59:53 Digit] is now known as Digit
07:03:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
07:06:33 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
07:08:26 peterbecich joins (~Thunderbi@71.84.33.135)
07:09:57 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:14:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
07:23:38 hiecaq joins (~hiecaq@user/hiecaq)
07:25:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:29:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
07:30:19 × xff0x quits (~xff0x@2405:6580:b080:900:d668:182b:d321:44aa) (Ping timeout: 244 seconds)
07:31:12 xff0x joins (~xff0x@2405:6580:b080:900:e24f:1ef:ed48:3e20)
07:32:24 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
07:34:05 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
07:40:40 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:44:14 × qqq quits (~qqq@185.54.23.189) (Quit: Lost terminal)
07:45:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
07:45:18 × Square3 quits (~Square@user/square) (Ping timeout: 244 seconds)
07:47:37 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds)
07:50:44 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
07:56:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
07:58:14 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
07:59:12 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
08:00:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
08:10:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:13:44 <mesaoptimizer> why do you use Simplex chat?
08:14:18 Goodbye_Vincent1 joins (cyvahl@freakshells.net)
08:17:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
08:23:21 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 268 seconds)
08:27:10 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
08:27:37 GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
08:27:38 × halloy7365 quits (~halloy736@2404:4400:a100:9177:6dee:7dc4:f0b2:dd76) (Quit: halloy7365)
08:28:49 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:28:59 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:33:55 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
08:44:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
08:49:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
09:03:27 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
09:03:54 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:08:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:15:13 wootehfoot joins (~wootehfoo@user/wootehfoot)
09:15:38 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
09:15:53 Axman4971 is now known as Axman6
09:16:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
09:18:29 × Digit quits (~user@user/digit) (Ping timeout: 265 seconds)
09:18:41 Digitteknohippie joins (~user@user/digit)
09:24:00 Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi)
09:25:11 acidjnk joins (~acidjnk@p200300d6e700e571e125ba11911e9ef5.dip0.t-ipconnect.de)
09:27:06 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:31:44 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
09:41:54 <gentauro> mesaoptimizer: cos it doesn't require me to use my phone number as identifier (the reason I would NEVER use signal).
09:42:25 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
09:43:35 <gentauro> mesaoptimizer: and then there is the part that they seem to have got the design right from the gecko
09:43:50 gentauro +terminal CLI that can run on headless machines
09:44:50 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving)
09:46:58 × karenw quits (~karenw@user/karenw) (Ping timeout: 248 seconds)
09:46:59 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
09:52:11 Digitteknohippie is now known as Digit
09:57:49 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:01:48 traxex joins (traxex@user/traxex)
10:04:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
10:04:38 wootehfoot joins (~wootehfoo@user/wootehfoot)
10:05:59 hiecaq joins (~hiecaq@user/hiecaq)
10:12:19 × tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 264 seconds)
10:12:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:12:57 <mesaoptimizer> I see. I use messaging apps to talk to people, so the availability of my acquaintances and friends constrains my choices
10:14:22 tomboy64 joins (~tomboy64@user/tomboy64)
10:17:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
10:17:27 AlexNoo joins (~AlexNoo@5.139.232.240)
10:18:12 AlexNoo_ joins (~AlexNoo@5.139.232.240)
10:18:23 Alex_delenda_est joins (~al_test@5.139.232.240)
10:21:38 × AlexNoo quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
10:22:42 × AlexNoo_ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
10:28:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
10:29:27 zeenk joins (~zeenk@2a02:2f04:a20e:9300::879)
10:31:00 × m1dnight_ quits (~m1dnight@d8d861a17.access.telenet.be) (Ping timeout: 264 seconds)
10:33:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
10:37:25 Freakie joins (~Freakie@37.96.7.244)
10:38:44 <Freakie> can someone help me understand the different constructors that -hi generates when using -finfo-table-map and -fdistinct-constructor-tables? specifically I've been trying to understand what exactly CONSTR_NOCAF is and whether or not it can be optimized
10:46:06 acidjnk_new joins (~acidjnk@p200300d6e700e577005998611a6f2d89.dip0.t-ipconnect.de)
10:48:55 × acidjnk quits (~acidjnk@p200300d6e700e571e125ba11911e9ef5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
10:52:08 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:54:35 m1dnight joins (~m1dnight@d8D861A17.access.telenet.be)
10:59:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:02:18 × jreicher quits (~joelr@user/jreicher) (Remote host closed the connection)
11:03:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
11:03:30 jreicher joins (~joelr@user/jreicher)
11:09:12 divlamir joins (~divlamir@user/divlamir)
11:10:18 × inedia quits (~irc@2600:3c00:e000:287::1) (Quit: WeeChat 4.8.1)
11:10:28 inedia joins (~irc@2600:3c00:e000:287::1)
11:13:38 dakralex joins (~dakralex@2a02:8388:6c40:7480:ff5:a368:1bfe:7581)
11:13:38 × dakralex quits (~dakralex@2a02:8388:6c40:7480:ff5:a368:1bfe:7581) (Changing host)
11:13:38 dakralex joins (~dakralex@user/dakralex)
11:13:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:14:14 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
11:14:39 divlamir joins (~divlamir@user/divlamir)
11:18:50 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
11:29:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:33:09 × dakralex quits (~dakralex@user/dakralex) (Ping timeout: 244 seconds)
11:36:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
11:47:22 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
11:51:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
11:58:40 × gmg quits (~user@user/gehmehgeh) (Quit: Leaving)
11:58:45 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
12:02:26 × Freakie quits (~Freakie@37.96.7.244) (Quit: Client closed)
12:02:44 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:07:53 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
12:12:36 × spew quits (~spew@user/spew) (Ping timeout: 255 seconds)
12:18:05 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:18:38 Freakie joins (~Freakie@185.45.21.144)
12:20:53 __monty__ joins (~toonn@user/toonn)
12:22:45 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
12:32:58 × Freakie quits (~Freakie@185.45.21.144) (Ping timeout: 240 seconds)
12:45:33 × hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
12:48:51 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
12:53:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
13:04:13 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:10:26 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
13:10:58 flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
13:11:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
13:11:15 × rainbyte_ quits (~rainbyte@181.47.219.106) (Read error: Connection reset by peer)
13:11:39 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Remote host closed the connection)
13:11:43 rainbyte joins (~rainbyte@181.47.219.106)
13:12:55 flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
13:13:00 Freakie joins (~Freakie@37.96.7.244)
13:18:23 weary-traveler joins (~user@user/user363627)
13:22:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:26:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
13:28:15 euphores joins (~SASL_euph@user/euphores)
13:37:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:42:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:42:24 × divlamir quits (~divlamir@user/divlamir) (Ping timeout: 264 seconds)
13:45:38 divlamir joins (~divlamir@user/divlamir)
13:49:38 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 265 seconds)
13:52:22 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
13:53:01 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
13:56:40 AlexZenon joins (~alzenon@5.139.232.240)
13:57:18 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
13:58:00 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
14:08:23 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:13:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
14:13:59 Guest62t joins (~Guest62t@p200300ca8f2b26002bbd6a2e892b4429.dip0.t-ipconnect.de)
14:23:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:28:18 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
14:39:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
14:45:42 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 265 seconds)
14:46:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
14:50:08 target_i joins (~target_i@user/target-i/x-6023099)
14:55:04 AlexZenon joins (~alzenon@5.139.232.240)
14:57:11 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:00:00 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 255 seconds)
15:00:01 AlexZenon_2 joins (~alzenon@5.139.232.240)
15:01:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
15:05:02 × AlexZenon_2 quits (~alzenon@5.139.232.240) (Ping timeout: 265 seconds)
15:05:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:06:29 AlexZenon joins (~alzenon@5.139.232.240)
15:06:31 × somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1)
15:06:57 × doyougnu quits (~doyougnu@38.175.72.111) (Read error: Connection reset by peer)
15:09:17 doyougnu joins (~doyougnu@38.175.72.111)
15:09:53 Square3 joins (~Square@user/square)
15:09:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
15:10:45 × sus03 quits (zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
15:11:15 × AlexZenon quits (~alzenon@5.139.232.240) (Ping timeout: 255 seconds)
15:11:54 sus032 joins (zero@user/zeromomentum)
15:20:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:21:50 × madresch quits (~Thunderbi@user/madresch) (Read error: Connection reset by peer)
15:25:08 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
15:35:54 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:38:37 gmg joins (~user@user/gehmehgeh)
15:38:41 × target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 252 seconds)
15:40:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
15:43:14 AlexZenon joins (~alzenon@5.139.232.240)
15:46:23 × hiecaq quits (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
15:51:16 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
15:55:40 target_i joins (~target_i@user/target-i/x-6023099)
15:55:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
16:00:18 × target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 255 seconds)
16:00:51 × Freakie quits (~Freakie@37.96.7.244) (Quit: Client closed)
16:00:59 target_i joins (~target_i@user/target-i/x-6023099)
16:06:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:09:01 driib3180 joins (~driib@vmi931078.contaboserver.net)
16:11:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
16:20:41 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
16:21:39 zenodev joins (~zenodev@181.97.119.148)
16:22:03 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:23:49 × zenodev quits (~zenodev@181.97.119.148) (Client Quit)
16:27:43 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
16:29:12 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
16:30:17 somemathguy joins (~somemathg@user/somemathguy)
16:32:38 smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
16:34:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:35:24 × bggd_ quits (~bgg@2a01:e0a:fd5:f510:5d6e:124e:968f:4994) (Remote host closed the connection)
16:39:14 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
16:50:18 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
16:54:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:05:42 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:08:36 × zeenk quits (~zeenk@2a02:2f04:a20e:9300::879) (Quit: Konversation terminated!)
17:10:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
17:15:41 peterbecich joins (~Thunderbi@71.84.33.135)
17:16:30 AlexNoo_ joins (~AlexNoo@5.139.232.240)
17:20:50 × AlexNoo_ quits (~AlexNoo@5.139.232.240) (Ping timeout: 248 seconds)
17:20:59 × hellwolf quits (~user@a38e-19d1-a5f7-21b5-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 252 seconds)
17:21:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:26:01 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
17:26:56 hellwolf joins (~user@521a-36d5-5381-57e0-0f00-4d40-07d0-2001.sta.estpak.ee)
17:36:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:41:21 dhil joins (~dhil@5.151.29.139)
17:41:32 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
17:46:32 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
17:46:51 gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
17:51:34 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 245 seconds)
17:52:14 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
17:56:51 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
18:02:27 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
18:03:39 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
18:07:36 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:14:10 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
18:25:37 × machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 265 seconds)
18:25:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:30:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
18:32:16 madresch joins (~Thunderbi@user/madresch)
18:37:44 <roconnor> Does anyone recall a blog post that defined begin end push, etc functions that use continuations in such a way that lets you write code like a RPN calculator?
18:40:24 <roconnor> Maybe it was https://okmij.org/ftp/Haskell/polyvariadic.html
18:41:02 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:44:45 humasect joins (~humasect@dyn-192-249-132-90.nexicom.net)
18:46:15 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
18:46:38 × dhil quits (~dhil@5.151.29.139) (Ping timeout: 244 seconds)
18:51:12 haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
18:51:12 × haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
18:51:12 haritz joins (~hrtz@user/haritz)
18:55:58 michalz joins (~michalz@185.246.207.197)
18:56:24 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
18:58:09 __monty__ joins (~toonn@user/toonn)
18:58:31 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in)
18:59:00 × ouilemur quits (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1)
19:00:35 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
19:02:24 × michalz quits (~michalz@185.246.207.197) (Ping timeout: 245 seconds)
19:02:43 michalz joins (~michalz@185.246.207.218)
19:06:02 ouilemur joins (~jgmerritt@user/ouilemur)
19:08:29 monochrom joins (trebla@216.138.220.146)
19:11:46 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:13:07 arandombit joins (~arandombi@2a02:2455:8656:7100:819d:767:3340:9085)
19:13:07 × arandombit quits (~arandombi@2a02:2455:8656:7100:819d:767:3340:9085) (Changing host)
19:13:07 arandombit joins (~arandombi@user/arandombit)
19:16:05 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
19:27:08 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:27:28 <gentauro> roconnor: `type holes` are just 👍
19:28:21 Sgeo joins (~Sgeo@user/sgeo)
19:32:07 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:42:30 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
19:42:52 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
19:43:04 chexum joins (~quassel@gateway/tor-sasl/chexum)
19:49:16 poscat0x04 joins (~poscat@user/poscat)
19:49:31 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
19:50:35 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
19:50:36 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
19:50:45 × poscat quits (~poscat@user/poscat) (Ping timeout: 246 seconds)
19:53:28 Lord_of_Life_ is now known as Lord_of_Life
19:54:17 × humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
20:00:33 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:05:06 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
20:15:55 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:20:43 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:30:05 × rubin55 quits (sid666180@id-666180.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
20:31:17 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:34:24 peterbecich joins (~Thunderbi@71.84.33.135)
20:35:48 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
20:46:39 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
20:50:58 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
20:57:07 beagles joins (~beagles@142.163.133.95)
21:02:00 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:05:47 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds)
21:06:24 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
21:17:38 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:19:58 hakutaku joins (~textual@user/hakutaku)
21:24:38 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:28:39 × messewix quits (~jmc@user/messewix) (Quit: Konversation terminated!)
21:29:52 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:35:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
21:40:00 × peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
21:40:36 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
21:48:53 pavonia joins (~user@user/siracusa)
21:51:39 ChanServ sets mode +o geekosaur
21:52:30 geekosaur sets topic to "https://www.reddit.com/r/haskell | Admin: #haskell-ops | Offtopic: #haskell-offtopic | https://downloads.haskell.org | https://play.haskell.org/ | Paste code/errors: https://paste.tomsmeding.com | Logs: https://ircbrowse.tomsmeding.com/browse/lchaskell | Channel is bridged to #haskell-irc:matrix.org (/whois haskellbridge for info) | Adventofcode Leaderboard: 43100-84040706"
21:52:47 geekosaur sets mode -o geekosaur
21:54:01 wickedjargon joins (~user@207.194.38.18)
21:56:46 × ThePenguin quits (~ThePengui@95.80.28.221) (Ping timeout: 244 seconds)
22:00:11 × michalz quits (~michalz@185.246.207.218) (Remote host closed the connection)
22:06:26 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:10:02 × wickedjargon quits (~user@207.194.38.18) (Remote host closed the connection)
22:10:50 wickedjargon joins (~user@207.194.38.18)
22:11:09 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
22:12:12 ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se)
22:18:37 × skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1)
22:21:52 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:26:13 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
22:27:52 × hakutaku quits (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:31:16 skum joins (~skum@user/skum)
22:34:56 arandombit joins (~arandombi@user/arandombit)
22:37:10 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:41:34 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
22:44:20 × wickedjargon quits (~user@207.194.38.18) (Remote host closed the connection)
22:47:39 halloy7365 joins (~halloy736@2404:4400:a100:9177:19ed:4b07:ae51:20d8)
22:48:02 × CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Quit: ZNC 1.10.1 - https://znc.in)
22:51:28 × ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
22:52:22 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 256 seconds)
22:52:32 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
22:52:34 ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se)
22:56:17 × ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
22:58:14 ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se)
22:59:30 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
23:08:19 × ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection)
23:10:11 ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se)
23:10:34 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:11:35 machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net)
23:15:10 × arandombit quits (~arandombi@user/arandombit) (Ping timeout: 245 seconds)
23:15:19 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
23:15:43 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
23:17:31 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:25:56 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:30:17 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
23:33:34 × tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in)
23:37:15 × target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 268 seconds)
23:41:19 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)
23:44:53 × somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 252 seconds)
23:45:46 somemathguy joins (~somemathg@user/somemathguy)
23:45:54 × merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
23:47:18 × Guest62t quits (~Guest62t@p200300ca8f2b26002bbd6a2e892b4429.dip0.t-ipconnect.de) (Quit: Client closed)
23:56:08 wickedjargon joins (~user@S0106f89e28d5699a.vc.shawcable.net)
23:56:41 merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl)

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