2025/05/24

2025-05-24 00:02:24 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 00:07:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:07:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:08:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:08:48 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 00:08:53 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-05-24 00:12:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 00:12:55 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-24 00:13:54 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 252 seconds)
2025-05-24 00:15:45 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-05-24 00:16:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:16:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:23:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:23:17 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
2025-05-24 00:24:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:24:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:28:03 +0200target_i(~target_i@user/target-i/x-6023099) (Quit: leaving)
2025-05-24 00:28:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 00:31:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:32:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:36:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:37:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:38:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:41:31 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-24 00:43:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:43:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 00:43:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:50:14 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-24 00:50:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:51:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:54:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 00:57:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 00:58:01 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) (Remote host closed the connection)
2025-05-24 00:58:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 00:59:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 01:01:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 01:02:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:03:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:08:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:09:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:10:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:13:05 +0200haskellbridge(~hackager@syn-096-028-224-255.res.spectrum.com) hackager
2025-05-24 01:13:05 +0200ChanServ+v haskellbridge
2025-05-24 01:15:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 01:17:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:17:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:22:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds)
2025-05-24 01:22:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 01:23:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:25:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:29:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:29:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:30:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 01:36:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 01:36:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:40:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds)
2025-05-24 01:41:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:43:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:43:40 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:45:17 +0200sprotte24(~sprotte24@p200300d16f16bc005158636fac7acba7.dip0.t-ipconnect.de) (Quit: Leaving)
2025-05-24 01:46:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 01:46:37 +0200 <EvanR> I think it's working now but damn https://paste.tomsmeding.com/pfWqi8Uz
2025-05-24 01:47:39 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 01:50:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:51:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:55:32 +0200immibis(foobar@social.immibis.com) immibis
2025-05-24 01:56:58 +0200pyooque(~puke@user/puke) puke
2025-05-24 01:56:58 +0200pukeGuest3731
2025-05-24 01:56:58 +0200Guest3731(~puke@user/puke) (Killed (tantalum.libera.chat (Nickname regained by services)))
2025-05-24 01:56:58 +0200pyooquepuke
2025-05-24 01:57:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 01:57:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 01:58:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 01:58:58 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 02:00:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds)
2025-05-24 02:02:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 02:03:56 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 244 seconds)
2025-05-24 02:04:16 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-05-24 02:04:16 +0200jespada(~jespada@r167-61-145-158.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds)
2025-05-24 02:04:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:04:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:05:03 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-05-24 02:06:51 +0200EvanR(~EvanR@user/evanr) EvanR
2025-05-24 02:11:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:11:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:12:23 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 02:13:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:15:36 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 02:16:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 02:16:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:20:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 02:24:07 +0200ttybitnik(~ttybitnik@user/wolper) (Quit: Fading out...)
2025-05-24 02:25:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:25:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:31:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:33:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:33:39 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-05-24 02:33:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:36:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 02:39:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:40:03 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:42:56 +0200 <haskellbridge> <hellwolf> f x -> f (t xs) -> f (t (x:xs))
2025-05-24 02:42:56 +0200 <haskellbridge> what could this be
2025-05-24 02:45:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:46:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:46:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 02:51:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 02:52:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 02:52:35 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 02:59:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 02:59:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:02:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:05:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:05:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:07:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:11:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:12:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:18:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:19:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:19:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:21:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 03:23:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:26:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:27:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:27:14 +0200anpad(~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-24 03:27:24 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 03:30:47 +0200anpad(~pandeyan@user/anpad) anpad
2025-05-24 03:32:29 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds)
2025-05-24 03:33:32 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2025-05-24 03:33:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:34:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:34:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:34:51 +0200img(~img@user/img) img
2025-05-24 03:34:57 +0200 <haskellbridge> <Liamzee> EvanR: if I'm an edgelord, I now have at least a specious argument for why using Haskell is an existential necessity
2025-05-24 03:36:35 +0200 <haskellbridge> <Liamzee> the question about rogue AIs is not a question of if, but when and how bad, owing to the fact that AI is being democratized and is becoming trainable on increasingly cheaper software
2025-05-24 03:37:50 +0200 <haskellbridge> <Liamzee> we maiy end up getting to the stage where someone having a bad day with a $1000 GPU could instantiate a rogue AI very cheaply, consider rampage/spree violence as an example of people actually having similar motivations
2025-05-24 03:38:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 03:39:00 +0200 <haskellbridge> <Liamzee> high correctness languages like Haskell provide insulation against the effects of rogue AI, allowing social safety mechanisms, like police AI, to neutralize the threat before too much harm is done
2025-05-24 03:39:21 +0200 <haskellbridge> <Liamzee> dynamically and weakly typed languages are now an existential threat >:)
2025-05-24 03:40:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:41:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:41:33 +0200 <haskellbridge> <sm> I don't think a static type system has any preference for safe/non-rogue actions :)
2025-05-24 03:42:02 +0200 <haskellbridge> <sm> particular software might (try to)
2025-05-24 03:42:34 +0200 <haskellbridge> <Liamzee> in truth, I told you about my interaction with a Haskell luminary in some Galapagos community, right?
2025-05-24 03:43:21 +0200 <haskellbridge> <Liamzee> He moved onto AI and said in a group chat that from the point of view of AI, there is no difference between generated Rust or Haskell (other than Claude and DeepSeek STILL can't generate a proper Brick snake due to confusion regarding the API)
2025-05-24 03:43:26 +0200 <haskellbridge> <sm> by "you" do you mean me, or the generic Internet :)
2025-05-24 03:44:13 +0200 <haskellbridge> <Liamzee> I trust him, I'm forward-looking, so I'm trying to look for reasons why Haskell is still relevant when the US earmarked $500 billion (including from non-government sources) for AGI / ASI development
2025-05-24 03:45:01 +0200 <haskellbridge> <Liamzee> readability and comprehensibility, as monochrom explains, matters a lot, and code that humans can understand and make safe is now an existential necessity
2025-05-24 03:45:36 +0200 <haskellbridge> <Liamzee> of course the argument is specious as maerwald's pointed out fundamental problems in Haskell's execution model
2025-05-24 03:46:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 03:47:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:49:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 03:51:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:52:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 03:54:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 03:58:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-05-24 03:58:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 03:59:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:04:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:04:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:05:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:09:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:09:47 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:10:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 04:17:25 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:17:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:20:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:24:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:25:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:25:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 04:29:56 +0200 <monochrom> Yeah the leap from "type-safe" to "three-laws-safe" is unsubstantiated.
2025-05-24 04:30:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:31:20 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:35:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:37:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 04:38:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:40:42 +0200 <Axman6> ok, I guess things have changes a lot since I last needed to do this - how do I start a repl with a package in scope? I can't figure out how to do it with either cabal repl or ghci
2025-05-24 04:40:58 +0200 <Axman6> d*
2025-05-24 04:41:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 04:41:20 +0200 <Axman6> just want to do it in a dir without a cabal file
2025-05-24 04:41:28 +0200 <monochrom> Is it something like cabal repl -b base -b random ?
2025-05-24 04:41:52 +0200 <Axman6> urgh, I thought I tried that. I guess not
2025-05-24 04:44:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:44:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:51:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:51:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 04:51:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:52:43 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 04:57:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 04:58:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 04:58:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-05-24 05:03:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:03:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:08:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 05:08:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:09:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:10:08 +0200 <haskellbridge> <sm> generally cabal does useful things only inside cabal projects ?
2025-05-24 05:11:24 +0200 <geekosaur> `cabal install` only does useful things _outside_ cabal projects 🙂
2025-05-24 05:11:39 +0200 <haskellbridge> <sm> or so I thought.. right "cabal install", cabal scripts are some of the exceptions
2025-05-24 05:12:10 +0200 <haskellbridge> <sm> install is useful inside projects too
2025-05-24 05:12:53 +0200 <monochrom> generally, everything is not a project.
2025-05-24 05:12:56 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-05-24 05:14:17 +0200 <haskellbridge> <sm> Axman6, how about something like: cd; cabal install --lib PKG; ghci -package PKG ?
2025-05-24 05:14:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-24 05:15:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:16:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:17:36 +0200 <monochrom> Recently I ran into an instance when "cabal install --lib PKG" turns on non-default flags for PKG that are not turned on by "-b PKG" or "build-depends: PKG".
2025-05-24 05:18:26 +0200 <monochrom> Now I run "cabal repl -b PKG" then exit it then hand-edit the environment file myself.
2025-05-24 05:20:43 +0200 <monochrom> --lib is getting no love and is slowly becoming broken one bit at a time as a side effect of cabal gaining other features outside --lib but somehow --lib is affected and of course the devs want to scaremonger you into not using --lib so they are not interested in fixing it.
2025-05-24 05:22:08 +0200 <haskellbridge> <sm> well they're right I think. Glad to see the explanation when you use it at least
2025-05-24 05:22:28 +0200 <haskellbridge> <sm> I confirm "cabal install --lib random; cabal repl -b random" works, but better practice would be to add --package-env maybe
2025-05-24 05:22:54 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:23:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:23:52 +0200 <haskellbridge> <sm> removing the global environment file now before I forget
2025-05-24 05:24:12 +0200 <monochrom> I wasn't saying that --lib "didn't work". But it turns on non-default flags and suddenly time and space are wasted on downloading and building non-default dependencies because for example testing is enabled.
2025-05-24 05:24:53 +0200 <haskellbridge> <sm> and for completeness, with stack it's "stack repl --package random"
2025-05-24 05:25:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:25:38 +0200 <haskellbridge> <sm> monochrom yes, good to know; I was just confirming my theory for Axman6
2025-05-24 05:27:30 +0200aforemny_(~aforemny@2001:9e8:6cc6:bf00:652b:325:be37:9697) aforemny
2025-05-24 05:28:15 +0200 <haskellbridge> <sm> I guess it's simpler with stack because ~/.stack/global-project/stack.yaml sets one default package db & ghc version. Couldn't cabal do something more like that ?
2025-05-24 05:28:23 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-05-24 05:28:39 +0200aforemny(~aforemny@2001:9e8:6ce6:ef00:2fd7:e80c:fba:7604) (Ping timeout: 276 seconds)
2025-05-24 05:28:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:29:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:29:58 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds)
2025-05-24 05:30:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-05-24 05:34:10 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds)
2025-05-24 05:36:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-05-24 05:36:30 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:36:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:41:17 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:41:57 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-24 05:42:45 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:43:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:44:28 +0200dutchie(~dutchie@user/dutchie) (Remote host closed the connection)
2025-05-24 05:45:30 +0200dutchie(~dutchie@user/dutchie) dutchie
2025-05-24 05:45:38 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-24 05:46:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-05-24 05:49:06 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:49:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:52:38 +0200tavare(~tavare@150.129.88.189)
2025-05-24 05:52:38 +0200tavare(~tavare@150.129.88.189) (Changing host)
2025-05-24 05:52:38 +0200tavare(~tavare@user/tavare) tavare
2025-05-24 05:56:09 +0200tavare(~tavare@user/tavare) (Remote host closed the connection)
2025-05-24 05:56:34 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 05:56:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 05:57:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 05:57:49 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-05-24 05:59:43 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) HarveyPwca
2025-05-24 06:02:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-05-24 06:03:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-05-24 06:04:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:10:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:10:49 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-05-24 06:10:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:12:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:16:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:17:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:17:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-05-24 06:24:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:24:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:28:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-24 06:31:05 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-24 06:31:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-24 06:31:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich