Newest at the top
| 2026-06-24 08:38:51 +0000 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-06-24 08:38:42 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-06-24 08:36:00 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2026-06-24 08:33:45 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:2d84:fcb7:d7c5:d3f5) (Ping timeout: 248 seconds) |
| 2026-06-24 08:31:49 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-24 08:27:42 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-24 08:24:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-24 08:20:44 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2026-06-24 08:17:37 +0000 | berke93 | (~default@user/berke93) berke93 |
| 2026-06-24 08:07:09 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-24 08:02:32 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-06-24 08:02:05 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-06-24 07:21:55 +0000 | tromp | (~textual@2001:1c00:340e:2700:e1be:7d8f:de85:da97) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-06-24 07:16:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-24 07:11:31 +0000 | <Leary> | monochrom: Don't bother proving /asymptotic/ complexity either. Almost every such proof hides a more precise characterisation of the relationship between arguments and costs in the finite domain we actually care about. |
| 2026-06-24 07:08:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-24 07:06:38 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 268 seconds) |
| 2026-06-24 07:04:50 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 248 seconds) |
| 2026-06-24 07:02:59 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-24 07:01:02 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-24 07:00:59 +0000 | dextaa | (~DV@user/dextaa) dextaa |
| 2026-06-24 06:59:52 +0000 | dextaa | (~DV@user/dextaa) (Quit: Leaving) |
| 2026-06-24 06:57:33 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-06-24 06:57:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-24 06:54:46 +0000 | gentauro | oh, if the man himself states otherwise (Edwin Brady) -> https://cs.stackexchange.com/a/23916 then I'm mistaken |
| 2026-06-24 06:54:12 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-06-24 06:53:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-24 06:52:56 +0000 | <gentauro> | dolio: hmmm. For example, Idris type-checker only works on total functions right (functions that are guaranteed to terminate)? |
| 2026-06-24 06:51:41 +0000 | olivial | (~benjaminl@user/benjaminl) (Remote host closed the connection) |
| 2026-06-24 06:51:15 +0000 | machinedgod | (~machinedg@d108-173-95-19.abhsia.telus.net) machinedgod |
| 2026-06-24 06:49:57 +0000 | jreicher | (~joelr@user/jreicher) (Quit: In transit) |
| 2026-06-24 06:47:20 +0000 | <dolio> | That's not what they do. |
| 2026-06-24 06:46:52 +0000 | <gentauro> | dolio: in the sense that total programming languages has the guarantee that ALL programs will halt. |
| 2026-06-24 06:42:12 +0000 | czan | (~czan@user/mange) (Remote host closed the connection) |
| 2026-06-24 06:41:28 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-24 06:39:20 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-06-24 06:39:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-06-24 06:36:04 +0000 | CiaoSen | (~Jura@2a02:3100:6377:1d00:4e50:ddff:fe9b:8922) CiaoSen |
| 2026-06-24 06:34:59 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-24 06:34:46 +0000 | <dolio> | It just isn't necessarily the case that there is an equivalent function `T -> U`. |
| 2026-06-24 06:34:01 +0000 | <dolio> | You can have a monad that allows you to write partial functions from T to U as `T -> M U`, say. And as long as that can embed into whatever `main` runs, your programs are not really limited. |
| 2026-06-24 06:32:10 +0000 | tromp | (~textual@2001:1c00:340e:2700:e1be:7d8f:de85:da97) |
| 2026-06-24 06:31:21 +0000 | divya | (divya@140.238.251.170) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2026-06-24 06:30:11 +0000 | <dolio> | Whether it's Turing complete depends on what you mean by that. |
| 2026-06-24 06:28:36 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2026-06-24 06:24:18 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 248 seconds) |
| 2026-06-24 06:19:36 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-06-24 06:19:34 +0000 | puke | (~puke@user/puke) puke |
| 2026-06-24 06:18:35 +0000 | <gentauro> | hehe |
| 2026-06-24 06:18:32 +0000 | <gentauro> | so Haskell lives on the shoulders of OCaml? https://github.com/nrnrnr/qc-- (nice) |