Logs: liberachat/#haskell
| 2026-01-03 01:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 01:10:34 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 2026-01-03 01:10:34 | omidmash3 | is now known as omidmash |
| 2026-01-03 01:11:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 01:12:37 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Ping timeout: 264 seconds) |
| 2026-01-03 01:14:36 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 01:20:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 01:21:48 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-03 01:24:39 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-01-03 01:25:00 | → | divlamir joins (~divlamir@user/divlamir) |
| 2026-01-03 01:27:44 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 01:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 01:29:09 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 01:29:21 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 2026-01-03 01:36:34 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 01:38:23 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 01:39:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 01:42:31 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 2026-01-03 01:43:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 01:44:46 | × | acidjnk quits (~acidjnk@p200300d6e7171974ecdc66dbb7a91ed3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2026-01-03 01:51:47 | <epitron> | You can speed it up by a factor of 1000 by only sleeping for 1ms |
| 2026-01-03 01:52:02 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 01:52:38 | <epitron> | Also its runtime is the largest value in the list, not the list size |
| 2026-01-03 01:52:58 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 01:53:10 | epitron | sleep sort expert |
| 2026-01-03 01:54:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 01:56:09 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-03 01:59:20 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 01:59:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 02:02:08 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 02:04:44 | <monochrom> | > 2^64 / 1000 / 86400 |
| 2026-01-03 02:04:51 | <monochrom> | % 2^64 / 1000 / 86400 |
| 2026-01-03 02:04:51 | <yahb2> | 2.135039823346013e11 |
| 2026-01-03 02:04:55 | <monochrom> | That's 2 days. |
| 2026-01-03 02:05:35 | <monochrom> | It means that if I sort a list of just a few 64-bit numbers I'm already waiting 2 days. |
| 2026-01-03 02:08:00 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 02:08:16 | <monochrom> | OTOH if the list has 1,000,000 numbers, we are spawning 1,000,000 threads. At that point the OS overhead of spawning so many threads becomes unbearable; and even if you find a way to tolerate it, the huge uncertainty that some threads start counting early, some others start count late, means that your sleep time cannot be as short as 1ms. |
| 2026-01-03 02:09:01 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 02:10:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 02:14:11 | <monochrom> | Once again the fallacy of seeing O/Θ/Ω("n") and thinking "I only see 'n', so linear time, and if I can easily make a 1000x speedup then it's fast", forgetting that really n = 2^k where k is the number of input bits, so you're looking at exponential time, at which point a 1000x speedup fails to catch up. |
| 2026-01-03 02:14:21 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 02:15:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 02:15:36 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-03 02:15:43 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 02:18:16 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 02:18:49 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-03 02:19:29 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-03 02:21:28 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-03 02:26:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 02:26:35 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2026-01-03 02:27:35 | jmcantrell_ | is now known as jmcantrell |
| 2026-01-03 02:28:52 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-03 02:31:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 02:42:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 02:47:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-03 02:55:15 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 02:57:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 03:02:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 03:09:49 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-03 03:10:48 | → | aetepe joins (~aetepe@188.119.58.52) |
| 2026-01-03 03:11:53 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-03 03:15:04 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-03 03:57:00 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-03 04:06:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-03 04:09:40 | × | crazazy quits (crazazy@tilde.town) (Ping timeout: 255 seconds) |
| 2026-01-03 04:22:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 2026-01-03 04:26:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 04:33:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 04:39:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 2026-01-03 04:44:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 04:50:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 04:54:22 | → | crazazy joins (~crazazy@tilde.town) |
| 2026-01-03 05:00:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 05:02:57 | × | crazazy quits (~crazazy@tilde.town) (Ping timeout: 252 seconds) |
| 2026-01-03 05:05:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 05:16:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 05:17:45 | → | aetepe joins (~aetepe@188.119.58.52) |
| 2026-01-03 05:21:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-03 05:22:07 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 246 seconds) |
| 2026-01-03 05:32:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 05:36:33 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 2026-01-03 05:37:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 05:48:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 05:52:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 06:03:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 06:05:52 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 2026-01-03 06:08:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 06:19:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 06:24:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 06:25:25 | → | crazazy joins (crazazy@tilde.town) |
| 2026-01-03 06:30:54 | × | crazazy quits (crazazy@tilde.town) (Ping timeout: 244 seconds) |
| 2026-01-03 06:34:52 | → | mmohammadi9812 joins (~mohammad@46.236.253.29) |
| 2026-01-03 06:35:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 06:40:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-03 06:40:33 | × | mmohammadi9812 quits (~mohammad@46.236.253.29) (Remote host closed the connection) |
| 2026-01-03 06:51:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 06:55:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 07:01:32 | × | poscat quits (~poscat@user/poscat) (Remote host closed the connection) |
| 2026-01-03 07:01:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 07:04:48 | → | poscat joins (~poscat@user/poscat) |
All times are in UTC.