Newest at the top
| 2026-06-23 17:05:58 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-23 17:03:07 +0000 | nyc | (~nyc@user/nyc) nyc |
| 2026-06-23 17:02:49 +0000 | nyc | (~nyc@user/nyc) (Ping timeout: 245 seconds) |
| 2026-06-23 16:58:46 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 2026-06-23 16:58:12 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:57:49 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-23 16:56:48 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-06-23 16:54:44 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 16:54:06 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:53:43 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 16:53:35 +0000 | m2 | (~travltux@user/travltux) travltux |
| 2026-06-23 16:53:25 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 257 seconds) |
| 2026-06-23 16:51:00 +0000 | m | (~travltux@user/travltux) (Quit: WeeChat 4.7.2) |
| 2026-06-23 16:23:51 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-23 16:23:37 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 2026-06-23 16:22:01 +0000 | jreicher | (~joelr@user/jreicher) jreicher |
| 2026-06-23 16:21:35 +0000 | Guest9452 | (~joelr@user/jreicher) (Killed (niobium.libera.chat (Nickname regained by services))) |
| 2026-06-23 16:21:35 +0000 | jreicher | Guest9452 |
| 2026-06-23 16:20:21 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2026-06-23 16:18:39 +0000 | xintron | (~xintron@user/xintron) xintron |
| 2026-06-23 16:18:26 +0000 | xintron | (~xintron@user/xintron) (Quit: Lurker 1.0.3 (the truth is out there) https://lurker.chat) |
| 2026-06-23 16:17:39 +0000 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) |
| 2026-06-23 16:16:48 +0000 | aka_dude | (~aka_dude@192.71.166.120) (Quit: Gateway shutdown) |
| 2026-06-23 16:12:12 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:11:47 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-06-23 16:09:56 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-06-23 16:07:42 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2026-06-23 16:01:49 +0000 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-06-23 15:45:28 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) |
| 2026-06-23 15:44:04 +0000 | absence | (torgeihe@hildring.pvv.ntnu.no) (Ping timeout: 256 seconds) |
| 2026-06-23 15:41:09 +0000 | <jaror> | Not necessarily harder than making sure normal strict programs terminate, but that's bad too |
| 2026-06-23 15:37:47 +0000 | <jaror> | One problem is that the language has no guardrails, so you have to think very hard all the time |
| 2026-06-23 15:36:59 +0000 | <yahb2> | True |
| 2026-06-23 15:36:59 +0000 | <Leary> | % genericLength @Nat (repeat ()) >= 10 |
| 2026-06-23 15:36:30 +0000 | <jaror> | https://youtu.be/jFk1qpr1ytk |
| 2026-06-23 15:33:57 +0000 | <dutchie> | yeah i was about to say you just need data Nat = Z | S Nat |
| 2026-06-23 15:33:41 +0000 | <schuelermine> | wait isn't that what would happen if you used an inductively defined Nat type |
| 2026-06-23 15:32:56 +0000 | <schuelermine> | jaror: I wonder if you could formulate a theoretical language with a sort of ultra-laziness where "length (repeat ()) >= 10" just doesn't diverge even with the current definitions of length and repeat and >= |
| 2026-06-23 15:28:53 +0000 | <schuelermine> | practically yesterday |
| 2026-06-23 15:28:39 +0000 | <schuelermine> | I think we can all agree that’s pretty recent |
| 2026-06-23 15:23:23 +0000 | califax | (~califax@user/califx) califx |
| 2026-06-23 15:22:20 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-06-23 15:22:01 +0000 | <int-e> | https://www.haskell.org/definition/haskell98-bugs.html lists it as a December 2001 addition to the report |
| 2026-06-23 15:20:44 +0000 | <schuelermine> | oh you already got further |
| 2026-06-23 15:20:28 +0000 | <schuelermine> | im going through the git blame and I'm at a commit in 2001 rn |
| 2026-06-23 15:20:14 +0000 | <int-e> | Yeah in a sense it's always been there: https://gitlab.haskell.org/ghc/ghc/-/blob/4fb94ae5e5d632748fa2e6c35e259eccc5a1a3f4/libraries/base/… |
| 2026-06-23 15:17:29 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2026-06-23 15:17:21 +0000 | <geekosaur> | someone would have to dig pretty far back, genericLength was already in 6.0.1 |
| 2026-06-23 15:16:18 +0000 | <schuelermine> | surprised I don’t have a GHC clone already |
| 2026-06-23 15:15:25 +0000 | tromp | (~textual@2001:1c00:340e:2700:f85c:5d3d:452:a65a) |