Logs: liberachat/#haskell
| 2025-12-23 08:49:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 08:51:43 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 08:53:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 08:53:43 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-12-23 08:57:33 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-23 08:58:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 09:01:22 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2025-12-23 09:01:44 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-23 09:03:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 09:03:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 09:05:20 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 09:05:35 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 09:06:47 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-12-23 09:08:44 | × | trickard quits (~trickard@cpe-80-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-23 09:11:19 | → | trickard_ joins (~trickard@cpe-80-98-47-163.wireline.com.au) |
| 2025-12-23 09:12:28 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2025-12-23 09:14:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 09:19:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 09:20:58 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-23 09:21:23 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-23 09:21:55 | × | mulk quits (~mulk@p5b1127bf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-12-23 09:25:45 | → | Googulator28 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 09:25:52 | × | Googulator86 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 09:26:09 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 260 seconds) |
| 2025-12-23 09:26:33 | → | mulk joins (~mulk@pd95143a6.dip0.t-ipconnect.de) |
| 2025-12-23 09:26:56 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 09:30:12 | <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 09:30:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 09:30:34 | <lucabtz> | i remember checking stuff quickly about domain theory and it was related to partial orders |
| 2025-12-23 09:31:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:7dcc:b6c2:83dc:ef69) |
| 2025-12-23 09:35:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 09:39:59 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-23 09:41:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 2025-12-23 09:43:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 09:50:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 09:56:26 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-12-23 10:00:51 | → | Googulator31 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 10:01:29 | × | Googulator28 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 10:01:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 10:03:14 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2025-12-23 10:04:55 | → | acidjnk joins (~acidjnk@p200300d6e717199091ae1e99efbcdecd.dip0.t-ipconnect.de) |
| 2025-12-23 10:06:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 10:13:31 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 2025-12-23 10:17:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 10:21:25 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2025-12-23 10:22:07 | × | karenw quits (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-12-23 10:22:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 10:23:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-23 10:23:34 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-23 10:33:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 10:37:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:40:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 10:42:25 | × | Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2025-12-23 10:49:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-23 10:49:15 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-23 10:51:34 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-23 10:55:35 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-12-23 10:59:45 | <ski> | yes, lucabtz |
| 2025-12-23 11:00:25 | <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:00:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 11:01:34 | <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 11:02:43 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-12-23 11:05:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 11:07:34 | → | xff0x joins (~xff0x@2405:6580:b080:900:c301:8873:661e:4742) |
| 2025-12-23 11:16:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 11:21:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-23 11:23:29 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 2025-12-23 11:31:56 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2025-12-23 11:32:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 11:36:13 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-12-23 11:36:51 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 11:38:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-12-23 11:45:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 11:50:42 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-12-23 11:51:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 11:53:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 2025-12-23 11:53:35 | ljdarj1 | is now known as ljdarj |
| 2025-12-23 12:01:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 12:06:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-23 12:07:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 2025-12-23 12:13:49 | × | Katarushisu6 quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2025-12-23 12:15:53 | → | Googulator53 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-23 12:15:54 | × | Googulator31 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-23 12:17:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 12:18:14 | → | DetourNetworkUK joins (DetourNetw@user/DetourNetworkUK) |
| 2025-12-23 12:19:07 | → | shaeto joins (~Shaeto@94.25.234.244) |
| 2025-12-23 12:22:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-23 12:25:15 | → | Katarushisu6 joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2025-12-23 12:25:29 | × | shaeto quits (~Shaeto@94.25.234.244) (Quit: WeeChat 4.1.1) |
| 2025-12-23 12:27:36 | → | FloorCalc joins (~user@user/FloorCalc) |
| 2025-12-23 12:27:54 | → | shaeto joins (~Shaeto@94.25.234.244) |
| 2025-12-23 12:28:28 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-12-23 12:33:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-23 12:33:31 | × | synchromesh quits (~john@2406:5a00:2412:2c00:1031:6e9d:4234:64a3) (Read error: Connection reset by peer) |
| 2025-12-23 12:35:34 | → | synchromesh joins (~john@2406:5a00:2412:2c00:f9fc:b4ea:5c3c:255e) |
| 2025-12-23 12:35:59 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2025-12-23 12:36:50 | × | lucabtz quits (~lucabtz@user/lucabtz) (Ping timeout: 244 seconds) |
| 2025-12-23 12:36:57 | → | lucabtz_ joins (~lucabtz@user/lucabtz) |
| 2025-12-23 12:38:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-23 12:41:49 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
All times are in UTC.