Newest at the top
| 2025-05-24 04:05:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-24 04:04:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 04:04:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:59:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:58:56 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-24 03:54:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-24 03:52:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:51:59 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:49:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-24 03:47:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:46:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 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: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: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:43:26 +0200 | <haskellbridge> | <sm> by "you" do you mean me, or the generic Internet :) |
| 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: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:42:02 +0200 | <haskellbridge> | <sm> particular software might (try to) |
| 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:41:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:40:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:39:21 +0200 | <haskellbridge> | <Liamzee> dynamically and weakly typed languages are now an existential threat >:) |
| 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:38:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 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: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: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:34:51 +0200 | img | (~img@user/img) img |
| 2025-05-24 03:34:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:34:18 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:33:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-24 03:33:32 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-24 03:32:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 245 seconds) |
| 2025-05-24 03:30:47 +0200 | anpad | (~pandeyan@user/anpad) anpad |
| 2025-05-24 03:27:24 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-05-24 03:27:14 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-24 03:27:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:26:47 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:23:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-24 03:21:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-24 03:19:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:19:30 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:18:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-24 03:12:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:11:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:07:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-24 03:05:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-24 03:05:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-05-24 03:02:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |