Newest at the top
| 2025-05-08 21:04:21 +0200 | <tomsmeding> | even std::variant in C++ is a mere shade of proper sum types |
| 2025-05-08 21:04:17 +0200 | <Athas> | I was put off by Julia for some time because of their abuse of terminology, but my recent dabbling reveals it's actually a fairly nice and simple language. Fortran-ish, in a good way. |
| 2025-05-08 21:04:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-08 21:03:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-05-08 21:03:45 +0200 | <tomsmeding> | mauke: how does one do algebraic data types in C? |
| 2025-05-08 21:03:35 +0200 | <[exa]> | julia is such a love/hate trigger |
| 2025-05-08 21:03:11 +0200 | <tomsmeding> | :) |
| 2025-05-08 21:03:09 +0200 | <Athas> | Yes, exactly. I like that. |
| 2025-05-08 21:03:05 +0200 | <Athas> | "This program will not compile" is a much easier problem to deal with than "this program produces a bogus result". |
| 2025-05-08 21:03:01 +0200 | <tomsmeding> | haskell has very tame dynamic semantics |
| 2025-05-08 21:02:45 +0200 | <Athas> | I mean the dynamic semantics. I can deal with complicated type systems much better. |
| 2025-05-08 21:02:44 +0200 | <tomsmeding> | two people who did Julia today! |
| 2025-05-08 21:02:32 +0200 | <EvanR> | "obviously right" |
| 2025-05-08 21:02:21 +0200 | <EvanR> | right |
| 2025-05-08 21:02:19 +0200 | <EvanR> | luckily there's a lot you can do which is trivially rightr |
| 2025-05-08 21:02:19 +0200 | <tomsmeding> | the static semantics can get _highly_ non-trivial |
| 2025-05-08 21:02:16 +0200 | [exa] | did haskell+julia+bash |
| 2025-05-08 21:02:04 +0200 | <EvanR> | haskell can get non trivial |
| 2025-05-08 21:01:59 +0200 | <EvanR> | it's true |
| 2025-05-08 21:01:51 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-08 21:01:39 +0200 | <tomsmeding> | but if you're used to them, they make sense :) |
| 2025-05-08 21:01:25 +0200 | <tomsmeding> | I think Haskell has tricky enough semantics too, sometimes |
| 2025-05-08 21:01:00 +0200 | <Athas> | Whenever I use non-Haskell languages I end up annoyed with how complicated their semantics are (although Julia is really not so bad). |
| 2025-05-08 21:01:00 +0200 | <mauke> | but I read a bit about algebraic data types in C |
| 2025-05-08 21:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-08 21:00:39 +0200 | <tomsmeding> | EvanR: what part was about the proofs, the LLM-infused part or the other part |
| 2025-05-08 21:00:32 +0200 | <Athas> | I've done a bit of Julia and of course always Haskell. |
| 2025-05-08 21:00:22 +0200 | <mauke> | perl, sql |
| 2025-05-08 21:00:12 +0200 | <darkling> | Light duty. :) |
| 2025-05-08 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-08 20:59:59 +0200 | <darkling> | I've written about a dozen lines of bash, and installed Debian on a spare machine. |
| 2025-05-08 20:59:26 +0200 | <EvanR> | LLM infused C, for the proofs |
| 2025-05-08 20:58:20 +0200 | <tomsmeding> | what language have you been programming in today |
| 2025-05-08 20:56:25 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-08 20:52:24 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2025-05-08 20:52:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-08 20:51:33 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Ping timeout: 248 seconds) |
| 2025-05-08 20:51:27 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-08 20:50:34 +0200 | <[exa]> | evening everyone |
| 2025-05-08 20:48:05 +0200 | myme | (~myme@2a01:799:d5e:5f00:1c16:e41e:c241:8a37) myme |
| 2025-05-08 20:47:46 +0200 | myme | (~myme@2a01:799:d5e:5f00:5054:783f:d768:b894) (Ping timeout: 276 seconds) |
| 2025-05-08 20:44:02 +0200 | Guest48 | (~Guest48@104.156.111.174) (Quit: Client closed) |
| 2025-05-08 20:40:57 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-05-08 20:40:32 +0200 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) (Remote host closed the connection) |
| 2025-05-08 20:37:24 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-08 20:34:23 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f49f4d0e34d1c0f8686.dip0.t-ipconnect.de) acidjnk |
| 2025-05-08 20:34:10 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-08 20:29:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-08 20:26:35 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) (Remote host closed the connection) |
| 2025-05-08 20:26:12 +0200 | dofsyl^ | (~dofsyl@50.168.231.214) |