Newest at the top
| 2025-12-23 12:01:34 +0100 | <lucabtz> | it's pretty clear bottom in this partial order is lower than anything else (hence the name i guess), but how does it work for other stuff |
| 2025-12-23 12:00:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 12:00:25 +0100 | <lucabtz> | ski: do you have more information about this, somewhere i can read or even just what to search to learn about it |
| 2025-12-23 11:59:45 +0100 | <ski> | yes, lucabtz |
| 2025-12-23 11:55:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-12-23 11:51:34 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-23 11:49:15 +0100 | Katarushisu6 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-23 11:49:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 11:42:25 +0100 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-12-23 11:40:12 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:37:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 11:33:16 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:23:34 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-23 11:23:28 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-12-23 11:22:30 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 11:22:07 +0100 | karenw | (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-12-23 11:21:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-23 11:17:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:13:31 +0100 | Tuplanolla | (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) Tuplanolla |
| 2025-12-23 11:06:37 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 11:04:55 +0100 | acidjnk | (~acidjnk@p200300d6e717199091ae1e99efbcdecd.dip0.t-ipconnect.de) acidjnk |
| 2025-12-23 11:03:14 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-12-23 11:01:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 11:01:29 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 11:00:51 +0100 | Googulator31 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:56:26 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-23 10:50:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:43:40 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:41:31 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-23 10:39:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:35:29 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 10:31:36 +0100 | tromp | (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 10:30:34 +0100 | <lucabtz> | i remember checking stuff quickly about domain theory and it was related to partial orders |
| 2025-12-23 10:30:27 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:30:12 +0100 | <lucabtz> | in the documentation of fix :: (a -> a) -> a it says that fix f is the lowest fixed point of f. i think lowest here is related to what c_wraith was once telling me about domain theory vs set theory in haskell |
| 2025-12-23 10:26:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 10:26:33 +0100 | mulk | (~mulk@pd95143a6.dip0.t-ipconnect.de) mulk |
| 2025-12-23 10:26:09 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-23 10:25:52 +0100 | Googulator86 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 10:25:45 +0100 | Googulator28 | (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:21:55 +0100 | mulk | (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-23 10:21:23 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2025-12-23 10:20:58 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 10:19:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:14:14 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-23 10:12:28 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-23 10:11:19 +0100 | trickard_ | (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 10:08:44 +0100 | trickard | (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 10:06:47 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 10:05:35 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |