2025/11/22

Newest at the top

2025-11-22 18:34:02 +0100haritz(~hrtz@user/haritz) haritz
2025-11-22 18:34:02 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-11-22 18:34:02 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-11-22 18:33:02 +0100kayvank(~kayvan@52-119-115-185.PUBLIC.monkeybrains.net) kayvank
2025-11-22 18:32:48 +0100kayvank(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-22 18:27:27 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 18:27:03 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection)
2025-11-22 18:26:59 +0100merijn(~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 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 18:13:49 +0100Square3(~Square@user/square) (Ping timeout: 264 seconds)
2025-11-22 18:07:14 +0100kayvank(~kayvank@52-119-115-185.PUBLIC.monkeybrains.net) kayvank
2025-11-22 18:04:29 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-11-22 18:04:13 +0100merijn(~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 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 17:56:56 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-11-22 17:53:44 +0100 <mreh> it's been a good PR week for statically typed languages
2025-11-22 17:51:27 +0100sindu(~sindu@2.148.32.207.tmi.telenormobil.no)
2025-11-22 17:49:53 +0100mreh(~matthew@host86-146-25-125.range86-146.btcentralplus.com) mreh
2025-11-22 17:47:43 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds)
2025-11-22 17:41:10 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 17:31:27 +0100Lord_of_Life_Lord_of_Life
2025-11-22 17:30:55 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds)
2025-11-22 17:30:36 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-11-22 17:30:07 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-11-22 17:25:06 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-11-22 17:23:58 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 17:19:05 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-11-22 17:15:08 +0100 <haskellbridge> <Morj> Fashell sounds like the twitter users would call a shell made by someone they don't like
2025-11-22 17:14:33 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-11-22 17:12:54 +0100 <EvanR> fashell sounds like it could be a thing
2025-11-22 17:11:55 +0100tromp(~textual@2001:1c00:3487:1b00:697a:bc7a:f580:408c)
2025-11-22 17:06:22 +0100Googulator98(~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu) (Quit: Client closed)
2025-11-22 17:05:46 +0100Googulator44(~Googulato@2a01-036d-0106-0231-f56c-45b8-e3c8-fdbd.pool6.digikabel.hu)
2025-11-22 17:04:56 +0100vardhan(~vardhan@122.172.85.166) (Ping timeout: 240 seconds)
2025-11-22 17:03:40 +0100merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)