Newest at the top
| 2025-11-22 19:07:17 +0100 | <mreh> | https://www.youtube.com/watch?v=re96UgMk6GQ I think it was this talk where he coined that phrase |
| 2025-11-22 19:06:40 +0100 | <monochrom> | But I agree about being hesistant to replace mature systems. Even when it's a good idea, it needs to be well planned out with multiple backup plans. |
| 2025-11-22 19:06:27 +0100 | <EvanR> | but some get to the point of "not being allowed to die" because too much code was written in them |
| 2025-11-22 19:06:12 +0100 | <EvanR> | most die before having more than 1 user |
| 2025-11-22 19:06:04 +0100 | <EvanR> | I remember one where he shows a graph of programming language lifetimes |
| 2025-11-22 19:05:04 +0100 | <mreh> | I think he makes some good points about trying to make a language with mass appeal |
| 2025-11-22 19:04:23 +0100 | <monochrom> | Actually no. |
| 2025-11-22 19:04:14 +0100 | <mreh> | monochrom: seen the "Avoid success at all costs" video from SPJ? |
| 2025-11-22 19:03:54 +0100 | <EvanR> | including haskell |
| 2025-11-22 19:03:48 +0100 | <EvanR> | in fact in helps in any language that allows bogus code |
| 2025-11-22 19:03:13 +0100 | <monochrom> | As in, you appreciate that we don't push hard for Haskell? :) |
| 2025-11-22 19:03:02 +0100 | <EvanR> | the invisible proofs thing is a thing I learned in Idris that helps in C. But in rust they think they have nothing to learn from C, and I saw that I learned from everything |
| 2025-11-22 19:02:32 +0100 | <mreh> | Makes* |
| 2025-11-22 19:02:31 +0100 | <monochrom> | https://www.vex.net/~trebla/humour/pessimisms.html enjoy :) |
| 2025-11-22 19:02:28 +0100 | <mreh> | I think pushing hard for Rust to replace mature systems has rather backfired in recent weeks. Make me appreciate this community even more. |
| 2025-11-22 19:02:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 19:01:23 +0100 | <monochrom> | It's why I'm pessimistic and cynical about humanity altogether. :) |
| 2025-11-22 19:01:11 +0100 | <mreh> | anyway, I just came to see if people had perspective in a language I understood better |
| 2025-11-22 19:01:05 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-11-22 19:00:47 +0100 | <mreh> | you make good points, but most people aren't going to see it that way |
| 2025-11-22 18:59:41 +0100 | <monochrom> | "safety", "security", "OOP" are some of the most polymorphic words people use to mean whatever they don't tell you. |
| 2025-11-22 18:58:20 +0100 | <monochrom> | They never claimed safety from partial functions. They only claimed memory safety such as from dangling pointers and double-free. |
| 2025-11-22 18:58:03 +0100 | deptype | (~deptype@2406:b400:3a:9d2f:8494:f4e8:5c4a:6a4) |
| 2025-11-22 18:57:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:56:55 +0100 | <EvanR> | but that does call into question the "safety" of rust doesn't it |
| 2025-11-22 18:55:55 +0100 | <EvanR> | which may scare small children |
| 2025-11-22 18:55:45 +0100 | <EvanR> | if you managed to encode all this with dependent types it's not invisible |
| 2025-11-22 18:55:43 +0100 | <monochrom> | I can stand with that. :) |
| 2025-11-22 18:55:13 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-11-22 18:55:03 +0100 | <EvanR> | unwrap is illegal unless you have a possibly invisible proof that it's not Nothing or whatever it is in rust |
| 2025-11-22 18:55:02 +0100 | AlexZenon | (~alzenon@94.233.240.123) |
| 2025-11-22 18:54:42 +0100 | <EvanR> | it is PR for logic |
| 2025-11-22 18:54:42 +0100 | califax | (~califax@user/califx) califx |
| 2025-11-22 18:54:21 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-11-22 18:53:43 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 2025-11-22 18:53:09 +0100 | <monochrom> | This isn't PR for static typing (Haskell can do the same thing) unless you have dependent typing in mind. |
| 2025-11-22 18:52:18 +0100 | <monochrom> | I think I remember now, Rust's equivalent of our Maybe type has an unwrap() meaning our fromJust. |
| 2025-11-22 18:49:23 +0100 | AlexZenon | (~alzenon@94.233.240.123) |
| 2025-11-22 18:46:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-11-22 18:43:23 +0100 | AlexZenon | (~alzenon@94.233.240.123) (Ping timeout: 240 seconds) |
| 2025-11-22 18:42:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:36:23 +0100 | haltingsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-11-22 18:34:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-11-22 18:33:02 +0100 | kayvank | (~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-11-22 18:32:48 +0100 | kayvank | (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) (Killed (NickServ (GHOST command used by kayvank-!~kayvan@52-119-115-185.PUBLIC.monkeybrains.net))) |
| 2025-11-22 18:31:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-22 18:27:27 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-11-22 18:27:03 +0100 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |