2025/08/18

Newest at the top

2025-08-18 21:39:03 +0200olivial(~benjaminl@user/benjaminl) (Ping timeout: 276 seconds)
2025-08-18 21:38:44 +0200trickard(~trickard@cpe-92-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 21:36:10 +0200trickard__trickard
2025-08-18 21:34:14 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Ping timeout: 260 seconds)
2025-08-18 21:32:47 +0200trickard__(~trickard@cpe-92-98-47-163.wireline.com.au)
2025-08-18 21:28:50 +0200zenstoic(uid461840@id-461840.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-08-18 21:23:13 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-18 21:22:07 +0200Astinita(~Astinita@user/Astinita) (Quit: Astinita)
2025-08-18 21:18:58 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-18 21:18:33 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Ping timeout (120 seconds))
2025-08-18 21:18:33 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-18 21:15:45 +0200Astinita(~Astinita@user/Astinita) Astinita
2025-08-18 21:14:02 +0200rselim(ce261f06ff@user/milesrout) milesrout
2025-08-18 21:13:53 +0200rselim(ce261f06ff@user/milesrout) (Server closed connection)
2025-08-18 21:06:09 +0200lxsameer(~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds)
2025-08-18 21:00:42 +0200caconym747(~caconym@user/caconym) caconym
2025-08-18 21:00:01 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-18 20:56:21 +0200trickard_(~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 +0200trickard_(~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 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-08-18 20:32:35 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-18 20:29:00 +0200akspecs(00cc8321af@sourcehut/user/akspecs) akspecs
2025-08-18 20:28:51 +0200akspecs(00cc8321af@sourcehut/user/akspecs) (Server closed connection)
2025-08-18 20:26:43 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au)
2025-08-18 20:26:29 +0200trickard_(~trickard@cpe-90-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-18 20:22:24 +0200euphores(~SASL_euph@user/euphores) euphores
2025-08-18 20:16:54 +0200davidlbowman(~dlb@user/davidlbowman) davidlbowman
2025-08-18 20:16:28 +0200euphores(~SASL_euph@user/euphores) (Quit: Leaving.)
2025-08-18 20:10:39 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-18 20:09:22 +0200kuribas(~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 +0200Tuplanolla(~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 +0200tzh(~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