Newest at the top
2025-10-17 22:06:56 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) fp |
2025-10-17 22:02:32 +0200 | <haskellbridge> | <slack1256> Has* |
2025-10-17 22:02:22 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uXERyEzaexCoaTxYnLuoPBUn/1MBTkuiYsZk (3 lines) |
2025-10-17 22:02:22 +0200 | <haskellbridge> | <slack1256> Bad take. Lots of people go into medicine thinking of grey's anatomy or doctor house. |
2025-10-17 22:02:02 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
2025-10-17 22:02:02 +0200 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
2025-10-17 21:57:57 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-10-17 21:56:16 +0200 | Psychotic1_ | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
2025-10-17 21:56:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2025-10-17 21:56:11 +0200 | Psychotic1 | (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
2025-10-17 21:52:40 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
2025-10-17 21:52:36 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
2025-10-17 21:51:58 +0200 | <ggVGc> | sounds accurate |
2025-10-17 21:50:59 +0200 | annamalai | (~annamalai@157.32.220.158) (Remote host closed the connection) |
2025-10-17 21:50:54 +0200 | <monochrom> | Hot take: Jobs that require licenses are precisely jobs that no one wants apart from the money. >:) |
2025-10-17 21:50:32 +0200 | <ggVGc> | but, I mean, file IO is always the issue anyway, so it's nice that in Haskell we don't ever interact with the real world and can ignore that. |
2025-10-17 21:50:21 +0200 | <monochrom> | You have still earned the license to. :) |
2025-10-17 21:49:40 +0200 | <ggVGc> | monochrom: fwiw I did learn VHDL (even took a proper university course in it), and I also don't want to micromanage the machine. |
2025-10-17 21:49:39 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2025-10-17 21:48:30 +0200 | <monochrom> | CPU isn't a real thing because it's either a social construct or a quantum wave function. |
2025-10-17 21:47:40 +0200 | <ggVGc> | the program counter isn't a real thing because your CPU microcode doesn't execute things the way you imagine anyway. |
2025-10-17 21:47:09 +0200 | pavonia | (~user@user/siracusa) siracusa |
2025-10-17 21:47:07 +0200 | <monochrom> | goto isn't a real thing because it's code for "mov foo, programCounter" |
2025-10-17 21:46:10 +0200 | <monochrom> | It's syntax sugar all the way down. |
2025-10-17 21:45:42 +0200 | <ggVGc> | goto? |
2025-10-17 21:45:35 +0200 | <ggVGc> | case isn't a real thing because it's compiled to... |
2025-10-17 21:42:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) Tuplanolla |
2025-10-17 21:40:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-10-17 21:39:16 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
2025-10-17 21:37:43 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2025-10-17 21:35:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 21:35:19 +0200 | fgidim | (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
2025-10-17 21:33:14 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-10-17 21:30:13 +0200 | <EvanR> | case x of { False -> z; _ -> y } would also work |
2025-10-17 21:24:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
2025-10-17 21:20:46 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
2025-10-17 21:20:32 +0200 | <fgidim> | there is more on page 20 https://www.haskell.org/definition/haskell2010.pdf |
2025-10-17 21:20:11 +0200 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
2025-10-17 21:17:58 +0200 | fp | (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
2025-10-17 21:17:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 21:15:44 +0200 | Digit | (~user@user/digit) Digit |
2025-10-17 21:12:05 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
2025-10-17 21:10:54 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-10-17 21:06:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
2025-10-17 21:06:01 +0200 | williu5 | (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
2025-10-17 21:05:40 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-10-17 21:04:47 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2025-10-17 21:01:56 +0200 | gustrb | (~gustrb@191.243.134.87) |
2025-10-17 21:01:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-10-17 21:00:46 +0200 | caconym7478798 | (~caconym@user/caconym) caconym |