Newest at the top
2025-08-18 21:39:03 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 276 seconds) |
2025-08-18 21:38:44 +0200 | trickard | (~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-18 21:36:10 +0200 | trickard__ | trickard |
2025-08-18 21:34:14 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
2025-08-18 21:32:47 +0200 | trickard__ | (~trickard@cpe-92-98-47-163.wireline.com.au) |
2025-08-18 21:28:50 +0200 | zenstoic | (uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-18 21:23:13 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-18 21:22:07 +0200 | Astinita | (~Astinita@user/Astinita) (Quit: Astinita) |
2025-08-18 21:18:58 +0200 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery |
2025-08-18 21:18:33 +0200 | JamesMowery17736 | (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds)) |
2025-08-18 21:18:33 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-18 21:15:45 +0200 | Astinita | (~Astinita@user/Astinita) Astinita |
2025-08-18 21:14:02 +0200 | rselim | (ce261f06ff@user/milesrout) milesrout |
2025-08-18 21:13:53 +0200 | rselim | (ce261f06ff@user/milesrout) (Server closed connection) |
2025-08-18 21:06:09 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2025-08-18 21:00:42 +0200 | caconym747 | (~caconym@user/caconym) caconym |
2025-08-18 21:00:01 +0200 | caconym747 | (~caconym@user/caconym) (Quit: bye) |
2025-08-18 20:56:21 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-18 20:56:15 +0200 | <mauke> | never mind. not evil enough |
2025-08-18 20:56:07 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
2025-08-18 20:55:53 +0200 | <mauke> | oh, that's exactly what ncf said |
2025-08-18 20:55:36 +0200 | <mauke> | insertWith (const succ) k 0 |
2025-08-18 20:54:16 +0200 | <mauke> | ooh, I feel evil coming up. sec ... |
2025-08-18 20:50:51 +0200 | <dolio> | If you start at 1 in Haskell, you can do `insertWith (+) k 1` |
2025-08-18 20:50:23 +0200 | <dolio> | Okay. I was prepared to be surprised. |
2025-08-18 20:49:40 +0200 | <mauke> | but you can probably compensate for that on the reading end :-) |
2025-08-18 20:49:22 +0200 | <mauke> | dolio: oh, hmm. no, it increments from non-existence to 1 |
2025-08-18 20:44:40 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-08-18 20:32:35 +0200 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
2025-08-18 20:29:00 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
2025-08-18 20:28:51 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Server closed connection) |
2025-08-18 20:26:43 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) |
2025-08-18 20:26:29 +0200 | trickard_ | (~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-18 20:22:24 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
2025-08-18 20:16:54 +0200 | davidlbowman | (~dlb@user/davidlbowman) davidlbowman |
2025-08-18 20:16:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2025-08-18 20:10:39 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-18 20:09:22 +0200 | kuribas | (~user@ptr-17d51eocpbkc495rgmi.18120a2.ip6.access.telenet.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
2025-08-18 20:09:00 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-08-18 20:07:24 +0200 | <EvanR> | dirty dirty haskell code |
2025-08-18 20:06:55 +0200 | <monochrom> | I'm actually annoyed that it was not "maybe 1 succ". |
2025-08-18 20:06:49 +0200 | <kuribas> | (\_new old -> succ old) |
2025-08-18 20:06:28 +0200 | <dolio> | mauke: ++ puts 0 in if it's not already in there? |
2025-08-18 20:06:19 +0200 | <kuribas> | (const succ) is rather obfuscated. |
2025-08-18 20:05:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-08-18 19:59:27 +0200 | <ncf> | er, swap 0 and k |
2025-08-18 19:59:20 +0200 | <DavidSch__> | you're right, just spotted it too, thanks! |
2025-08-18 19:58:56 +0200 | <mauke> | i.e. you'd have to install the package first |
2025-08-18 19:58:44 +0200 | <mauke> | DavidSch__: on the preceding page, "Sieve of Eratosthenes, using [data-ordlist] package:" |
2025-08-18 19:58:28 +0200 | <ncf> | not sure about more elegant, but insertWith (const succ) 0 k m |