Newest at the top
| 2026-04-22 17:56:07 +0000 | ft | (~ft@p508db287.dip0.t-ipconnect.de) ft |
| 2026-04-22 17:54:23 +0000 | <monochrom> | Yeah my thesis supervisor is like "termination is uninformative" because of that. |
| 2026-04-22 17:53:51 +0000 | <int-e> | monochrom: if it can implement the Ackermann function, is it really terminating ;) |
| 2026-04-22 17:52:49 +0000 | <monochrom> | (unless the talker actually advocates going all out for those two) |
| 2026-04-22 17:52:06 +0000 | <monochrom> | For now, IMO banning bottoms is just a lot of high-horse unpragmatic talk. |
| 2026-04-22 17:51:32 +0000 | <monochrom> | To be sure, I would be happy if someone found a third way much more ergonomic than those two. |
| 2026-04-22 17:50:50 +0000 | <monochrom> | (Belated) If one wants to ban bottoms, the only two currently widely deployed ways are System F (eg Dhall) and dependent type theory (eg Agda, Lean). |
| 2026-04-22 17:50:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2026-04-22 17:44:17 +0000 | rabbull | (~rabbull@user/rabbull) rabbull |
| 2026-04-22 17:44:04 +0000 | rabbull | (~rabbull@user/rabbull) (Quit: Ping timeout (120 seconds)) |
| 2026-04-22 17:37:11 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 268 seconds) |
| 2026-04-22 17:31:03 +0000 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) (Quit: Vision[]: i've been blurred!) |
| 2026-04-22 17:27:33 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 17:20:42 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-04-22 17:19:19 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 17:08:28 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-04-22 17:07:50 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) |
| 2026-04-22 16:52:57 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-22 16:52:35 +0000 | tnt1 | (~Thunderbi@user/tnt1) (Remote host closed the connection) |
| 2026-04-22 16:46:24 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-04-22 16:45:57 +0000 | confusedalex_ | confusedalex |
| 2026-04-22 16:45:57 +0000 | confusedalex | (~confuseda@user/confusedalex) (Ping timeout: 244 seconds) |
| 2026-04-22 16:45:12 +0000 | confusedalex_ | (~confuseda@user/confusedalex) confusedalex |
| 2026-04-22 16:41:11 +0000 | tromp | (~textual@2001:1c00:340e:2700:463:2385:89e0:6cf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-04-22 16:41:10 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-04-22 16:41:02 +0000 | bggd | (~bgg@user/bggd) (Quit: std::move) |
| 2026-04-22 16:40:45 +0000 | <gentauro> | EvanR: that sound like something Elon Musk would do … |
| 2026-04-22 16:38:26 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2026-04-22 16:38:06 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2026-04-22 16:38:02 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-22 16:35:18 +0000 | <EvanR> | has anyone ever heard of a FRP + cybernetics blog post or article or something |
| 2026-04-22 16:34:49 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) |
| 2026-04-22 16:34:30 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) kupi |
| 2026-04-22 16:34:18 +0000 | Googulator | (~Googulato@84-236-65-56.pool.digikabel.hu) (Quit: Client closed) |
| 2026-04-22 16:34:04 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2026-04-22 16:33:56 +0000 | Square2 | (~Square@user/square) Square |
| 2026-04-22 16:32:06 +0000 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2026-04-22 16:28:31 +0000 | <c_wraith> | If you try to treat it as YAML, you'll quickly discover it's not even close |
| 2026-04-22 16:27:48 +0000 | Anarchos | (~Anarchos@91-161-254-16.subs.proxad.net) Anarchos |
| 2026-04-22 16:27:48 +0000 | <c_wraith> | Think of it the other way around. YAML has a *ton* of syntactic constructs that cabal doesn't support. |
| 2026-04-22 16:27:45 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |
| 2026-04-22 16:27:10 +0000 | <gentauro> | however, I don't think YAML has `if-statements` |
| 2026-04-22 16:26:44 +0000 | <gentauro> | c_wraith: hmmmm, the syntax is very similar then |
| 2026-04-22 16:26:08 +0000 | jle` | (~jle`@2603:8001:3b00:11:f3e:9fc4:5dc4:9a6) jle` |
| 2026-04-22 16:26:00 +0000 | <c_wraith> | no |
| 2026-04-22 16:25:51 +0000 | jle` | (~jle`@2603:8001:3b00:11:4360:f9b:cc52:4598) (Ping timeout: 272 seconds) |
| 2026-04-22 16:25:22 +0000 | <gentauro> | .cabal files are YAML right? |
| 2026-04-22 16:21:26 +0000 | vgtw | (~vgtw@user/vgtw) vgtw |
| 2026-04-22 16:13:58 +0000 | puke | (~puke@user/puke) (Ping timeout: 250 seconds) |
| 2026-04-22 15:55:54 +0000 | vgtw | (~vgtw@user/vgtw) (Quit: ZNC - https://znc.in) |