| 2025-01-22 00:05:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:05:58 +0100 | alfiee | (alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 00:08:49 +0100 | sprotte24 | (~sprotte24@p200300d16f040300a9d95df64a090144.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-01-22 00:09:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 00:09:33 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 00:13:54 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-22 00:20:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:20:31 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-22 00:21:04 +0100 | LainExperiments | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-22 00:25:06 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Read error: Connection reset by peer) |
| 2025-01-22 00:25:17 +0100 | Everything | (~Everythin@195.138.86.118) (Quit: leaving) |
| 2025-01-22 00:25:24 +0100 | LainExperiments6 | (~LainExper@user/LainExperiments) LainExperiments |
| 2025-01-22 00:25:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 00:27:00 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-01-22 00:27:38 +0100 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-01-22 00:28:40 +0100 | LainExperiments | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-01-22 00:31:16 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-01-22 00:31:30 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-01-22 00:34:49 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-22 00:36:23 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:38:40 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2025-01-22 00:41:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 00:46:51 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-01-22 00:47:11 +0100 | Xe | (~Xe@perl/impostor/xe) (Read error: Connection reset by peer) |
| 2025-01-22 00:49:53 +0100 | Xe | (~Xe@perl/impostor/xe) Xe |
| 2025-01-22 00:51:04 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-22 00:51:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 00:57:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 00:59:58 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-22 01:00:17 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:02:33 +0100 | alx741 | (~alx741@186.33.188.229) (Ping timeout: 246 seconds) |
| 2025-01-22 01:02:56 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-22 01:02:56 +0100 | ljdarj1 | ljdarj |
| 2025-01-22 01:04:21 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 01:05:32 +0100 | <zero> | hellwolf: the ability to do `(0,1) { fst = 2 } ==> (2,1)` |
| 2025-01-22 01:06:40 +0100 | LainExperiments6 | (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds) |
| 2025-01-22 01:07:57 +0100 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2025-01-22 01:08:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:11:13 +0100 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-01-22 01:12:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2025-01-22 01:14:25 +0100 | <haskellbridge> | <magic_rb> Without lenses it do be a bit awkward to update tuples. But then again if your tuple is 4 or more wide, maybe you should consider a record |
| 2025-01-22 01:14:47 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:18:00 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-01-22 01:18:36 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-22 01:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 01:20:59 +0100 | KicksonButt | (~AdminUser@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-01-22 01:23:04 +0100 | <jackdk> | Agreed - it's rare indeed that I want even a 3-tuple |
| 2025-01-22 01:23:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:28:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 01:29:41 +0100 | acidjnk | (~acidjnk@p200300d6e7283f1030c548a6d05e3160.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-22 01:36:16 +0100 | <zero> | first and second from Data.Bifunctor are useful |
| 2025-01-22 01:36:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 01:36:23 +0100 | <zero> | :t first |
| 2025-01-22 01:36:24 +0100 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 2025-01-22 01:36:51 +0100 | <zero> | first (const 2) (0,1) |
| 2025-01-22 01:36:54 +0100 | <zero> | > first (const 2) (0,1) |
| 2025-01-22 01:36:55 +0100 | <lambdabot> | (2,1) |
| 2025-01-22 01:37:33 +0100 | <geekosaur> | you're reinventing lens, I see |
| 2025-01-22 01:39:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:39:39 +0100 | <geekosaur> | in some sense, at least |
| 2025-01-22 01:39:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 01:40:00 +0100 | <zero> | reiventing lisp |
| 2025-01-22 01:40:51 +0100 | <zero> | > (fst . snd . snd) (0,(1,(2,3))) |
| 2025-01-22 01:40:53 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:41:28 +0100 | <zero> | > (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:41:30 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:12 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (fst (snd (snd (0,(1,(2,3)))))) |
| 2025-01-22 01:42:14 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:23 +0100 | <zero> | > let (car,cdr) = (fst,snd) in (car (cdr (cdr (0,(1,(2,3)))))) |
| 2025-01-22 01:42:25 +0100 | <lambdabot> | 2 |
| 2025-01-22 01:42:29 +0100 | <zero> | there we go |
| 2025-01-22 01:44:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2025-01-22 01:44:15 +0100 | <zero> | i wonder about the efficiency of tuple trees vs idiomatic trees in haskell |
| 2025-01-22 01:51:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 01:52:40 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 01:54:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:8176:27ad:84f:a9f5) (Ping timeout: 264 seconds) |
| 2025-01-22 01:54:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 01:55:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 01:55:26 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-01-22 01:59:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 02:01:11 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 02:10:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:15:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 02:20:00 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-01-22 02:24:23 +0100 | mange | (~user@user/mange) mange |
| 2025-01-22 02:24:34 +0100 | ec | (~ec@gateway/tor-sasl/ec) ec |
| 2025-01-22 02:25:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:28:48 +0100 | otto_s | (~user@p5de2f474.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 02:29:12 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 02:29:48 +0100 | otto_s | (~user@p5de2f486.dip0.t-ipconnect.de) |
| 2025-01-22 02:32:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 02:40:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 02:41:54 +0100 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2025-01-22 02:41:54 +0100 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2025-01-22 02:43:13 +0100 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-01-22 02:43:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 02:45:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 2025-01-22 02:45:41 +0100 | end | (~end@user/end/x-0094621) end^ |
| 2025-01-22 02:48:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 02:50:15 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 02:59:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:00:53 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-01-22 03:04:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 03:14:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:16:56 +0100 | ft | (~ft@p3e9bca18.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-22 03:18:00 +0100 | ft | (~ft@p4fc2a1c1.dip0.t-ipconnect.de) ft |
| 2025-01-22 03:19:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 03:21:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-22 03:26:00 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2025-01-22 03:26:16 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-01-22 03:28:52 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 03:30:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:30:31 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 03:34:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 03:34:54 +0100 | hueso_ | (~root@user/hueso) hueso |
| 2025-01-22 03:35:01 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 03:36:37 +0100 | hueso_ | (~root@user/hueso) (Client Quit) |
| 2025-01-22 03:44:22 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds) |
| 2025-01-22 03:45:30 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 03:49:30 +0100 | dysthesis | (~dysthesis@user/dysthesis) dysthesis |
| 2025-01-22 03:49:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 03:50:25 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 03:54:20 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-01-22 03:54:36 +0100 | califax | (~califax@user/califx) califx |
| 2025-01-22 03:55:13 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-01-22 03:55:29 +0100 | ColinRobinson | JuanDaugherty |
| 2025-01-22 03:55:36 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-01-22 03:56:05 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-01-22 03:56:47 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) |
| 2025-01-22 04:00:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:02:38 +0100 | JuanDaugherty | ColinRobinson |
| 2025-01-22 04:11:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 04:16:50 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-22 04:17:30 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-22 04:20:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-22 04:20:48 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-22 04:20:56 +0100 | euleritian | (~euleritia@77.23.250.232) |
| 2025-01-22 04:21:06 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2025-01-22 04:21:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 04:22:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:22:56 +0100 | euleritian | (~euleritia@77.23.250.232) (Remote host closed the connection) |
| 2025-01-22 04:23:14 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:23:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-01-22 04:23:34 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-01-22 04:25:41 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 04:26:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 04:28:40 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 04:32:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-22 04:37:26 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:41:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 04:43:15 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-01-22 04:46:49 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-01-22 04:48:22 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) |
| 2025-01-22 04:48:59 +0100 | AbueloAtrofiado | (~AbueloAtr@2806:106e:1b:2d3:3915:1723:c558:3f6b) (Client Quit) |
| 2025-01-22 04:52:49 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 04:57:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 05:05:37 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-22 05:05:52 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-01-22 05:08:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:08:34 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-22 05:10:59 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 05:12:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 05:15:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 05:18:43 +0100 | <jle`> | tuple trees are basically type-level trees -- there's that common trick that you can use them to easily overload/timeout typechecking |
| 2025-01-22 05:18:47 +0100 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2025-01-22 05:19:01 +0100 | homo | (~homo@user/homo) homo |
| 2025-01-22 05:19:45 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:b500:6e75:95aa:3ce2:b258) aforemny |
| 2025-01-22 05:19:49 +0100 | <jle`> | :t let f x = (x, x) in f . f . f . f . f . f . f . f |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b -> ((((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))), (((b, b), (b, b)), ((b, b), (b, b))))))), (((((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:50 +0100 | <lambdabot> | b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))), ((((((b, b), (b, b)), ((b, b), |
| 2025-01-22 05:19:52 +0100 | <lambdabot> | (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b))))), (((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, |
| 2025-01-22 05:19:54 +0100 | <lambdabot> | b)))), ((((b, b), (b, b)), ((b, b), (b, b))), (((b, b), (b, b)), ((b, b), (b, b)))))))) |
| 2025-01-22 05:19:58 +0100 | <jle`> | oh sorry i didn't realize that would actually evaluate |
| 2025-01-22 05:20:36 +0100 | aforemny_ | (~aforemny@2001:9e8:6cc6:4600:1315:1249:75e2:82ec) (Ping timeout: 276 seconds) |
| 2025-01-22 05:23:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:27:45 +0100 | <monochrom> | But yeah it's exponential length output so exponential time so we're cool. :) |
| 2025-01-22 05:28:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 05:28:18 +0100 | <geekosaur> | most of the slowdown there, though, was lambdabot throttling so it didn't get kicked for flooding… |
| 2025-01-22 05:28:38 +0100 | <geekosaur> | ghc was done with its delay when the first line came out |
| 2025-01-22 05:33:15 +0100 | agent314 | (~quassel@208.131.130.69) agent314 |
| 2025-01-22 05:33:47 +0100 | halloy1022 | (~halloy102@111.65.75.121) |
| 2025-01-22 05:34:01 +0100 | halloy1022 | (~halloy102@111.65.75.121) (Remote host closed the connection) |
| 2025-01-22 05:35:58 +0100 | <homo> | exciting good news https://github.com/augustss/MicroHs/tree/hugs |
| 2025-01-22 05:38:45 +0100 | <haskellbridge> | <sm> sounds cool, what will it mean ? |
| 2025-01-22 05:38:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:43:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2025-01-22 05:54:19 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 05:58:48 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 06:01:43 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 06:06:07 +0100 | <jackdk> | MicroHs will be buildable from Hugs, meaning that we have at least one actively developed Haskell compiler that's bootstrappable from C, which means you could if you wanted root its bootstrap chain in hex0, the couple-hundred-byte assembler |
| 2025-01-22 06:06:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-22 06:07:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 06:11:55 +0100 | <geekosaur> | I have to say I still don't see the point. The only thing I can think of is vetting the entire build chain, but the xz exploit demonstrated that "Reflections on Trusting Trust" is still with us and only gets worse with every new link in the chain |
| 2025-01-22 06:12:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 06:15:15 +0100 | <geekosaur> | (so you're going to vet patches. (a) damn lot of patches in something as old as gcc; (b) Alice strings together 30 patches, each innocuous but together you get the xz exploit. Will you catch that?) |
| 2025-01-22 06:16:04 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 06:16:10 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-22 06:16:10 +0100 | tnt2 | tnt1 |
| 2025-01-22 06:23:15 +0100 | <mange> | Isn't the point of "reflections on trusting trust" that the exploit survives in the binary alone? Bootstrapping at least ensures we can find the exploit in source, eventually. |
| 2025-01-22 06:23:18 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 06:25:38 +0100 | <geekosaur> | that's just one way to do it. the one I described above is another. there are a lot of exploits possible; RoTT isn't about a single specific form of exploit but the entire class. it uses the specific one as an example |
| 2025-01-22 06:28:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 06:31:15 +0100 | <probie> | geekosaur: It's no security panacea, but it still reduces the number of parties you need to trust |
| 2025-01-22 06:38:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 06:43:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 06:43:32 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Ping timeout: 252 seconds) |
| 2025-01-22 06:45:46 +0100 | bgamari | (~bgamari@64.223.233.64) (Remote host closed the connection) |
| 2025-01-22 06:45:51 +0100 | fmira | (~user@user/fmira) fmira |
| 2025-01-22 06:46:46 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9028c796acceb77e24.dip0.t-ipconnect.de) acidjnk |
| 2025-01-22 06:47:14 +0100 | bgamari | (~bgamari@64.223.233.64) |
| 2025-01-22 06:53:07 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 06:54:05 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 06:56:05 +0100 | <homo> | geekosaur even without security concern, for academic haskell this is proof where each binary comes from, guix is a very cool distro for science |
| 2025-01-22 06:57:07 +0100 | ft | (~ft@p4fc2a1c1.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-01-22 06:58:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-01-22 06:58:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 07:04:02 +0100 | <homo> | also xz situation shows why free software is important: you can fix it on source level (instead of disassembling binary) and you can legally share your fixes with other people |
| 2025-01-22 07:04:35 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-01-22 07:08:56 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 07:14:04 +0100 | michalz | (~michalz@185.246.207.205) |
| 2025-01-22 07:15:39 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 07:19:14 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2025-01-22 07:19:35 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-01-22 07:21:36 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9028c796acceb77e24.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-01-22 07:23:43 +0100 | <homo> | btw, the following patch is required to be applied to hugs to ignore integer overflow https://github.com/augustss/hugs98-plus-Sep2006/commit/a87d3a15194e4d7724627e43a94ac1d12ab78f9c.pa… |
| 2025-01-22 07:25:25 +0100 | agent314 | (~quassel@208.131.130.69) (Ping timeout: 248 seconds) |
| 2025-01-22 07:27:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 07:31:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 07:32:55 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-01-22 07:39:32 +0100 | aforemny_ | (~aforemny@i59F4C565.versanet.de) aforemny |
| 2025-01-22 07:40:24 +0100 | aforemny | (~aforemny@2001:9e8:6ce4:b500:6e75:95aa:3ce2:b258) (Ping timeout: 272 seconds) |
| 2025-01-22 07:42:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 07:42:51 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 07:46:31 +0100 | beaky_ | beaky |
| 2025-01-22 07:46:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2025-01-22 07:47:17 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-01-22 07:49:31 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2025-01-22 07:49:44 +0100 | euleritian | (~euleritia@dynamic-176-006-129-235.176.6.pool.telefonica.de) |
| 2025-01-22 07:53:21 +0100 | acidjnk | (~acidjnk@p200300d6e7283f902c848c46912cda18.dip0.t-ipconnect.de) acidjnk |
| 2025-01-22 07:57:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 08:05:06 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2025-01-22 08:08:07 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-01-22 08:08:39 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-01-22 08:09:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 08:14:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2025-01-22 08:25:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-22 08:27:11 +0100 | Square2 | (~Square4@user/square) Square |
| 2025-01-22 08:29:51 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2025-01-22 08:33:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 08:33:40 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2025-01-22 08:37:33 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-01-22 08:37:41 +0100 | agent314 | (~quassel@208.131.130.89) agent314 |
| 2025-01-22 08:37:50 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 08:39:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 2025-01-22 08:39:04 +0100 | tnt2 | tnt1 |
| 2025-01-22 08:42:18 +0100 | bgamari | (~bgamari@64.223.233.64) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-01-22 08:43:42 +0100 | bgamari | (~bgamari@64.223.233.64) |
| 2025-01-22 08:47:18 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Ping timeout: 276 seconds) |
| 2025-01-22 08:47:27 +0100 | ZLima12_ | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-01-22 08:50:27 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-01-22 08:54:25 +0100 | igemnace_ | igemnace |
| 2025-01-22 08:55:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-01-22 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-01-22 09:00:38 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-01-22 09:02:32 +0100 | <[exa]> | wow, cool news from microhs. One could ask if microhs could bootstrap ghc then |
| 2025-01-22 09:08:45 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 09:10:08 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 2025-01-22 09:10:08 +0100 | tnt2 | tnt1 |
| 2025-01-22 09:10:33 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-01-22 09:12:05 +0100 | acidjnk | (~acidjnk@p200300d6e7283f902c848c46912cda18.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-22 09:22:04 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:1cea:b288:f5aa:1b03) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-01-22 09:22:25 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:5054:ff:fee3:b667) dtman34 |
| 2025-01-22 09:22:46 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-01-22 09:24:19 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-22 09:24:35 +0100 | euleritian | (~euleritia@dynamic-176-006-129-235.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-01-22 09:25:11 +0100 | euleritian | (~euleritia@ip2504f9f4.dynamic.kabel-deutschland.de) |
| 2025-01-22 09:27:39 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-01-22 09:27:58 +0100 | kuribas | (~user@ptr-17d51emnohepwfpyix2.18120a2.ip6.access.telenet.be) kuribas |
| 2025-01-22 09:28:37 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-01-22 09:29:38 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-01-22 09:29:58 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 2025-01-22 09:29:59 +0100 | tnt2 | tnt1 |
| 2025-01-22 09:35:16 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-01-22 09:39:06 +0100 | Square | (~Square@user/square) Square |
| 2025-01-22 09:39:59 +0100 | <kqr> | I feel like I' |
| 2025-01-22 09:40:04 +0100 | <kqr> | Oops, premature return. Sorry! |
| 2025-01-22 09:41:11 +0100 | <kqr> | I feel like I'm missing something obvious here. I have a Data.Fixed number, and I want to stringify it with just the precision needed. I.e. something like 200 becomes "200", 5 becomes "5", while 0.1 becomes "0.1", and 0.003 is "0.003". I could do this manually, of course, but there ought to be something to help me, right? |
| 2025-01-22 09:48:25 +0100 | acidjnk | (~acidjnk@p200300d6e7283f9071ccd1d777a13b28.dip0.t-ipconnect.de) acidjnk |
| 2025-01-22 09:49:09 +0100 | <opqdonut> | kqr: showFixed, "First arg is whether to chop off trailing zeros" |
| 2025-01-22 09:53:35 +0100 | alexherbo2 | (~alexherbo@2a02-8440-350e-d10b-25a2-ca7e-51a0-4409.rev.sfr.net) alexherbo2 |
| 2025-01-22 09:54:45 +0100 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |