| 2025-05-21 00:04:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 00:05:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:06:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:11:12 +0200 | nurupo | (~nurupo.ga@user/nurupo) (Quit: nurupo.ga) |
| 2025-05-21 00:11:47 +0200 | nurupo | (~nurupo.ga@user/nurupo) nurupo |
| 2025-05-21 00:12:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:12:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:15:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:17:09 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-21 00:18:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:18:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-21 00:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:26:38 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-05-21 00:31:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:31:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:32:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:36:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 00:38:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:39:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:41:49 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-21 00:44:15 +0200 | <EvanR> | LAC-Tech, there's imprecise exceptions |
| 2025-05-21 00:45:04 +0200 | <EvanR> | so technically unknown "pure code" containing no unsafePerformIO is not guaranteed to be deterministic |
| 2025-05-21 00:46:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:46:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:47:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 00:48:50 +0200 | <haskellbridge> | <sm> we’re talking about asynchronous exceptions, right ? |
| 2025-05-21 00:49:11 +0200 | <EvanR> | no |
| 2025-05-21 00:49:29 +0200 | <EvanR> | like error "foo" + error "bar" |
| 2025-05-21 00:50:10 +0200 | <geekosaur> | if the compiler can determine that multiple paths all lead to bottoms, it can arbitrarily pick one |
| 2025-05-21 00:52:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 00:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 00:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 00:59:17 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 2025-05-21 01:02:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:04:26 +0200 | <haskellbridge> | <hellwolf> why is things like whenM not in base? I see that ghc and extra packages have them. |
| 2025-05-21 01:05:15 +0200 | <haskellbridge> | <hellwolf> I am exploring the design space of caving into monadic bang vs. having these specialized fooM functions. |
| 2025-05-21 01:05:40 +0200 | <haskellbridge> | <hellwolf> hence the question |
| 2025-05-21 01:07:39 +0200 | <c_wraith> | Usually something like traverse_ is better anyway. |
| 2025-05-21 01:07:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 01:07:44 +0200 | <EvanR> | normal language: bool does a lot of heavy lifting, in haskell I feel like it got relegated to tier 4 control technology. Because you pattern match on more meaningful things most of time |
| 2025-05-21 01:07:45 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-21 01:08:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:08:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:08:34 +0200 | <c_wraith> | and that's because you generally try to avoid Bool, yeah |
| 2025-05-21 01:08:56 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Remote host closed the connection) |
| 2025-05-21 01:10:13 +0200 | <LAC-Tech> | EvanR: interesting. General impression I'm getting is "it's mostly solved by the IO boundaries but there's a few annoying edge cases" |
| 2025-05-21 01:11:07 +0200 | <EvanR> | haskell is like the jumping off point to new languages with more guarantees rather than the destination |
| 2025-05-21 01:11:17 +0200 | <c_wraith> | Well, without IO you can't distinguish between different bottoms anyway |
| 2025-05-21 01:11:51 +0200 | <c_wraith> | So it doesn't really matter what exception is thrown, the value is a bottom. |
| 2025-05-21 01:11:54 +0200 | <EvanR> | but also if you mutate your perspective enough you can say haskell guarantees this or that ^ |
| 2025-05-21 01:12:20 +0200 | <EvanR> | the less actual stuff you care about the more abstract haskell gets |
| 2025-05-21 01:12:59 +0200 | <EvanR> | e.g. next you could just ignore bottom entirely |
| 2025-05-21 01:14:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:14:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:18:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:20:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:20:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:22:09 +0200 | <haskellbridge> | <sm> LAC-Tech: I think it’s a recurring topic of language geeks but it doesn’t feel like a common annoyance for people building with haskell, we generally feel pretty confident in the “pure” parts of our code |
| 2025-05-21 01:23:05 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-21 01:23:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 01:25:11 +0200 | <haskellbridge> | <sm> eg I’ve been building small-medium Haskell apps for the last 18 years, they feel pretty deterministic |
| 2025-05-21 01:25:44 +0200 | <LAC-Tech> | the property I am looking for is: same inputs, same outputs. notably this does not preclude mutable data structures, as long as they're internal - I'm not sure "pure" extends that far. system clocks, RNG, IO (maybe RNG falls under IO...), disk, network... that's stuff I'd want to exclude statically, if possible |
| 2025-05-21 01:26:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:26:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:26:35 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2025-05-21 01:29:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-21 01:29:56 +0200 | <haskellbridge> | <sm> Yes, all those require the IO type |
| 2025-05-21 01:32:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:32:27 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-05-21 01:32:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:33:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 01:34:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:37:27 +0200 | <LAC-Tech> | aha, I thought so |
| 2025-05-21 01:39:07 +0200 | sprotte24 | (~sprotte24@p200300d16f05e6007d40c893d0bf5242.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-21 01:40:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:40:25 +0200 | <haskellbridge> | <sm> Haskell code universally enforces this. There’s an escape hatch called unsafePerformIO which low level libs may use when it’s guaranteed harmless but you can statically check that too |
| 2025-05-21 01:40:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:40:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-21 01:42:47 +0200 | <haskellbridge> | <sm> (or even high level code, I do use it occasionally but that’s a choice) |
| 2025-05-21 01:44:15 +0200 | <EvanR> | LAC-Tech, it's cool that you can use mutable structures in "pure code" via ST |
| 2025-05-21 01:44:33 +0200 | <EvanR> | the user of the code doesn't have to know |
| 2025-05-21 01:46:30 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f69dd73fba2cf3982fe.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-05-21 01:47:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:47:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:52:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 01:52:12 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 01:52:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-21 01:54:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 01:54:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 01:56:45 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-21 01:57:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 02:02:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:02:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:03:46 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-21 02:03:50 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-21 02:07:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:08:19 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-05-21 02:12:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-05-21 02:12:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:12:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:13:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 02:15:04 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-21 02:15:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-21 02:17:07 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-05-21 02:17:25 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-21 02:19:00 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-21 02:21:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:22:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:28:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:28:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 02:28:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:32:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-21 02:33:28 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-21 02:34:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:35:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:39:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:40:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:41:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:43:39 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 244 seconds) |
| 2025-05-21 02:44:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-21 02:46:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:47:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:52:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 02:55:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 02:59:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 02:59:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 03:00:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:10:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:10:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:11:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:18:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 03:18:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:19:38 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2025-05-21 03:24:34 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-05-21 03:25:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:25:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:26:20 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-05-21 03:26:55 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-05-21 03:28:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:33:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 03:33:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 03:38:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:44:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:46:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:47:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:49:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 03:55:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 03:55:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 03:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 03:57:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-21 04:01:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-21 04:03:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:03:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:06:01 +0200 | <LAC-Tech> | EvanR: aha, I did not know that. I need to look up ST |
| 2025-05-21 04:08:15 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-21 04:10:40 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-05-21 04:10:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:10:59 +0200 | <EvanR> | :t runST (newSTRef 0 >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:00 +0200 | <lambdabot> | Num a => a |
| 2025-05-21 04:11:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:11:08 +0200 | <EvanR> | :t runST (newSTRef (0::Int) >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:09 +0200 | <lambdabot> | Int |
| 2025-05-21 04:11:16 +0200 | <EvanR> | > runST (newSTRef (0::Int) >>= \ref -> replicateM 11 (modifySTRef ref (+1)) >> readSTRef ref) |
| 2025-05-21 04:11:17 +0200 | <lambdabot> | 11 |
| 2025-05-21 04:11:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 04:11:39 +0200 | <EvanR> | haskell: the best imperative language? |
| 2025-05-21 04:11:58 +0200 | <jackdk> | Unironically |
| 2025-05-21 04:12:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:13:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-21 04:17:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-21 04:17:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 04:19:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:19:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:21:10 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
| 2025-05-21 04:21:47 +0200 | xal | (~xal@mx1.xal.systems) xal |
| 2025-05-21 04:24:12 +0200 | <Axman6> | I was reading edwardk's quanxi source code the other day, and there's so much imperative shit doing on, but interleaving mutable references with (sometime atomic) updates of pure values makes the code pretty nice... once you understand wtf it's trying to do |
| 2025-05-21 04:25:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:26:27 +0200 | <EvanR> | update pure values?? from "undefined" to "defined" or is it changing the representation to something semantically equivalent |
| 2025-05-21 04:27:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:31:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:31:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:33:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 04:33:29 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection) |
| 2025-05-21 04:34:18 +0200 | Guest81 | (~Guest81@198.52.128.148) |
| 2025-05-21 04:36:23 +0200 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2025-05-21 04:36:37 +0200 | haskellbridge | (~hackager@syn-096-028-224-255.res.spectrum.com) hackager |
| 2025-05-21 04:36:37 +0200 | ChanServ | +v haskellbridge |
| 2025-05-21 04:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:37:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:40:54 +0200 | <monochrom> | SPJ did say that Haskell is the finest imperative language. :) |
| 2025-05-21 04:41:09 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2025-05-21 04:41:39 +0200 | afudos | (~afudos@198.52.128.148) |
| 2025-05-21 04:43:24 +0200 | <EvanR> | and that Haskell is useless |
| 2025-05-21 04:43:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 04:43:47 +0200 | <EvanR> | they are consistent remarks |
| 2025-05-21 04:44:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:44:46 +0200 | <monochrom> | Haskell is useful to me. I wrote Haskell programs to generate test cases for C programs and Java programs. |
| 2025-05-21 04:44:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:46:28 +0200 | <monochrom> | I teach data structures and I wrote Haskell programs to generate examples of AVL rebalancing steps. |
| 2025-05-21 04:47:28 +0200 | <EvanR> | someone at the escape room designed the most ridiculous pipe and water puzzle so I had to write a haskell program to verify that it could be solved the way they thought it could |
| 2025-05-21 04:47:44 +0200 | <monochrom> | heh |
| 2025-05-21 04:48:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 04:51:30 +0200 | <monochrom> | I teach network sockets and give network socket server and client assignments. To help students reality-check their misinterpretation of my protocal specification, I provide my model servers and clients for them to run against. I wrote them in Haskell so that if anyone tries to decompile my exes to cheat, they break down in tears and never recovers. >:) |
| 2025-05-21 04:53:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 04:53:23 +0200 | <EvanR> | an actual class on sockets wow |
| 2025-05-21 04:53:24 +0200 | <monochrom> | In that case, actually "Haskell is useless" and "Haskell is useful" are consistent. Haskell is useless, therefore no one invest in decompiling Haskell exes back to anything human-readable, therefore Haskell is useful for exe obfuscation. |
| 2025-05-21 04:53:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 04:53:36 +0200 | <EvanR> | I was in the wrong computer science program |
| 2025-05-21 04:54:00 +0200 | Guest81 | (~Guest81@198.52.128.148) (Quit: Client closed) |
| 2025-05-21 04:55:04 +0200 | <monochrom> | Furthermore, GHC RTS makes such spamming and confusing syscalls that even strace doesn't help. >:) |
| 2025-05-21 04:59:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:01:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:02:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:02:30 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2025-05-21 05:06:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 05:08:09 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2025-05-21 05:09:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:09:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:17:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:17:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:17:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:21:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:21:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:22:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:25:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:25:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:28:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 05:29:26 +0200 | afudos | (~afudos@198.52.128.148) (Quit: Leaving) |
| 2025-05-21 05:30:49 +0200 | aforemny | (~aforemny@2001:9e8:6ce5:8e00:80fa:29d2:1580:ff25) aforemny |
| 2025-05-21 05:31:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:31:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:32:15 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc6:1600:7908:18da:5677:a8f7) (Ping timeout: 260 seconds) |
| 2025-05-21 05:33:06 +0200 | <c_wraith> | you can turn off all those vtimer syscalls |
| 2025-05-21 05:33:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:35:38 +0200 | mange | (~user@user/mange) mange |
| 2025-05-21 05:37:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:37:58 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2025-05-21 05:38:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:38:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:45:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:45:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:48:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:53:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 05:57:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 05:58:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 05:58:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 05:59:10 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
| 2025-05-21 06:02:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-05-21 06:06:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:06:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:12:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:12:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:13:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:13:10 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-21 06:17:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 06:18:25 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) |
| 2025-05-21 06:18:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:18:57 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-05-21 06:19:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:19:16 +0200 | wickedja` | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Read error: Connection reset by peer) |
| 2025-05-21 06:19:16 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) (Read error: Connection reset by peer) |
| 2025-05-21 06:19:33 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-21 06:20:02 +0200 | wickedjargon | (~user@2001:569:fc3c:d000:49fd:4f0f:5c90:505) wickedjargon |
| 2025-05-21 06:20:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 06:24:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 06:25:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-21 06:26:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:26:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:31:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:33:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 06:35:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-21 06:37:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:38:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:38:49 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-21 06:40:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:41:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:42:17 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-05-21 06:44:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:49:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 06:50:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:50:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:51:23 +0200 | michalz | (~michalz@185.246.207.205) |
| 2025-05-21 06:52:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 06:52:36 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-21 06:55:35 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-05-21 06:55:46 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2025-05-21 06:56:21 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2025-05-21 06:56:57 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-05-21 06:57:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 06:57:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 06:58:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 06:58:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 07:03:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 07:04:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:04:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:11:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:12:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:14:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 07:15:18 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-05-21 07:15:27 +0200 | mrmr5 | (~mrmr@user/mrmr) mrmr |
| 2025-05-21 07:16:32 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 272 seconds) |
| 2025-05-21 07:16:33 +0200 | mrmr5 | mrmr |
| 2025-05-21 07:18:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:18:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 07:18:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:25:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:27:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-21 07:29:45 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-21 07:29:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 07:30:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 07:30:40 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 265 seconds) |
| 2025-05-21 07:31:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:32:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:35:09 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-21 07:35:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 07:37:28 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 07:38:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-21 07:39:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:39:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:45:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-05-21 07:45:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 07:47:05 +0200 | <Axman6> | monochrom: Having run many programs through Ghidra, I can confirm they have no idea wtf is going on. Still useful for figuring out how things like numerical code gets compiled, but understanding control flow is out of the question. What syscalls does the RTS make that're confusing? |
| 2025-05-21 07:49:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-21 07:52:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:52:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 07:52:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 07:58:18 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
| 2025-05-21 07:59:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 07:59:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 07:59:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:04:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 08:06:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 08:06:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:08:19 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-21 08:08:30 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-21 08:11:57 +0200 | <monochrom> | I see a good dose of poll and epoll, futex, and a lot of spurrious read. It also doesn't help that I linked with the threaded RTS. >:) |
| 2025-05-21 08:12:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:12:33 +0200 | gorignak | (~gorignak@user/gorignak) (Ping timeout: 276 seconds) |
| 2025-05-21 08:12:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:15:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 08:16:37 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Quit: ZNC - http://znc.in) |
| 2025-05-21 08:19:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:20:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 08:20:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:21:09 +0200 | <davean> | EvanR: where did you manage to have a CS degree that didn't have you do socket stuff? |
| 2025-05-21 08:25:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:25:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:27:04 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-05-21 08:30:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 276 seconds) |
| 2025-05-21 08:32:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:32:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:32:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 08:37:16 +0200 | xdej | (~xdej@quatramaran.salle-s.org) (Ping timeout: 252 seconds) |
| 2025-05-21 08:37:23 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 08:37:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 08:38:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 08:38:57 +0200 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2025-05-21 08:39:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:40:44 +0200 | prasad1 | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 2025-05-21 08:41:43 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 276 seconds) |
| 2025-05-21 08:41:44 +0200 | prasad1 | prasad |
| 2025-05-21 08:46:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:46:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:46:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-21 08:46:50 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 08:48:04 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-21 08:48:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 08:49:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-05-21 08:53:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 08:53:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 08:53:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 08:56:03 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 268 seconds) |
| 2025-05-21 09:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-21 09:00:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 09:00:43 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-21 09:01:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:02:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:02:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-21 09:04:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 09:05:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-21 09:10:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:11:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:14:03 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
| 2025-05-21 09:18:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:18:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:18:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-21 09:25:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:25:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:30:00 +0200 | Everything | (~Everythin@77.120.244.38) (Quit: leaving) |
| 2025-05-21 09:30:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:31:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:34:20 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 09:34:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-21 09:36:39 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 09:37:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:37:17 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f824476cae997b00a2c.dip0.t-ipconnect.de) acidjnk |
| 2025-05-21 09:37:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:37:55 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-05-21 09:41:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:41:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:42:13 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-21 09:43:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-21 09:47:38 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-05-21 09:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 09:50:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 09:50:31 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-21 09:51:24 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-21 09:56:09 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-05-21 09:58:26 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-21 09:58:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 09:59:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:00:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-21 10:01:29 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-21 10:06:55 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
| 2025-05-21 10:10:26 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-21 10:11:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:11:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:11:35 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
| 2025-05-21 10:19:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:19:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:25:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:25:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:26:09 +0200 | tzh_ | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-05-21 10:29:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-21 10:30:07 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-05-21 10:32:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:33:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:35:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-21 10:37:01 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-21 10:37:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2025-05-21 10:37:49 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2025-05-21 10:38:42 +0200 | chele | (~chele@user/chele) chele |
| 2025-05-21 10:39:36 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-21 10:40:34 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-05-21 10:41:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:41:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:42:04 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) |
| 2025-05-21 10:44:41 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2025-05-21 10:49:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:49:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:49:50 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-21 10:53:41 +0200 | sajenim | (~sajenim@user/sajenim) (Ping timeout: 248 seconds) |
| 2025-05-21 10:56:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 10:56:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 10:57:42 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-05-21 10:59:36 +0200 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:a9b8:a3d6:d29f:10e6) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2025-05-21 10:59:55 +0200 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) youngfrog |
| 2025-05-21 11:02:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-05-21 11:02:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:02:52 +0200 | tv | (~tv@user/tv) tv |
| 2025-05-21 11:03:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:06:25 +0200 | lortabac | (~lortabac@2a0d:e487:46f:870e:b8f3:6a86:152d:a15f) |
| 2025-05-21 11:10:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:10:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:17:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:17:36 +0200 | califax | (~califax@user/califx) (Ping timeout: 264 seconds) |
| 2025-05-21 11:17:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:18:33 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-21 11:22:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 11:23:14 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-21 11:24:31 +0200 | craunts7 | (~craunts@136.158.8.87) |
| 2025-05-21 11:24:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:24:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:29:51 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-05-21 11:29:52 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-05-21 11:29:52 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2025-05-21 11:33:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:33:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:39:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:39:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:42:49 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-21 11:47:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:48:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:51:24 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 11:52:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-21 11:53:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 11:54:09 +0200 | lortabac | (~lortabac@2a0d:e487:46f:870e:b8f3:6a86:152d:a15f) (Ping timeout: 260 seconds) |
| 2025-05-21 11:54:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 11:57:14 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-21 12:00:30 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-21 12:01:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:02:14 +0200 | bradparker | (sid262931@uxbridge.irccloud.com) (Ping timeout: 252 seconds) |
| 2025-05-21 12:02:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:05:51 +0200 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) bradparker |
| 2025-05-21 12:06:37 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:4cc3:2ee4:9db4:edc5) ubert |
| 2025-05-21 12:09:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:10:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:17:57 +0200 | notzmv | (~daniel@user/notzmv) (Read error: Connection reset by peer) |
| 2025-05-21 12:21:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:22:04 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 276 seconds) |
| 2025-05-21 12:22:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:29:31 +0200 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-05-21 12:31:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:32:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:38:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:38:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:45:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:45:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:45:52 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-05-21 12:46:24 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-05-21 12:49:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-21 12:51:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:52:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 12:58:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 12:59:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:01:46 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-21 13:05:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:05:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:10:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-21 13:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:12:11 +0200 | <lxsameer> | hiya, how do you create a collection of data that implement this type class? https://dpaste.com/BGS8H9STQ |
| 2025-05-21 13:12:19 +0200 | <lxsameer> | like in a list or something |
| 2025-05-21 13:12:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:13:35 +0200 | omegatron | (~some@user/omegatron) omegatron |
| 2025-05-21 13:20:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:21:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:25:09 +0200 | <lortabac> | lxsameer: would an existential be ok for your use case? |
| 2025-05-21 13:25:49 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2025-05-21 13:26:04 +0200 | <lxsameer> | lortabac: yeah, but still I can't figure out how to do it, I'm running into a wall everytime |
| 2025-05-21 13:26:12 +0200 | <lortabac> | something like this: https://paste.tomsmeding.com/26nNsFxD |
| 2025-05-21 13:27:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:27:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:27:48 +0200 | <lxsameer> | lortabac: let me try it |
| 2025-05-21 13:29:23 +0200 | <lxsameer> | lortabac: quick question, the constraint of `a` in some type, is there any specific reason why it is there in compare to after the forall? |
| 2025-05-21 13:31:59 +0200 | <lortabac> | lxsameer: yes. In order to use the constraint you need to pattern-match on the constructor |
| 2025-05-21 13:33:26 +0200 | <lortabac> | perhaps it's clearer if we use GADT syntax |
| 2025-05-21 13:33:28 +0200 | <lortabac> | data SomePass where SomePass :: (Pass a) => a -> SomePass |
| 2025-05-21 13:33:29 +0200 | <lxsameer> | another question would be, how would you create a function that runs all these passes, how would you know the type of the last pass's Out? |
| 2025-05-21 13:33:44 +0200 | <lxsameer> | lortabac: ah got it |
| 2025-05-21 13:33:57 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 13:34:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:34:31 +0200 | <Leary> | The non-GADTSyntax equivalent of that is `data SomePass = forall a. Pass a => SomePass a`. |
| 2025-05-21 13:34:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:35:09 +0200 | <Leary> | What was written corresponds to `data SomePass where SomePass :: (Pass a => a) -> SomePass` |
| 2025-05-21 13:39:01 +0200 | <lortabac> | Leary: ah yes you are right |
| 2025-05-21 13:39:26 +0200 | <lortabac> | I never use the non-GADT syntax :D |
| 2025-05-21 13:39:36 +0200 | <lxsameer> | with SomePass the input and output type of the pipeline is getting lost |
| 2025-05-21 13:40:05 +0200 | <lortabac> | lxsameer: yes my example is probably not enough for a real use case |
| 2025-05-21 13:40:24 +0200 | <Leary> | lxsameer: Here's a non-existential version: https://paste.tomsmeding.com/fD4iPRSQ |
| 2025-05-21 13:40:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 13:40:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:41:23 +0200 | <lxsameer> | lortabac: cheers, thanks for the help |
| 2025-05-21 13:41:28 +0200 | <lxsameer> | Leary: thank you let me have a look |
| 2025-05-21 13:41:54 +0200 | <lxsameer> | there are a ton to unpack |
| 2025-05-21 13:44:00 +0200 | <Leary> | The core is just the `data HListOf` declaration; the rest is conveniences. |
| 2025-05-21 13:44:09 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-21 13:44:39 +0200 | <lxsameer> | Leary: the DataKinds extension confuses me all the time :)) |
| 2025-05-21 13:49:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:50:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 13:52:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 13:52:49 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-21 13:56:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 13:56:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:02:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:02:43 +0200 | Square | (~Square4@user/square) Square |
| 2025-05-21 14:13:07 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 14:13:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:20:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:20:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:26:15 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-21 14:28:55 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-21 14:30:03 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 2025-05-21 14:30:59 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-21 14:33:01 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:33:23 +0200 | pavonia | [XRPTradingBot] |
| 2025-05-21 14:33:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:38:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-21 14:38:45 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 14:41:28 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-21 14:44:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:45:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:46:12 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-21 14:52:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:53:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 14:55:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-21 14:55:14 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-21 14:58:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 14:59:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:03:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 15:05:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:05:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:10:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 15:11:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-21 15:16:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:16:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:19:10 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 15:22:00 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-05-21 15:22:03 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 252 seconds) |
| 2025-05-21 15:22:35 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Ping timeout: 260 seconds) |
| 2025-05-21 15:22:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:23:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:29:59 +0200 | [XRPTradingBot] | (~user@user/siracusa) (Ping timeout: 260 seconds) |
| 2025-05-21 15:34:10 +0200 | jespada | (~jespada@r190-133-13-145.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 2025-05-21 15:34:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:35:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:37:07 +0200 | jespada | (~jespada@r179-25-104-223.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-21 15:41:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:41:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:49:24 +0200 | chiselfu1e | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-21 15:49:40 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-21 15:50:02 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-21 15:50:03 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-21 15:50:12 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-05-21 15:50:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2025-05-21 15:50:30 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-21 15:51:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-05-21 15:51:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:51:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 15:53:43 +0200 | <bwe> | [exa]: Haskell now takes (11 ms @ 13 MB memory, was 160 ms @ 130 MB) compared to Rust 70 ms @ 3 MB: https://github.com/benjaminweb/scraper-experiment |
| 2025-05-21 15:55:06 +0200 | <bwe> | [exa]: That's pretty impressive as Rust's scraper uses Servo (Firefox's HTML tokenizer). |
| 2025-05-21 15:58:03 +0200 | <Athas> | Nice result. What's the trick? |
| 2025-05-21 15:58:07 +0200 | <[exa]> | wow |
| 2025-05-21 15:58:08 +0200 | <[exa]> | cool |
| 2025-05-21 15:58:24 +0200 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-05-21 15:59:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 15:59:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:00:23 +0200 | <[exa]> | ohwait, you don't have any optimization flags enabled in the whole project? (-O2, and the ones for "expose all unfoldings" and "specialize aggressively" which I don't remember exactly as args) |
| 2025-05-21 16:00:36 +0200 | <[exa]> | bwe: ^ |
| 2025-05-21 16:01:05 +0200 | <tomsmeding> | [exa]: -O1 is default for cabal |
| 2025-05-21 16:01:32 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-21 16:01:41 +0200 | <Athas> | How much of this problem is IO-bound? |
| 2025-05-21 16:01:53 +0200 | <tomsmeding> | bwe: I assume you did `cargo run --release` for Rust? |
| 2025-05-21 16:03:12 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 264 seconds) |
| 2025-05-21 16:05:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:05:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:06:12 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-21 16:12:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:12:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:15:31 +0200 | monochrom | (trebla@216.138.220.146) |
| 2025-05-21 16:18:23 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2025-05-21 16:18:26 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-21 16:18:50 +0200 | <bwe> | Athas: I swapped in html-parse instead of tagsoup. |
| 2025-05-21 16:19:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:19:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:22:45 +0200 | <bwe> | tomsmeding: No, once I do, it brings it down to 5 ms for Rust, which is less than 11 ms for Haskell. The Haskell one remains stable at 10 ms with and without -O2. |
| 2025-05-21 16:22:50 +0200 | <bwe> | [exa]: ^^ |
| 2025-05-21 16:23:50 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-05-21 16:23:50 +0200 | <haskellbridge> | <magic_rb> You have to run the rust with --release otherwise its a wholly unfair comparison. Run haskell with --enable-profiling and then compare against debug rudt |
| 2025-05-21 16:25:08 +0200 | <__monty__> | So a browser in Haskell when? |
| 2025-05-21 16:25:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:25:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:26:35 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-21 16:28:33 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
| 2025-05-21 16:32:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:32:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:35:12 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2025-05-21 16:36:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-05-21 16:36:45 +0200 | <Square> | This old package is marked as broken in nix repos https://github.com/tibbe/template. Anyone know of a super simple text interpolation library that does roughly the same thing? |
| 2025-05-21 16:37:09 +0200 | <Square> | (https://hackage.haskell.org/package/template) |
| 2025-05-21 16:37:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-21 16:39:16 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:39:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:41:54 +0200 | HaskellUser | (~HaskellUs@2a02:8071:5ac0:c580:c39d:1896:e0a2:a17c) |
| 2025-05-21 16:42:12 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-21 16:43:10 +0200 | <tomsmeding> | magic_rb: --enable-profiling and --ghc-options=-O0, rather |
| 2025-05-21 16:43:59 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-05-21 16:44:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-05-21 16:46:13 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:46:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 16:52:03 +0200 | comonad | (~comonad@p200300d0270a4d00bd2fa57947ace417.dip0.t-ipconnect.de) |
| 2025-05-21 16:53:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-21 16:56:36 +0200 | <haskellbridge> | <magic_rb> Yeah though profiling will make it way slower than debug rust already probably |
| 2025-05-21 16:57:22 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 16:57:42 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-21 16:57:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:01:55 +0200 | <geekosaur> | if your ghc and cabal are recent enough, --enable-profiling --profiling-detail=late -O |
| 2025-05-21 17:02:15 +0200 | <geekosaur> | (cabal 3.14, I think any ghc from 9.4 on?) |
| 2025-05-21 17:03:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:03:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:08:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 276 seconds) |
| 2025-05-21 17:09:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:09:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:15:06 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-05-21 17:17:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:17:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:20:25 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2025-05-21 17:23:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:24:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:30:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:30:41 +0200 | <dminuoso> | __monty__: Oh that's easy to answer. Give me some 500 million EUR, and Ill have it done for you in a year. |
| 2025-05-21 17:30:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:31:19 +0200 | <dminuoso> | Or, alternatively, Ill give you a big <Insert coin here> box that, when filled, will spit out a complete browser. |
| 2025-05-21 17:31:57 +0200 | xff0x | (~xff0x@om126236151042.32.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2025-05-21 17:32:12 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 276 seconds) |
| 2025-05-21 17:37:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:37:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:40:59 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 2025-05-21 17:44:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:44:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:49:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 17:50:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:57:31 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f824476cae997b00a2c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-21 17:58:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 17:59:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 17:59:50 +0200 | HaskellUser | (~HaskellUs@2a02:8071:5ac0:c580:c39d:1896:e0a2:a17c) (Quit: Leaving) |
| 2025-05-21 18:03:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:04:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:09:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:09:20 +0200 | fraznel | (~fuag1@c-76-28-152-212.hsd1.wa.comcast.net) |
| 2025-05-21 18:09:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:15:14 +0200 | <Hecate> | 'sup dminuoso o/ |
| 2025-05-21 18:15:24 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-05-21 18:17:24 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2025-05-21 18:18:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:18:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:19:33 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 18:19:53 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2025-05-21 18:20:16 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2025-05-21 18:20:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-21 18:23:04 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 18:24:09 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-21 18:24:50 +0200 | Everything | (~Everythin@77.120.244.38) Everything |
| 2025-05-21 18:25:24 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-21 18:25:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 18:26:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:26:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:32:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:33:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:34:52 +0200 | ubert | (~Thunderbi@2a02:8109:abb3:7000:4cc3:2ee4:9db4:edc5) (Quit: ubert) |
| 2025-05-21 18:35:58 +0200 | erty | (~user@user/aeroplane) aeroplane |
| 2025-05-21 18:37:04 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-21 18:38:20 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-21 18:39:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:40:00 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:46:45 +0200 | jle` | (~jle`@2603:8001:3b00:11:3079:bbff:e6c:1301) (Ping timeout: 260 seconds) |
| 2025-05-21 18:47:59 +0200 | Everything | (~Everythin@77.120.244.38) (Quit: leaving) |
| 2025-05-21 18:48:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-05-21 18:48:41 +0200 | jle` | (~jle`@2603:8001:3b00:11:cbf7:2c80:8f8:480c) jle` |
| 2025-05-21 18:49:13 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 252 seconds) |
| 2025-05-21 18:49:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:49:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:55:40 +0200 | <EvanR> | oh are we competing on how slow we can make haskell and rust |
| 2025-05-21 18:56:01 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-21 18:56:01 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 18:56:21 +0200 | omegatron | (~some@user/omegatron) (Quit: Power is a curious thing. It can be contained, hidden, locked away, and yet it always breaks free.) |
| 2025-05-21 18:56:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 18:57:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 18:57:46 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-05-21 19:04:06 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 19:04:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:06:36 +0200 | craunts7 | (~craunts@136.158.8.87) (Quit: The Lounge - https://thelounge.chat) |
| 2025-05-21 19:08:49 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-21 19:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:12:21 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-21 19:12:28 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:12:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 19:17:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-21 19:18:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:19:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:24:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-21 19:25:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:25:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:27:09 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f825c2f019940860a0f.dip0.t-ipconnect.de) acidjnk |
| 2025-05-21 19:28:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 19:28:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 19:33:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-21 19:33:52 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-05-21 19:34:11 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) (Read error: Connection reset by peer) |
| 2025-05-21 19:35:55 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-05-21 19:36:09 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) |
| 2025-05-21 19:36:17 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:36:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:38:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
| 2025-05-21 19:39:38 +0200 | monochrom | uncuts, 499 million EUR is good enough for me >:) |
| 2025-05-21 19:39:51 +0200 | <monochrom> | err s/uncuts/undercuts/ |
| 2025-05-21 19:40:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 19:40:29 +0200 | <monochrom> | Oh wouldn't it be nice if we add "uncut" to prolog so it can unroll a cut. >:) |
| 2025-05-21 19:42:31 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-21 19:44:11 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-05-21 19:44:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 19:45:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:45:27 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:51:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 19:52:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 19:52:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 19:53:25 +0200 | erty | (~user@user/aeroplane) (Ping timeout: 248 seconds) |
| 2025-05-21 19:58:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 20:00:44 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2025-05-21 20:02:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-21 20:02:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 20:03:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:04:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:06:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-21 20:06:36 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 252 seconds) |
| 2025-05-21 20:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-05-21 20:07:17 +0200 | machined1od | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-21 20:07:26 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Read error: Connection reset by peer) |
| 2025-05-21 20:07:29 +0200 | tromp | (~textual@2001:1c00:3487:1b00:38c8:fba4:4821:1856) |
| 2025-05-21 20:08:37 +0200 | _________ | (~nobody@user/noodly) _________ |
| 2025-05-21 20:10:38 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
| 2025-05-21 20:11:09 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2025-05-21 20:11:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:11:29 +0200 | puke | (~puke@user/puke) puke |
| 2025-05-21 20:11:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:12:01 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 276 seconds) |
| 2025-05-21 20:12:48 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-21 20:14:52 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-05-21 20:16:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 20:18:40 +0200 | <EvanR> | sepBy :: Parser a -> Parser b -> Parser [a] |
| 2025-05-21 20:18:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:19:03 +0200 | <EvanR> | ??? :: [Parser a] -> Parser b -> Parser [a] |
| 2025-05-21 20:19:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:20:09 +0200 | <fraznel> | mapSepBy |
| 2025-05-21 20:20:20 +0200 | <monochrom> | That's an interesting combinator. I haven't heard of a name. |
| 2025-05-21 20:20:55 +0200 | <monochrom> | You may get inspiration from intercalate. |
| 2025-05-21 20:21:06 +0200 | <monochrom> | err, intersperse |
| 2025-05-21 20:21:19 +0200 | <monochrom> | @type intersperse |
| 2025-05-21 20:21:19 +0200 | <lambdabot> | a -> [a] -> [a] |
| 2025-05-21 20:21:20 +0200 | <EvanR> | e.g. 3,true,'x' => [VInt 3, VBool True, VChar 'x'] |
| 2025-05-21 20:21:42 +0200 | <EvanR> | has to match the number and order of the parsers |
| 2025-05-21 20:21:44 +0200 | <monochrom> | > intersperse "," ["ab", "cd", "ef"] |
| 2025-05-21 20:21:45 +0200 | <lambdabot> | ["ab",",","cd",",","ef"] |
| 2025-05-21 20:21:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-21 20:21:55 +0200 | <EvanR> | yes if you do that you end up with commas in your output |
| 2025-05-21 20:22:03 +0200 | <monochrom> | OK that's confusing. Here is a better example: |
| 2025-05-21 20:22:07 +0200 | <monochrom> | > intersperse "/" ["ab", "cd", "ef"] |
| 2025-05-21 20:22:08 +0200 | <lambdabot> | ["ab","/","cd","/","ef"] |
| 2025-05-21 20:22:36 +0200 | <EvanR> | intersperse with parers returning Nothing, and map yours so they return Just, then catMaybes in the end |
| 2025-05-21 20:25:10 +0200 | <monochrom> | [Parser a] -> Parser [a] is traverse. You have an extra separator. traverseSepBy? |
| 2025-05-21 20:25:30 +0200 | [exa] | votes for intercalateBy |
| 2025-05-21 20:26:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:26:16 +0200 | <monochrom> | traverseIntersperedBy -- travesty :) |
| 2025-05-21 20:26:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:27:58 +0200 | <EvanR> | :t \x y -> fmap catMaybes (sequenceA (intersperse (fmap (const Nothing) y) (map (fmap Just) x))) |
| 2025-05-21 20:27:58 +0200 | <lambdabot> | Applicative f => [f a] -> f b -> f [a] |
| 2025-05-21 20:28:33 +0200 | <EvanR> | no idea if it works |
| 2025-05-21 20:31:28 +0200 | <EvanR> | catMaybes <$> sequenceA (intersperse (Nothing <$ y) (map (fmap Just) x)) seems I didn't do jack to the parentheses |
| 2025-05-21 20:31:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 20:33:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:33:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:33:47 +0200 | <EvanR> | (fmap catMaybes . sequenceA . intersperse (Nothing <$ y)) (map (fmap Just) x) |
| 2025-05-21 20:36:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 20:39:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:40:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:47:39 +0200 | <monochrom> | That is slick. |
| 2025-05-21 20:47:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 20:48:01 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-05-21 20:48:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-21 20:48:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:48:45 +0200 | sprotte24 | (~sprotte24@p200300d16f0b63002079b83bc1fd6449.dip0.t-ipconnect.de) |
| 2025-05-21 20:49:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:50:10 +0200 | [XRPTradingBot] | (~user@user/siracusa) siracusa |
| 2025-05-21 20:51:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 20:51:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-21 20:51:45 +0200 | Digit | (~user@user/digit) (Ping timeout: 244 seconds) |
| 2025-05-21 20:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 20:53:39 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-21 20:55:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 20:56:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 20:57:40 +0200 | Digit | (~user@user/digit) Digit |
| 2025-05-21 21:00:01 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-21 21:00:07 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-21 21:00:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-21 21:00:46 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-21 21:03:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 21:04:49 +0200 | <bwe> | [exa]: is this now truly excluding loading the file from the benchmark measurement? https://github.com/benjaminweb/scraper-experiment/blob/main/haskell-scraper/time-it/Main.hs -- Specifically, is this B.readFile strict? |
| 2025-05-21 21:05:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:06:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:06:32 +0200 | <[exa]> | bwe: apparently yes, this says it's strict: https://hackage-content.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString.html#v:readFile |
| 2025-05-21 21:06:52 +0200 | <EvanR> | with that module imported: Read an entire file strictly into a ByteString. |
| 2025-05-21 21:08:01 +0200 | <EvanR> | the one in Data.ByteString.Lazy is also called readFile, and the Prelude readFile uses lazy I/O |
| 2025-05-21 21:09:32 +0200 | <bwe> | [exa]: I noticed zero change in execution time compared to not having factored out the file read |
| 2025-05-21 21:11:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-21 21:11:26 +0200 | <EvanR> | how big is the file |
| 2025-05-21 21:16:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-05-21 21:16:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:17:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:18:23 +0200 | <[exa]> | bwe: file reads from OS cache ain't slow |
| 2025-05-21 21:19:01 +0200 | <bwe> | EvanR: ≈ 1 MB |
| 2025-05-21 21:19:20 +0200 | <EvanR> | ok yeah could be in i/o cache |
| 2025-05-21 21:22:05 +0200 | <davean> | [exa]: if file reads from the OS cache isn't slow, you're code isn't fast :) |
| 2025-05-21 21:22:38 +0200 | <davean> | thats a TLB update at least! |
| 2025-05-21 21:22:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 21:22:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:23:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:23:23 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-21 21:29:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:29:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-21 21:29:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:35:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-21 21:35:13 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-21 21:35:40 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 244 seconds) |
| 2025-05-21 21:36:25 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-05-21 21:36:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:37:20 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:37:46 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:9ba2:a48e:b934:7d97) internatetional |
| 2025-05-21 21:38:41 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2025-05-21 21:40:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 21:42:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:42:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:42:27 +0200 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2025-05-21 21:45:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 21:49:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:49:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:49:55 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 260 seconds) |
| 2025-05-21 21:51:59 +0200 | <[exa]> | bwe: btw you could mmap it, that avoids a copy of the 1MB and a few syscalls |
| 2025-05-21 21:55:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 21:56:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 21:56:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 21:56:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2025-05-21 22:01:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-21 22:03:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:04:02 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:11:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:12:14 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:12:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 22:14:22 +0200 | <dminuoso> | Hecate: Hey, it was DENOG meetup night :) |
| 2025-05-21 22:14:25 +0200 | <dminuoso> | So bit of networking |
| 2025-05-21 22:14:30 +0200 | <dminuoso> | In all senses of the word. |
| 2025-05-21 22:15:51 +0200 | <Rembane> | \o/ |
| 2025-05-21 22:16:27 +0200 | <dminuoso> | o/ |
| 2025-05-21 22:17:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-05-21 22:18:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-21 22:18:54 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:19:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:20:59 +0200 | <dminuoso> | davean: Mmm, I wonder how much overhead is lost in the syscall before it gets to decide it just needs to update a page table |
| 2025-05-21 22:23:47 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) () |
| 2025-05-21 22:25:11 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:25:35 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:28:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 22:31:19 +0200 | notzmv | (~daniel@user/notzmv) notzmv |
| 2025-05-21 22:32:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:32:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:32:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-21 22:33:44 +0200 | jespada | (~jespada@r179-25-104-223.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-05-21 22:38:06 +0200 | jespada | (~jespada@r179-25-104-223.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-21 22:38:30 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2025-05-21 22:38:52 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-05-21 22:39:15 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-21 22:39:36 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:40:18 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
| 2025-05-21 22:40:21 +0200 | ft | (~ft@p3e9bc106.dip0.t-ipconnect.de) ft |
| 2025-05-21 22:43:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-21 22:45:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-21 22:45:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-21 22:48:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |