2026/04/20

Newest at the top

2026-04-20 20:13:00 +0000ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2026-04-20 20:12:47 +0000Square3(~Square4@user/square) Square
2026-04-20 20:11:53 +0000 <EvanR> do you mean f = do undefined?
2026-04-20 20:11:39 +0000gmg(~user@user/gehmehgeh) gehmehgeh
2026-04-20 20:11:26 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2026-04-20 20:09:05 +0000michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2026-04-20 20:08:58 +0000jreicher(~joelr@user/jreicher) (Quit: In transit)
2026-04-20 20:08:46 +0000 <haskellbridge> <Liamzee> no, but I assume you've done this before, right? Translate spec to undefined do notation, fill out types?
2026-04-20 20:08:20 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 252 seconds)
2026-04-20 20:08:00 +0000 <EvanR> post apocalyptic even
2026-04-20 20:07:59 +0000arandombit(~arandombi@user/arandombit) arandombit
2026-04-20 20:07:43 +0000Square2(~Square@user/square) Square
2026-04-20 20:07:33 +0000Square3(~Square4@user/square) (Ping timeout: 244 seconds)
2026-04-20 20:07:32 +0000 <humasect> i'd say a language without any program/ing
2026-04-20 20:07:29 +0000 <EvanR> so a fantasy language is a subgenre of sci-fi data structure
2026-04-20 20:07:07 +0000 <EvanR> a data structure is just dumb programming language
2026-04-20 20:06:44 +0000Square2(~Square@user/square) (Remote host closed the connection)
2026-04-20 20:06:25 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-20 20:06:04 +0000 <humasect> arent they all
2026-04-20 20:05:51 +0000 <haskellbridge> <Liamzee> then translated it into do notation with undefined
2026-04-20 20:05:47 +0000Square2(~Square@user/square) Square
2026-04-20 20:05:41 +0000 <haskellbridge> <Liamzee> well, obvious answer is obvious; I designed a module, wrote up a spec
2026-04-20 20:05:29 +0000 <haskellbridge> <Liamzee> is it a good thing or a bad thing that Haskell is a fantasy language?
2026-04-20 20:04:06 +0000Eoco(~ian@128.101.131.218) Eoco
2026-04-20 20:01:57 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-20 20:00:42 +0000Lord_of_Life_Lord_of_Life
2026-04-20 19:58:21 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds)
2026-04-20 19:57:52 +0000target_i(~target_i@user/target-i/x-6023099) target_i
2026-04-20 19:57:48 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2026-04-20 19:53:30 +0000chele(~chele@user/chele) (Remote host closed the connection)
2026-04-20 19:51:01 +0000merijn(~merijn@62.45.136.136) (Ping timeout: 244 seconds)
2026-04-20 19:49:13 +0000gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2026-04-20 19:49:10 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 265 seconds)
2026-04-20 19:46:34 +0000merijn(~merijn@62.45.136.136) merijn
2026-04-20 19:45:35 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2026-04-20 19:41:43 +0000Eoco(~ian@128.101.131.218) (Ping timeout: 264 seconds)
2026-04-20 19:36:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-04-20 19:31:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-20 19:28:00 +0000Square3(~Square4@user/square) Square
2026-04-20 19:27:33 +0000humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-04-20 19:19:56 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-04-20 19:19:32 +0000kuribas(~user@2a02-1810-2825-6000-8fe3-9553-464-1f7d.ip6.access.telenet.be) (Remote host closed the connection)
2026-04-20 19:13:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-20 19:12:51 +0000spew(~spew@user/spew) spew
2026-04-20 19:11:37 +0000Digit(~user@user/digit) (Ping timeout: 248 seconds)
2026-04-20 19:10:54 +0000Digitteknohippie(~user@user/digit) Digit
2026-04-20 19:08:29 +0000havochunter(~havochunt@2a02-a467-ef2-0-f6c3-1c29-6870-3369.fixed6.kpn.net) (Remote host closed the connection)
2026-04-20 19:07:21 +0000somemathguy(~somemathg@user/somemathguy) (Ping timeout: 248 seconds)
2026-04-20 19:04:12 +0000jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-04-20 19:02:33 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)