Newest at the top
| 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) |
| 2025-11-22 18:26:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:24:07 +0100 | <mreh> | EvanR, gmg, yes Rust |
| 2025-11-22 18:23:40 +0100 | <yushyin> | xD |
| 2025-11-22 18:23:32 +0100 | <EvanR> | sounds like they were thinking of burritos when they named it |
| 2025-11-22 18:23:09 +0100 | <EvanR> | gross |
| 2025-11-22 18:23:01 +0100 | <gmg> | Rust? |
| 2025-11-22 18:22:52 +0100 | <EvanR> | what language is unwrap |
| 2025-11-22 18:22:32 +0100 | <mreh> | I dont understand the specifics of it, but I think it was called partly to assert some variant that the type couldn't prove. Wish I had more insight. |
| 2025-11-22 18:19:30 +0100 | <mreh> | I can't find a searchable log to see if there was any discussion of it |
| 2025-11-22 18:19:06 +0100 | <mreh> | unwrap is equivalent to fromJust I suppose |
| 2025-11-22 18:19:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-11-22 18:18:37 +0100 | <glguy> | oh, ok. what was the link to static types there? |
| 2025-11-22 18:18:02 +0100 | <mreh> | (not Haskell, sorry) |
| 2025-11-22 18:17:54 +0100 | <mreh> | glguy: referring to the use of unwrap() by Cloudflare which brought down half the internet |
| 2025-11-22 18:14:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-11-22 18:13:49 +0100 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2025-11-22 18:07:14 +0100 | kayvank | (~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) kayvank |
| 2025-11-22 18:04:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-11-22 18:04:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-11-22 18:03:46 +0100 | <glguy> | why's that? |
| 2025-11-22 17:59:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |