2024/07/27

Newest at the top

2024-07-27 05:00:01 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-27 04:46:22 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2024-07-27 04:43:31 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2024-07-27 04:38:02 +0200tomku(~tomku@user/tomku)
2024-07-27 04:35:54 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-07-27 04:27:10 +0200fiberchunks(~mike@32.221.120.181) ()
2024-07-27 04:14:16 +0200td_(~td@i53870913.versanet.de)
2024-07-27 04:12:16 +0200td_(~td@i53870934.versanet.de) (Ping timeout: 252 seconds)
2024-07-27 04:11:48 +0200fiberchunks(~mike@32.221.120.181)
2024-07-27 04:08:28 +0200fiberchunks(~mike@32.221.120.181) ()
2024-07-27 04:07:29 +0200fiberchunks(~mike@32.221.120.181)
2024-07-27 04:05:14 +0200Rodney__(~Rodney@90.201.223.82) (Ping timeout: 255 seconds)
2024-07-27 04:01:53 +0200Rodney-(~Rodney@90.201.223.82)
2024-07-27 03:35:10 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2024-07-27 03:31:05 +0200bolivood(~bolivood@user/bolivood) (Ping timeout: 260 seconds)
2024-07-27 03:14:32 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-27 02:59:12 +0200 <monochrom> But going back to the original point. Stop telling beginners how to split hair about what "sieve" means.
2024-07-27 02:57:51 +0200 <monochrom> 35 years ago I liked computational number theory so much I would even go out of my way to learn the number field sieve. But today, "category theory and dependent type theory are so much easier".
2024-07-27 02:54:18 +0200 <monochrom> I have not learned the sieve of Atkin. I guess that's an implicit "not like" because the very decision to learn a million other things instead reflects what I like.
2024-07-27 02:46:39 +0200tomku(~tomku@user/tomku) (Ping timeout: 276 seconds)
2024-07-27 02:35:17 +0200califax(~califax@user/califx)
2024-07-27 02:32:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-07-27 02:31:48 +0200prolic_(~sasa@181.122.138.24) (Remote host closed the connection)
2024-07-27 02:22:02 +0200mud(~mud@user/kadoban)
2024-07-27 02:21:35 +0200mud(~mud@user/kadoban) (Remote host closed the connection)
2024-07-27 02:09:22 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-27 02:08:20 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2024-07-27 02:07:39 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2024-07-27 02:05:53 +0200Rodney__(~Rodney@90.201.223.82)
2024-07-27 02:05:12 +0200hgolden(~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection)
2024-07-27 02:03:23 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: JuanDaugherty)
2024-07-27 02:01:29 +0200ystael(~ystael@user/ystael) (Ping timeout: 255 seconds)
2024-07-27 01:59:32 +0200misterfish(~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
2024-07-27 01:55:33 +0200skyesoss(~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds)
2024-07-27 01:52:38 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 244 seconds)
2024-07-27 01:45:32 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-27 01:44:22 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 244 seconds)
2024-07-27 01:42:29 +0200prolic_(~sasa@181.122.138.24)
2024-07-27 01:40:55 +0200JuanDaugherty(~juan@user/JuanDaugherty)
2024-07-27 01:31:31 +0200szkl(uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity)
2024-07-27 01:30:40 +0200VedantT(~VedantT@2603:6000:b500:29a9:ac9a:7661:5229:f762) (Client Quit)
2024-07-27 01:29:25 +0200Rodney-(~Rodney@90.201.223.82) (Ping timeout: 248 seconds)
2024-07-27 01:26:37 +0200VedantT(~VedantT@2603:6000:b500:29a9:ac9a:7661:5229:f762)
2024-07-27 01:23:27 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-07-27 01:23:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2024-07-27 01:19:23 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-27 01:15:31 +0200 <dsal> So much better than writing out all that stuff. There are nine components to that traversal in the real code.
2024-07-27 01:14:11 +0200 <EvanR> lens poetry?
2024-07-27 01:13:34 +0200 <dsal> I ended up with partsOf (super . long . traversed . pile . of . traversed . bits) %~ zipWith updateOne someStuff
2024-07-27 01:03:06 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)