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