| 2025-02-05 00:01:23 +0100 | Guest74 | (~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020) |
| 2025-02-05 00:03:19 +0100 | Guest74 | (~Guest74@2804:14d:9021:82f9:d1f7:12b:b87a:8020) (Client Quit) |
| 2025-02-05 00:04:19 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 2025-02-05 00:04:22 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-05 00:05:55 +0100 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 00:05:57 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-02-05 00:05:57 +0100 | ljdarj1 | ljdarj |
| 2025-02-05 00:06:55 +0100 | hueso | (~root@user/hueso) () |
| 2025-02-05 00:07:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 00:08:24 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-02-05 00:10:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:10:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-02-05 00:11:46 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 00:12:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-02-05 00:15:34 +0100 | dolio | (~dolio@130.44.140.168) (Ping timeout: 260 seconds) |
| 2025-02-05 00:16:50 +0100 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2025-02-05 00:17:08 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 00:17:24 +0100 | mud | (~mud@user/kadoban) kadoban |
| 2025-02-05 00:19:21 +0100 | hueso | (~root@user/hueso) hueso |
| 2025-02-05 00:22:32 +0100 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) |
| 2025-02-05 00:24:06 +0100 | divya | (divya@140.238.251.170) (Ping timeout: 252 seconds) |
| 2025-02-05 00:24:09 +0100 | Guest42 | (~Guest42@220-233-36-23.ip4.exetel.com.au) (Client Quit) |
| 2025-02-05 00:25:59 +0100 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-02-05 00:28:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:29:16 +0100 | divya | (divya@140.238.251.170) divya |
| 2025-02-05 00:32:54 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 00:41:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-02-05 00:42:49 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 00:43:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:46:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 00:48:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 00:51:44 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) emmanuelux |
| 2025-02-05 00:55:15 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 00:56:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 00:59:27 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-02-05 01:00:49 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-05 01:00:53 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 01:02:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 01:04:36 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Client Quit) |
| 2025-02-05 01:04:41 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-02-05 01:05:02 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-02-05 01:05:51 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-02-05 01:08:18 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-02-05 01:08:18 +0100 | ljdarj1 | ljdarj |
| 2025-02-05 01:13:28 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:18:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 01:18:46 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-02-05 01:24:31 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-02-05 01:24:47 +0100 | Googulator | (~Googulato@2a01-036d-0106-418c-6daf-e703-6cee-d20f.pool6.digikabel.hu) |
| 2025-02-05 01:28:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:29:30 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 2025-02-05 01:31:37 +0100 | spacenautx | (~spacenaut@user/spacenautx) spacenautx |
| 2025-02-05 01:31:41 +0100 | TMA | (tma@twin.jikos.cz) TMA |
| 2025-02-05 01:32:17 +0100 | foul_owl | (~kerry@193.42.0.124) (Ping timeout: 248 seconds) |
| 2025-02-05 01:32:18 +0100 | apache | (apache2@anubis.0x90.dk) apache2 |
| 2025-02-05 01:33:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 01:34:30 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 252 seconds) |
| 2025-02-05 01:34:42 +0100 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) foul_owl |
| 2025-02-05 01:34:52 +0100 | apache2 | (apache2@anubis.0x90.dk) (Ping timeout: 252 seconds) |
| 2025-02-05 01:36:31 +0100 | m1dnight_ | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-02-05 01:36:59 +0100 | sprotte24 | (~sprotte24@p200300d16f057d0048bfec2654557117.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-02-05 01:37:28 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f07d9acb33bf68493bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-02-05 01:44:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 01:48:48 +0100 | Philonous | (~Philonous@user/philonous) (Ping timeout: 252 seconds) |
| 2025-02-05 01:49:29 +0100 | foul_owl | (~kerry@174-21-138-88.tukw.qwest.net) (Ping timeout: 260 seconds) |
| 2025-02-05 01:49:33 +0100 | Philonous | (~Philonous@user/philonous) Philonous |
| 2025-02-05 01:49:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 01:51:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 01:52:50 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2025-02-05 01:54:00 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-05 01:54:18 +0100 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2025-02-05 01:54:50 +0100 | Maxdamantus | (~Maxdamant@user/maxdamantus) Maxdamantus |
| 2025-02-05 01:56:26 +0100 | malte | (~malte@mal.tc) malte |
| 2025-02-05 01:56:52 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-02-05 01:57:52 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-02-05 01:59:58 +0100 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-05 02:00:32 +0100 | orenty7 | (~orenty7@176.88.22.4) (Read error: Connection reset by peer) |
| 2025-02-05 02:02:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:03:32 +0100 | foul_owl | (~kerry@193.42.0.126) foul_owl |
| 2025-02-05 02:03:39 +0100 | orenty7 | (~orenty7@176.88.22.4) |
| 2025-02-05 02:07:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 02:13:44 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Ping timeout: 252 seconds) |
| 2025-02-05 02:14:13 +0100 | otto_s | (~user@p5b044e98.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-05 02:14:32 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-02-05 02:14:53 +0100 | sim590 | (~simon@24-122-69-233.resi.cgocable.ca) (Quit: WeeChat 4.5.1) |
| 2025-02-05 02:16:06 +0100 | otto_s | (~user@p4ff27d71.dip0.t-ipconnect.de) |
| 2025-02-05 02:18:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:18:43 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-02-05 02:19:02 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-05 02:19:47 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) falafel |
| 2025-02-05 02:23:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 02:30:07 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 02:33:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:36:06 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-02-05 02:37:53 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 02:38:02 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 02:40:15 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) Jeanne-Kamikaze |
| 2025-02-05 02:42:04 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-05 02:42:20 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 02:42:40 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2025-02-05 02:44:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-05 02:45:42 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-02-05 02:45:48 +0100 | JuanDaugherty | ColinRobinson |
| 2025-02-05 02:48:33 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 02:49:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 02:53:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 03:02:21 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-05 03:04:20 +0100 | falafel | (~falafel@syn-076-093-010-089.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 03:04:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:09:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 03:15:36 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-05 03:19:19 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-02-05 03:19:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:26:26 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 03:26:42 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 03:28:29 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-02-05 03:30:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-02-05 03:30:44 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 03:37:49 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-05 03:37:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:39:59 +0100 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-02-05 03:43:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 03:44:49 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-05 03:48:16 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-02-05 03:49:22 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 03:49:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 03:54:33 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 03:57:08 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2025-02-05 03:59:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 04:06:20 +0100 | hawer | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-05 04:09:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:13:51 +0100 | cuteguest | (~cuteguest@2601:602:482:b20::8c6) |
| 2025-02-05 04:14:12 +0100 | hawer | (~newyear@2.219.56.221) |
| 2025-02-05 04:14:24 +0100 | <cuteguest> | learning abt Dicts from Data.Constraint.. my brain is being opened |
| 2025-02-05 04:14:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 04:17:30 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 04:21:48 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 04:25:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:30:02 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-05 04:40:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 04:42:10 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 2025-02-05 04:43:51 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:a66e::) terrorjack |
| 2025-02-05 04:44:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-02-05 04:49:16 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-100.cust.tzulo.com) (Quit: Leaving) |
| 2025-02-05 04:56:07 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:00:21 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-05 05:01:38 +0100 | rekahsoft | (~rekahsoft@70.51.99.237) (Ping timeout: 245 seconds) |
| 2025-02-05 05:05:54 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 05:06:27 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-05 05:10:06 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 05:10:06 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-05 05:11:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:12:31 +0100 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-02-05 05:15:41 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-02-05 05:15:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-02-05 05:22:08 +0100 | <haskellbridge> | <thirdofmay18081814goya> what are some good theory-heavy readings on optics/lenses? |
| 2025-02-05 05:27:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:32:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 05:36:12 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 2025-02-05 05:40:18 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-05 05:40:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:44:36 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-02-05 05:44:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 05:46:23 +0100 | cuteguest | (~cuteguest@2601:602:482:b20::8c6) (Quit: Client closed) |
| 2025-02-05 05:53:58 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 05:55:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 05:58:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 05:59:02 +0100 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-05 06:00:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:11:10 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:15:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:22:13 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-05 06:26:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:33:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:41:25 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 06:41:42 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 06:45:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 06:45:57 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-05 06:46:53 +0100 | xff0x | (~xff0x@2404:7a85:a201:8600:6e59:82a6:334a:c830) (Ping timeout: 252 seconds) |
| 2025-02-05 06:47:53 +0100 | michalz | (~michalz@185.246.207.203) |
| 2025-02-05 06:56:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:01:12 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 07:04:10 +0100 | tnt2 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-05 07:04:54 +0100 | tnt1 | (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 2025-02-05 07:04:54 +0100 | tnt2 | tnt1 |
| 2025-02-05 07:08:05 +0100 | <albet70> | how to store computed value in iteration compute? |
| 2025-02-05 07:08:57 +0100 | <jackdk> | thirdofmay18081814goya: I don't know the literature but you might want to try looking at categorical presentations of profunctor optics |
| 2025-02-05 07:12:11 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:16:35 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 07:16:59 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 2025-02-05 07:19:23 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) hgolden |
| 2025-02-05 07:22:44 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-02-05 07:22:46 +0100 | <albet70> | https://paste.tomsmeding.com/lzecPvyN |
| 2025-02-05 07:23:00 +0100 | <albet70> | why this accum is empty in above code |
| 2025-02-05 07:23:32 +0100 | <albet70> | I want accum store the previous computed values and return with k |
| 2025-02-05 07:24:14 +0100 | _ht | (~huub@62.250.52.179) (Remote host closed the connection) |
| 2025-02-05 07:24:57 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-02-05 07:27:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:28:27 +0100 | <haskellbridge> | <thirdofmay18081814goya> jackdk: lots of material on this, thanks a lot for the reference! |
| 2025-02-05 07:29:46 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 07:32:18 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-02-05 07:34:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-05 07:41:16 +0100 | <Axman6> | albet70: I would recommend walking through evaluating it yourself by hand. start with rec [1,2,3,0,4] [] id, expand it to (\ls -> \accum -> \k -> ...) [1,2,3,0,4] [] id, substitute in the arguments, then iterate your definition of mapK |
| 2025-02-05 07:42:27 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:46:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 07:47:16 +0100 | <albet70> | > traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4] |
| 2025-02-05 07:47:18 +0100 | <lambdabot> | Nothing |
| 2025-02-05 07:47:49 +0100 | <albet70> | I want [1,0.5,0.333,0] not Nothing |
| 2025-02-05 07:47:55 +0100 | <int-e> | :t map recip . filter (/= 0) |
| 2025-02-05 07:47:55 +0100 | <lambdabot> | (Fractional b, Eq b) => [b] -> [b] |
| 2025-02-05 07:48:10 +0100 | <albet70> | early return with accumulated value |
| 2025-02-05 07:48:42 +0100 | <int-e> | the accumulated value might just as well not exist; `mapK` never uses it. |
| 2025-02-05 07:49:10 +0100 | <int-e> | :t map recip . takeWhile (/= 0) |
| 2025-02-05 07:49:11 +0100 | <lambdabot> | (Fractional b, Eq b) => [b] -> [b] |
| 2025-02-05 07:49:35 +0100 | <albet70> | how to fix that code? |
| 2025-02-05 07:49:58 +0100 | <int-e> | To what end? It's just horribly confusing, throw it out. |
| 2025-02-05 07:50:54 +0100 | ephilalethes | (~noumenon@2404:c0:2020::55a:6e53) noumenon |
| 2025-02-05 07:52:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 07:53:47 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f01d9acb33bf68493bd.dip0.t-ipconnect.de) acidjnk |
| 2025-02-05 07:53:51 +0100 | <albet70> | like in traverse (\x -> if x ==0 then Nothing else Just (1/x)) [1,2,3,0,4], I want the sunccess part result |
| 2025-02-05 07:57:17 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-05 07:59:43 +0100 | notzmv | (~umar@user/notzmv) (Remote host closed the connection) |
| 2025-02-05 08:00:23 +0100 | <int-e> | well I'm not going to help you write code that you don't understand |
| 2025-02-05 08:00:25 +0100 | int-e | shrugs |
| 2025-02-05 08:04:29 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) (Remote host closed the connection) |
| 2025-02-05 08:05:38 +0100 | ZLima12 | (~zlima12@user/meow/ZLima12) ZLima12 |
| 2025-02-05 08:05:54 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-05 08:06:00 +0100 | ft | (~ft@p3e9bcd97.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-02-05 08:08:03 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 08:09:18 +0100 | <int-e> | :t Data.Bool.bool |
| 2025-02-05 08:09:19 +0100 | <lambdabot> | a -> a -> Bool -> a |
| 2025-02-05 08:16:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-05 08:19:51 +0100 | CiaoSen | (~Jura@2a05:5800:236:d500:ca4b:d6ff:fec1:99da) CiaoSen |
| 2025-02-05 08:20:03 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-05 08:23:09 +0100 | agent314 | (~quassel@79.127.222.205) agent314 |
| 2025-02-05 08:24:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 2025-02-05 08:27:20 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-05 08:28:27 +0100 | agent314 | (~quassel@79.127.222.205) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2025-02-05 08:31:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-05 08:42:43 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |