| 2025-04-09 00:00:25 +0000 | <emojelly> | Like if I write a fib function... then it will return a thunk (for discussion's sake). Now that thunk might get evaluated somewhere else entirely, but usually at least time profiling will still tell me that fib is the function to which the work is attributed, no? |
| 2025-04-09 00:00:47 +0000 | <emojelly> | At least that's how I understood it to work. The documentation literally says it's saving away the *call* stack, not the evaluation stack (if that's the right word). |
| 2025-04-09 00:02:23 +0000 | <geekosaur> | right, which means it ought to attribute things to where they're generated, not where they're forced |
| 2025-04-09 00:02:36 +0000 | <emojelly> | And the kicker is that the entire combineTestSignals' only merges two Coroutines together, which means replacing the continuation with a new continuation that calls the continuations of both coroutines and pastes them together. |
| 2025-04-09 00:02:42 +0000 | <emojelly> | Apart from that it's a whole lot of wrapping and unwrapping. |
| 2025-04-09 00:03:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 00:03:33 +0000 | jespada | (~jespada@r179-25-248-190.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-04-09 00:03:41 +0000 | <emojelly> | geekosaur: exactly, which makes this case so weird, because: a) nothing gets forced in "combineTestSignals' (,)" itself, I think, but b) even if it would it certainly didn't come from that expression |
| 2025-04-09 00:08:01 +0000 | sprout | (~sprout@2a02-a448-3a80-0-c61c-b515-5509-58e7.fixed6.kpn.net) |
| 2025-04-09 00:09:00 +0000 | <haskellbridge> | <Bowuigi> emojelly did you disable optimization for the profiling build? That shouldn't allocate too much |
| 2025-04-09 00:09:14 +0000 | <haskellbridge> | <Bowuigi> Either that or it's weird CAF shenanigans |
| 2025-04-09 00:09:31 +0000 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2025-04-09 00:09:58 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) () |
| 2025-04-09 00:10:07 +0000 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Remote host closed the connection) |
| 2025-04-09 00:11:37 +0000 | <haskellbridge> | <Bowuigi> If you don't want to disable optimization, make sure that GHC doesn't inline combineTestSignals' |
| 2025-04-09 00:11:38 +0000 | <geekosaur> | with prof-late optimization shouldn't matter |
| 2025-04-09 00:12:00 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:d5a9:8f67:3cb9:6399) (Ping timeout: 246 seconds) |
| 2025-04-09 00:12:20 +0000 | <statusbot> | Maintenance update: hackage is going down for migration. -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/67f5bb13d9e59f092626b642 |
| 2025-04-09 00:12:52 +0000 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-04-09 00:12:52 +0000 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-04-09 00:12:52 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-04-09 00:12:59 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-04-09 00:13:24 +0000 | potatoespotatoes | (~quassel@130.44.147.204) |
| 2025-04-09 00:13:24 +0000 | potatoespotatoes | (~quassel@130.44.147.204) (Changing host) |
| 2025-04-09 00:13:24 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-04-09 00:13:31 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) (Client Quit) |
| 2025-04-09 00:13:56 +0000 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-04-09 00:14:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 00:16:11 +0000 | <emojelly> | haskellbridge: I tried everything. Disabling optimization, enabling optimization, various profiling settings, switching between GHC 9.8 and 9.10... |
| 2025-04-09 00:16:47 +0000 | <emojelly> | it is entirely possible that the problem is maybe in Clash, which I have practically no insight into, but if, profiling is just not telling me anything. |
| 2025-04-09 00:17:02 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2025-04-09 00:17:20 +0000 | <emojelly> | (system process sampling and looking up the funky generated symbol name in the Core code seems to rather suggest it's in my code at first glance, though.) |
| 2025-04-09 00:18:00 +0000 | <emojelly> | have to run. |
| 2025-04-09 00:19:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-09 00:19:58 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-04-09 00:20:53 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 00:22:17 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2025-04-09 00:26:44 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-09 00:27:11 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-09 00:30:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 00:32:43 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-09 00:34:25 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-09 00:34:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 00:37:13 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 268 seconds) |
| 2025-04-09 00:39:09 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2025-04-09 00:40:11 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 00:43:09 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-04-09 00:45:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 00:50:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-09 00:51:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 00:54:34 +0000 | <EvanR> | dude why are you talking to a bridge |
| 2025-04-09 00:55:43 +0000 | <geekosaur> | because many IRC clients autocomplete to the last speaker on a bare tab, which will get the bridge |
| 2025-04-09 00:55:45 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c071:5032:6468:f840) (Ping timeout: 248 seconds) |
| 2025-04-09 00:57:26 +0000 | <emojelly> | Ah, no. Because my irc client front end has a bug right now that swallows stuff in angle brackets, brackets included. I didn’t realize there was a name there… |
| 2025-04-09 00:57:54 +0000 | <EvanR> | oof |
| 2025-04-09 00:57:55 +0000 | <emojelly> | I *did* wonder, but I figured maybe this bridge is only used by a single user. :’) |
| 2025-04-09 00:58:52 +0000 | <haskellbridge> | <Liamzee> geekosaur maintains a bridge between some haskell rooms and matrix |
| 2025-04-09 00:58:57 +0000 | <geekosaur> | I want to move the bridge to something that does puppeting, but I need to get it off my personal box and that's waiting on the HF |
| 2025-04-09 00:59:22 +0000 | otto_s | (~user@p5b044d5e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-09 00:59:44 +0000 | <geekosaur> | (it works best with IPv6 but my provider's in the 20th century still) |
| 2025-04-09 01:01:19 +0000 | otto_s | (~user@p4ff27c58.dip0.t-ipconnect.de) |
| 2025-04-09 01:01:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 01:03:02 +0000 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2025-04-09 01:06:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 01:06:47 +0000 | <EvanR> | I dunno, this IPv6 stuff is probably just a fad |
| 2025-04-09 01:06:52 +0000 | <EvanR> | like unicode |
| 2025-04-09 01:07:13 +0000 | <jackdk> | emojelly: some kind of HTML sanitising? |
| 2025-04-09 01:07:38 +0000 | <EvanR> | third rate back alley HTML sanitizing |
| 2025-04-09 01:07:58 +0000 | <haskellbridge> | <Bowuigi> That shouldn't remove tags, just replace them with their &-codes |
| 2025-04-09 01:09:15 +0000 | <geekosaur> | that's certainly how I've always done it |
| 2025-04-09 01:11:49 +0000 | <mauke> | Bowuigi: that would be HTML escaping, not sanitizing |
| 2025-04-09 01:12:49 +0000 | <geekosaur> | .oO{ so you're saying sanitizing isn't sane? ) |
| 2025-04-09 01:13:47 +0000 | <mauke> | exactly |
| 2025-04-09 01:14:17 +0000 | <haskellbridge> | <Bowuigi> It should just remove stuff on a blocklist and escape the unknowns |
| 2025-04-09 01:14:22 +0000 | <mauke> | "sanitizing" = mangling your inputs to remove all the "harmful" parts |
| 2025-04-09 01:14:49 +0000 | <haskellbridge> | <Bowuigi> That's the sanest option, given it removes possibly harmful stuff and keeps the rest |
| 2025-04-09 01:15:37 +0000 | <haskellbridge> | <Bowuigi> Unless my alias is potentially harmful, which it might be for my career but not for anyone else |
| 2025-04-09 01:17:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 01:19:37 +0000 | <EvanR> | sanitize :: String -> String |
| 2025-04-09 01:19:41 +0000 | <EvanR> | sanitize _ = "" |
| 2025-04-09 01:20:42 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-09 01:21:57 +0000 | <jackdk> | No output, no vulnerability |
| 2025-04-09 01:22:09 +0000 | <jackdk> | And with lazy evaluation it doesn't even consider the input! |
| 2025-04-09 01:22:28 +0000 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Remote host closed the connection) |
| 2025-04-09 01:22:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 01:28:54 +0000 | <haskellbridge> | <Liamzee> the empty string is technically output |
| 2025-04-09 01:29:49 +0000 | <haskellbridge> | <Liamzee> i wonder what the safety of outputting bottom would be, though |
| 2025-04-09 01:33:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 01:33:31 +0000 | prolic_ | (~sasa@181.122.135.9) prolic_ |
| 2025-04-09 01:36:02 +0000 | <EvanR> | perfectly safe. Just ignore the existence of bottom |
| 2025-04-09 01:37:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 01:44:32 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-09 01:49:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 01:52:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 01:53:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-09 01:59:12 +0000 | <statusbot> | Maintenance update: hackage server is operational again! -- http://status.haskell.org/pages/maintenance/537c07b0cf1fad5830000093/67f5bb13d9e59f092626b642 |
| 2025-04-09 01:59:18 +0000 | <haskellbridge> | <Liamzee> yay |
| 2025-04-09 01:59:27 +0000 | <haskellbridge> | <Liamzee> thanks @sclv etc |
| 2025-04-09 01:59:38 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
| 2025-04-09 01:59:46 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:1d8b:380b:ab0b:1fbd) (Read error: Connection reset by peer) |
| 2025-04-09 02:02:57 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-04-09 02:03:37 +0000 | qyrhx | (~qyrhx@user/qyrhx) qyrhx |
| 2025-04-09 02:04:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 02:05:04 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-09 02:05:05 +0000 | jmcantrell_ | jmcantrell |
| 2025-04-09 02:08:06 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-04-09 02:08:47 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-09 02:08:49 +0000 | qyrhx | (~qyrhx@user/qyrhx) (Quit: WeeChat 4.6.0) |
| 2025-04-09 02:09:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-09 02:10:28 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (tungsten.libera.chat (Nickname regained by services))) |
| 2025-04-09 02:10:28 +0000 | __jmcantrell__ | jmcantrell |
| 2025-04-09 02:10:37 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-09 02:15:40 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-04-09 02:16:13 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-04-09 02:17:26 +0000 | ezzieygu1wuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2025-04-09 02:17:58 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2025-04-09 02:20:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 02:23:41 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-09 02:24:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 02:26:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2025-04-09 02:27:22 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 02:28:34 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-04-09 02:33:36 +0000 | bramh | (~bramh@user/bramh) (Quit: Ping timeout (120 seconds)) |
| 2025-04-09 02:33:50 +0000 | bramh | (~bramh@user/bramh) bramh |
| 2025-04-09 02:36:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 02:36:26 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-09 02:36:37 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 248 seconds) |
| 2025-04-09 02:36:49 +0000 | <emojelly> | jackdk: I think it’s HTML sanitizing gone wrong, because I didn’t have this problem with an earlier version of the front end. |
| 2025-04-09 02:37:59 +0000 | <monochrom> | Moar general: sanitize :: a -> [b]; sanitize _ = [] |
| 2025-04-09 02:38:52 +0000 | <monochrom> | Or maybe you prefer this other generalization direction? sanitize :: Istring b => a -> b; sanitize _ = "" |
| 2025-04-09 02:40:27 +0000 | prolic_ | (~sasa@181.122.135.9) (Ping timeout: 244 seconds) |
| 2025-04-09 02:40:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 02:40:56 +0000 | <EvanR> | give me the most general generalization |
| 2025-04-09 02:42:10 +0000 | <geekosaur> | const [] |
| 2025-04-09 02:42:18 +0000 | <monochrom> | sanitize :: forall a b c. IsString c => a -> ([b], c); sanitize _ = ([], "") |
| 2025-04-09 02:46:41 +0000 | <haskellbridge> | <Bowuigi> sanitize _ = mempty |
| 2025-04-09 02:47:19 +0000 | <haskellbridge> | <Bowuigi> Pointed sets would be more general, but it has to have this meaning of "nothing but something" |
| 2025-04-09 02:49:02 +0000 | <monochrom> | Like this? sanitize :: a -> Maybe b; sanitize _ = Nothing |
| 2025-04-09 02:51:10 +0000 | <monochrom> | OK mempty is nicer. |
| 2025-04-09 02:51:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 02:52:16 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
| 2025-04-09 02:55:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-09 02:56:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-09 02:57:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Max SendQ exceeded) |
| 2025-04-09 02:57:43 +0000 | <mauke> | sanitize :: a -> () |
| 2025-04-09 02:58:02 +0000 | <monochrom> | :) |
| 2025-04-09 02:58:54 +0000 | <monochrom> | That's brilliant. The terminal object ought to be the most general. :) |
| 2025-04-09 03:00:07 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-04-09 03:01:19 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-09 03:04:44 +0000 | <jackdk> | What they don't tell you is that `sanitise` uses `acme-smuggler` under the hood |
| 2025-04-09 03:07:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 03:09:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 03:10:04 +0000 | <haskellbridge> | <Liamzee> is everything okay with your issue, emojelly? I probably can't be of help, but just hoping you fixed your problem |
| 2025-04-09 03:10:50 +0000 | <haskellbridge> | <Liamzee> and sorry for the jokes (but you might actually want to shift the sanitize function to () and see how the profiler goes) |
| 2025-04-09 03:13:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-09 03:21:18 +0000 | Square2 | (~Square@user/square) Square |
| 2025-04-09 03:23:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 03:25:18 +0000 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-04-09 03:27:12 +0000 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2025-04-09 03:27:58 +0000 | spew | (~spew@135.233.119.40) spew |
| 2025-04-09 03:28:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 03:28:41 +0000 | spew | (~spew@135.233.119.40) (Remote host closed the connection) |
| 2025-04-09 03:29:04 +0000 | spew | (~spew@135.233.119.40) spew |
| 2025-04-09 03:32:05 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-04-09 03:39:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 03:43:45 +0000 | michalz | (~michalz@185.246.207.200) |
| 2025-04-09 03:44:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 03:49:25 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-09 03:54:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 03:59:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 04:10:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 04:16:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-09 04:22:01 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-09 04:25:10 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 04:26:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 04:26:51 +0000 | tavare | (~tavare@150.129.88.189) |
| 2025-04-09 04:26:51 +0000 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-04-09 04:26:51 +0000 | tavare | (~tavare@user/tavare) tavare |
| 2025-04-09 04:29:28 +0000 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-04-09 04:31:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 04:41:51 +0000 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
| 2025-04-09 04:42:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 04:42:50 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-09 04:46:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 04:47:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-09 04:57:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 04:58:03 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-09 05:01:19 +0000 | JuanDaugherty | ColinRobinson |
| 2025-04-09 05:02:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 05:05:38 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-09 05:06:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 05:11:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-09 05:11:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 05:11:59 +0000 | esph | (~weechat@user/esph) esph |
| 2025-04-09 05:12:26 +0000 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-09 05:12:48 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 265 seconds) |
| 2025-04-09 05:19:58 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 05:20:00 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 246 seconds) |
| 2025-04-09 05:22:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 05:24:33 +0000 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 246 seconds) |
| 2025-04-09 05:27:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 05:28:40 +0000 | Inst | (~Inst@user/Inst) Inst |
| 2025-04-09 05:29:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 05:34:33 +0000 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-04-09 05:34:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 05:46:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 05:50:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 05:53:59 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 260 seconds) |
| 2025-04-09 05:54:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 05:55:23 +0000 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) |
| 2025-04-09 06:01:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 06:06:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 06:06:25 +0000 | thuna` | (~thuna`@user/thuna/x-1480069) thuna` |
| 2025-04-09 06:06:57 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-04-09 06:06:57 +0000 | jmcantrell_ | jmcantrell |
| 2025-04-09 06:18:06 +0000 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
| 2025-04-09 06:29:19 +0000 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
| 2025-04-09 06:29:57 +0000 | ColinRobinson | JuanDaugherty |
| 2025-04-09 06:32:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 06:38:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-09 06:40:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-09 06:42:22 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-04-09 06:48:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 06:51:56 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-09 06:53:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 06:57:54 +0000 | fantom | (~fantom@2.219.56.221) (Quit: Connection error?!) |
| 2025-04-09 06:58:21 +0000 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-09 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-09 07:00:57 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-09 07:01:50 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-09 07:03:07 +0000 | JuanDaugherty | ColinRobinson |
| 2025-04-09 07:03:22 +0000 | fantom | (~fantom@2.219.56.221) |
| 2025-04-09 07:03:40 +0000 | polyphem | (~rod@p4fc2cdf8.dip0.t-ipconnect.de) polyphem |
| 2025-04-09 07:04:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 07:06:54 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-04-09 07:08:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 07:17:06 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) jco |
| 2025-04-09 07:18:00 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-04-09 07:18:12 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-09 07:18:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-09 07:18:50 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-09 07:25:51 +0000 | <[exa]> | is there any good way to build stuff with accelerate-llvm-native without stack now? I was trying to somewhat revive the docker container but it fails (llvm 15 not available etc) |
| 2025-04-09 07:26:18 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2025-04-09 07:34:49 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f99589ab59c7ee4b7ea.dip0.t-ipconnect.de) acidjnk |
| 2025-04-09 07:37:08 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-09 07:37:12 +0000 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-09 07:37:27 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-09 07:38:05 +0000 | a_fantom | (~fantom@2.219.56.221) |
| 2025-04-09 07:41:09 +0000 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-04-09 07:41:37 +0000 | chele | (~chele@user/chele) chele |
| 2025-04-09 07:45:57 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-09 07:51:40 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-09 07:55:47 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-09 07:57:06 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-09 07:59:17 +0000 | fantom | (~fantom@2.219.56.221) |
| 2025-04-09 08:01:49 +0000 | a_fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-04-09 08:05:54 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-04-09 08:07:48 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-09 08:14:12 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-f46d-c0c9-579b-1a24.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-09 08:38:51 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-04-09 08:39:27 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 2025-04-09 08:41:48 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 08:48:48 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-04-09 08:56:33 +0000 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.6.0) |
| 2025-04-09 09:00:05 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 248 seconds) |
| 2025-04-09 09:03:47 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-04-09 09:13:02 +0000 | lortabac | (~lortabac@2a0d:e487:132f:be52:3a12:65c4:6cf:efd7) |
| 2025-04-09 09:13:50 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-09 09:14:42 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-04-09 09:16:46 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 09:24:55 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
| 2025-04-09 09:25:00 +0000 | forell | (~forell@user/forell) (Ping timeout: 252 seconds) |
| 2025-04-09 09:26:25 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-04-09 09:27:10 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 2025-04-09 09:37:06 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-09 09:40:57 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-09 09:41:08 +0000 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-04-09 09:41:14 +0000 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-04-09 09:41:42 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 09:47:56 +0000 | EvanR | (~EvanR@user/evanr) (Read error: Connection reset by peer) |
| 2025-04-09 09:48:03 +0000 | EvanR_ | (~EvanR@user/evanr) EvanR |
| 2025-04-09 09:53:09 +0000 | lortabac | (~lortabac@2a0d:e487:132f:be52:3a12:65c4:6cf:efd7) (Ping timeout: 252 seconds) |
| 2025-04-09 09:59:12 +0000 | justin | (~justin@136.158.10.171) |
| 2025-04-09 09:59:12 +0000 | justin | Guest6600 |
| 2025-04-09 10:01:05 +0000 | Guest6600 | (~justin@136.158.10.171) (Client Quit) |
| 2025-04-09 10:03:08 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-04-09 10:05:40 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) segfaultfizzbuzz |
| 2025-04-09 10:10:53 +0000 | alp | (~alp@2001:861:8ca0:4940:93b8:dd2d:3845:3995) |
| 2025-04-09 10:19:15 +0000 | fantom | (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-04-09 10:24:39 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2025-04-09 10:28:01 +0000 | <haskellbridge> | <Morj> Hello Joe, do you like functional programming? |
| 2025-04-09 11:02:00 +0000 | jespada | (~jespada@r179-25-248-190.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-09 11:02:49 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-09 11:05:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:b50:e5e9:27c3:86) |
| 2025-04-09 11:13:40 +0000 | <Digit> | every time i'm configuring a program in something other than haskell, i feel like i'm wasting time that could be better spent better learning haskell... how far can one go, in replacing all the things with haskell programs? ... e.g. is there a terminal emulator written in haskell? yi for text editor, what else? can "everything" be covered? |
| 2025-04-09 11:15:37 +0000 | <dmoerner> | although there are exceptions (suckless, e.g.) i don't find that most programs written in language X need to be configured in language X |
| 2025-04-09 11:16:20 +0000 | <dmoerner> | instead for good reason they often use a specific language for configuration, like toml |
| 2025-04-09 11:22:24 +0000 | <dutchie> | there's xmonad for window management that immediately comes to mind |
| 2025-04-09 11:22:50 +0000 | <dutchie> | you could always generate program X's config by writing a Haskell program |
| 2025-04-09 11:26:10 +0000 | <Leary> | @hackage termonad |
| 2025-04-09 11:26:10 +0000 | <lambdabot> | https://hackage.haskell.org/package/termonad |
| 2025-04-09 11:26:14 +0000 | <Leary> | Digit: ^ |
| 2025-04-09 11:27:04 +0000 | <int-e> | . o O ( what a name, but "termonador" would be better ) |
| 2025-04-09 11:28:57 +0000 | <merijn> | Digit: There's also vty |
| 2025-04-09 11:29:39 +0000 | <merijn> | Although, tbh I doubt using yi would be a worthwhile investment :p |
| 2025-04-09 11:31:35 +0000 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-04-09 11:34:10 +0000 | sprotte24 | (~sprotte24@p200300d16f0bc1000c82a6b41033ea55.dip0.t-ipconnect.de) |
| 2025-04-09 11:45:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2025-04-09 11:48:35 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
| 2025-04-09 11:48:54 +0000 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
| 2025-04-09 11:52:49 +0000 | jespada | (~jespada@r179-25-248-190.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-04-09 11:55:15 +0000 | TheCoffeMaker_ | (~TheCoffeM@186.136.173.186) (Ping timeout: 252 seconds) |
| 2025-04-09 11:55:46 +0000 | jespada | (~jespada@r190-133-30-51.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-09 11:55:59 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-09 11:56:23 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 265 seconds) |
| 2025-04-09 11:57:45 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 12:01:13 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-09 12:06:48 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:19b2:995a:60d5:3b93) |
| 2025-04-09 12:07:03 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-04-09 12:16:31 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) (Remote host closed the connection) |
| 2025-04-09 12:17:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 272 seconds) |
| 2025-04-09 12:17:34 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 2025-04-09 12:18:00 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-09 12:20:50 +0000 | zfnmxt | (~zfnmxt@user/zfnmxt) zfnmxt |
| 2025-04-09 12:27:49 +0000 | JuanDaugherty | ColinRobinson |
| 2025-04-09 12:30:33 +0000 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) |
| 2025-04-09 12:30:52 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-04-09 12:30:54 +0000 | thuna` | (~thuna`@user/thuna/x-1480069) (Ping timeout: 252 seconds) |
| 2025-04-09 12:33:36 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-04-09 12:36:26 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 12:36:38 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-09 12:43:59 +0000 | michalz_ | (~michalz@185.246.207.203) |
| 2025-04-09 12:44:33 +0000 | michalz | (~michalz@185.246.207.200) (Ping timeout: 245 seconds) |
| 2025-04-09 12:54:56 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2025-04-09 12:55:32 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2025-04-09 12:59:04 +0000 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-04-09 13:26:53 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-09 13:34:32 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2025-04-09 13:34:55 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-09 13:35:35 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-04-09 13:40:02 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) |
| 2025-04-09 13:42:22 +0000 | Square | (~Square4@user/square) Square |
| 2025-04-09 13:52:11 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2025-04-09 14:12:52 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-09 14:14:52 +0000 | <[exa]> | Digit: unix clearly dictates that there's no silver bullet |
| 2025-04-09 14:14:57 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-09 14:15:35 +0000 | <[exa]> | (otoh any time spent trying to sensibly port stuff to haskell is certainly not wasted) |
| 2025-04-09 14:16:11 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:58aa:f4c7:c90:674e) |
| 2025-04-09 14:17:48 +0000 | <[exa]> | btw, is there any modern replacement for Ivory? I see the website is somehow dead today |
| 2025-04-09 14:19:48 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 252 seconds) |
| 2025-04-09 14:20:35 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2025-04-09 14:30:23 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-04-09 14:32:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 14:33:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f99589ab59c7ee4b7ea.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-09 14:36:13 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2025-04-09 14:37:44 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 2025-04-09 14:54:44 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
| 2025-04-09 14:56:02 +0000 | EvanR_ | EvanR |
| 2025-04-09 14:57:10 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-09 14:57:27 +0000 | jmcantrell | Guest4549 |
| 2025-04-09 14:57:27 +0000 | Guest4549 | (644f1bed9a@user/jmcantrell) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2025-04-09 14:57:27 +0000 | __jmcantrell__ | jmcantrell |
| 2025-04-09 14:57:35 +0000 | jmcantrell_ | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-04-09 15:07:16 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-09 15:10:25 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) acidjnk |
| 2025-04-09 15:18:50 +0000 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Quit: as_) |
| 2025-04-09 15:20:38 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-09 15:20:50 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-09 15:21:23 +0000 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) |
| 2025-04-09 15:22:06 +0000 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
| 2025-04-09 15:25:25 +0000 | alp | (~alp@2001:861:8ca0:4940:93b8:dd2d:3845:3995) (Ping timeout: 252 seconds) |
| 2025-04-09 15:28:48 +0000 | <hellwolf> | There is no (!!) for linear arrays: you need to split it, dup it to (it', it'') then use it' and assemble the original list back with it''. |
| 2025-04-09 15:28:53 +0000 | <hellwolf> | pain |
| 2025-04-09 15:31:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) |
| 2025-04-09 15:32:02 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds) |
| 2025-04-09 15:33:38 +0000 | <EvanR> | !! is lookup |
| 2025-04-09 15:33:43 +0000 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-04-09 15:33:45 +0000 | <EvanR> | the operation is usually ! for arrays |
| 2025-04-09 15:33:49 +0000 | <EvanR> | operator* |
| 2025-04-09 15:34:07 +0000 | <EvanR> | > [1,2,3,4,5] !! 3 |
| 2025-04-09 15:34:08 +0000 | <lambdabot> | 4 |
| 2025-04-09 15:34:29 +0000 | <int-e> | I don't think it matters for the linear type trouble |
| 2025-04-09 15:34:41 +0000 | <EvanR> | oh, linear |
| 2025-04-09 15:35:26 +0000 | <int-e> | though you could still have a function that replaces an array element and returns the old one |
| 2025-04-09 15:35:54 +0000 | <EvanR> | get :: HasCallStack => Int -> Vector a %1 -> (Ur a, Vector a) |
| 2025-04-09 15:36:59 +0000 | <int-e> | EvanR: more precisely, the problem would occur if the elements have a linear type |
| 2025-04-09 15:37:11 +0000 | int-e | shrugs |
| 2025-04-09 15:38:02 +0000 | <EvanR> | example? |
| 2025-04-09 15:39:34 +0000 | <EvanR> | a vector of linear functions? |
| 2025-04-09 15:40:13 +0000 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2025-04-09 15:42:12 +0000 | <int-e> | I'm trying to understand where the unrestricted a in your signature comes from. That would mean the elements of the vectors are also unrestricted when they are put in, wouldn't it? |
| 2025-04-09 15:42:48 +0000 | <EvanR> | let me find the constructor |
| 2025-04-09 15:43:18 +0000 | <EvanR> | fromList :: (HasCallStack, Movable b) => [a] -> (Vector a %1 -> b) %1 -> b |
| 2025-04-09 15:43:24 +0000 | <EvanR> | no |
| 2025-04-09 15:43:30 +0000 | <EvanR> | yes |
| 2025-04-09 15:44:45 +0000 | <EvanR> | so that's what Data.Vector.Mutable.Linear does |
| 2025-04-09 15:48:03 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) ft |
| 2025-04-09 15:49:15 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-04-09 15:51:44 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-04-09 15:54:26 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-04-09 15:54:26 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-04-09 15:54:55 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-04-09 15:54:55 +0000 | califax | (~califax@user/califx) califx |
| 2025-04-09 15:58:54 +0000 | as_ | (~as@2800:a4:298:ee00:7661:9c1d:e20c:62d8) (Adiós) |
| 2025-04-09 16:06:13 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f995d166d77a499a203.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-04-09 16:13:21 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-09 16:14:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 16:15:29 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-04-09 16:18:21 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 2025-04-09 16:28:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-09 16:30:32 +0000 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-09 16:35:24 +0000 | stef204 | (~stef204@user/stef204) stef204 |
| 2025-04-09 16:36:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-09 16:44:46 +0000 | alp | (~alp@2001:861:8ca0:4940:408a:bf2b:1297:8090) |
| 2025-04-09 16:46:44 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-04-09 16:48:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 16:52:15 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2025-04-09 16:53:42 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-09 16:54:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-09 17:02:53 +0000 | <EvanR> | does the W in algorithm W stand for anything in particular |
| 2025-04-09 17:03:57 +0000 | <spew> | wadler |
| 2025-04-09 17:04:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 17:07:00 +0000 | <EvanR> | it's from Milner 1978, at which time wadler had just completed their bachelors in mathematics |
| 2025-04-09 17:07:06 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-04-09 17:07:56 +0000 | <EvanR> | A Theory of Type Polymorphism in Programming |
| 2025-04-09 17:08:11 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-09 17:08:48 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-04-09 17:09:34 +0000 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-09 17:12:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 17:13:07 +0000 | <spew> | they were future seers |
| 2025-04-09 17:15:31 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-04-09 17:16:06 +0000 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-04-09 17:16:25 +0000 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-09 17:17:04 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-09 17:18:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 17:20:06 +0000 | <haskellbridge> | <Bowuigi> Milner was just using gen Z language because the algorithm was ahead of its time |
| 2025-04-09 17:20:12 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-09 17:20:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-09 17:22:34 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) |
| 2025-04-09 17:22:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 17:23:14 +0000 | <Leary> | EvanR: Probably 'well-typing'. |
| 2025-04-09 17:24:35 +0000 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:58aa:f4c7:c90:674e) (Changing host) |
| 2025-04-09 17:24:35 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-09 17:27:16 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-04-09 17:27:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 17:32:56 +0000 | alp | (~alp@2001:861:8ca0:4940:408a:bf2b:1297:8090) (Ping timeout: 272 seconds) |
| 2025-04-09 17:34:48 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2025-04-09 17:35:00 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f997cc0cb9b6e0fa5d7.dip0.t-ipconnect.de) |
| 2025-04-09 17:36:24 +0000 | <EvanR> | wikipedia states: Formally, in HM, a type σ' is more general than σ, formally σ' ⊑ σ, if ... |
| 2025-04-09 17:36:34 +0000 | <EvanR> | struggling to justify that choice of operator for that xD |
| 2025-04-09 17:36:47 +0000 | <EvanR> | since it looks like subset of |
| 2025-04-09 17:37:14 +0000 | <EvanR> | or less than |
| 2025-04-09 17:37:17 +0000 | <EvanR> | not more than |
| 2025-04-09 17:38:04 +0000 | <int-e> | well a more general type has fewer inhabitants; consider the extreme case forall a. a |
| 2025-04-09 17:38:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 17:39:56 +0000 | <EvanR> | in general that's not necessarily true |
| 2025-04-09 17:40:46 +0000 | <int-e> | are you sure about that |
| 2025-04-09 17:40:54 +0000 | <EvanR> | give or take I still don't know how to count such inhabitants |
| 2025-04-09 17:41:25 +0000 | <int-e> | any inhabitant of sigma' can be used at type sigma |
| 2025-04-09 17:42:17 +0000 | <EvanR> | more information about the types may let you do other things, but not less things |
| 2025-04-09 17:42:24 +0000 | <EvanR> | ok |
| 2025-04-09 17:43:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-09 17:47:56 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-04-09 17:48:07 +0000 | sayurc | (~sayurc@169.150.203.34) (Quit: Konversation terminated!) |
| 2025-04-09 17:48:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 17:52:39 +0000 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Client Quit) |
| 2025-04-09 17:52:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 17:54:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-04-09 18:03:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 18:03:59 +0000 | <monochrom> | So "more general" means "less information". |
| 2025-04-09 18:05:34 +0000 | <monochrom> | To be sure, that sounds wrong until I show the intermediate steps: more general = more abstract = less detail = less information |
| 2025-04-09 18:07:24 +0000 | <monochrom> | You can remember this example: \x -> x could be Int->Int or it could also be forall a. a->a. Int->Int is a larger space, forall a. a->a is a smaller space. |
| 2025-04-09 18:08:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-09 18:10:12 +0000 | <int-e> | monochrom: so by making things more general you strive to convey as little information as possible |
| 2025-04-09 18:10:14 +0000 | <[exa]> | EvanR: I'm usually reading that operator as "less specialized" but the choice still sucks |
| 2025-04-09 18:10:20 +0000 | sayurc | (~sayurc@169.150.203.34) sayurc |
| 2025-04-09 18:10:29 +0000 | <EvanR> | "less specialized" didn't help xD |
| 2025-04-09 18:10:47 +0000 | <EvanR> | since I guess I just flipped the confusion around mentally to still be there |
| 2025-04-09 18:10:52 +0000 | <[exa]> | at least it sounds properly like the "less than" for me |
| 2025-04-09 18:11:06 +0000 | <[exa]> | yeah |
| 2025-04-09 18:11:15 +0000 | <int-e> | in the end the choice of direction is completely arbitrary |
| 2025-04-09 18:11:27 +0000 | <EvanR> | sure |
| 2025-04-09 18:11:29 +0000 | <[exa]> | maybe we could just go and edit the wiki? where did they get the boxy lessthan anyway? |
| 2025-04-09 18:11:42 +0000 | [exa] | wants to see some radical model theory |
| 2025-04-09 18:11:44 +0000 | <int-e> | from unicode? |
| 2025-04-09 18:11:52 +0000 | int-e | runs |
| 2025-04-09 18:11:58 +0000 | [exa] | throws a stone |
| 2025-04-09 18:12:08 +0000 | <monochrom> | Yeah my favourite tease is saying that half of the fundamental theorem of Galois theory is just lattice theory, to show how little information it has/needs. >:) |
| 2025-04-09 18:12:40 +0000 | <monochrom> | (Also, that half is just 5-10 lines of proof.) |
| 2025-04-09 18:12:41 +0000 | <int-e> | I suspect that this direction is standard in the relevant fragment of the literature and you'd confuse people if you flipped the direction |
| 2025-04-09 18:13:26 +0000 | <EvanR> | you can say "σ' is more general than σ, formally σ ⊒ σ'" |
| 2025-04-09 18:13:31 +0000 | <EvanR> | totally arbitrary xD |
| 2025-04-09 18:13:49 +0000 | <int-e> | ⊑ is a standard symbol for partial orders that aren't comparisons or subsets |
| 2025-04-09 18:14:00 +0000 | <int-e> | EvanR: I see what you did there and I don't disapprove. |
| 2025-04-09 18:14:14 +0000 | <EvanR> | yeah I think of it as "less than" |
| 2025-04-09 18:14:24 +0000 | <EvanR> | and forall a . a is at the bottom |
| 2025-04-09 18:15:21 +0000 | <EvanR> | "lines of proof" (LOP) |
| 2025-04-09 18:17:24 +0000 | <monochrom> | Speaking of which, you do have an inverse relationship between number of statements satisfied vs number of elements. |
| 2025-04-09 18:18:20 +0000 | <[exa]> | kinda wondering, doesn't the declarative rule system they have there actually give a slightly different typesystem than what they show with algorithm W later? |
| 2025-04-09 18:19:03 +0000 | <EvanR> | they describe 4 different rule systems |
| 2025-04-09 18:19:12 +0000 | <EvanR> | for reasons, I presume |
| 2025-04-09 18:19:14 +0000 | ft | (~ft@p508db463.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-09 18:19:25 +0000 | <[exa]> | as in, the Inst rule with ⊒ allows partial instantiation as opposed to the explicit instantiate() later below |
| 2025-04-09 18:19:44 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 18:19:45 +0000 | <EvanR> | if you get to they very end of that story, they kind of leave you on a cliffhanger |
| 2025-04-09 18:20:00 +0000 | <EvanR> | (proof obligations) |
| 2025-04-09 18:20:27 +0000 | <int-e> | (execises to the reader) |
| 2025-04-09 18:20:30 +0000 | <int-e> | +r |
| 2025-04-09 18:21:12 +0000 | ft | (~ft@p508db594.dip0.t-ipconnect.de) ft |
| 2025-04-09 18:21:47 +0000 | [exa] | imagines an episode of Dallas ending with JR saying to unseen person "I know who put ⊒ there!" |
| 2025-04-09 18:22:27 +0000 | <haskellbridge> | <Bowuigi> I just use bidirectional/contextual typing and call it a day. Still waiting for the polymorphism inference paper for contextual typing tho |
| 2025-04-09 18:23:25 +0000 | <EvanR> | do you have a paper for that |
| 2025-04-09 18:23:50 +0000 | <haskellbridge> | <Bowuigi> For the first two things yes, the last one does not exist yet |
| 2025-04-09 18:24:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 18:25:55 +0000 | <haskellbridge> | <Bowuigi> https://dl.acm.org/doi/10.1145/3450952 bidirectional typing https://dl.acm.org/doi/10.1145/3674655 contextual typing |
| 2025-04-09 18:26:33 +0000 | <haskellbridge> | <Bowuigi> The respective talks on both explain the concepts better |
| 2025-04-09 18:27:28 +0000 | <haskellbridge> | <Bowuigi> Polymorphism inference with bidirectional typing is reasonably well studied. Kovacs' algorithm is pretty fast and good enough for a lot of use cases |
| 2025-04-09 18:28:01 +0000 | <haskellbridge> | <Bowuigi> Polymorphism inference with contextual typing is likely going to be faster and more powerful, but it has to exist first |
| 2025-04-09 18:29:33 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-09 18:30:43 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-09 18:30:52 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-09 18:30:56 +0000 | <EvanR> | if it exists, then it is fast |
| 2025-04-09 18:31:11 +0000 | <EvanR> | like tachyons |
| 2025-04-09 18:33:32 +0000 | <haskellbridge> | <Bowuigi> Yes, except that tachyons have to be discovered rather than thought about and problem solve'd into existence |
| 2025-04-09 18:34:23 +0000 | <int-e> | EvanR: I always admire people who have the energy to make a full trip around the Sun every single year. |
| 2025-04-09 18:35:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 18:36:05 +0000 | __monty__ | (~toonn@user/toonn) (Ping timeout: 248 seconds) |
| 2025-04-09 18:40:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-09 18:41:21 +0000 | <EvanR> | :thonk: |
| 2025-04-09 18:42:00 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-09 18:42:03 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-04-09 18:42:44 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-09 18:47:01 +0000 | jco | (~jco@78-70-217-44-no600.tbcn.telia.com) (Quit: leaving) |
| 2025-04-09 18:49:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 18:52:58 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-09 18:54:17 +0000 | img | (~img@user/img) img |
| 2025-04-09 18:55:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 18:59:18 +0000 | Guest51 | (~Guest17@2001:1c00:a01:bc00:d043:d46d:298e:ed82) |
| 2025-04-09 19:00:05 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-09 19:00:11 +0000 | Guest51 | (~Guest17@2001:1c00:a01:bc00:d043:d46d:298e:ed82) (Client Quit) |
| 2025-04-09 19:00:48 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-09 19:03:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-04-09 19:05:23 +0000 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 2025-04-09 19:06:18 +0000 | <haskellbridge> | <sm> most of us hitch a ride :) |
| 2025-04-09 19:06:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-09 19:07:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 19:08:04 +0000 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-04-09 19:08:11 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-09 19:08:28 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
| 2025-04-09 19:08:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-09 19:12:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-09 19:14:54 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-04-09 19:15:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Client Quit) |
| 2025-04-09 19:23:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 19:23:20 +0000 | <monochrom> | hee hee |
| 2025-04-09 19:26:51 +0000 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Ping timeout: 265 seconds) |
| 2025-04-09 19:27:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-09 19:36:39 +0000 | forell | (~forell@user/forell) forell |
| 2025-04-09 19:38:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 19:40:00 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 19:41:05 +0000 | <EvanR> | the unit type (()) (oof) is called the "unit type". Do we have a proper name for the one inhabitant of the unit type, other than, annoyingly "unit" |
| 2025-04-09 19:41:56 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 19:43:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-09 19:44:36 +0000 | <monochrom> | It is usually the other way round, the type is named after the values. E.g., why do we say "integer" for values of the Integer type? |
| 2025-04-09 19:44:39 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-04-09 19:44:39 +0000 | ljdarj1 | ljdarj |
| 2025-04-09 19:45:55 +0000 | wroathe_ | (~wroathe@static-68-235-46-107.cust.tzulo.com) |
| 2025-04-09 19:47:09 +0000 | <EvanR> | well types have come after values in history |
| 2025-04-09 19:47:21 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-04-09 19:47:55 +0000 | <ski> | "empty tuple" |
| 2025-04-09 19:48:14 +0000 | <EvanR> | ok then the value is more properly named () |
| 2025-04-09 19:48:31 +0000 | <ski> | of course |
| 2025-04-09 19:48:45 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2025-04-09 19:48:48 +0000 | <EvanR> | like (a,b) and the types A x B and ... |
| 2025-04-09 19:49:00 +0000 | <EvanR> | Unit |
| 2025-04-09 19:49:11 +0000 | <ski> | "product type","sum type","exponential type" -- not being named after values |
| 2025-04-09 19:49:40 +0000 | ski | doesn't really like the term "unit", in any case |
| 2025-04-09 19:50:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 19:50:54 +0000 | ski | was pondering, the other day, whether it would be nicer to say "type product" |
| 2025-04-09 19:52:17 +0000 | rvalue- | rvalue |
| 2025-04-09 19:52:24 +0000 | wroathe_ | (~wroathe@static-68-235-46-107.cust.tzulo.com) () |
| 2025-04-09 19:55:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-09 19:59:41 +0000 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 2025-04-09 20:02:37 +0000 | <monochrom> | type product type >:) |
| 2025-04-09 20:05:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 20:09:04 +0000 | AlexNoo_ | (~AlexNoo@178.34.160.239) |
| 2025-04-09 20:09:31 +0000 | michalz_ | (~michalz@185.246.207.203) (Remote host closed the connection) |
| 2025-04-09 20:10:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 20:11:52 +0000 | AlexZenon | (~alzenon@178.34.162.245) (Ping timeout: 244 seconds) |
| 2025-04-09 20:12:46 +0000 | AlexNoo | (~AlexNoo@178.34.162.245) (Ping timeout: 265 seconds) |
| 2025-04-09 20:12:53 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-04-09 20:13:22 +0000 | AlexNoo_ | AlexNoo |
| 2025-04-09 20:21:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 20:25:03 +0000 | AlexZenon | (~alzenon@178.34.160.239) |
| 2025-04-09 20:26:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 20:37:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 20:43:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 20:51:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 20:55:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 20:59:06 +0000 | tessier | (~tessier@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 244 seconds) |
| 2025-04-09 21:00:18 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2025-04-09 21:00:27 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-09 21:00:41 +0000 | Googulator | (~Googulato@2a01-036d-0106-211a-98f9-54d1-cd01-d0d3.pool6.digikabel.hu) |
| 2025-04-09 21:01:18 +0000 | tessier | (~tessier@ip68-8-117-219.sd.sd.cox.net) tessier |
| 2025-04-09 21:02:20 +0000 | koz | (~koz@121.99.240.58) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-04-09 21:04:38 +0000 | koz | (~koz@121.99.240.58) |
| 2025-04-09 21:05:18 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 2025-04-09 21:05:33 +0000 | rembo10_ | (~rembo10@main.remulis.com) |
| 2025-04-09 21:05:37 +0000 | mcfrdy | (~mcfrdy@user/mcfrdy) mcfrdy |
| 2025-04-09 21:06:18 +0000 | rembo10 | (~rembo10@main.remulis.com) (Read error: Connection reset by peer) |
| 2025-04-09 21:06:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 21:07:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 21:12:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-09 21:16:17 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-09 21:22:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 21:26:44 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-09 21:27:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 21:30:39 +0000 | <__monty__> | But it works so similarly to an algebraic unit with sum and product types : / |
| 2025-04-09 21:38:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 21:40:07 +0000 | <EvanR> | I beg to differ after trying to implement the meaning of A * B * C * D |
| 2025-04-09 21:43:47 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
| 2025-04-09 21:46:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 21:47:13 +0000 | Pixi | (~Pixi@user/pixi) (Read error: Connection reset by peer) |
| 2025-04-09 21:47:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-09 21:47:44 +0000 | Pixi | (~Pixi@user/pixi) Pixi |
| 2025-04-09 21:55:09 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-09 21:58:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 22:01:13 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-04-09 22:01:30 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-09 22:02:35 +0000 | tromp | (~textual@2001:1c00:3487:1b00:2db1:da99:c28d:36bf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-09 22:02:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 22:08:05 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
| 2025-04-09 22:08:10 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-04-09 22:14:03 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 22:15:20 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-09 22:16:52 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
| 2025-04-09 22:18:26 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-09 22:18:26 +0000 | ljdarj1 | ljdarj |
| 2025-04-09 22:20:20 +0000 | <__monty__> | Can you elaborate? |
| 2025-04-09 22:21:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 22:21:39 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-09 22:23:00 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-04-09 22:23:47 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-04-09 22:32:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 22:33:09 +0000 | <EvanR> | supposedly A * B * C * D = A * (B * C) * D = (A * B) * C * C |
| 2025-04-09 22:33:14 +0000 | <EvanR> | D |
| 2025-04-09 22:33:23 +0000 | <EvanR> | but not really xD |
| 2025-04-09 22:33:33 +0000 | <EvanR> | when you get down to brass tacks |
| 2025-04-09 22:33:59 +0000 | <EvanR> | (or ML) |
| 2025-04-09 22:37:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-09 22:43:40 +0000 | tv | (~tv@user/tv) tv |
| 2025-04-09 22:43:48 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) krjst |
| 2025-04-09 22:47:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 22:52:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-04-09 22:53:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-09 23:00:16 +0000 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
| 2025-04-09 23:03:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 23:04:10 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2025-04-09 23:06:30 +0000 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2025-04-09 23:07:28 +0000 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Client Quit) |
| 2025-04-09 23:08:09 +0000 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2025-04-09 23:08:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 23:09:25 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-09 23:11:44 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-04-09 23:14:30 +0000 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) (Quit: bye) |
| 2025-04-09 23:14:59 +0000 | krjst | (~krjst@2a0a:4cc0:2000:789a:b827:c6ff:fed6:bb48) krjst |
| 2025-04-09 23:19:17 +0000 | Square | (~Square4@user/square) (Ping timeout: 248 seconds) |
| 2025-04-09 23:19:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 23:19:42 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 23:21:44 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 252 seconds) |
| 2025-04-09 23:23:46 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2025-04-09 23:24:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-09 23:25:09 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-04-09 23:28:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-09 23:29:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-04-09 23:31:04 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 23:31:53 +0000 | Square2 | (~Square@user/square) Square |
| 2025-04-09 23:33:45 +0000 | sprotte24 | (~sprotte24@p200300d16f0bc1000c82a6b41033ea55.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-04-09 23:35:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 23:35:49 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-04-09 23:39:34 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-09 23:39:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-09 23:48:53 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 23:51:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-09 23:56:12 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-09 23:56:49 +0000 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) |
| 2025-04-09 23:57:02 +0000 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-09 23:57:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-09 23:59:05 +0000 | XZDX | (~xzdx@2601:404:ce00:4e51:214:51ff:fe2b:e82e) (Changing host) |
| 2025-04-09 23:59:05 +0000 | XZDX | (~xzdx@user/XZDX) XZDX |