Logs: liberachat/#haskell
| 2026-01-02 21:21:43 | <monochrom> | OK, but I will hide behind "I am skeptical until I see a language that does that". :) |
| 2026-01-02 21:22:46 | <geekosaur> | someone somewhere's done it, I'm sure |
| 2026-01-02 21:23:59 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:24:41 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:26:26 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-02 21:30:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 21:31:55 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:33:19 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:35:00 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-01-02 21:35:06 | → | acidjnk joins (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) |
| 2026-01-02 21:35:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 21:35:29 | × | ttybitnik quits (~ttybitnik@user/wolper) (Ping timeout: 260 seconds) |
| 2026-01-02 21:36:24 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:36:50 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-01-02 21:37:42 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:43:49 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:45:02 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:45:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 2026-01-02 21:45:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 21:48:12 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:49:27 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 21:50:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 21:53:47 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 21:55:00 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:01:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 22:01:49 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2026-01-02 22:04:03 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 22:04:06 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-02 22:04:43 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-02 22:05:06 | × | iqubic quits (~sophia@2601:602:9203:1660:c40f:f996:91cc:d34) (Remote host closed the connection) |
| 2026-01-02 22:06:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 22:12:16 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 2026-01-02 22:12:20 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-02 22:13:59 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 22:15:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 22:16:42 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 256 seconds) |
| 2026-01-02 22:22:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-02 22:24:09 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-02 22:29:08 | → | Motok joins (~moto@user/Motok) |
| 2026-01-02 22:33:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 22:37:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:39:37 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-02 22:43:43 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-02 22:49:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 22:50:59 | → | aetepe joins (~aetepe@188.119.58.52) |
| 2026-01-02 22:53:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-02 22:55:49 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 264 seconds) |
| 2026-01-02 22:57:00 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 2026-01-02 22:57:05 | × | Motok quits (~moto@user/Motok) (Quit: Konversation terminated!) |
| 2026-01-02 22:57:58 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-02 22:59:19 | × | jle` quits (~jle`@2603:8001:3b00:11:cdfa:561d:b734:3c69) (Quit: WeeChat 4.7.1) |
| 2026-01-02 22:59:41 | → | jle` joins (~jle`@2603:8001:3b00:11::1156) |
| 2026-01-02 22:59:42 | → | califax joins (~califax@user/califx) |
| 2026-01-02 23:03:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-02 23:04:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-02 23:07:00 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-02 23:11:23 | × | Milan_Vanca quits (~milan@user/Milan-Vanca:32634) (Quit: WeeChat 4.5.2) |
| 2026-01-02 23:16:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 23:21:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-02 23:28:06 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2026-01-02 23:32:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 23:37:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-02 23:38:48 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-02 23:39:50 | <yin> | huge tangent but I just reminded myself of someone using sleep to efficiently sort a list of ints |
| 2026-01-02 23:40:13 | <geekosaur> | snerk |
| 2026-01-02 23:42:55 | <yin> | apparently they call it sleep sort now |
| 2026-01-02 23:43:11 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2026-01-02 23:44:09 | → | califax joins (~califax@user/califx) |
| 2026-01-02 23:44:54 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 244 seconds) |
| 2026-01-02 23:47:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-02 23:48:15 | × | litharge quits (litharge@libera/bot/litharge) (Remote host closed the connection) |
| 2026-01-02 23:48:24 | → | litharge joins (litharge@libera/bot/litharge) |
| 2026-01-02 23:52:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-02 23:56:35 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 252 seconds) |
| 2026-01-02 23:57:12 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2026-01-03 00:03:28 | × | vulpine quits (xfnw@user/meow/xfnw) (Quit: Connection reset by purr) |
| 2026-01-03 00:03:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 00:04:40 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 2026-01-03 00:10:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 00:16:58 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-03 00:17:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 00:21:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 00:32:34 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 00:32:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 00:32:58 | <monochrom> | Does it mean that if the list to be sorted is [n] then it will sleep for n units of time? So Ω(n) time for sorting a singleton list? That's efficient? |
| 2026-01-03 00:35:05 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-01-03 00:36:01 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-01-03 00:36:35 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-03 00:37:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 00:37:43 | <geekosaur> | for a specific definitoon of "efficient" 🙂 |
| 2026-01-03 00:48:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 00:51:02 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 00:51:43 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 00:53:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-03 01:04:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 01:04:58 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 01:05:39 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 01:07:35 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 01:08:36 | → | omidmash3 joins (~omidmash@user/omidmash) |
| 2026-01-03 01:09:36 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
All times are in UTC.