Newest at the top
| 2025-03-30 04:50:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-30 04:43:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 04:37:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-30 04:35:13 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-03-30 04:33:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-30 04:33:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-30 04:28:43 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 245 seconds) |
| 2025-03-30 04:27:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-30 04:15:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-30 04:15:08 +0200 | <EvanR> | I will gratefully deposit 0x$1.00 ($2.56) to the account of the first person who finds and reports anything that remains technically, historically, typographically, or politically incorrect. -- knuth |
| 2025-03-30 04:13:30 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-30 04:13:11 +0200 | <JuanDaugherty> | (and credit where credit due to Conway) |
| 2025-03-30 04:12:51 +0200 | <JuanDaugherty> | https://en.wikipedia.org/wiki/Surreal_number confirmed |
| 2025-03-30 04:11:44 +0200 | <JuanDaugherty> | issat knuth's? |
| 2025-03-30 04:07:23 +0200 | <EvanR> | data Surreal = Cut (Tree Surreal) (Tree Surreal) |
| 2025-03-30 04:05:47 +0200 | roconnor | (~quassel@rocq/roconnor) roconnor |
| 2025-03-30 04:05:35 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-03-30 04:05:15 +0200 | roconnor | (~quassel@rocq/roconnor) (Ping timeout: 252 seconds) |
| 2025-03-30 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-03-30 04:02:18 +0200 | <EvanR> | data Real = Rat Rat | Lim (Rat -> Real) |
| 2025-03-30 04:01:46 +0200 | <geekosaur> | I was going to say you got that backwards, but in hindsight I guess it depends on how you interpret that name |
| 2025-03-30 04:00:40 +0200 | <EvanR> | data Rat = Over { numer :: Int, denomMinusOne :: Nat } |
| 2025-03-30 03:59:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-30 03:56:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-03-30 03:52:58 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f5684d81f92e812b9d0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-03-30 03:51:53 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-03-30 03:51:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-03-30 03:50:48 +0200 | <EvanR> | data Int = Nat :- Nat |
| 2025-03-30 03:49:10 +0200 | <haskellbridge> | <thirdofmay18081814goya> right |
| 2025-03-30 03:49:03 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-03-30 03:49:01 +0200 | <EvanR> | ignoring bottoms |
| 2025-03-30 03:48:18 +0200 | <EvanR> | thirdofmay18081814goya, data Nat = Z | S !Nat |
| 2025-03-30 03:47:08 +0200 | roconnor | (~quassel@rocq/roconnor) roconnor |
| 2025-03-30 03:46:27 +0200 | roconnor | (~quassel@rocq/roconnor) (Ping timeout: 246 seconds) |
| 2025-03-30 03:38:24 +0200 | toby-bro | (~toby-bro@user/toby-bro) (Ping timeout: 272 seconds) |
| 2025-03-30 03:32:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-03-30 03:26:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2025-03-30 03:25:46 +0200 | <haskellbridge> | <jv> 'd |
| 2025-03-30 03:21:35 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-03-30 03:18:01 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-30 03:13:11 +0200 | hattckory | (~hattckory@70.27.118.207) |
| 2025-03-30 03:12:28 +0200 | <geekosaur> | well, arguably so are uncountably infinite ones, at least as results 🙂 |
| 2025-03-30 03:12:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-03-30 03:11:51 +0200 | <geekosaur> | (only a slight overstatement) |
| 2025-03-30 03:11:28 +0200 | <geekosaur> | heh. let's put it this way: countably infinite Gödel numbers are considered a feature for their use case |
| 2025-03-30 03:07:53 +0200 | <haskellbridge> | <thirdofmay18081814goya> will do, thanks a lot for the reference. am literally looking for anything that works lol |
| 2025-03-30 03:07:23 +0200 | <monochrom> | Sure, if module names are still unambiguous like 20 years ago. |
| 2025-03-30 03:06:42 +0200 | <haskellbridge> | <thirdofmay18081814goya> "Data.Binary" that is? |
| 2025-03-30 03:06:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2025-03-30 03:06:13 +0200 | <monochrom> | You should look at the binary package and what it does to "instance Binary (Tree e)" |