IRCBrowse

2023/12/21

2023-12-21 00:21:17 +0100 <Axman6> Inst: maybe you should've bought a bigger table? Have you tried placing them on it?
2023-12-21 00:25:46 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds)
2023-12-21 00:27:01 +0100CiaoSen(~Jura@2a05:5800:2c7:7200:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds)
2023-12-21 00:27:51 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1) (Ping timeout: 245 seconds)
2023-12-21 00:31:55 +0100acidjnk(~acidjnk@p200300d6e72b931214faca5c156269ac.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2023-12-21 00:32:43 +0100 <Inst> Axman6: it was an issue with the network element, I was looking at the wrong URL
2023-12-21 00:34:38 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-21 00:35:55 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-12-21 00:47:19 +0100thegeekinside(~thegeekin@189.141.65.247) (Remote host closed the connection)
2023-12-21 00:54:58 +0100mechap(~mechap@user/mechap)
2023-12-21 00:57:45 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 00:58:18 +0100xdminsy(~xdminsy@117.147.71.169) (Quit: Konversation terminated!)
2023-12-21 00:58:51 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-21 01:03:03 +0100segfaultfizzbuzz(~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection)
2023-12-21 01:04:46 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-21 01:12:27 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-12-21 01:13:14 +0100Sgeo(~Sgeo@user/sgeo)
2023-12-21 01:22:24 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 01:24:40 +0100 <haskellbridge> 05<i​rregularsphere> nice work! seems like you added a 4 to 2-way merge
2023-12-21 01:24:41 +0100 <haskellbridge> 05<i​rregularsphere> it feels like yesterday i last checked the sorting algorithm
2023-12-21 01:31:07 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-21 01:33:23 +0100 <haskellbridge> 05<i​rregularsphere> I have a feeling that the worst-case might actually be worse than the previous algorithm
2023-12-21 01:42:39 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-12-21 01:42:41 +0100igemnace(~ian@user/igemnace) (Remote host closed the connection)
2023-12-21 01:46:04 +0100 <haskellbridge> 05<i​rregularsphere> Jade: !!!
2023-12-21 01:46:05 +0100 <haskellbridge> 05<i​rregularsphere> I checked this paste and I constructed a counterexample
2023-12-21 01:46:06 +0100 <haskellbridge> 05<i​rregularsphere> main = print $ sort [3,4,5,1,2,3,2,3,4,0]
2023-12-21 01:50:16 +0100 <haskellbridge> 05<i​rregularsphere> It seems to also be the case for New5WMBinPart.hs in your git repository, I'll check later
2023-12-21 01:54:31 +0100 <haskellbridge> 05<i​rregularsphere> [3,4,5,1,2,3,2,3,4,3,4,5,0]
2023-12-21 01:54:36 +0100 <haskellbridge> 05<i​rregularsphere> I guess?
2023-12-21 01:57:13 +0100 <int-e> New3WM, New4WM, New5WM: sort [0,1,0,1,0] = [0,0,1,0,1]; New5WmBinPart: sort [0,1,0,1,0,1,0,1,0] = [0,0,1,0,0,0,1,1,1]
2023-12-21 02:02:00 +0100 <int-e> Fundamentally, you need 3 comparisons in the worst case for identifying the smallest of three given elements. For example, a >= b < c d doesn't tell you anything about which of a and c is larger.
2023-12-21 02:02:16 +0100 <int-e> uh.
2023-12-21 02:02:32 +0100 <int-e> The relevant case is a < b >= c.
2023-12-21 02:03:52 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-12-21 02:06:23 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 02:07:26 +0100 <haskellbridge> 05<i​rregularsphere> It seems to me in the original snippet there's an oversight in merge'':
2023-12-21 02:07:27 +0100 <haskellbridge> 05<i​rregularsphere> with not (a > b > c > d) and not (a > b > c) we can still obtain a > b ≤ c > d and b > d
2023-12-21 02:07:36 +0100 <haskellbridge> 05<i​rregularsphere> It seems to me in the original snippet there's an oversight in merge'':
2023-12-21 02:07:37 +0100 <haskellbridge> 05<i​rregularsphere> with not (a > b > c > d) and not (a > b > c) we can still obtain a > b ≤ c > d and b > d
2023-12-21 02:07:39 +0100 <haskellbridge> 05<i​rregularsphere> but in this case b is picked
2023-12-21 02:08:22 +0100 <int-e> Anyway, the upshot is that the 3-way merge I'm looking at is missing a case, it should check whether a > c or not in the end.
2023-12-21 02:08:28 +0100 <int-e> I haven't looked at the other merges.
2023-12-21 02:09:13 +0100 <haskellbridge> 05<i​rregularsphere> similarly on others
2023-12-21 02:09:53 +0100 <haskellbridge> 05<i​rregularsphere> I guess it'd be best to keep using the original because the number of permutations (sorting conditions) is n! for n-way merge
2023-12-21 02:10:17 +0100 <haskellbridge> 05<i​rregularsphere> I guess it'd be best to keep using the original because the number of permutations (order ≥ of inputs) is n! for n-way merge
2023-12-21 02:11:38 +0100 <haskellbridge> 05<i​rregularsphere> I guess it'd be best to keep using the original because the number of permutations (order ≥ of inputs) is somewhat n! for n-way merge
2023-12-21 02:12:40 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-21 02:13:28 +0100 <haskellbridge> 05<i​rregularsphere> so in this case doing this correctly makes it somewhat inefficient in theory
2023-12-21 02:13:43 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-12-21 02:13:45 +0100ph88(~ph88@2a02:8109:9e26:c800:8d29:39c8:b027:bec0)
2023-12-21 02:17:07 +0100 <geekosaur> irregularsphere, please don't do edits in here
2023-12-21 02:17:59 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 264 seconds)
2023-12-21 02:18:02 +0100 <haskellbridge> 05<i​rregularsphere> wait, IRC doesn't support edits?
2023-12-21 02:18:10 +0100 <geekosaur> no
2023-12-21 02:18:45 +0100 <haskellbridge> 05<i​rregularsphere> ah, sorry! I didn't think editing doesn't work correctly here
2023-12-21 02:18:51 +0100 <haskellbridge> 05<i​rregularsphere> must be some bridge issue?
2023-12-21 02:19:21 +0100 <geekosaur> the bridge can't make IRC do edits
2023-12-21 02:19:31 +0100 <geekosaur> IRC is a very old protocol
2023-12-21 02:19:36 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 02:19:55 +0100 <yushyin> it works, it is just annoying as hell. each edit is a new message.
2023-12-21 02:20:12 +0100 <haskellbridge> 05<i​rregularsphere> !?
2023-12-21 02:20:14 +0100 <geekosaur> with no way to link it to the old message
2023-12-21 02:20:52 +0100 <geekosaur> https://imgur.com/4dxKGZz.png
2023-12-21 02:21:13 +0100 <geekosaur> (irc doesn't do images either)
2023-12-21 02:21:46 +0100 <haskellbridge> 05<i​rregularsphere> must be kind of a generational/technological leap
2023-12-21 02:22:07 +0100 <haskellbridge> 05<i​rregularsphere> ...anyway
2023-12-21 02:22:15 +0100 <geekosaur> the IRCv3 folks keep talking about adding features like that but it hasn't happened yet
2023-12-21 02:22:18 +0100sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 252 seconds)
2023-12-21 02:26:59 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer)
2023-12-21 02:27:16 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 02:27:25 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 02:30:35 +0100 <int-e> Well it looks like the 3-way merge might actually be a win still: https://paste.debian.net/1301717/
2023-12-21 02:34:24 +0100 <haskellbridge> 05<i​rregularsphere> this is what i said about order ≥ of inputs being about n!
2023-12-21 02:34:37 +0100 <haskellbridge> 05<i​rregularsphere> though this is actually cool
2023-12-21 02:34:41 +0100 <int-e> It's only 2^n
2023-12-21 02:34:43 +0100 <int-e> "only"
2023-12-21 02:35:21 +0100 <haskellbridge> 05<i​rregularsphere> i said order of inputs not number of comparisons
2023-12-21 02:35:36 +0100 <haskellbridge> 05<i​rregularsphere> though O(2^n) is actually better than O(n!) anyway
2023-12-21 02:37:04 +0100 <int-e> You only care about the minimum element. But it results in 2^(n-1) cases the way I did it.
2023-12-21 02:37:27 +0100 <haskellbridge> 05<i​rregularsphere> right
2023-12-21 02:39:09 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Remote host closed the connection)
2023-12-21 02:39:34 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-21 02:42:20 +0100 <cheater> can we at LEAST make the bot have a shorter name
2023-12-21 02:42:27 +0100 <cheater> the nicks take up half my screen
2023-12-21 02:42:35 +0100 <cheater> :(
2023-12-21 02:48:20 +0100ph88(~ph88@2a02:8109:9e26:c800:8d29:39c8:b027:bec0) (Remote host closed the connection)
2023-12-21 02:50:23 +0100oxide(~lambda@user/oxide) (Ping timeout: 264 seconds)
2023-12-21 02:53:22 +0100oxide(~lambda@user/oxide)
2023-12-21 02:55:32 +0100Halian(~halian@safiralliance/protobeeper)
2023-12-21 02:55:34 +0100 <Halian> Hi
2023-12-21 02:55:44 +0100 <Halian> I got a copy of Learn You a Haskell from Humble Bundle ages ago and have yet to read it @w@
2023-12-21 02:55:49 +0100 <sm> hsbridge ?
2023-12-21 02:56:52 +0100 <int-e> Celestial, irregularsphere: Here's a 3-way merge tweak that does seem to pay off, namely to remember the result of a comparison we've done before for the tail-recursive call: https://paste.debian.net/1301719/
2023-12-21 02:57:22 +0100 <sm> "IRC" on the matrix side, "MTRX" on the irc side ?
2023-12-21 03:00:37 +0100 <haskellbridge> 05<i​rregularsphere> nice! i'll check this later
2023-12-21 03:02:25 +0100 <int-e> I guess I'll comment on the ticket
2023-12-21 03:12:07 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 03:12:30 +0100xff0x(~xff0x@2405:6580:b080:900:d2ac:6093:bf37:642e) (Ping timeout: 260 seconds)
2023-12-21 03:13:02 +0100defkev(~defkev@2a09:bac1:1e00:11e0::1d8:3b)
2023-12-21 03:15:32 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-12-21 03:15:35 +0100mikess(~sam@user/mikess)
2023-12-21 03:15:53 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 03:17:27 +0100jmorris(uid604645@id-604645.hampstead.irccloud.com)
2023-12-21 03:22:59 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 03:27:46 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-21 03:36:29 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-21 03:53:41 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-12-21 04:03:25 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 256 seconds)
2023-12-21 04:03:42 +0100petrichor(~znc-user@user/petrichor)
2023-12-21 04:07:39 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-21 04:07:59 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-21 04:14:35 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-12-21 04:15:25 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-21 04:15:25 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-21 04:15:25 +0100finn_elijaFinnElija
2023-12-21 04:17:16 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 04:20:03 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 260 seconds)
2023-12-21 04:21:05 +0100rosco(~rosco@42.153.140.117)
2023-12-21 04:21:42 +0100rosco(~rosco@42.153.140.117) (Read error: Connection reset by peer)
2023-12-21 04:21:57 +0100rosco(~rosco@121.120.69.208)
2023-12-21 04:22:02 +0100zmt00(~zmt00@user/zmt00)
2023-12-21 04:23:40 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection)
2023-12-21 04:23:55 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-21 04:26:01 +0100Square(~Square@user/square)
2023-12-21 04:30:38 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-21 04:35:10 +0100micro(~micro@user/micro) (Ping timeout: 256 seconds)
2023-12-21 04:35:29 +0100micro(~micro@user/micro)
2023-12-21 04:39:06 +0100td_(~td@i53870912.versanet.de) (Ping timeout: 245 seconds)
2023-12-21 04:40:58 +0100td_(~td@i53870939.versanet.de)
2023-12-21 04:47:59 +0100rosco(~rosco@121.120.69.208) (Read error: Connection reset by peer)
2023-12-21 04:49:29 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-12-21 04:50:21 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-21 05:12:01 +0100rvalue(~rvalue@user/rvalue) (Ping timeout: 255 seconds)
2023-12-21 05:18:03 +0100rvalue(~rvalue@user/rvalue)
2023-12-21 05:18:50 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-21 05:28:41 +0100aforemny(~aforemny@2001:9e8:6cfb:e200:226e:4b0d:2e98:45a6) (Ping timeout: 245 seconds)
2023-12-21 05:29:11 +0100aforemny(~aforemny@2001:9e8:6ce1:8800:37e4:a931:94cc:6aab)
2023-12-21 05:40:53 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds)
2023-12-21 05:49:31 +0100mikess(~sam@user/mikess) (Ping timeout: 245 seconds)
2023-12-21 05:51:35 +0100mikess(~sam@user/mikess)
2023-12-21 05:54:54 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-21 05:58:16 +0100[_](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds)
2023-12-21 06:08:50 +0100michalz(~michalz@185.246.204.107)
2023-12-21 06:11:22 +0100mikess(~sam@user/mikess) (Quit: leaving)
2023-12-21 06:14:33 +0100Square(~Square@user/square) (Remote host closed the connection)
2023-12-21 06:25:24 +0100shOkEy(~shOkEy@176-241-19-57.pool.digikabel.hu) (Ping timeout: 252 seconds)
2023-12-21 06:26:47 +0100trev(~trev@user/trev)
2023-12-21 06:27:02 +0100shOkEy(~shOkEy@84-236-122-36.pool.digikabel.hu)
2023-12-21 06:30:06 +0100michalz(~michalz@185.246.204.107) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-21 06:33:05 +0100michalz(~michalz@185.246.204.121)
2023-12-21 06:33:37 +0100defkev(~defkev@2a09:bac1:1e00:11e0::1d8:3b) (Ping timeout: 268 seconds)
2023-12-21 06:34:49 +0100 <mauke> <i​rregularsphere> wait, IRC doesn't support edits? <- IRC is a protocol originally from 1988, modeled on CB radio
2023-12-21 06:35:02 +0100 <mauke> which is why you "join" a "channel" to speak to others
2023-12-21 06:35:32 +0100 <mauke> you could also call it multiplayer telnet :-)
2023-12-21 06:51:51 +0100oxide(~lambda@user/oxide) (Quit: oxide)
2023-12-21 06:54:15 +0100oxide(~lambda@user/oxide)
2023-12-21 06:54:38 +0100pavonia(~user@user/siracusa)
2023-12-21 07:01:46 +0100azimut_(~azimut@gateway/tor-sasl/azimut)
2023-12-21 07:02:07 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-21 07:04:26 +0100 <srk> +1 for shorter bridge bot nick
2023-12-21 07:06:41 +0100srksuggests mbr :D
2023-12-21 07:07:05 +0100 <srk> taken :(
2023-12-21 07:14:23 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2023-12-21 07:15:27 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-21 07:17:13 +0100acidjnk(~acidjnk@p200300d6e72b936804a759f931aec823.dip0.t-ipconnect.de)
2023-12-21 07:18:10 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2023-12-21 07:18:47 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 07:18:48 +0100pyooque(~puke@user/puke)
2023-12-21 07:18:48 +0100pukeGuest5131
2023-12-21 07:18:48 +0100Guest5131(~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services)))
2023-12-21 07:18:48 +0100pyooquepuke
2023-12-21 07:19:21 +0100puke(~puke@user/puke) (Client Quit)
2023-12-21 07:21:06 +0100tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2023-12-21 07:25:38 +0100puke(~puke@user/puke)
2023-12-21 07:26:30 +0100jle`(~jle`@2603-8001-3b02-84d4-f978-47bf-a33f-1cc7.res6.spectrum.com)
2023-12-21 07:27:57 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 07:31:45 +0100chomwitt(~chomwitt@2a02:587:7a09:c300:1ac0:4dff:fedb:a3f1)
2023-12-21 07:42:46 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
2023-12-21 07:43:13 +0100zeka(~zeka@2600:1700:2121:180:b0f4:ebbe:6b0b:46b1)
2023-12-21 07:44:24 +0100 <haskellbridge> 15<J​ade> int-e: thanks, but what about the case `a > c > b`? It should select `b` but `a > b && a > c` is the first case and would yield `c`
2023-12-21 07:44:36 +0100Inst(~Inst@120.244.192.23) (Ping timeout: 252 seconds)
2023-12-21 07:47:29 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 07:47:47 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 07:51:15 +0100Inst(~Inst@120.244.192.23)
2023-12-21 07:59:38 +0100lawt(~lawt@2603:c024:c008:d000:5b4f:1ef2:fed2:ef3d) (Ping timeout: 268 seconds)
2023-12-21 08:04:38 +0100misterfish(~misterfis@84.53.85.146)
2023-12-21 08:06:01 +0100arkoinad(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net)
2023-12-21 08:15:21 +0100alp_(~alp@2001:861:e3d6:8f80:eb45:185d:cb11:693f)
2023-12-21 08:25:19 +0100chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds)
2023-12-21 08:29:02 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 08:29:25 +0100igemnace(~ian@user/igemnace)
2023-12-21 08:37:16 +0100jmorris(uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-21 08:40:08 +0100bliminse(~bliminse@user/bliminse) (Quit: leaving)
2023-12-21 08:40:12 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 08:40:51 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 08:42:40 +0100bliminse(~bliminse@user/bliminse)
2023-12-21 08:45:46 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
2023-12-21 08:46:23 +0100chiselfuse(~chiselfus@user/chiselfuse)
2023-12-21 08:48:52 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-21 08:52:13 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-12-21 08:52:33 +0100 <int-e> That's embarrassing. The a_gt_c should be b_gt_c. I should use a better test for this.
2023-12-21 08:53:15 +0100 <int-e> I'll update my comment in a bit.
2023-12-21 08:57:44 +0100 <int-e> amazingly the larger versions get this right.
2023-12-21 08:58:00 +0100 <[exa]> morning all o/
2023-12-21 08:59:16 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 256 seconds)
2023-12-21 08:59:23 +0100 <[exa]> I was wondering about one thing with `cereal` and `binary`-like libraries -- is there any support for nicely writing out structures that have parts (typically pointers or offsets) that are not known at writing time because there's no guess on how much data is gonna get written between the current point and the offset target?
2023-12-21 08:59:43 +0100 <[exa]> Typically, this would be for delta-encoded skiplists (you need forward pointers, but you don't know how much these will be)
2023-12-21 09:07:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 09:08:35 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 09:08:52 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 09:09:33 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 09:09:48 +0100 <int-e> Jade: Done. (Did gitlab notify you for that?)
2023-12-21 09:09:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 09:10:46 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 09:12:23 +0100shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 256 seconds)
2023-12-21 09:15:17 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 09:15:30 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 09:16:12 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 09:20:51 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2023-12-21 09:21:57 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 252 seconds)
2023-12-21 09:22:52 +0100misterfish(~misterfis@84.53.85.146)
2023-12-21 09:24:18 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 09:24:29 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c)
2023-12-21 09:24:42 +0100chele(~chele@user/chele)
2023-12-21 09:28:22 +0100phma(phma@2001:5b0:211f:28f8:4421:db20:6d0:6423) (Read error: Connection reset by peer)
2023-12-21 09:29:23 +0100phma(~phma@2001:5b0:211f:86f8:38e2:2efc:badb:31e3)
2023-12-21 09:30:26 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection)
2023-12-21 09:31:02 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 09:33:21 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds)
2023-12-21 09:33:41 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2023-12-21 09:34:01 +0100f-chymera(~chymera@ns1000526.ip-51-81-46.us)
2023-12-21 09:34:46 +0100chymera(~chymera@ns1000526.ip-51-81-46.us) (Ping timeout: 246 seconds)
2023-12-21 09:34:47 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 264 seconds)
2023-12-21 09:35:38 +0100 <dminuoso_> [exa]: I have handcrafted a simple serializer for this.
2023-12-21 09:36:08 +0100f-chymerachymera
2023-12-21 09:37:02 +0100 <dminuoso_> [exa]: And my solution was to simply write onto the buffer in reverse.
2023-12-21 09:38:58 +0100 <dminuoso_> I suppose you could also keep some information around of undischarged write obligations. Say you have a stack, and upon pushing you record the position maybe with some metadata how much you need to later record in there, and upon popping you fill it in.
2023-12-21 09:40:24 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection)
2023-12-21 09:40:45 +0100 <[exa]> dminuoso_: ha good point. I considered the reverse solution but that would completely break the identities on my `put` and `get` in both packages right. :D
2023-12-21 09:41:31 +0100 <dminuoso_> Well.. if you reject a solution based on religious reasons... :)
2023-12-21 09:42:15 +0100 <[exa]> anyway yeah there's always just around log(n) entries to write down so probably gonna go that way
2023-12-21 09:42:27 +0100 <[exa]> also might just go the C way with mmap
2023-12-21 09:42:33 +0100 <[exa]> I like mmap.
2023-12-21 09:43:24 +0100 <[exa]> more like, is there perhaps a conservative extension on the put/get religion... :D
2023-12-21 09:44:15 +0100 <dminuoso_> [exa]: https://paste.tomsmeding.com/gqtXwA6c
2023-12-21 09:44:18 +0100 <dminuoso_> To give you an idea.
2023-12-21 09:45:11 +0100 <[exa]> uooooooh RADIUS
2023-12-21 09:45:27 +0100 <[exa]> anyway this is very helpful, thanks!
2023-12-21 09:47:37 +0100 <[exa]> I'll actually have a pretty good upper bound on the buffer size so this should be okay
2023-12-21 09:47:39 +0100CiaoSen(~Jura@2a05:5800:27f:e000:ca4b:d6ff:fec1:99da)
2023-12-21 09:48:30 +0100 <dminuoso_> Yeah, same consideration here. Over-allocation is not a big deal for me, because this greatly simplifies things.
2023-12-21 09:48:57 +0100 <dminuoso_> Though you could easily built-in auto-growth if you wanted to.
2023-12-21 09:50:00 +0100 <[exa]> for skiplist I have basically 2 operations, 1] convert plain old data of limited small size to this skiplist (I just overallocate a few megs, no big deal) and 2] merge 2 such skiplists (size is always smaller than sum of both because of delta encoding)
2023-12-21 09:50:34 +0100misterfish(~misterfis@84.53.85.146)
2023-12-21 09:50:46 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-12-21 09:50:54 +0100 <[exa]> (Lucene goes with a similar scheme, if you arrange a few skiplists like this you can basically hold a whole index running with reasonably fast parallel updates)
2023-12-21 09:51:05 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-21 09:51:25 +0100 <[exa]> gonna be fun. :D
2023-12-21 09:51:54 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 09:56:15 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-12-21 09:56:58 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 09:57:22 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 09:57:24 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de)
2023-12-21 09:59:50 +0100 <Inst> HS doesn't have Node FFI, right?
2023-12-21 10:00:04 +0100 <Inst> I've been dealing a problem with a cipher, I'm too lazy and timeconstrained to deal with the JS parsing
2023-12-21 10:00:11 +0100 <Inst> it seems as though it'd be easier to use Shelly to FFI into node
2023-12-21 10:01:29 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-12-21 10:02:18 +0100danse-nr3(~danse@151.57.192.236)
2023-12-21 10:02:42 +0100econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-21 10:03:40 +0100 <[exa]> well I guess you can FFI into Node but probably not in the level that you'd be interested in
2023-12-21 10:03:49 +0100 <[exa]> is there a Node function that can eval javascript code?
2023-12-21 10:04:07 +0100danse-nr3(~danse@151.57.192.236) (Remote host closed the connection)
2023-12-21 10:04:30 +0100danse-nr3(~danse@151.57.192.236)
2023-12-21 10:06:27 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-21 10:06:35 +0100Feuermagier(~Feuermagi@user/feuermagier)
2023-12-21 10:10:37 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-12-21 10:11:44 +0100 <danse-nr3> developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/eval ?
2023-12-21 10:13:41 +0100 <[exa]> ah actually here https://nodejs.org/api/embedding.html
2023-12-21 10:14:19 +0100 <probie> you'll need to write some glue, since I'm fairly sure it's a C++ API, not a C one
2023-12-21 10:18:11 +0100 <Inst> [exa]: I have some steganography, a JS script that converts the steganography into a secret key, then decrypts it
2023-12-21 10:18:12 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 10:18:28 +0100 <Inst> I don't want to figure out the complicated rules the JS is using to convert the secret key, you can understand, right?
2023-12-21 10:18:44 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 10:19:02 +0100 <Inst> so the easier way to do it is just to FFI into node, run the JS script, decrypt, use shelly to pick up the output
2023-12-21 10:19:06 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 10:19:24 +0100euleritian(~euleritia@77.22.252.56)
2023-12-21 10:20:28 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-21 10:24:50 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Ping timeout: 256 seconds)
2023-12-21 10:26:28 +0100 <[exa]> Inst: how long is the script?
2023-12-21 10:27:43 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
2023-12-21 10:27:43 +0100rosco(~rosco@113.172.95.204)
2023-12-21 10:27:45 +0100 <[exa]> anyway you should be able to do that without any problem using just unix tools like `popen` or so
2023-12-21 10:27:54 +0100 <Inst> popen?
2023-12-21 10:28:10 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2023-12-21 10:28:14 +0100 <Inst> https://cdnjs.cloudflare.com/ajax/libs/crypto-js/4.1.1/crypto-js.min.js
2023-12-21 10:28:20 +0100 <[exa]> shttps://hackage.haskell.org/package/process-1.6.18.0/docs/System-Process.html#v:createProcess
2023-12-21 10:28:44 +0100 <[exa]> you run the `nodejs yourscript.js` process, the stdin handle you give a pipe with your input, and read the stdout handle
2023-12-21 10:28:52 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-12-21 10:30:25 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2023-12-21 10:30:44 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-12-21 10:31:25 +0100tertek(~tertek@user/tertek) (Quit: %quit%)
2023-12-21 10:31:45 +0100tertek(~tertek@user/tertek)
2023-12-21 10:32:37 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2023-12-21 10:33:40 +0100chessai(sid225296@id-225296.lymington.irccloud.com) (Ping timeout: 276 seconds)
2023-12-21 10:35:54 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-21 10:36:20 +0100chessai(sid225296@id-225296.lymington.irccloud.com)
2023-12-21 10:36:55 +0100potato44(uid421314@id-421314.lymington.irccloud.com) (Ping timeout: 255 seconds)
2023-12-21 10:37:42 +0100alp_(~alp@2001:861:e3d6:8f80:eb45:185d:cb11:693f) (Ping timeout: 260 seconds)
2023-12-21 10:38:13 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Ping timeout: 276 seconds)
2023-12-21 10:39:32 +0100potato44(uid421314@id-421314.lymington.irccloud.com)
2023-12-21 10:40:05 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 256 seconds)
2023-12-21 10:40:46 +0100rosco(~rosco@113.172.95.204) (Read error: Connection reset by peer)
2023-12-21 10:41:18 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2023-12-21 10:46:29 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-12-21 10:47:17 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-12-21 10:47:17 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-12-21 10:47:17 +0100finn_elijaFinnElija
2023-12-21 10:48:59 +0100Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-12-21 11:06:11 +0100xdminsy(~xdminsy@117.147.71.169) (Ping timeout: 245 seconds)
2023-12-21 11:11:34 +0100xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 255 seconds)
2023-12-21 11:15:11 +0100TheCatCollective(NyaaTheKit@user/calculuscat) (Quit: Meow Meow Meow Meow Meow Meow Meow Meow)
2023-12-21 11:19:39 +0100oxide(~lambda@user/oxide) (Ping timeout: 252 seconds)
2023-12-21 11:20:10 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:57b5:b4be:695f:ece8)
2023-12-21 11:23:11 +0100oxide(~lambda@user/oxide)
2023-12-21 11:24:10 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds)
2023-12-21 11:24:11 +0100euleritian(~euleritia@77.22.252.56) (Read error: Connection reset by peer)
2023-12-21 11:24:33 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 11:24:55 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 11:25:13 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 11:27:08 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 11:27:15 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 11:27:38 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 11:27:56 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 11:37:16 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!)
2023-12-21 11:37:38 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 11:40:52 +0100ymherklotz(cb2c9cfbdd@2604:bf00:561:2000::29a) (Remote host closed the connection)
2023-12-21 11:40:52 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Remote host closed the connection)
2023-12-21 11:40:52 +0100rselim(ce261f06ff@user/milesrout) (Remote host closed the connection)
2023-12-21 11:40:52 +0100fn_lumi(3d621153a5@2604:bf00:561:2000::df7) (Remote host closed the connection)
2023-12-21 11:40:53 +0100brettgilio(a35ba67324@2604:bf00:561:2000::260) (Remote host closed the connection)
2023-12-21 11:40:53 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Remote host closed the connection)
2023-12-21 11:40:53 +0100samhh(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2023-12-21 11:40:53 +0100fgaz_(1ff9197ed6@2604:bf00:561:2000::11ea) (Remote host closed the connection)
2023-12-21 11:40:53 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Remote host closed the connection)
2023-12-21 11:40:53 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (Remote host closed the connection)
2023-12-21 11:40:53 +0100b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Remote host closed the connection)
2023-12-21 11:40:53 +0100probie(cc0b34050a@user/probie) (Remote host closed the connection)
2023-12-21 11:40:53 +0100jleightcap(7bc4014b62@user/jleightcap) (Remote host closed the connection)
2023-12-21 11:40:53 +0100sm2n(ae95cb1267@user/sm2n) (Remote host closed the connection)
2023-12-21 11:40:53 +0100theesm(2cbdf4b38a@2604:bf00:561:2000::11c8) (Remote host closed the connection)
2023-12-21 11:40:53 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df) (Remote host closed the connection)
2023-12-21 11:40:53 +0100jakzale(6291399afa@user/jakzale) (Remote host closed the connection)
2023-12-21 11:40:53 +0100jkoshy(99b9359beb@user/jkoshy) (Remote host closed the connection)
2023-12-21 11:40:53 +0100sus(1b7af6299f@user/zeromomentum) (Remote host closed the connection)
2023-12-21 11:40:53 +0100cpli(77fc530071@2604:bf00:561:2000::252) (Remote host closed the connection)
2023-12-21 11:40:53 +0100samhh_(7569f027cf@2604:bf00:561:2000::e4) (Remote host closed the connection)
2023-12-21 11:40:53 +0100kuruczgy(55b66dd3ae@2604:bf00:561:2000::127f) (Remote host closed the connection)
2023-12-21 11:40:54 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0) (Remote host closed the connection)
2023-12-21 11:40:54 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3) (Remote host closed the connection)
2023-12-21 11:40:54 +0100fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Remote host closed the connection)
2023-12-21 11:40:54 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Remote host closed the connection)
2023-12-21 11:40:54 +0100fluffyballoon(45ce440a48@2604:bf00:561:2000::e2) (Remote host closed the connection)
2023-12-21 11:40:54 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection)
2023-12-21 11:40:54 +0100aniketd(32aa4844cd@2604:bf00:561:2000::dcb) (Remote host closed the connection)
2023-12-21 11:40:54 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266) (Remote host closed the connection)
2023-12-21 11:40:54 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c) (Read error: Connection reset by peer)
2023-12-21 11:40:54 +0100filwisher(2e6936c793@2604:bf00:561:2000::170) (Remote host closed the connection)
2023-12-21 11:40:54 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection)
2023-12-21 11:40:54 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Remote host closed the connection)
2023-12-21 11:40:54 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Remote host closed the connection)
2023-12-21 11:40:54 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Remote host closed the connection)
2023-12-21 11:43:34 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds)
2023-12-21 11:43:55 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2023-12-21 11:43:55 +0100samhh(7569f027cf@2604:bf00:561:2000::e4)
2023-12-21 11:43:55 +0100fgaz_(1ff9197ed6@2604:bf00:561:2000::11ea)
2023-12-21 11:43:55 +0100raghavgururajan(ea769b8000@user/raghavgururajan)
2023-12-21 11:43:55 +0100filwisher(4547cdfc7b@2604:bf00:561:2000::170)
2023-12-21 11:43:56 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e)
2023-12-21 11:43:57 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-12-21 11:43:58 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0)
2023-12-21 11:44:00 +0100ymherklotz(344d174de9@2604:bf00:561:2000::29a)
2023-12-21 11:44:01 +0100jakzale(6291399afa@user/jakzale)
2023-12-21 11:44:03 +0100fvr(ef3e56ca8b@2604:bf00:561:2000::3c4)
2023-12-21 11:44:03 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-12-21 11:44:03 +0100b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2023-12-21 11:44:03 +0100jmcantrell(644f1bed9a@user/jmcantrell)
2023-12-21 11:44:03 +0100brettgilio(a35ba67324@2604:bf00:561:2000::260)
2023-12-21 11:44:04 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-12-21 11:44:04 +0100jleightcap(7bc4014b62@user/jleightcap)
2023-12-21 11:44:04 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266)
2023-12-21 11:44:06 +0100akspecs(00cc8321af@sourcehut/user/akspecs)
2023-12-21 11:44:06 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2023-12-21 11:44:07 +0100cpli(339cd7a02e@2604:bf00:561:2000::252)
2023-12-21 11:44:10 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df)
2023-12-21 11:44:10 +0100sm2n(ae95cb1267@user/sm2n)
2023-12-21 11:44:10 +0100probie(cc0b34050a@user/probie)
2023-12-21 11:44:10 +0100aniketd(32aa4844cd@2604:bf00:561:2000::dcb)
2023-12-21 11:44:10 +0100kuruczgy(55b66dd3ae@2604:bf00:561:2000::127f)
2023-12-21 11:44:12 +0100sus(1b7af6299f@user/zeromomentum)
2023-12-21 11:44:12 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-12-21 11:44:12 +0100rselim(ce261f06ff@user/milesrout)
2023-12-21 11:44:13 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0)
2023-12-21 11:44:13 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2023-12-21 11:44:13 +0100theesm(2cbdf4b38a@2604:bf00:561:2000::11c8)
2023-12-21 11:44:14 +0100fluffyballoon(d3fc6e6a8a@2604:bf00:561:2000::e2)
2023-12-21 11:44:16 +0100jkoshy(99b9359beb@user/jkoshy)
2023-12-21 11:44:16 +0100fn_lumi(3d621153a5@2604:bf00:561:2000::df7)
2023-12-21 11:44:16 +0100samhh_(7569f027cf@2604:bf00:561:2000::e4)
2023-12-21 11:45:23 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-12-21 11:45:30 +0100ubert1(~Thunderbi@2a02:8109:ab8a:5a00:dce0:5312:dd9e:20e8)
2023-12-21 11:47:30 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:57b5:b4be:695f:ece8) (Ping timeout: 268 seconds)
2023-12-21 11:47:30 +0100ubert1ubert
2023-12-21 11:51:13 +0100sawilagar(~sawilagar@user/sawilagar)
2023-12-21 11:52:22 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2023-12-21 11:57:51 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-21 11:58:33 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 12:05:20 +0100krei-se(~krei-se@p5085dea2.dip0.t-ipconnect.de)
2023-12-21 12:09:42 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-21 12:15:49 +0100xff0x(~xff0x@2405:6580:b080:900:32f9:4cf6:fdc5:d53a)
2023-12-21 12:16:17 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 12:16:23 +0100phma(~phma@2001:5b0:211f:86f8:38e2:2efc:badb:31e3) (Read error: Connection reset by peer)
2023-12-21 12:16:47 +0100phma(phma@2001:5b0:211f:86f8:38e2:2efc:badb:31e3)
2023-12-21 12:17:25 +0100Inst(~Inst@120.244.192.23) (Remote host closed the connection)
2023-12-21 12:17:31 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-12-21 12:17:46 +0100Inst(~Inst@120.244.192.23)
2023-12-21 12:17:52 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-21 12:18:08 +0100johnw(~johnw@69.62.242.138) (Read error: Connection reset by peer)
2023-12-21 12:18:18 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection)
2023-12-21 12:18:24 +0100shapr(~user@2600:1700:c640:3100:faa6:46bc:da63:b272) (Remote host closed the connection)
2023-12-21 12:18:38 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266) (Read error: Connection reset by peer)
2023-12-21 12:18:38 +0100jkoshy(99b9359beb@user/jkoshy) (Read error: Connection reset by peer)
2023-12-21 12:18:38 +0100fn_lumi(3d621153a5@2604:bf00:561:2000::df7) (Read error: Connection reset by peer)
2023-12-21 12:18:39 +0100shapr(~user@2600:1700:c640:3100:8658:5e02:459b:6901)
2023-12-21 12:18:41 +0100shreyasminocha(51fdc93eda@user/shreyasminocha) (Ping timeout: 245 seconds)
2023-12-21 12:18:41 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2) (Ping timeout: 245 seconds)
2023-12-21 12:18:41 +0100jmcantrell(644f1bed9a@user/jmcantrell) (Ping timeout: 245 seconds)
2023-12-21 12:18:41 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4) (Ping timeout: 245 seconds)
2023-12-21 12:18:41 +0100ymherklotz(344d174de9@2604:bf00:561:2000::29a) (Read error: Connection reset by peer)
2023-12-21 12:18:42 +0100aniketd(32aa4844cd@2604:bf00:561:2000::dcb) (Write error: Connection reset by peer)
2023-12-21 12:18:42 +0100jleightcap(7bc4014b62@user/jleightcap) (Write error: Connection reset by peer)
2023-12-21 12:18:42 +0100filwisher(4547cdfc7b@2604:bf00:561:2000::170) (Read error: Connection reset by peer)
2023-12-21 12:18:42 +0100lukec(9dfd4d094e@2604:bf00:561:2000::10e) (Read error: Connection reset by peer)
2023-12-21 12:18:43 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd) (Write error: Connection reset by peer)
2023-12-21 12:18:43 +0100arcadewise(52968ed80d@2604:bf00:561:2000::3df) (Write error: Connection reset by peer)
2023-12-21 12:18:43 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c) (Read error: Connection reset by peer)
2023-12-21 12:18:43 +0100probie(cc0b34050a@user/probie) (Read error: Connection reset by peer)
2023-12-21 12:18:43 +0100chaitlatte0(ea29c0bb16@user/chaitlatte0) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100evanrelf(3addc196af@2604:bf00:561:2000::f0) (Write error: Connection reset by peer)
2023-12-21 12:18:45 +0100JoelMcCracken(5ea8252fbb@2604:bf00:561:2000::10e3) (Write error: Connection reset by peer)
2023-12-21 12:18:45 +0100fgaz_(1ff9197ed6@2604:bf00:561:2000::11ea) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100raghavgururajan(ea769b8000@user/raghavgururajan) (Write error: Connection reset by peer)
2023-12-21 12:18:45 +0100brettgilio(a35ba67324@2604:bf00:561:2000::260) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100theesm(2cbdf4b38a@2604:bf00:561:2000::11c8) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100sm2n(ae95cb1267@user/sm2n) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100rselim(ce261f06ff@user/milesrout) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100ggb(a62ffbaf4f@2604:bf00:561:2000::3ac) (Write error: Connection reset by peer)
2023-12-21 12:18:45 +0100akspecs(00cc8321af@sourcehut/user/akspecs) (Write error: Connection reset by peer)
2023-12-21 12:18:45 +0100fluffyballoon(d3fc6e6a8a@2604:bf00:561:2000::e2) (Read error: Connection reset by peer)
2023-12-21 12:18:45 +0100samhh_(7569f027cf@2604:bf00:561:2000::e4) (Write error: Connection reset by peer)
2023-12-21 12:18:46 +0100fvr(ef3e56ca8b@2604:bf00:561:2000::3c4) (Write error: Connection reset by peer)
2023-12-21 12:18:46 +0100sus(1b7af6299f@user/zeromomentum) (Read error: Connection reset by peer)
2023-12-21 12:18:46 +0100jakzale(6291399afa@user/jakzale) (Read error: Connection reset by peer)
2023-12-21 12:18:46 +0100cpli(339cd7a02e@2604:bf00:561:2000::252) (Write error: Connection reset by peer)
2023-12-21 12:18:46 +0100b0o(0e4a0bf4c9@2604:bf00:561:2000::1bf) (Write error: Connection reset by peer)
2023-12-21 12:18:46 +0100kuruczgy(55b66dd3ae@2604:bf00:561:2000::127f) (Read error: Connection reset by peer)
2023-12-21 12:18:47 +0100fn_lumi(3d621153a5@2604:bf00:561:2000::df7)
2023-12-21 12:18:47 +0100eso(a0662dfd5e@2604:bf00:561:2000::1266)
2023-12-21 12:18:47 +0100jkoshy(99b9359beb@user/jkoshy)
2023-12-21 12:18:49 +0100lukec_(9dfd4d094e@2604:bf00:561:2000::10e)
2023-12-21 12:18:49 +0100lukec_lukec
2023-12-21 12:18:50 +0100ymherklotz_(cb2c9cfbdd@2604:bf00:561:2000::29a)
2023-12-21 12:18:50 +0100raghavgururajan_(799d132964@2604:bf00:561:2000::242)
2023-12-21 12:18:50 +0100ggb_(a62ffbaf4f@2604:bf00:561:2000::3ac)
2023-12-21 12:18:51 +0100jakzale_(6291399afa@user/jakzale)
2023-12-21 12:18:51 +0100whereiseveryone(206ba86c98@2604:bf00:561:2000::2e4)
2023-12-21 12:18:51 +0100shreyasminocha(51fdc93eda@user/shreyasminocha)
2023-12-21 12:18:51 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (Read error: Connection reset by peer)
2023-12-21 12:18:51 +0100chessai(sid225296@id-225296.lymington.irccloud.com) (Read error: Connection reset by peer)
2023-12-21 12:18:52 +0100evanrelf_(3addc196af@2604:bf00:561:2000::f0)
2023-12-21 12:18:52 +0100aniketd_(32aa4844cd@2604:bf00:561:2000::dcb)
2023-12-21 12:18:52 +0100arcadewise_(52968ed80d@2604:bf00:561:2000::3df)
2023-12-21 12:18:52 +0100filwisher(2e6936c793@2604:bf00:561:2000::170)
2023-12-21 12:18:52 +0100bsima1(9d7e39c8ad@2604:bf00:561:2000::dd)
2023-12-21 12:18:53 +0100fgaz__(1ff9197ed6@2604:bf00:561:2000::11ea)
2023-12-21 12:18:53 +0100brettgilio_(a35ba67324@2604:bf00:561:2000::260)
2023-12-21 12:18:53 +0100sus_(1b7af6299f@user/zeromomentum)
2023-12-21 12:18:54 +0100aniketd_aniketd
2023-12-21 12:18:54 +0100Ankhers(e99e97ef8e@2604:bf00:561:2000::2a2)
2023-12-21 12:18:55 +0100theesm_(2cbdf4b38a@2604:bf00:561:2000::11c8)
2023-12-21 12:18:55 +0100probie_(cc0b34050a@user/probie)
2023-12-21 12:18:56 +0100sus_sus
2023-12-21 12:18:56 +0100evanrelf_evanrelf
2023-12-21 12:18:56 +0100fluffyballoon_(45ce440a48@2604:bf00:561:2000::e2)
2023-12-21 12:18:57 +0100akspecs_(00cc8321af@2604:bf00:561:2000::11a)
2023-12-21 12:18:57 +0100fvr_(ef3e56ca8b@2604:bf00:561:2000::3c4)
2023-12-21 12:18:58 +0100chaitlatte0_(ea29c0bb16@2604:bf00:561:2000::1124)
2023-12-21 12:18:58 +0100JoelMcCracken_(5ea8252fbb@2604:bf00:561:2000::10e3)
2023-12-21 12:18:58 +0100kuruczgy_(55b66dd3ae@2604:bf00:561:2000::127f)
2023-12-21 12:18:58 +0100jmcantrell(644f1bed9a@user/jmcantrell)
2023-12-21 12:18:59 +0100jleightcap(7bc4014b62@user/jleightcap)
2023-12-21 12:18:59 +0100henrytill(e0180937c3@2604:bf00:561:2000::e8c)
2023-12-21 12:18:59 +0100chaitlatte0_chaitlatte0
2023-12-21 12:18:59 +0100cpli_(77fc530071@2604:bf00:561:2000::252)
2023-12-21 12:18:59 +0100sm2n_(ae95cb1267@user/sm2n)
2023-12-21 12:18:59 +0100rselim_(ce261f06ff@user/milesrout)
2023-12-21 12:18:59 +0100b0o_(0e4a0bf4c9@2604:bf00:561:2000::1bf)
2023-12-21 12:19:00 +0100fvr_fvr
2023-12-21 12:19:00 +0100samhh_(7569f027cf@2604:bf00:561:2000::e4)
2023-12-21 12:19:00 +0100d34df00d(~d34df00d@2600:1702:4f1b:7c10::43) (Excess Flood)
2023-12-21 12:19:00 +0100smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2023-12-21 12:19:00 +0100chessai(sid225296@id-225296.lymington.irccloud.com)
2023-12-21 12:19:11 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Read error: Connection reset by peer)
2023-12-21 12:19:12 +0100arcadewise_arcadewise
2023-12-21 12:19:12 +0100jakzale_jakzale
2023-12-21 12:19:17 +0100fluffyballoon_fluffyballoon
2023-12-21 12:19:19 +0100ymherklotz_ymherklotz
2023-12-21 12:19:22 +0100fgaz__fgaz_
2023-12-21 12:19:22 +0100probie_probie
2023-12-21 12:19:23 +0100JoelMcCracken_JoelMcCracken
2023-12-21 12:19:28 +0100johnw(~johnw@69.62.242.138)
2023-12-21 12:19:35 +0100ggb_ggb
2023-12-21 12:19:36 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com)
2023-12-21 12:19:38 +0100kuruczgy_kuruczgy
2023-12-21 12:19:47 +0100theesm_theesm
2023-12-21 12:19:54 +0100rselim_rselim
2023-12-21 12:19:56 +0100b0o_b0o
2023-12-21 12:20:03 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2023-12-21 12:20:04 +0100cpli_cpli
2023-12-21 12:20:21 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2023-12-21 12:20:21 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2023-12-21 12:20:29 +0100alp_(~alp@2001:861:e3d6:8f80:6dc8:24b2:96e5:ec72)
2023-12-21 12:20:34 +0100brettgilio_brettgilio
2023-12-21 12:20:46 +0100cimento(CO2@gateway/vpn/protonvpn/cimento) (Ping timeout: 245 seconds)
2023-12-21 12:20:46 +0100ft(~ft@p3e9bcf0d.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2023-12-21 12:21:11 +0100Flow(~none@gentoo/developer/flow) (Ping timeout: 245 seconds)
2023-12-21 12:21:11 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Ping timeout: 245 seconds)
2023-12-21 12:21:28 +0100ft(~ft@p3e9bcf0d.dip0.t-ipconnect.de)
2023-12-21 12:21:36 +0100Lycurgus(~georg@user/Lycurgus) (Ping timeout: 245 seconds)
2023-12-21 12:21:56 +0100cimento(CO2@gateway/vpn/protonvpn/cimento)
2023-12-21 12:22:02 +0100farn_(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
2023-12-21 12:22:08 +0100sm2n_sm2n
2023-12-21 12:22:22 +0100Lycurgus(~georg@user/Lycurgus)
2023-12-21 12:23:00 +0100Lord_of_Life_Lord_of_Life
2023-12-21 12:23:05 +0100notzmv(~zmv@user/notzmv)
2023-12-21 12:24:34 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-12-21 12:26:34 +0100cfricke(~cfricke@user/cfricke)
2023-12-21 12:28:58 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2023-12-21 12:30:07 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 12:30:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 12:33:05 +0100Flow(~none@gentoo/developer/flow)
2023-12-21 12:34:47 +0100misterfish(~misterfis@87.215.131.102)
2023-12-21 12:37:30 +0100esnos(~esnos@194.29.137.22)
2023-12-21 12:47:05 +0100esnos(~esnos@194.29.137.22) (Quit: leaving)
2023-12-21 12:48:24 +0100wib_jonas(~wib_jonas@business-37-191-60-209.business.broadband.hu)
2023-12-21 13:00:57 +0100danse-nr3(~danse@151.57.192.236) (Read error: Connection reset by peer)
2023-12-21 13:01:33 +0100danse-nr3(~danse@151.47.44.65)
2023-12-21 13:01:34 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2023-12-21 13:02:12 +0100delyan_(sid523379@id-523379.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-21 13:08:30 +0100alp_(~alp@2001:861:e3d6:8f80:6dc8:24b2:96e5:ec72) (Ping timeout: 260 seconds)
2023-12-21 13:10:51 +0100wib_jonas(~wib_jonas@business-37-191-60-209.business.broadband.hu) (Quit: Client closed)
2023-12-21 13:17:43 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 13:21:22 +0100ddellacosta(~ddellacos@ool-44c73d16.dyn.optonline.net) (Ping timeout: 276 seconds)
2023-12-21 13:22:43 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-21 13:23:59 +0100danse-nr3(~danse@151.47.44.65) (Ping timeout: 264 seconds)
2023-12-21 13:24:11 +0100mreh(~mreh@2a00:23c7:2803:ef01:d4df:3a70:68f7:74c0)
2023-12-21 13:25:35 +0100 <mreh> ghc: panic! (the 'impossible' happened)
2023-12-21 13:25:35 +0100 <mreh>   (GHC version 8.6.5 for x86_64-unknown-linux):
2023-12-21 13:25:36 +0100 <mreh>     Prelude.chr: bad argument: 1543503875
2023-12-21 13:25:58 +0100 <mreh> What's the latest advice for when ghc tells me to report a bug?
2023-12-21 13:40:30 +0100igemnace(~ian@user/igemnace) (Read error: Connection reset by peer)
2023-12-21 13:41:00 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com) (Ping timeout: 252 seconds)
2023-12-21 13:41:23 +0100Adran(~adran@botters/adran) (Quit: Este é o fim.)
2023-12-21 13:41:23 +0100myxos(~myxos@065-028-251-121.inf.spectrum.com)
2023-12-21 13:41:38 +0100akegalj(~akegalj@141-136-190-163.dsl.iskon.hr)
2023-12-21 13:42:06 +0100thaumavorio(~thaumavor@thaumavor.io) (Ping timeout: 252 seconds)
2023-12-21 13:42:50 +0100thaumavorio(~thaumavor@thaumavor.io)
2023-12-21 13:44:15 +0100__monty__(~toonn@user/toonn)
2023-12-21 13:52:04 +0100Adran(~adran@botters/adran)
2023-12-21 13:53:03 +0100alp_(~alp@2001:861:e3d6:8f80:2051:17b9:2723:8327)
2023-12-21 13:56:55 +0100igemnace(~ian@user/igemnace)
2023-12-21 13:57:51 +0100danse-nr3(~danse@151.57.203.131)
2023-12-21 14:04:17 +0100 <mreh> Can I discuss issues with stack in here?
2023-12-21 14:05:37 +0100mreh(~mreh@2a00:23c7:2803:ef01:d4df:3a70:68f7:74c0) (Quit: Client closed)
2023-12-21 14:06:21 +0100mreh(~mreh@2a00:23c7:2803:ef01:d4df:3a70:68f7:74c0)
2023-12-21 14:07:07 +0100CiaoSen(~Jura@2a05:5800:27f:e000:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds)
2023-12-21 14:11:18 +0100cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.1.2)
2023-12-21 14:16:07 +0100cimento(CO2@gateway/vpn/protonvpn/cimento) (Ping timeout: 256 seconds)
2023-12-21 14:25:23 +0100alp_(~alp@2001:861:e3d6:8f80:2051:17b9:2723:8327) (Quit: Leaving)
2023-12-21 14:29:03 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-21 14:29:56 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de)
2023-12-21 14:31:34 +0100alp_(~alp@2001:861:e3d6:8f80:2051:17b9:2723:8327)
2023-12-21 14:33:21 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:dce0:5312:dd9e:20e8) (Remote host closed the connection)
2023-12-21 14:33:35 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:60a2:26a0:5e83:9684)
2023-12-21 14:34:59 +0100qqq(~qqq@92.43.167.61)
2023-12-21 14:36:07 +0100euleritian(~euleritia@dynamic-046-114-095-098.46.114.pool.telefonica.de) (Ping timeout: 246 seconds)
2023-12-21 14:36:23 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 14:43:18 +0100rosco(~rosco@115.74.237.39)
2023-12-21 14:47:14 +0100defkev(~defkev@2a09:bac1:1e40:11e0::1d8:37)
2023-12-21 14:50:06 +0100sefidel(~sefidel@user/sefidel) (Remote host closed the connection)
2023-12-21 14:50:58 +0100sefidel(~sefidel@user/sefidel)
2023-12-21 14:51:21 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 14:58:03 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds)
2023-12-21 15:03:01 +0100 <[exa]> mreh: yeah likely, but there might not be people knowing what's happening
2023-12-21 15:03:29 +0100 <[exa]> re the "bad argument" kinda looks to me like invalid unicode somewhere
2023-12-21 15:04:12 +0100 <[exa]> (is this on windows?)
2023-12-21 15:04:54 +0100 <[exa]> (if it is on windows please triplecheck you are not in powershell or any other halfshell and use WSL2. It works even without WSL2 but surprises like this one are windows-level common.)
2023-12-21 15:15:30 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-21 15:15:38 +0100cimento(CO2@gateway/vpn/protonvpn/cimento)
2023-12-21 15:16:19 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-12-21 15:18:27 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 15:18:45 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 15:20:32 +0100lortabac(~lortabac@37.174.190.35)
2023-12-21 15:24:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2023-12-21 15:26:44 +0100mreh(~mreh@2a00:23c7:2803:ef01:d4df:3a70:68f7:74c0) (Ping timeout: 250 seconds)
2023-12-21 15:30:04 +0100gdr3941(~user@2600:1700:4770:3bc0::32)
2023-12-21 15:30:16 +0100alp_(~alp@2001:861:e3d6:8f80:2051:17b9:2723:8327) (Ping timeout: 256 seconds)
2023-12-21 15:30:23 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2023-12-21 15:30:42 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 15:31:07 +0100rosco(~rosco@115.74.237.39) (Quit: Lost terminal)
2023-12-21 15:32:51 +0100lortabac(~lortabac@37.174.190.35) (Ping timeout: 245 seconds)
2023-12-21 15:34:56 +0100lortabac(~lortabac@37.174.190.35)
2023-12-21 15:38:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 15:39:15 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-12-21 15:41:27 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-21 15:41:35 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 15:42:03 +0100danse-nr3(~danse@151.57.203.131) (Remote host closed the connection)
2023-12-21 15:47:26 +0100danse-nr3(~danse@151.57.203.131)
2023-12-21 15:52:25 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 15:52:43 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 15:53:33 +0100shriekingnoise(~shrieking@186.137.175.87)
2023-12-21 15:53:58 +0100danse-nr3(~danse@151.57.203.131) (Remote host closed the connection)
2023-12-21 15:54:21 +0100danse-nr3(~danse@151.57.203.131)
2023-12-21 15:54:40 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 15:57:12 +0100cimento(CO2@gateway/vpn/protonvpn/cimento) (Quit: WeeChat 4.1.2)
2023-12-21 15:59:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 16:01:32 +0100akegalj(~akegalj@141-136-190-163.dsl.iskon.hr) (Quit: leaving)
2023-12-21 16:06:07 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2023-12-21 16:06:35 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2023-12-21 16:07:15 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 16:22:07 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 16:25:32 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 16:28:31 +0100defkev(~defkev@2a09:bac1:1e40:11e0::1d8:37) (Ping timeout: 260 seconds)
2023-12-21 16:32:20 +0100lortabac(~lortabac@37.174.190.35) (Read error: Connection reset by peer)
2023-12-21 16:34:48 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds)
2023-12-21 16:39:03 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-9064-887a-75ac-02b8.rev.sfr.net)
2023-12-21 16:39:43 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
2023-12-21 16:40:18 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 16:40:39 +0100misterfish(~misterfis@87.215.131.102) (Ping timeout: 260 seconds)
2023-12-21 16:40:59 +0100ph88(~ph88@2a02:8109:9e26:c800:9f8d:25:13d2:1bb0)
2023-12-21 16:43:22 +0100infinity0_(~infinity0@pwned.gg)
2023-12-21 16:43:22 +0100infinity0Guest9299
2023-12-21 16:43:23 +0100Guest9299(~infinity0@pwned.gg) (Killed (calcium.libera.chat (Nickname regained by services)))
2023-12-21 16:43:23 +0100infinity0_infinity0
2023-12-21 16:43:32 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
2023-12-21 16:44:00 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 16:44:42 +0100shailangsa(~shailangs@host109-152-9-157.range109-152.btcentralplus.com)
2023-12-21 16:48:00 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 252 seconds)
2023-12-21 16:49:10 +0100defkev(~defkev@2a09:bac1:1e00:11e0::1d8:37)
2023-12-21 16:55:19 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2023-12-21 16:55:39 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-21 16:55:43 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2023-12-21 16:56:07 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Ping timeout: 240 seconds)
2023-12-21 16:56:07 +0100califax(~califax@user/califx) (Ping timeout: 240 seconds)
2023-12-21 16:56:28 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
2023-12-21 16:56:36 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 16:56:51 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d)
2023-12-21 16:56:55 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 16:56:55 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
2023-12-21 16:57:43 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2023-12-21 16:58:55 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2023-12-21 16:59:44 +0100califax(~califax@user/califx)
2023-12-21 16:59:53 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 16:59:56 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2023-12-21 17:00:07 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-21 17:01:11 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2023-12-21 17:01:15 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2023-12-21 17:01:17 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2023-12-21 17:01:52 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 17:02:12 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-12-21 17:03:23 +0100Xyloes(~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection)
2023-12-21 17:04:19 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2023-12-21 17:16:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-12-21 17:17:26 +0100defkev(~defkev@2a09:bac1:1e00:11e0::1d8:37) (Ping timeout: 245 seconds)
2023-12-21 17:19:03 +0100ystael(~ystael@user/ystael)
2023-12-21 17:19:14 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 17:20:46 +0100danse-nr3(~danse@151.57.203.131) (Ping timeout: 245 seconds)
2023-12-21 17:21:07 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 17:21:55 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 17:24:03 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2023-12-21 17:27:57 +0100 <Halian> Hey
2023-12-21 17:28:50 +0100 <ski> lo
2023-12-21 17:29:12 +0100 <yushyin> Halian: hi
2023-12-21 17:30:01 +0100chele(~chele@user/chele) (Remote host closed the connection)
2023-12-21 17:30:12 +0100 <Halian> yushyin: oh hai
2023-12-21 17:30:38 +0100 <yushyin> nice to see you here ;)
2023-12-21 17:31:01 +0100 <Halian> :3
2023-12-21 17:31:54 +0100pastly(~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection)
2023-12-21 17:32:20 +0100pastly(~pastly@gateway/tor-sasl/pastly)
2023-12-21 17:36:41 +0100econo_(uid147250@id-147250.tinside.irccloud.com)
2023-12-21 17:37:35 +0100ph88(~ph88@2a02:8109:9e26:c800:9f8d:25:13d2:1bb0) (Remote host closed the connection)
2023-12-21 17:38:12 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-12-21 17:38:29 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-21 17:54:54 +0100[_](~itchyjunk@user/itchyjunk/x-7353470)
2023-12-21 17:56:55 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-21 17:58:45 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds)
2023-12-21 17:58:52 +0100califax(~califax@user/califx) (Remote host closed the connection)
2023-12-21 17:59:12 +0100califax(~califax@user/califx)
2023-12-21 17:59:33 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-12-21 18:03:50 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 256 seconds)
2023-12-21 18:06:31 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-12-21 18:08:36 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 18:08:48 +0100misterfish(~misterfis@84.53.85.146)
2023-12-21 18:14:38 +0100tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-12-21 18:23:01 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 18:23:19 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 18:23:45 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 256 seconds)
2023-12-21 18:23:58 +0100ubert(~Thunderbi@2a02:8109:ab8a:5a00:60a2:26a0:5e83:9684) (Remote host closed the connection)
2023-12-21 18:25:17 +0100jrm(~jrm@user/jrm) (Ping timeout: 240 seconds)
2023-12-21 18:27:10 +0100notzmv(~zmv@user/notzmv)
2023-12-21 18:37:12 +0100 <dminuoso_> [exa]: Over the years Ive developed a strong dislike for a lot of the primitive libraries which is why I handroll a lot of things these days.
2023-12-21 18:37:44 +0100 <dminuoso_> flatparse is one of the things that I do like because its minimal and so low level as to not be opioninated about anything really.
2023-12-21 18:38:09 +0100 <[exa]> dminuoso_: yeah a bit of system-level code below never hurts. I'm going to re-use it, is it perhaps anywhere to use as a package or so?
2023-12-21 18:38:20 +0100 <[exa]> oic, on hackage :D
2023-12-21 18:38:29 +0100 <dminuoso_> [exa]: No, the real thing is not on hackage.
2023-12-21 18:39:51 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 18:40:24 +0100 <[exa]> like that snippet you sent me has all the tools, the rest is kinda straightforward now
2023-12-21 18:40:31 +0100 <[exa]> will let you know how that develops :D
2023-12-21 18:40:50 +0100 <dminuoso_> As a point of interest, you might want to enquire whether you are free to do so. :-)
2023-12-21 18:41:07 +0100 <[exa]> no rules here :D
2023-12-21 18:41:27 +0100 <dminuoso_> That's now how copyright works, to be honest.
2023-12-21 18:41:36 +0100 <[exa]> AH THIS
2023-12-21 18:41:37 +0100 <dminuoso_> s/now/not/
2023-12-21 18:41:51 +0100 <[exa]> ._.
2023-12-21 18:42:22 +0100 <dminuoso_> But of course you can use this snippet as you please. There isn't anything remotely creative about it.
2023-12-21 18:42:52 +0100 <dminuoso_> Was just trying to make a point, that just because you find code on the internet, you should really ask about whether it is licensed and if yes, under what license.
2023-12-21 18:43:26 +0100 <dminuoso_> [exa]: Note the cool bit about fixed by the way, you can directly use ByteString FixedPrim builders with it.
2023-12-21 18:44:10 +0100 <dminuoso_> Let me add some of the missing combinators
2023-12-21 18:44:58 +0100 <dminuoso_> [exa]: Updated https://paste.tomsmeding.com/kIrBPrc7
2023-12-21 18:45:11 +0100 <dminuoso_> Then you can just say ` in if new > bEnd buf then do _ <- f buf'
2023-12-21 18:45:12 +0100 <dminuoso_> pure (buf', ())
2023-12-21 18:45:14 +0100 <dminuoso_> else throwIO (BufferExceeded "")
2023-12-21 18:45:16 +0100 <dminuoso_> | otherwise
2023-12-21 18:45:18 +0100 <dminuoso_> = error "consume: negative length"
2023-12-21 18:45:20 +0100 <dminuoso_> {-# INLINE putWord64be #-}
2023-12-21 18:45:22 +0100 <dminuoso_> putWord64be :: Word64 -> Put ()
2023-12-21 18:45:24 +0100 <dminuoso_> Ohh
2023-12-21 18:45:32 +0100 <dminuoso_> What was that. :S
2023-12-21 18:45:46 +0100 <dminuoso_> Emacs gone wrong.
2023-12-21 18:46:12 +0100 <shapr> (message "oh no")
2023-12-21 18:47:12 +0100 <dminuoso_> [exa]: https://paste.tomsmeding.com/1KOddTxA here is the module in its entirety.
2023-12-21 18:47:31 +0100 <dminuoso_> The full code will be released under BSD-3 some time next year.
2023-12-21 18:53:57 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-9064-887a-75ac-02b8.rev.sfr.net) (Remote host closed the connection)
2023-12-21 18:54:37 +0100shapr(~user@2600:1700:c640:3100:8658:5e02:459b:6901) (Remote host closed the connection)
2023-12-21 18:54:51 +0100shapr(~user@2600:1700:c640:3100:604b:8d3d:5f0d:6068)
2023-12-21 18:54:59 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-21 18:56:12 +0100jespada(~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com)
2023-12-21 19:10:11 +0100 <[exa]> dminuoso_: ah thanks again then :]
2023-12-21 19:10:28 +0100 <[exa]> dminuoso_: I was mostly meaning the compiler & strictness hints, these I didn't ever use/measure
2023-12-21 19:10:30 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-9064-887a-75ac-02b8.rev.sfr.net)
2023-12-21 19:10:32 +0100 <[exa]> so that's super useful
2023-12-21 19:10:49 +0100 <[exa]> dminuoso_: (beer owed)
2023-12-21 19:12:30 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-9064-887a-75ac-02b8.rev.sfr.net) (Remote host closed the connection)
2023-12-21 19:13:52 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-c827-68df-5965-65d2.rev.sfr.net)
2023-12-21 19:18:08 +0100alexherbo2(~alexherbo@2a02-8440-3441-336b-c827-68df-5965-65d2.rev.sfr.net) (Ping timeout: 250 seconds)
2023-12-21 19:20:08 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2023-12-21 19:23:20 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 19:24:05 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 19:24:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 19:24:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 19:26:48 +0100szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2023-12-21 19:35:46 +0100TMA(tma@twin.jikos.cz) (Ping timeout: 276 seconds)
2023-12-21 19:41:25 +0100pavonia(~user@user/siracusa)
2023-12-21 19:44:21 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 19:52:11 +0100alp_(~alp@2001:861:e3d6:8f80:1857:91f2:e67b:d906)
2023-12-21 19:53:51 +0100kh0d(~kh0d@212.200.181.148)
2023-12-21 20:01:19 +0100misterfish(~misterfis@84.53.85.146) (Ping timeout: 260 seconds)
2023-12-21 20:05:27 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2023-12-21 20:07:56 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de)
2023-12-21 20:08:17 +0100not_reserved(~not_reser@185.199.102.172)
2023-12-21 20:10:25 +0100euleritian(~euleritia@dynamic-089-015-239-159.89.15.239.pool.telefonica.de) (Read error: Connection reset by peer)
2023-12-21 20:10:44 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2023-12-21 20:11:43 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-21 20:16:00 +0100TMA(tma@twin.jikos.cz)
2023-12-21 20:18:18 +0100igemnace(~ian@user/igemnace) (Quit: WeeChat 4.1.2)
2023-12-21 20:19:57 +0100shapr(~user@2600:1700:c640:3100:604b:8d3d:5f0d:6068) (Read error: Connection reset by peer)
2023-12-21 20:24:24 +0100shapr(~user@2600:1700:c640:3100:604b:8d3d:5f0d:6068)
2023-12-21 20:24:47 +0100 <Inst> https://paste.tomsmeding.com/t2pSI9M4
2023-12-21 20:24:50 +0100 <Inst> any idea what this error is?
2023-12-21 20:26:49 +0100petrichor(~znc-user@user/petrichor) (Ping timeout: 246 seconds)
2023-12-21 20:26:58 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-21 20:29:26 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-12-21 20:32:57 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2023-12-21 20:33:57 +0100gdr3941(~user@2600:1700:4770:3bc0::32) (Remote host closed the connection)
2023-12-21 20:46:29 +0100kh0d(~kh0d@212.200.181.148) (Quit: Leaving...)
2023-12-21 20:47:06 +0100 <sm> no, try google or #ghc Inst
2023-12-21 20:47:18 +0100 <Inst> fixed it by removing a dependency
2023-12-21 20:47:20 +0100 <Inst> god i hate this server
2023-12-21 20:48:47 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 20:50:00 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 21:03:06 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1) (Remote host closed the connection)
2023-12-21 21:06:28 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2023-12-21 21:20:46 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net)
2023-12-21 21:25:21 +0100nate4(~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds)
2023-12-21 21:28:20 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b)
2023-12-21 21:29:26 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2023-12-21 21:35:18 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2023-12-21 21:36:03 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-12-21 21:38:13 +0100gdown(~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net)
2023-12-21 21:40:04 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:1cf:876:bd75:4c1)
2023-12-21 21:40:36 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com)
2023-12-21 21:47:15 +0100peterbecich(~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2023-12-21 21:47:59 +0100thegeekinside(~thegeekin@189.141.65.247) (Ping timeout: 264 seconds)
2023-12-21 21:53:27 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-21 21:54:55 +0100califax(~califax@user/califx) (Ping timeout: 240 seconds)
2023-12-21 21:56:31 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds)
2023-12-21 21:56:31 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2023-12-21 21:57:39 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2023-12-21 21:58:17 +0100califax(~califax@user/califx)
2023-12-21 21:58:20 +0100adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-12-21 21:59:58 +0100Fischmiep(~Fischmiep@user/Fischmiep) (Ping timeout: 260 seconds)
2023-12-21 22:08:35 +0100xdminsy(~xdminsy@117.147.71.169)
2023-12-21 22:10:31 +0100trev(~trev@user/trev) (Quit: trev)
2023-12-21 22:13:16 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds)
2023-12-21 22:22:04 +0100alexherbo2(~alexherbo@2a02-8440-3240-1166-cddc-26bc-85f6-6c84.rev.sfr.net)
2023-12-21 22:27:51 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 260 seconds)
2023-12-21 22:28:01 +0100thegeekinside(~thegeekin@189.141.65.247)
2023-12-21 22:28:16 +0100alp_(~alp@2001:861:e3d6:8f80:1857:91f2:e67b:d906) (Ping timeout: 246 seconds)
2023-12-21 22:34:21 +0100shapr(~user@2600:1700:c640:3100:604b:8d3d:5f0d:6068) (Remote host closed the connection)
2023-12-21 22:34:35 +0100shapr(~user@2600:1700:c640:3100:b06d:a6c1:dcd9:f30f)
2023-12-21 22:34:48 +0100duncan(~duncan@user/duncan)
2023-12-21 22:35:46 +0100duncan(~duncan@user/duncan) (Client Quit)
2023-12-21 22:36:57 +0100duncan(~duncan@user/duncan)
2023-12-21 22:40:48 +0100driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2023-12-21 22:41:51 +0100biberu(~biberu@user/biberu) (Ping timeout: 260 seconds)
2023-12-21 22:42:10 +0100driib(~driib@vmi931078.contaboserver.net)
2023-12-21 22:43:14 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 22:46:11 +0100coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-12-21 22:47:30 +0100duncan(~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-21 22:48:45 +0100duncan(~duncan@user/duncan)
2023-12-21 22:51:13 +0100arkoinad(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2023-12-21 22:51:26 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2023-12-21 22:53:42 +0100biberu(~biberu@user/biberu)
2023-12-21 22:54:30 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8)
2023-12-21 22:55:36 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net)
2023-12-21 23:02:51 +0100bratwurst(~blaadsfa@2604:3d09:2083:a200:216:3eff:fe5a:a1f8) (Ping timeout: 245 seconds)
2023-12-21 23:02:53 +0100driib(~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat)
2023-12-21 23:03:58 +0100harveypwca(~harveypwc@2601:246:c280:7940:585a:99af:3e4c:209b) (Quit: Leaving)
2023-12-21 23:05:36 +0100fendor(~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection)
2023-12-21 23:06:18 +0100Fischmiep(~Fischmiep@user/Fischmiep)
2023-12-21 23:12:00 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2023-12-21 23:14:53 +0100jargon(~jargon@15.sub-174-205-161.myvzw.com)
2023-12-21 23:16:31 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-12-21 23:19:37 +0100driib(~driib@vmi931078.contaboserver.net)
2023-12-21 23:22:59 +0100michalz(~michalz@185.246.204.121) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-21 23:25:31 +0100alp_(~alp@2001:861:e3d6:8f80:136d:750:c5d8:526f)
2023-12-21 23:40:49 +0100dcoutts(~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 276 seconds)
2023-12-21 23:41:08 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2023-12-21 23:41:58 +0100duncan(~duncan@user/duncan) (Quit: ZNC 1.8.2 - https://znc.in)
2023-12-21 23:42:05 +0100oxide(~lambda@user/oxide) (Ping timeout: 256 seconds)
2023-12-21 23:43:03 +0100coot(~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot)
2023-12-21 23:44:45 +0100duncan(~duncan@user/duncan)
2023-12-21 23:45:14 +0100jrm(~jrm@user/jrm)
2023-12-21 23:51:08 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2023-12-21 23:51:35 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2023-12-21 23:52:01 +0100 <carbolymer> why I can't match on those pattern synonyms? https://play-haskell.tomsmeding.com/saved/IsYFpg3H
2023-12-21 23:56:28 +0100oxide(~lambda@user/oxide)
2023-12-21 23:57:48 +0100__monty__(~toonn@user/toonn) (Quit: leaving)