Logs: liberachat/#haskell
| 2025-10-17 19:00:05 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-17 19:00:46 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-17 19:01:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 19:01:56 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-17 19:04:47 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-17 19:05:40 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 2025-10-17 19:06:01 | × | williu5 quits (~williu5@user/williu5) (Quit: WeeChat 4.1.1) |
| 2025-10-17 19:06:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 19:10:54 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-10-17 19:12:05 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 2025-10-17 19:15:44 | → | Digit joins (~user@user/digit) |
| 2025-10-17 19:17:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 19:17:58 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Quit: fp) |
| 2025-10-17 19:20:11 | → | fp joins (~Thunderbi@89-27-10-140.bb.dnainternet.fi) |
| 2025-10-17 19:20:32 | <fgidim> | there is more on page 20 https://www.haskell.org/definition/haskell2010.pdf |
| 2025-10-17 19:20:46 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Client Quit) |
| 2025-10-17 19:24:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-17 19:30:13 | <EvanR> | case x of { False -> z; _ -> y } would also work |
| 2025-10-17 19:33:14 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-10-17 19:35:19 | × | fgidim quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-10-17 19:35:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 19:37:43 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-10-17 19:39:16 | × | michalz quits (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2025-10-17 19:40:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-17 19:42:07 | → | Tuplanolla joins (~Tuplanoll@91-159-187-167.elisa-laajakaista.fi) |
| 2025-10-17 19:45:35 | <ggVGc> | case isn't a real thing because it's compiled to... |
| 2025-10-17 19:45:42 | <ggVGc> | goto? |
| 2025-10-17 19:46:10 | <monochrom> | It's syntax sugar all the way down. |
| 2025-10-17 19:47:07 | <monochrom> | goto isn't a real thing because it's code for "mov foo, programCounter" |
| 2025-10-17 19:47:09 | → | pavonia joins (~user@user/siracusa) |
| 2025-10-17 19:47:40 | <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 19:48:30 | <monochrom> | CPU isn't a real thing because it's either a social construct or a quantum wave function. |
| 2025-10-17 19:49:39 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-10-17 19:49:40 | <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 19:50:21 | <monochrom> | You have still earned the license to. :) |
| 2025-10-17 19:50:32 | <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 19:50:54 | <monochrom> | Hot take: Jobs that require licenses are precisely jobs that no one wants apart from the money. >:) |
| 2025-10-17 19:50:59 | × | annamalai quits (~annamalai@157.32.220.158) (Remote host closed the connection) |
| 2025-10-17 19:51:58 | <ggVGc> | sounds accurate |
| 2025-10-17 19:52:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-10-17 19:52:40 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 246 seconds) |
| 2025-10-17 19:56:11 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 19:56:12 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-10-17 19:56:16 | → | Psychotic1_ joins (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) |
| 2025-10-17 19:57:57 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2025-10-17 20:02:02 | × | Psychotic1_ quits (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
| 2025-10-17 20:02:02 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:3c52:59c1:7460:7ab1) (Read error: Connection reset by peer) |
| 2025-10-17 20:02:22 | <haskellbridge> | <slack1256> Bad take. Lots of people go into medicine thinking of grey's anatomy or doctor house. |
| 2025-10-17 20:02:22 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/uXERyEzaexCoaTxYnLuoPBUn/1MBTkuiYsZk (3 lines) |
| 2025-10-17 20:02:32 | <haskellbridge> | <slack1256> Has* |
| 2025-10-17 20:06:56 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-10-17 20:07:35 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc) |
| 2025-10-17 20:09:07 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 246 seconds) |
| 2025-10-17 20:10:41 | × | Googulator quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:10:43 | → | Googulator37 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:20:30 | × | fp quits (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) (Remote host closed the connection) |
| 2025-10-17 20:24:40 | → | Unicorn_Princes- joins (~Unicorn_P@89.143.18.181) |
| 2025-10-17 20:27:28 | <[exa]> | ski: if I got it right, the "case" match is more committed there than the guard? |
| 2025-10-17 20:29:29 | <[exa]> | no wait that makes no sense :D |
| 2025-10-17 20:30:35 | × | Googulator37 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:30:41 | → | Googulator47 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:32:07 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 20:36:36 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-17 20:42:02 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:4878:6537:6fa3:5fbc) (Ping timeout: 248 seconds) |
| 2025-10-17 20:46:35 | × | Inline quits (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2025-10-17 20:50:39 | → | Googulator8 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 20:50:42 | × | Googulator47 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 20:53:08 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-17 20:53:12 | × | bggd quits (~bgg@2a01:e0a:819:1510:8541:de44:31ff:4da2) (Remote host closed the connection) |
| 2025-10-17 20:59:35 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:00:00 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 272 seconds) |
| 2025-10-17 21:00:41 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Remote host closed the connection) |
| 2025-10-17 21:00:41 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2025-10-17 21:02:08 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-17 21:02:16 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 21:03:02 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:04:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 21:06:20 | → | Inline joins (~inlinE@ip-178-202-059-161.um47.pools.vodafone-ip.de) |
| 2025-10-17 21:08:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-17 21:10:18 | × | wbrawner quits (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 248 seconds) |
| 2025-10-17 21:10:27 | → | wbrawner joins (~wbrawner@static.56.224.132.142.clients.your-server.de) |
| 2025-10-17 21:10:37 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-17 21:10:52 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-17 21:11:08 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2025-10-17 21:11:24 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-17 21:15:44 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-17 21:15:44 | × | Googulator8 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-17 21:16:08 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Client Quit) |
| 2025-10-17 21:16:25 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-10-17 21:19:07 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Ping timeout: 246 seconds) |
| 2025-10-17 21:20:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 21:23:03 | × | AlexNoo quits (~AlexNoo@85.174.180.124) (Quit: Leaving) |
| 2025-10-17 21:23:53 | × | AlexZenon quits (~alzenon@85.174.180.124) (Quit: ;-) |
| 2025-10-17 21:23:56 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-17 21:24:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-17 21:26:14 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-10-17 21:26:37 | → | Psychotic1 joins (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) |
| 2025-10-17 21:34:08 | × | Psychotic1 quits (~Psychotic@2600:1007:b03e:2f77:90f6:3288:b1cb:e35a) (Quit: Leaving) |
| 2025-10-17 21:35:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-17 21:37:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
All times are in UTC.