| 2024-07-27 00:04:35 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds) |
| 2024-07-27 00:04:48 +0200 | prolic_ | (~sasa@181.122.138.24) (Ping timeout: 276 seconds) |
| 2024-07-27 00:05:50 +0200 | <Inst> | no one likes sieve of atkin here? |
| 2024-07-27 00:09:52 +0200 | paddymahoney | (~paddymaho@pool-99-250-30-88.cpe.net.cable.rogers.com) |
| 2024-07-27 00:11:35 +0200 | <glguy> | slack1256: a name is a single thing. One type applied to another isn't a name but would be a Type. What does deriveFromJSON expect? |
| 2024-07-27 00:12:10 +0200 | foul_owl | (~kerry@174-21-147-232.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2024-07-27 00:12:58 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-27 00:15:01 +0200 | <Inst> | i'm still reading the paper but it looks like it's actually much more condusive to FP than eratosthenes |
| 2024-07-27 00:19:14 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-07-27 00:21:54 +0200 | CiaoSen | (~Jura@2a05:5800:2ef:3300:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-27 00:24:13 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-27 00:26:34 +0200 | foul_owl | (~kerry@185.216.231.180) |
| 2024-07-27 00:26:35 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-27 00:32:53 +0200 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Ping timeout: 248 seconds) |
| 2024-07-27 00:43:03 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-27 00:45:12 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb67cc718b9c5fdaa04e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-07-27 00:46:48 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-27 00:51:19 +0200 | jerg | (~jerg@2001:a61:247a:4700::bb0) (Ping timeout: 252 seconds) |
| 2024-07-27 00:52:48 +0200 | <dsal> | Is there a way to do a sort of stateful update of values identified by a traversal? |
| 2024-07-27 00:53:20 +0200 | <dsal> | I've got a fairly complicated nested structure and want to be able to replace a particular field quite deep down. I've got a list of unique values I'd like to apply, but I'm not sure how to thread them through. |
| 2024-07-27 00:54:01 +0200 | <dsal> | I could do this without lens, but it seems like a pretty straightforward use case I'd like to avoid writing a bunch of code to do. |
| 2024-07-27 01:01:34 +0200 | <jackdk> | dsal: https://hackage.haskell.org/package/lens-5.3.2/docs/Control-Lens-Traversal.html#v:partsOf ? |
| 2024-07-27 01:02:21 +0200 | <dsal> | Yes, this looks like it might be the shape I was looking for. Thanks! |
| 2024-07-27 01:03:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 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:14:11 +0200 | <EvanR> | lens poetry? |
| 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:19:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-27 01:23:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-27 01:23:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-27 01:26:37 +0200 | VedantT | (~VedantT@2603:6000:b500:29a9:ac9a:7661:5229:f762) |
| 2024-07-27 01:29:25 +0200 | Rodney- | (~Rodney@90.201.223.82) (Ping timeout: 248 seconds) |
| 2024-07-27 01:30:40 +0200 | VedantT | (~VedantT@2603:6000:b500:29a9:ac9a:7661:5229:f762) (Client Quit) |
| 2024-07-27 01:31:31 +0200 | szkl | (uid110435@2a03:5180:f:5::1:af63) (Quit: Connection closed for inactivity) |
| 2024-07-27 01:40:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-27 01:42:29 +0200 | prolic_ | (~sasa@181.122.138.24) |
| 2024-07-27 01:44:22 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-07-27 01:45:32 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-27 01:52:38 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2024-07-27 01:55:33 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-07-27 01:59:32 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-27 02:01:29 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2024-07-27 02:03:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-27 02:05:12 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-27 02:05:53 +0200 | Rodney__ | (~Rodney@90.201.223.82) |
| 2024-07-27 02:07:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-07-27 02:08:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-07-27 02:09:22 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-27 02:21:35 +0200 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2024-07-27 02:22:02 +0200 | mud | (~mud@user/kadoban) |
| 2024-07-27 02:31:48 +0200 | prolic_ | (~sasa@181.122.138.24) (Remote host closed the connection) |
| 2024-07-27 02:32:07 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-07-27 02:35:17 +0200 | califax | (~califax@user/califx) |
| 2024-07-27 02:46:39 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 276 seconds) |
| 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: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: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 03:14:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-27 03:31:05 +0200 | bolivood | (~bolivood@user/bolivood) (Ping timeout: 260 seconds) |
| 2024-07-27 03:35:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-27 04:01:53 +0200 | Rodney- | (~Rodney@90.201.223.82) |
| 2024-07-27 04:05:14 +0200 | Rodney__ | (~Rodney@90.201.223.82) (Ping timeout: 255 seconds) |
| 2024-07-27 04:07:29 +0200 | fiberchunks | (~mike@32.221.120.181) |
| 2024-07-27 04:08:28 +0200 | fiberchunks | (~mike@32.221.120.181) () |
| 2024-07-27 04:11:48 +0200 | fiberchunks | (~mike@32.221.120.181) |
| 2024-07-27 04:12:16 +0200 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 252 seconds) |
| 2024-07-27 04:14:16 +0200 | td_ | (~td@i53870913.versanet.de) |
| 2024-07-27 04:27:10 +0200 | fiberchunks | (~mike@32.221.120.181) () |
| 2024-07-27 04:35:54 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-27 04:38:02 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-27 04:43:31 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-27 04:46:22 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-07-27 05:00:01 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-27 05:27:33 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-27 05:36:08 +0200 | torkel | (~sindu@83-243-191-191.fth.tafjordconnect.net) (Quit: WeeChat 4.3.5) |
| 2024-07-27 05:38:33 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-27 05:41:19 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-07-27 05:49:35 +0200 | <jle`> | dsal: that sounds like also a good application of StateT |
| 2024-07-27 05:49:51 +0200 | <jle`> | er just State maybe |
| 2024-07-27 05:50:42 +0200 | <jle`> | ah Traversal + State is just mapAccumLOf |
| 2024-07-27 05:52:21 +0200 | aforemny | (~aforemny@i59F516C5.versanet.de) (Ping timeout: 248 seconds) |
| 2024-07-27 05:53:29 +0200 | aforemny | (~aforemny@i59F516D5.versanet.de) |
| 2024-07-27 05:53:30 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-07-27 05:53:43 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-27 05:54:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-27 05:57:17 +0200 | sindu | (~sindu@83-243-191-191.fth.tafjordconnect.net) |