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)