Home liberachat/#haskell: Logs Calendar

Logs on 2025-10-12 (liberachat/#haskell)

00:04:03 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
00:04:08 × qqe_ quits (~qqq@185.54.23.200) (Quit: Lost terminal)
00:05:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:10:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
00:11:14 × bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (Server closed connection)
00:11:17 peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com)
00:11:22 bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd)
00:11:31 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
00:12:02 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
00:13:18 roboguy_ joins (~roboguy_@syn-069-076-234-068.res.spectrum.com)
00:21:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:21:51 × trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
00:22:05 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
00:24:42 × roboguy_ quits (~roboguy_@syn-069-076-234-068.res.spectrum.com) (Quit: Leaving...)
00:26:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
00:27:49 × acidjnk quits (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
00:29:59 jrm2 joins (~jrm@user/jrm)
00:30:01 × jrm quits (~jrm@user/jrm) (Ping timeout: 264 seconds)
00:31:23 jrm2 is now known as jrm
00:33:43 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds)
00:37:12 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:39:05 × Square2 quits (~Square@user/square) (Read error: Connection reset by peer)
00:39:07 ss4 joins (~wootehfoo@user/wootehfoot)
00:40:38 Fijxu_ joins (~Fijxu@user/fijxu)
00:40:44 × peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 256 seconds)
00:41:15 × Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds)
00:42:35 vetkat1 joins (~vetkat@user/vetkat)
00:43:06 jmcantrell joins (~weechat@user/jmcantrell)
00:43:24 jrm2 joins (~jrm@user/jrm)
00:43:28 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 256 seconds)
00:43:28 Arsen_ joins (arsen@gentoo/developer/managarm.dev.Arsen)
00:43:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
00:43:28 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 256 seconds)
00:43:28 × wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds)
00:43:28 × fgidim quits (~lei@user/fgarcia) (Ping timeout: 256 seconds)
00:43:28 × a_fantom quits (~fantom@87.75.184.126) (Ping timeout: 256 seconds)
00:43:28 × kilolympus quits (~kilolympu@vmi1102682.contaboserver.net) (Ping timeout: 256 seconds)
00:43:30 × jrm quits (~jrm@user/jrm) (Remote host closed the connection)
00:43:33 × vetkat quits (~vetkat@user/vetkat) (Ping timeout: 256 seconds)
00:43:33 × otto_s quits (~user@p4ff276b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
00:43:34 vetkat1 is now known as vetkat
00:43:36 fgarcia joins (~lei@user/fgarcia)
00:43:49 otto_s joins (~user@p4ff276b1.dip0.t-ipconnect.de)
00:43:50 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
00:44:57 jrm2 is now known as jrm
00:46:08 metabulation joins (~wootehfoo@user/wootehfoot)
00:47:07 L29Ah joins (~L29Ah@wikipedia/L29Ah)
00:47:16 fgarcia is now known as fgidim
00:48:02 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
00:48:24 × ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
00:48:53 vetkat5 joins (~vetkat@user/vetkat)
00:49:03 × Arsen_ quits (arsen@gentoo/developer/managarm.dev.Arsen) (Ping timeout: 260 seconds)
00:49:06 Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
00:49:50 FANTOM joins (~fantom@87.75.184.126)
00:50:22 × otto_s quits (~user@p4ff276b1.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
00:51:57 × vetkat quits (~vetkat@user/vetkat) (Ping timeout: 260 seconds)
00:51:57 vetkat5 is now known as vetkat
00:51:58 otto_s joins (~user@p5b044eb9.dip0.t-ipconnect.de)
00:52:59 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
00:56:05 Square2 joins (~Square@user/square)
00:57:04 × uint64_t quits (ec7b9bb9f3@2a03:6000:1812:100::139b) (Server closed connection)
00:57:13 uint64_t joins (ec7b9bb9f3@2a03:6000:1812:100::139b)
00:58:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
01:00:24 × mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Server closed connection)
01:00:34 mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es)
01:08:46 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:11:06 trickard_ is now known as trickard
01:15:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:21:14 × Wanderer quits (~wanderer@user/wanderer) (Server closed connection)
01:22:08 × trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
01:22:21 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
01:22:54 × ycp quits (~znc@user/dragestil) (Server closed connection)
01:23:14 ycp joins (~znc@user/dragestil)
01:25:12 Wanderer joins (~wanderer@user/wanderer)
01:26:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:30:43 × Tuplanolla quits (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) (Quit: Leaving.)
01:32:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:35:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:40:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
01:41:22 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
01:47:16 inline joins (~inline@ip-178-202-059-142.um47.pools.vodafone-ip.de)
01:47:42 × inline quits (~inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) (Remote host closed the connection)
01:49:25 inline joins (~inline@ip-178-202-059-142.um47.pools.vodafone-ip.de)
01:51:29 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
01:51:37 inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
01:54:01 Zemy_ joins (~Zemy@2600:100c:b0a8:1dc5:c4f2:b0ff:febb:843b)
01:54:01 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
01:55:32 × inline quits (~inline@ip-178-202-059-142.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
01:56:03 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
01:56:39 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
01:58:22 × Zemy_ quits (~Zemy@2600:100c:b0a8:1dc5:c4f2:b0ff:febb:843b) (Ping timeout: 256 seconds)
02:00:33 Zemy_ joins (~Zemy@2600:100c:b0a8:1dc5:80f7:51ff:fee4:c1ce)
02:00:33 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
02:02:10 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
02:05:04 × op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection)
02:05:10 × Zemy_ quits (~Zemy@2600:100c:b0a8:1dc5:80f7:51ff:fee4:c1ce) (Ping timeout: 256 seconds)
02:05:38 op_4 joins (~tslil@user/op-4/x-9116473)
02:07:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:11:47 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:12:00 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
02:12:31 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
02:14:16 jmcantrell joins (~weechat@user/jmcantrell)
02:17:36 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:18:32 × bgg quits (~bgg@2a01:e0a:819:1510:fae0:116a:81b6:6ffd) (Quit: std::move)
02:22:35 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
02:37:54 × td_ quits (~td@i53870926.versanet.de) (Ping timeout: 260 seconds)
02:38:53 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:39:41 td_ joins (~td@i53870922.versanet.de)
02:41:52 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:42:05 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
02:43:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
02:49:58 Ekho- is now known as Ekho
02:54:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
02:56:04 × Square2 quits (~Square@user/square) (Ping timeout: 246 seconds)
02:58:49 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
02:59:03 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
03:00:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
03:01:42 tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08)
03:02:24 × tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Client Quit)
03:04:40 aforemny_ joins (~aforemny@i59F4C4D3.versanet.de)
03:05:23 × aforemny quits (~aforemny@i59F4C6B1.versanet.de) (Ping timeout: 244 seconds)
03:09:00 rekahsoft joins (~rekahsoft@70.51.99.245)
03:11:23 trickard_ is now known as trickard
03:12:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:14:08 × trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
03:14:22 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
03:17:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
03:22:04 × cross quits (~cross@spitfire.i.gajendra.net) (Server closed connection)
03:22:37 cross joins (~cross@spitfire.i.gajendra.net)
03:24:06 trickard_ is now known as trickard
03:28:06 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:35:15 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
03:36:47 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:42:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
03:49:35 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving)
03:52:04 × rubin55 quits (sid666180@id-666180.ilkley.irccloud.com) (Server closed connection)
03:52:19 rubin55 joins (sid666180@id-666180.ilkley.irccloud.com)
03:52:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
03:54:11 peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com)
03:57:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
04:02:04 × sm quits (znc@plaintextaccounting/sm) (Server closed connection)
04:02:19 sm joins (~znc@plaintextaccounting/sm)
04:04:34 × distopico quits (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Server closed connection)
04:04:49 distopico joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1)
04:05:35 × trickard quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
04:05:49 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
04:08:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:13:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
04:24:26 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:29:14 × poscat quits (~poscat@user/poscat) (Remote host closed the connection)
04:29:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
04:29:51 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
04:30:05 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
04:30:07 × peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds)
04:32:04 poscat joins (~poscat@user/poscat)
04:33:46 rvalue joins (~rvalue@about/hackers/rvalue)
04:37:45 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:43:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
04:47:54 × dsal quits (sid13060@id-13060.lymington.irccloud.com) (Server closed connection)
04:48:08 dsal joins (sid13060@id-13060.lymington.irccloud.com)
04:53:29 peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com)
04:53:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
04:58:33 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
05:07:25 Pozyomka joins (~pyon@user/pyon)
05:09:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:14:44 bgg joins (~bgg@2a01:e0a:819:1510:7d40:1de6:27b6:4e40)
05:16:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
05:16:12 × peterbecich quits (~Thunderbi@syn-172-222-148-214.res.spectrum.com) (Ping timeout: 260 seconds)
05:18:44 × probie quits (cc0b34050a@user/probie) (Server closed connection)
05:18:53 probie joins (cc0b34050a@user/probie)
05:20:21 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:23:44 × arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Server closed connection)
05:23:53 arcadewise joins (52968ed80d@2a03:6000:1812:100::3df)
05:25:26 <dcpagan> I'm really peeved because I finished a Red-Black tree in Haskell, and Exercism isn't accepting it because I split 900 lines into multiple modules.
05:25:40 <dcpagan> I even wrote property tests verifying that the red-black invariants hold.
05:25:45 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
05:25:54 <dcpagan> Check it out: https://github.com/DCPagan/Exercism-Haskell/tree/master/custom-set
05:26:15 <dcpagan> I wrote a zipper monad and everything.
05:26:32 <dcpagan> Damn it, Exercism.
05:27:51 <dcpagan> My comments even reference Chris Okasaki's whitepapers and CLRS to clarify the algorithms.
05:29:34 × duncan quits (c6181279e3@user/meow/duncan) (Server closed connection)
05:29:44 duncan joins (c6181279e3@user/meow/duncan)
05:31:02 × bliminse quits (~bliminse@user/bliminse) (Quit: Lost terminal)
05:35:01 takuan joins (~takuan@d8D86B9E9.access.telenet.be)
05:36:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:39:52 × tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (Ping timeout: 244 seconds)
05:40:08 bliminse joins (~bliminse@user/bliminse)
05:41:10 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
05:41:30 vetkat joins (~vetkat@user/vetkat)
05:42:28 tritlo joins (sid58727@id-58727.hampstead.irccloud.com)
05:43:02 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
05:54:17 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
05:59:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:01:54 × sam113101 quits (~sam@modemcable200.189-202-24.mc.videotron.ca) (Remote host closed the connection)
06:01:54 × synchromesh quits (~john@2406:5a00:2412:2c00:d475:2d01:e02a:8ce4) (Read error: Connection reset by peer)
06:02:17 sam113101 joins (~sam@modemcable200.189-202-24.mc.videotron.ca)
06:02:54 × Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (Server closed connection)
06:03:05 Kamuela joins (sid111576@id-111576.tinside.irccloud.com)
06:03:07 synchromesh joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a)
06:10:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:15:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:20:24 × jkoshy quits (99b9359beb@user/jkoshy) (Server closed connection)
06:20:32 jkoshy joins (99b9359beb@user/jkoshy)
06:25:52 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:26:38 <Franciman> thanks sm, it was exactly what i was looking for
06:30:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
06:39:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
06:40:25 × craunts795335 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat)
06:44:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
06:45:03 <[exa]> dcpagan: exercism isn't ready for haskell
06:45:24 × tnks quits (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection)
06:45:35 tnks joins (sid412124@id-412124.helmsley.irccloud.com)
06:46:32 <dcpagan> exa: I can see that; the projects of the Haskell track configure Stack to use an LTS resolver from 5 years ago; I'm stuck on GHC v9.2.7 and HLS v2.0.0.1.
06:46:46 <[exa]> dcpagan: btw I'd say there'd be uses for this for people who need custom balanced trees
06:47:25 <[exa]> last time I needed some stupid tree with special info cached for subtrees and had to whip it up myself
06:47:32 <dcpagan> I just updated my code; I found out that two recolors in the CLRS algorithm RB-DELETE-FIXUP are redundant.
06:48:39 <dcpagan> Who needs parent references to be updated with every branch transplant when there I have the zipper monad?
06:48:50 <[exa]> true.
06:48:52 <dcpagan> Who needs sibling references to be updated with every rotate when I have lenses?
06:49:18 <[exa]> throw it at hackage :)
06:55:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:00:00 × caconym747879 quits (~caconym@user/caconym) (Quit: bye)
07:00:41 caconym747879 joins (~caconym@user/caconym)
07:02:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:04:43 tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:a4f6:acff:fe95:3803)
07:11:42 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
07:12:07 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
07:13:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:16:35 tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08)
07:17:20 <dcpagan> I just found out how to submit multiple modules for an exercism solution: https://exercism.org/tracks/haskell/exercises/custom-set/solutions/DCPagan
07:18:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:29:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:29:34 × septimi quits (9f60f4cb70@user/septimi) (Server closed connection)
07:29:43 septimi joins (9f60f4cb70@user/septimi)
07:32:49 <[exa]> o great
07:32:58 srazkvt joins (~sarah@user/srazkvt)
07:34:23 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
07:40:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:41:59 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
07:46:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
07:56:34 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
07:57:04 × orcus quits (~orcus@user/brprice) (Server closed connection)
07:57:23 orcus joins (~orcus@user/brprice)
08:01:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:02:34 acidjnk joins (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de)
08:02:41 cr00k joins (~cr00k@user/cr00k)
08:03:32 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:12:22 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:13:06 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
08:14:18 trickard_ joins (~trickard@cpe-58-98-47-163.wireline.com.au)
08:17:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
08:18:44 × ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection)
08:18:53 ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com)
08:21:13 × trickard_ quits (~trickard@cpe-58-98-47-163.wireline.com.au) (Ping timeout: 246 seconds)
08:25:11 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
08:27:43 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
08:28:09 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:29:38 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
08:30:34 chromoblob joins (~chromoblo@user/chromob1ot1c)
08:32:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:39:03 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:39:17 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
08:41:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
08:41:49 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
08:46:14 × thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (Server closed connection)
08:46:22 thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3)
08:48:07 marinelli joins (~weechat@gateway/tor-sasl/marinelli)
08:48:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
08:51:16 × tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:54:32 craunts795335 joins (~craunts@136.158.7.194)
08:56:05 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
08:56:19 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
08:57:38 trickard_ is now known as trickard
08:59:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:02:32 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
09:03:54 × pandeyan quits (~pandeyan@192-184-251-101.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds)
09:04:13 anpad joins (~pandeyan@user/anpad)
09:05:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
09:05:23 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
09:06:42 FragByte_ joins (~christian@user/fragbyte)
09:07:59 × FragByte quits (~christian@user/fragbyte) (Ping timeout: 244 seconds)
09:07:59 FragByte_ is now known as FragByte
09:08:44 × earthy quits (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Server closed connection)
09:09:08 earthy joins (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
09:12:09 Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi)
09:15:37 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:19:54 × AlexZenon quits (~alzenon@178.34.151.169) (Ping timeout: 265 seconds)
09:20:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
09:21:26 AlexZenon joins (~alzenon@178.34.151.169)
09:31:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:36:13 qqe joins (~qqq@185.54.23.200)
09:36:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
09:42:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
09:48:08 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
09:53:21 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
09:53:41 chromoblob joins (~chromoblo@user/chromob1ot1c)
09:59:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:00:01 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 256 seconds)
10:00:36 chromoblob joins (~chromoblo@user/chromob1ot1c)
10:02:05 × acidjnk quits (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Remote host closed the connection)
10:02:29 acidjnk joins (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de)
10:04:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:05:22 chenjf joins (~chenjf@vmi2417424.contaboserver.net)
10:06:42 × chenjf quits (~chenjf@vmi2417424.contaboserver.net) (Client Quit)
10:09:46 __monty__ joins (~toonn@user/toonn)
10:11:09 ljdarj joins (~Thunderbi@user/ljdarj)
10:13:42 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
10:15:07 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:20:19 × chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
10:20:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
10:20:47 chromoblob joins (~chromoblo@user/chromob1ot1c)
10:25:02 inline__ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
10:28:22 × inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
10:30:54 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:35:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:43:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
10:48:42 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
10:52:15 × keinbock quits (~pepsi@129.80.237.116) (Quit: Lost terminal)
10:52:54 × mniip quits (mniip@libera/staff/mniip) (Server closed connection)
10:53:07 mniip joins (mniip@libera/staff/mniip)
10:54:06 fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi)
10:57:27 inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
10:59:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:00:39 × inline__ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
11:00:57 × fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 260 seconds)
11:03:44 × FragByte quits (~christian@user/fragbyte) (Quit: Quit)
11:04:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:05:52 FragByte joins (~christian@user/fragbyte)
11:15:24 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:17:43 × yin quits (~zero@user/zero) (Ping timeout: 240 seconds)
11:19:59 inline__ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
11:20:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
11:21:14 × firesquidwao quits (~a@put.gay) (Server closed connection)
11:21:27 tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e)
11:23:20 × inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
11:25:53 yin joins (~zero@user/zero)
11:31:09 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:36:01 Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
11:36:21 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
11:36:21 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
11:38:53 Lord_of_Life_ is now known as Lord_of_Life
11:44:48 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
11:49:57 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
12:00:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:08:02 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
12:08:58 Square2 joins (~Square@user/square)
12:10:56 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
12:15:22 × synchromesh quits (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Read error: Connection reset by peer)
12:16:50 synchromesh joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a)
12:18:14 ttybitnik joins (~ttybitnik@user/wolper)
12:21:49 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:22:02 × fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds)
12:23:48 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
12:24:01 trickard joins (~trickard@cpe-54-98-47-163.wireline.com.au)
12:25:28 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
12:27:19 Everything joins (~Everythin@46.96.48.125)
12:29:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
12:31:45 × cr00k quits (~cr00k@user/cr00k) (Quit: Textual IRC Client: www.textualapp.com)
12:32:56 × inline__ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer)
12:33:16 inline__ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
12:33:44 × jinsun quits (bnc4free@user/jinsun) (Server closed connection)
12:33:56 jinsun joins (jinsun@here.and.ready-to.party)
12:34:20 jinsun is now known as Guest305
12:37:57 inline_ joins (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de)
12:39:50 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:40:19 morj joins (~morj@user/morj)
12:41:31 × inline__ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
12:43:04 × inline_ quits (~inline@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
12:44:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
12:47:34 × AlexZenon quits (~alzenon@178.34.151.169) (Quit: ;-)
12:49:01 × AlexNoo quits (~AlexNoo@178.34.151.169) (Quit: Leaving)
12:50:30 × sa quits (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 252 seconds)
12:52:04 sa joins (sid1055@id-1055.tinside.irccloud.com)
12:55:38 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
12:56:30 Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de)
12:57:04 × tolt quits (~weechat-h@li219-154.members.linode.com) (Server closed connection)
12:57:28 tolt joins (~weechat-h@li219-154.members.linode.com)
12:58:17 craunts7953353 joins (~craunts@136.158.7.194)
12:58:54 × craunts795335 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer)
13:00:48 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:11:25 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:12:42 × marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
13:12:54 × nisstyre quits (wes@user/nisstyre) (Server closed connection)
13:13:13 nisstyre joins (wes@user/nisstyre)
13:16:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
13:24:28 × cipherrot quits (~jez@user/petrichor) (Ping timeout: 265 seconds)
13:27:11 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:28:30 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
13:28:47 AlexNoo joins (~AlexNoo@178.34.151.169)
13:31:24 × Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
13:31:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:33:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:33:37 inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de)
13:34:27 × inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
13:36:34 Inline joins (~User@ip-178-202-059-161.um47.pools.vodafone-ip.de)
13:36:58 Inline is now known as Guest5803
13:37:05 × Guest5803 quits (~User@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Remote host closed the connection)
13:38:11 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:39:06 inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de)
13:40:15 AlexZenon joins (~alzenon@178.34.151.169)
13:48:05 petrichor joins (~jez@user/petrichor)
13:49:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
13:53:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
13:57:07 × FragByte quits (~christian@user/fragbyte) (Quit: Quit)
13:59:06 FragByte joins (~christian@user/fragbyte)
14:05:36 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:12:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
14:17:08 × pabs3 quits (~pabs3@user/pabs3) (Read error: Connection reset by peer)
14:17:15 × FragByte quits (~christian@user/fragbyte) (Quit: Quit)
14:18:11 pabs3 joins (~pabs3@user/pabs3)
14:19:18 FragByte joins (~christian@user/fragbyte)
14:23:39 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:24:00 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
14:28:05 × metabulation quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
14:28:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
14:38:29 n0den1te joins (~n0den1te@42.111.163.54)
14:39:27 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:40:24 × Jonno_FT1 quits (~come@api.carswap.me) (Server closed connection)
14:40:33 Jonno_FTW joins (~come@api.carswap.me)
14:40:33 × Jonno_FTW quits (~come@api.carswap.me) (Changing host)
14:40:33 Jonno_FTW joins (~come@user/jonno-ftw/x-0835346)
14:44:29 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
14:47:59 × FragByte quits (~christian@user/fragbyte) (Quit: Quit)
14:49:59 FragByte joins (~christian@user/fragbyte)
14:52:27 × qqe quits (~qqq@185.54.23.200) (Quit: Lost terminal)
14:54:01 × robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
14:55:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
14:58:30 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
15:00:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
15:05:49 × fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Read error: Connection reset by peer)
15:07:44 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:07:54 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Server closed connection)
15:08:02 lambdabot joins (~lambdabot@haskell/bot/lambdabot)
15:08:02 ChanServ sets mode +v lambdabot
15:09:19 fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi)
15:12:28 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
15:20:11 × inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
15:20:44 inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de)
15:22:27 × Square2 quits (~Square@user/square) (Ping timeout: 256 seconds)
15:23:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:24:20 × bgg quits (~bgg@2a01:e0a:819:1510:7d40:1de6:27b6:4e40) (Remote host closed the connection)
15:26:43 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
15:27:22 × fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Ping timeout: 248 seconds)
15:27:25 bgg joins (~bgg@2a01:e0a:819:1510:1592:d293:f8a6:edfa)
15:28:41 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
15:38:44 × Adeon quits (sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
15:38:56 Adeon joins (sid418992@id-418992.lymington.irccloud.com)
15:39:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:43:58 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
15:44:45 Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
15:46:09 × inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Quit: Leaving)
15:52:52 srazkvt joins (~sarah@user/srazkvt)
15:54:01 × hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 264 seconds)
15:54:17 haltingsolver joins (~cmo@2604:3d09:207f:8000::d1dc)
15:54:37 haltingsolver is now known as haltsolver
15:55:00 inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de)
15:55:03 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
15:55:04 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
15:56:39 morj parts (~morj@user/morj) (Konversation terminated!)
15:57:37 × L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds)
16:01:39 ouilemur joins (~jgmerritt@user/ouilemur)
16:02:07 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:07:47 × Everything quits (~Everythin@46.96.48.125) (Ping timeout: 260 seconds)
16:08:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:13:27 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:16:25 L29Ah joins (~L29Ah@wikipedia/L29Ah)
16:24:09 × ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection)
16:24:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:24:28 × synchromesh quits (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Read error: Connection reset by peer)
16:24:56 × divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer)
16:24:58 × fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds)
16:25:19 divlamir joins (~divlamir@user/divlamir)
16:25:30 synchromesh joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a)
16:29:20 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
16:31:44 × n0den1te quits (~n0den1te@42.111.163.54) (Quit: leaving)
16:34:47 jmcantrell joins (~weechat@user/jmcantrell)
16:38:18 gmg joins (~user@user/gehmehgeh)
16:40:19 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:44:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
16:54:37 Square2 joins (~Square@user/square)
16:55:10 fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi)
16:56:00 × ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
16:56:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
16:56:14 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Server closed connection)
16:57:33 andreas303 joins (andreas303@is.drunk.and.ready-to.party)
17:01:04 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
17:01:53 ec joins (~ec@gateway/tor-sasl/ec)
17:02:11 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
17:02:45 cstml joins (~cstml@user/cstml)
17:02:53 × bgg quits (~bgg@2a01:e0a:819:1510:1592:d293:f8a6:edfa) (Remote host closed the connection)
17:05:10 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 246 seconds)
17:09:33 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
17:09:40 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:14:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
17:25:41 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:32:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
17:37:26 jmcantrell joins (~weechat@user/jmcantrell)
17:43:43 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
17:45:34 karenw joins (~karenw@user/karenw)
17:48:34 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
17:53:46 Sgeo joins (~Sgeo@user/sgeo)
17:58:55 metabulation joins (~wootehfoo@user/wootehfoot)
17:59:30 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:04:32 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
18:10:42 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:15:22 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
18:17:52 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
18:17:56 __monty__ joins (~toonn@user/toonn)
18:19:09 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
18:21:20 × trickard quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
18:21:34 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
18:26:28 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:31:43 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
18:42:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:46:14 × sweater3 quits (~sweater@206.81.18.26) (Server closed connection)
18:46:32 sweater3 joins (~sweater@206.81.18.26)
18:47:37 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
18:49:11 × srazkvt quits (~sarah@user/srazkvt) (Quit: Konversation terminated!)
18:54:24 tromp joins (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08)
18:54:34 × shr\ke quits (~shrike@user/shrke:31298) (Server closed connection)
18:54:43 shr\ke joins (~shrike@user/paxhumana)
18:54:43 × shr\ke quits (~shrike@user/paxhumana) (Changing host)
18:54:43 shr\ke joins (~shrike@user/shrke:31298)
18:57:20 <haltsolver> im trying to build HsOpenSSL. however i get many errors. the one im working on right now is: ' warning: return discards ‘const’ qualifier from pointer target type'
18:58:04 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
18:58:16 <haltsolver> i don't know anything about c code. do i need to write a c shim that somehow obtains a non-const pointer and point the ffi to that?
18:59:01 <haltsolver> the error above i believe is generated by: 'foreign import capi unsafe "openssl/objects.h OBJ_nid2sn"
18:59:01 <haltsolver> _nid2sn :: CInt -> IO CString'
18:59:44 <inline> https://stackoverflow.com/questions/24830335/c-compiler-warning-return-discards-qualifiers-from-pointer-target-type
19:00:03 × caconym747879 quits (~caconym@user/caconym) (Quit: bye)
19:00:21 <EvanR> simple, treat warnings as not errors
19:00:23 <inline> just cast what you are returning
19:00:44 caconym747879 joins (~caconym@user/caconym)
19:02:46 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
19:02:47 × fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 260 seconds)
19:06:19 <tomsmeding> haltsolver: warnings are not errors. GHC reads diagnostics from the C compiler and thinks all are errors, but some are just warnings; GHC displays them as errors but they are not
19:06:30 <tomsmeding> do you also get _actual_ errors, that don't have "warning" in them?
19:06:31 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:06:44 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
19:07:10 <EvanR> just checking haskell FFI doesn't know anything about "const" does it
19:07:32 <tomsmeding> indeed
19:07:36 <L29Ah> did you consider crypton instead of the openssl trainwreck?
19:07:40 <L29Ah> haltsolver:
19:08:06 <L29Ah> *cryptonite
19:08:46 <L29Ah> *crypton
19:08:49 <L29Ah> >:O
19:13:16 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
19:13:51 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
19:15:11 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
19:16:48 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
19:19:42 <haltsolver> hsopenssl is listed as a dependency of threepenny-gui. i could make it a project to port threepenny to crypton but im going to worry about it later
19:19:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
19:23:25 × karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds)
19:28:11 target_i joins (~target_i@user/target-i/x-6023099)
19:33:35 CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db)
19:50:37 Zemy joins (~Zemy@2600:100c:b031:79b8:6499:dfff:fe63:3889)
19:51:07 Zemy_ joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
19:53:32 × Zemy_ quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
19:54:07 Zemy_ joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
19:55:17 × Zemy quits (~Zemy@2600:100c:b031:79b8:6499:dfff:fe63:3889) (Ping timeout: 260 seconds)
19:57:04 × lortabac quits (~lorenzo@mx1.fracta.dev) (Server closed connection)
19:57:18 lortabac joins (~lortabac@mx1.fracta.dev)
19:59:55 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
20:00:38 gmg joins (~user@user/gehmehgeh)
20:03:44 × lisq quits (~quassel@lis.moe) (Server closed connection)
20:03:53 lisq joins (~quassel@lis.moe)
20:04:02 × rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer)
20:04:34 × APic quits (apic@chiptune.apic.name) (Server closed connection)
20:04:45 APic joins (apic@apic.name)
20:05:41 Enrico63 joins (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213)
20:06:18 rvalue joins (~rvalue@about/hackers/rvalue)
20:06:19 × comonad quits (~comonad@p200300d02711d0004b6eb519787385cb.dip0.t-ipconnect.de) (Quit: WeeChat 4.7.0-dev)
20:08:29 synchrom1 joins (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a)
20:11:06 × synchromesh quits (~john@2406:5a00:2412:2c00:94c0:b471:5a7e:6f3a) (Ping timeout: 248 seconds)
20:12:22 × metabulation quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
20:19:09 jmcantrell joins (~weechat@user/jmcantrell)
20:28:23 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: jdsnkvj n)
20:33:55 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
20:34:09 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
20:34:14 califax_ joins (~califax@user/califx)
20:34:56 × califax quits (~califax@user/califx) (Ping timeout: 272 seconds)
20:35:30 califax_ is now known as califax
20:39:38 ttybitnik joins (~ttybitnik@user/wolper)
20:42:32 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:47:47 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
20:54:34 × integral quits (sid296274@user/integral) (Server closed connection)
20:54:47 integral joins (sid296274@user/integral)
20:57:42 × trickard_ quits (~trickard@cpe-54-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
20:58:00 trickard_ joins (~trickard@cpe-54-98-47-163.wireline.com.au)
20:58:16 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:58:47 <mauke> EvanR: ConstPtr exists
20:59:26 trickard_ is now known as trickard
20:59:46 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.7.1)
21:03:01 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
21:03:04 bgg joins (~bgg@2a01:e0a:819:1510:fb4f:9766:e660:dbd5)
21:03:54 jmcantrell joins (~weechat@user/jmcantrell)
21:08:42 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
21:10:31 × takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 246 seconds)
21:15:18 Zemy joins (~Zemy@2600:100c:b031:79b8:645b:abff:fe96:3c17)
21:16:58 bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
21:18:07 × Zemy_ quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Ping timeout: 260 seconds)
21:21:50 jmcantrell joins (~weechat@user/jmcantrell)
21:29:36 Zemy_ joins (~Zemy@mobile-107-80-206-70.mycingular.net)
21:33:21 karenw joins (~karenw@user/karenw)
21:33:38 × Zemy quits (~Zemy@2600:100c:b031:79b8:645b:abff:fe96:3c17) (Ping timeout: 256 seconds)
21:35:29 vanishingideal joins (~vanishing@user/vanishingideal)
21:35:51 Zemy joins (~Zemy@2600:100c:b031:79b8:f02a:9fff:fe61:589e)
21:36:23 Core8532 joins (~Zemy@24-155-2-226.static.grandenetworks.net)
21:36:55 pavonia joins (~user@user/siracusa)
21:37:58 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
21:38:10 × Zemy_ quits (~Zemy@mobile-107-80-206-70.mycingular.net) (Ping timeout: 246 seconds)
21:38:23 Zemy_ joins (~Zemy@2600:100c:b031:79b8:acae:caff:fe6d:bffd)
21:39:00 × Zemy quits (~Zemy@2600:100c:b031:79b8:f02a:9fff:fe61:589e) (Read error: Connection reset by peer)
21:40:52 × Core8532 quits (~Zemy@24-155-2-226.static.grandenetworks.net) (Ping timeout: 260 seconds)
21:41:48 × CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds)
21:46:14 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:52:54 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
21:53:47 × Leary quits (~Leary@user/Leary/x-0910699) (Ping timeout: 244 seconds)
22:04:34 × karenw quits (~karenw@user/karenw) (Remote host closed the connection)
22:06:10 karenw joins (~karenw@user/karenw)
22:21:14 × semifunctor quits (~omnifunct@user/semifunctor) (Server closed connection)
22:22:08 semifunctor joins (~omnifunct@user/semifunctor)
22:26:12 × tromp quits (~textual@2001:1c00:3487:1b00:f86b:2618:bf3:3b08) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:28:18 × lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
22:32:25 × juri_ quits (~juri@implicitcad.org) (Ping timeout: 264 seconds)
22:33:53 juri_ joins (~juri@178.20.94.63)
22:35:28 × Enrico63 quits (~Enrico63@2a0b:e541:10d0:0:9efc:e8ff:fe24:3213) (Quit: Client closed)
22:37:15 Zemy joins (~Zemy@mobile-107-80-206-40.mycingular.net)
22:38:29 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
22:39:22 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:acae:caff:fe6d:bffd) (Ping timeout: 256 seconds)
22:43:02 × Natch quits (~natch@c-92-34-15-120.bbcust.telenor.se) (Ping timeout: 256 seconds)
22:43:30 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 272 seconds)
22:44:27 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
22:51:23 vanishingideal joins (~vanishing@user/vanishingideal)
22:51:37 Zemy_ joins (~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3)
22:51:37 × Zemy quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Read error: Connection reset by peer)
22:52:12 Zemy joins (~Zemy@mobile-107-80-206-40.mycingular.net)
22:53:13 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:4c6f:59ff:fe3d:9dc3) (Read error: Connection reset by peer)
22:53:22 Zemy_ joins (~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777)
22:55:10 × bgg quits (~bgg@2a01:e0a:819:1510:fb4f:9766:e660:dbd5) (Remote host closed the connection)
22:56:13 × Zemy quits (~Zemy@mobile-107-80-206-40.mycingular.net) (Ping timeout: 246 seconds)
22:57:04 Zemy joins (~Zemy@mobile-107-80-206-16.mycingular.net)
23:00:12 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:740c:22ff:feca:3777) (Ping timeout: 260 seconds)
23:00:30 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Remote host closed the connection)
23:01:21 tccq joins (~user@user/tccq)
23:01:51 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
23:03:25 tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
23:13:24 Zemy_ joins (~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218)
23:15:22 × Zemy quits (~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 260 seconds)
23:17:12 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:17:46 Natch joins (~natch@c-92-34-15-120.bbcust.telenor.se)
23:19:20 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Quit: Lost terminal)
23:19:39 machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net)
23:22:25 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
23:25:26 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
23:26:58 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:547b:9ff:feae:d218) (Ping timeout: 256 seconds)
23:29:47 × machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
23:30:15 Zemy_ joins (~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db)
23:30:15 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
23:30:50 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
23:32:59 merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:34:52 Core1835 joins (~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a)
23:34:52 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
23:34:54 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:c843:b5ff:fe7e:a5db) (Ping timeout: 256 seconds)
23:35:50 peterbecich joins (~Thunderbi@syn-172-222-148-214.res.spectrum.com)
23:36:11 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
23:36:31 × vetkat quits (~vetkat@user/vetkat) (Read error: Connection reset by peer)
23:36:52 vetkat joins (~vetkat@user/vetkat)
23:37:25 × Core1835 quits (~Zemy@2600:100c:b031:79b8:182c:57ff:fe16:365a) (Read error: Connection reset by peer)
23:37:57 Zemy_ joins (~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf)
23:37:57 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
23:38:17 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
23:38:32 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
23:40:55 Core4561 joins (~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26)
23:40:55 × Zemy quits (~Zemy@syn-072-176-124-082.res.spectrum.com) (Read error: Connection reset by peer)
23:41:33 × Zemy_ quits (~Zemy@2600:100c:b031:79b8:7040:4eff:fe92:fccf) (Read error: Connection reset by peer)
23:42:48 Zemy joins (~Zemy@syn-072-176-124-082.res.spectrum.com)
23:42:57 × Core4561 quits (~Zemy@2600:100c:b031:79b8:e03a:36ff:fec0:cb26) (Read error: Connection reset by peer)
23:50:45 × ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 245 seconds)
23:51:31 × acidjnk quits (~acidjnk@p200300d6e717191975703e7db5c33433.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
23:52:34 ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG)
23:56:14 × fired quits (la@2600:3c00::f03c:92ff:fee3:aace) (Server closed connection)
23:56:35 fired joins (~la@173-255-196-82.ip.linodeusercontent.com)

All times are in UTC on 2025-10-12.