2025-04-15 00:05:42 +0200 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
2025-04-15 00:05:45 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-04-15 00:05:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 00:06:07 +0200 | euleritian | (~euleritia@dynamic-176-000-012-254.176.0.pool.telefonica.de) |
2025-04-15 00:06:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-15 00:08:34 +0200 | inca | (~inca@71.30.233.213) |
2025-04-15 00:08:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
2025-04-15 00:09:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-15 00:10:19 +0200 | <EvanR> | I don't know about proper subset but haskell has one which is isomorphic https://paste.tomsmeding.com/cJEnEOD7 haha |
2025-04-15 00:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 00:10:57 +0200 | euleritian | (~euleritia@dynamic-176-000-012-254.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-15 00:11:15 +0200 | euleritian | (~euleritia@95.90.214.149) |
2025-04-15 00:12:18 +0200 | <haskellbridge> | <sm> there are modern smalltalks that are more declarative, eg saving code in git and rebuilding images from text descriptions |
2025-04-15 00:13:58 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 276 seconds) |
2025-04-15 00:21:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-04-15 00:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 00:28:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 00:39:10 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 00:43:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 00:51:43 +0200 | sinbad | (~sinbad@user/sinbad) () |
2025-04-15 00:52:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-04-15 00:55:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 00:58:26 +0200 | sprotte24 | (~sprotte24@p200300d16f19450068dfe2d4c5b923e1.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-15 00:58:37 +0200 | inca | (~inca@71.30.233.213) |
2025-04-15 01:00:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 01:02:53 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-04-15 01:03:12 +0200 | puke | (~puke@user/puke) puke |
2025-04-15 01:03:40 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-15 01:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 01:09:14 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-04-15 01:10:24 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds) |
2025-04-15 01:15:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 01:19:16 +0200 | hidjgr | (~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2) |
2025-04-15 01:19:39 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) |
2025-04-15 01:19:52 +0200 | hidjgr | (~hidjgr@68.52.120.78.rev.sfr.net) (Client Quit) |
2025-04-15 01:25:51 +0200 | jespada | (~jespada@r167-61-34-244.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-04-15 01:27:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 01:29:25 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-04-15 01:32:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 01:35:57 +0200 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds) |
2025-04-15 01:44:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 01:49:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-15 01:51:45 +0200 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Quit: Bye..) |
2025-04-15 01:57:54 +0200 | inca | (~inca@71.30.233.213) |
2025-04-15 01:59:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 02:04:13 +0200 | distopico | (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico |
2025-04-15 02:04:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 02:09:35 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f08edc2aa045ea45701.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2025-04-15 02:14:42 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) |
2025-04-15 02:16:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 02:18:06 +0200 | Googulator | (~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-04-15 02:20:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-15 02:25:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:eff9:16f2:1634:b479) (Ping timeout: 245 seconds) |
2025-04-15 02:33:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 02:37:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 02:42:10 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed) |
2025-04-15 02:42:25 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) |
2025-04-15 02:42:38 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
2025-04-15 02:49:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 02:54:31 +0200 | otto_s | (~user@p5de2f29b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
2025-04-15 02:55:27 +0200 | otto_s | (~user@p5b04470d.dip0.t-ipconnect.de) |
2025-04-15 02:57:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 03:09:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 03:14:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-15 03:20:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 03:24:13 +0200 | statusbot11 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot |
2025-04-15 03:25:24 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
2025-04-15 03:25:30 +0200 | Square3 | (~Square@user/square) Square |
2025-04-15 03:25:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 03:26:06 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0::49) |
2025-04-15 03:26:32 +0200 | ycp_ | (~znc@user/dragestil) dragestil |
2025-04-15 03:26:42 +0200 | SoF8 | (~skius@user/skius) skius |
2025-04-15 03:26:45 +0200 | inca | (~inca@71.30.233.213) |
2025-04-15 03:28:04 +0200 | down200- | (~down200@shell.lug.mtu.edu) down200 |
2025-04-15 03:28:33 +0200 | visilii_ | (~visilii@85.172.76.90) |
2025-04-15 03:28:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-15 03:28:59 +0200 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) |
2025-04-15 03:29:06 +0200 | vgtw | (~vgtw@user/vgtw) vgtw |
2025-04-15 03:29:34 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
2025-04-15 03:29:34 +0200 | Taneb0 | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb |
2025-04-15 03:32:00 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) ryanbooker |
2025-04-15 03:33:41 +0200 | <haskellbridge> | <Bowuigi> EvanR the way that iso and osi "inject and extract" seems like foldology all over again with in-out |
2025-04-15 03:34:36 +0200 | Square2 | (~Square@user/square) (*.net *.split) |
2025-04-15 03:34:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (*.net *.split) |
2025-04-15 03:34:36 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (*.net *.split) |
2025-04-15 03:34:36 +0200 | Taneb | (~Taneb@213.138.101.13) (*.net *.split) |
2025-04-15 03:34:36 +0200 | jle` | (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (*.net *.split) |
2025-04-15 03:34:36 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
2025-04-15 03:34:36 +0200 | dpk | (~dpk@jains.nonceword.org) (*.net *.split) |
2025-04-15 03:34:37 +0200 | lyxia | (~lyxia@poisson.chat) (*.net *.split) |
2025-04-15 03:34:37 +0200 | vgtw_ | (~vgtw@user/vgtw) (*.net *.split) |
2025-04-15 03:34:37 +0200 | sefidel | (~sefidel@user/sefidel) (*.net *.split) |
2025-04-15 03:34:37 +0200 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
2025-04-15 03:34:37 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split) |
2025-04-15 03:34:37 +0200 | sm2n | (ae95cb1267@user/sm2n) (*.net *.split) |
2025-04-15 03:34:37 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (*.net *.split) |
2025-04-15 03:34:37 +0200 | tabemann | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split) |
2025-04-15 03:34:37 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
2025-04-15 03:34:37 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
2025-04-15 03:34:37 +0200 | Adran | (~adran@botters/adran) (*.net *.split) |
2025-04-15 03:34:38 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split) |
2025-04-15 03:34:38 +0200 | visilii | (~visilii@85.172.76.90) (*.net *.split) |
2025-04-15 03:34:38 +0200 | Rembane | (~Rembane@user/Rembane) (*.net *.split) |
2025-04-15 03:34:38 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
2025-04-15 03:34:38 +0200 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
2025-04-15 03:34:38 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split) |
2025-04-15 03:34:38 +0200 | SoF | (~skius@user/skius) (*.net *.split) |
2025-04-15 03:34:38 +0200 | down200 | (~down200@shell.lug.mtu.edu) (*.net *.split) |
2025-04-15 03:34:38 +0200 | bwe | (~bwe@static.72.17.201.195.clients.your-server.de) (*.net *.split) |
2025-04-15 03:34:39 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) (*.net *.split) |
2025-04-15 03:34:39 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split) |
2025-04-15 03:34:39 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (*.net *.split) |
2025-04-15 03:34:39 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
2025-04-15 03:34:39 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
2025-04-15 03:34:39 +0200 | laman | (laman@rego.ai) (*.net *.split) |
2025-04-15 03:34:39 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
2025-04-15 03:34:39 +0200 | ycp | (~znc@user/dragestil) (*.net *.split) |
2025-04-15 03:34:39 +0200 | mzg | (mzg@abusers.hu) (*.net *.split) |
2025-04-15 03:34:41 +0200 | SoF8 | SoF |
2025-04-15 03:34:43 +0200 | ycp_ | ycp |
2025-04-15 03:38:15 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-15 03:38:29 +0200 | Adran | (~adran@botters/adran) Adran |
2025-04-15 03:38:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 03:41:37 +0200 | echoreply | (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply |
2025-04-15 03:43:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 03:46:05 +0200 | Square | (~Square4@user/square) Square |
2025-04-15 03:46:34 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2025-04-15 03:47:03 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-04-15 03:49:31 +0200 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
2025-04-15 03:52:27 +0200 | aaronv | (~aaronv@user/aaronv) aaronv |
2025-04-15 03:56:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 04:01:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 04:11:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-04-15 04:11:26 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) |
2025-04-15 04:11:26 +0200 | jle` | (~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) jle` |
2025-04-15 04:11:26 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-04-15 04:11:26 +0200 | dpk | (~dpk@jains.nonceword.org) dpk |
2025-04-15 04:11:26 +0200 | lyxia | (~lyxia@poisson.chat) lyxia |
2025-04-15 04:11:26 +0200 | sefidel | (~sefidel@user/sefidel) sefidel |
2025-04-15 04:11:26 +0200 | samhh__ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
2025-04-15 04:11:26 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) ursa-major |
2025-04-15 04:11:26 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) raghavgururajan |
2025-04-15 04:11:26 +0200 | sm2n | (ae95cb1267@user/sm2n) sm2n |
2025-04-15 04:11:26 +0200 | exarkun | (~exarkun@user/exarkun) exarkun |
2025-04-15 04:11:26 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) samhh |
2025-04-15 04:11:26 +0200 | Rembane | (~Rembane@user/Rembane) Rembane |
2025-04-15 04:11:26 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
2025-04-15 04:11:26 +0200 | laman | (laman@rego.ai) laman |
2025-04-15 04:11:26 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
2025-04-15 04:11:26 +0200 | dmoerner | (~dmoerner@fedora/dmoerner) dmoerner |
2025-04-15 04:11:26 +0200 | nshepperd2 | (~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd |
2025-04-15 04:11:26 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) V |
2025-04-15 04:11:26 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
2025-04-15 04:11:26 +0200 | dfordivam1 | (~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam |
2025-04-15 04:11:26 +0200 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
2025-04-15 04:11:26 +0200 | mzg | (mzg@abusers.hu) |
2025-04-15 04:11:44 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Max SendQ exceeded) |
2025-04-15 04:11:44 +0200 | Angelz | (Angelz@angelz.oddprotocol.org) (Max SendQ exceeded) |
2025-04-15 04:14:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 04:15:52 +0200 | hsw | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection) |
2025-04-15 04:15:55 +0200 | hsw_ | (~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw |
2025-04-15 04:19:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 04:21:24 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
2025-04-15 04:25:35 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Remote host closed the connection) |
2025-04-15 04:27:58 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
2025-04-15 04:30:16 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
2025-04-15 04:31:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-15 04:32:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 04:32:16 +0200 | td_ | (~td@i5387092A.versanet.de) (Ping timeout: 272 seconds) |
2025-04-15 04:33:56 +0200 | td_ | (~td@i5387093D.versanet.de) td_ |
2025-04-15 04:36:59 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2025-04-15 04:39:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-15 04:40:50 +0200 | Angelz | (Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973) |
2025-04-15 04:51:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 04:56:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 05:07:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 05:12:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 05:18:08 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97) (Quit: Leaving) |
2025-04-15 05:21:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 05:22:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-15 05:26:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-15 05:38:58 +0200 | rekahsoft | (~rekahsoft@174.95.4.83) (Remote host closed the connection) |
2025-04-15 05:39:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 05:41:46 +0200 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-15 05:43:21 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97) |
2025-04-15 05:43:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-15 05:46:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
2025-04-15 05:46:41 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-15 05:55:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 06:00:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 06:03:33 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-04-15 06:12:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 06:17:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-15 06:18:44 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
2025-04-15 06:20:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 06:24:14 +0200 | notdabs | (~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97) (Quit: Leaving) |
2025-04-15 06:28:34 +0200 | michalz | (~michalz@185.246.207.217) |
2025-04-15 06:32:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 06:33:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-04-15 06:33:59 +0200 | <haskellbridge> | <Liamzee> i just put up a server, will be stuffing DNS over it so you can watch my traffic accident in real time |
2025-04-15 06:34:07 +0200 | <haskellbridge> | <Liamzee> but is there something that causes text to take a long time to build? |
2025-04-15 06:36:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 06:48:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 06:53:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 07:05:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 07:10:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 07:13:58 +0200 | euleritian | (~euleritia@95.90.214.149) (Ping timeout: 252 seconds) |
2025-04-15 07:14:20 +0200 | euleritian | (~euleritia@dynamic-176-000-004-180.176.0.pool.telefonica.de) |
2025-04-15 07:15:40 +0200 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
2025-04-15 07:17:55 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-04-15 07:21:28 +0200 | andrewboltachev | (~andrey@178.141.0.147) andrewboltachev |
2025-04-15 07:21:36 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-04-15 07:22:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 07:23:25 +0200 | euleritian | (~euleritia@dynamic-176-000-004-180.176.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
2025-04-15 07:24:10 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) |
2025-04-15 07:27:17 +0200 | inca | (~inca@71.30.233.213) |
2025-04-15 07:27:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 07:32:15 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-15 07:32:33 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-15 07:35:25 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
2025-04-15 07:36:48 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-04-15 07:37:21 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) |
2025-04-15 07:38:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 07:40:59 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) |
2025-04-15 07:43:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 07:45:41 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 268 seconds) |
2025-04-15 07:46:14 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-15 07:46:32 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-15 07:49:01 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-04-15 07:51:23 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-04-15 07:52:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
2025-04-15 07:56:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 07:59:27 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-04-15 08:00:02 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-15 08:02:01 +0200 | Googulator82 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
2025-04-15 08:03:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 08:05:18 +0200 | Googulator16 | (~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
2025-04-15 08:15:55 +0200 | aaronv | (~aaronv@user/aaronv) aaronv |
2025-04-15 08:16:40 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
2025-04-15 08:17:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 08:17:10 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) |
2025-04-15 08:21:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 08:28:21 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) |
2025-04-15 08:29:12 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .) |
2025-04-15 08:30:56 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday |
2025-04-15 08:33:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 08:36:44 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 260 seconds) |
2025-04-15 08:38:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 08:45:27 +0200 | forell_ | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) |
2025-04-15 08:46:54 +0200 | forell | (~forell@user/forell) (Ping timeout: 276 seconds) |
2025-04-15 08:49:07 +0200 | aaronv | (~aaronv@user/aaronv) aaronv |
2025-04-15 08:50:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 08:51:03 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-04-15 08:53:58 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 276 seconds) |
2025-04-15 08:54:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-15 09:00:01 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-15 09:00:33 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
2025-04-15 09:00:50 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-15 09:02:30 +0200 | Garbanzo | (~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection) |
2025-04-15 09:03:42 +0200 | chele | (~chele@user/chele) chele |
2025-04-15 09:07:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 09:07:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-04-15 09:08:37 +0200 | andrewboltachev | (~andrey@178.141.0.147) (Quit: Leaving.) |
2025-04-15 09:12:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 09:13:52 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-04-15 09:14:36 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
2025-04-15 09:15:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 09:17:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-04-15 09:19:34 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
2025-04-15 09:20:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 09:20:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-04-15 09:20:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 09:21:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
2025-04-15 09:24:33 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-04-15 09:25:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 09:25:57 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-04-15 09:27:11 +0200 | califax | (~califax@user/califx) califx |
2025-04-15 09:28:39 +0200 | euleritian | (~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-04-15 09:28:56 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) |
2025-04-15 09:33:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-04-15 09:33:23 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f58dd6e73151eca3115.dip0.t-ipconnect.de) acidjnk |
2025-04-15 09:37:42 +0200 | alecs | (~alecs@nat16.software.imdea.org) alecs |
2025-04-15 09:38:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 09:39:19 +0200 | ft | (~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving) |
2025-04-15 09:41:42 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-04-15 09:45:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-04-15 09:54:12 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2025-04-15 09:55:37 +0200 | sinbad | (~sinbad@user/sinbad) Sinbad |
2025-04-15 09:57:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 09:58:13 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-04-15 10:01:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-04-15 10:02:43 +0200 | kenran | (~void@user/kenran) kenran |
2025-04-15 10:08:08 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
2025-04-15 10:15:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 10:20:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 10:22:56 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-04-15 10:25:04 +0200 | kenran | (~void@user/kenran) (Remote host closed the connection) |
2025-04-15 10:27:18 +0200 | kenran | (~void@user/kenran) kenran |
2025-04-15 10:31:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 10:33:48 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
2025-04-15 10:34:34 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-04-15 10:36:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 10:38:34 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-15 10:43:53 +0200 | puke | (~puke@user/puke) (Ping timeout: 244 seconds) |
2025-04-15 10:47:14 +0200 | puke | (~puke@user/puke) puke |
2025-04-15 10:49:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 10:51:01 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-04-15 10:53:49 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-15 10:53:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-04-15 11:03:07 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
2025-04-15 11:03:33 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
2025-04-15 11:03:41 +0200 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
2025-04-15 11:05:05 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-15 11:06:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 11:11:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-15 11:14:22 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 244 seconds) |
2025-04-15 11:18:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 11:19:07 +0200 | Diaseis | (~Diaseis@laptop-ipv6-2001-660-6101-403-1-af.labri.fr) |
2025-04-15 11:19:34 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
2025-04-15 11:24:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-04-15 11:24:24 +0200 | polyphem | (~rod@p4fc2c7a3.dip0.t-ipconnect.de) polyphem |
2025-04-15 11:27:15 +0200 | sprotte24 | (~sprotte24@p200300d16f238d002592e50c1399a7a3.dip0.t-ipconnect.de) |
2025-04-15 11:33:59 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
2025-04-15 11:34:10 +0200 | bwe_ | currently works through Reader and Writer Monads on Vitaly Bragilevsky's book. I am surprised by how simple the concepts were to understand. I don't know what held me back from them to date. Next up is State monad. |
2025-04-15 11:34:14 +0200 | bwe_ | bwe |
2025-04-15 11:36:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 11:36:58 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
2025-04-15 11:37:10 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
2025-04-15 11:41:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-04-15 11:42:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-04-15 11:46:13 +0200 | euleritian | (~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
2025-04-15 11:47:10 +0200 | euleritian | (~euleritia@dynamic-176-004-129-026.176.4.pool.telefonica.de) |
2025-04-15 11:49:21 +0200 | zmt01 | (~zmt00@user/zmt00) zmt00 |
2025-04-15 11:49:45 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-04-15 11:52:55 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
2025-04-15 11:53:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 11:57:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 11:59:39 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
2025-04-15 12:01:24 +0200 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
2025-04-15 12:01:24 +0200 | haritz | (~hrtz@user/haritz) haritz |
2025-04-15 12:02:26 +0200 | rselim | (ce261f06ff@user/milesrout) (Ping timeout: 248 seconds) |
2025-04-15 12:02:26 +0200 | stureplan | (22e45d5caf@user/stureplan) (Ping timeout: 248 seconds) |
2025-04-15 12:02:26 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Ping timeout: 248 seconds) |
2025-04-15 12:02:28 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Read error: Connection reset by peer) |
2025-04-15 12:02:31 +0200 | smiesner | (b0cf5acf8c@2a03:6000:1812:100::13b9) (Read error: Connection reset by peer) |
2025-04-15 12:02:36 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) fn_lumi |
2025-04-15 12:02:38 +0200 | smiesner | (b0cf5acf8c@user/smiesner) smiesner |
2025-04-15 12:02:41 +0200 | lucyy | (228ee8f0ce@user/lucyy) (Write error: Connection reset by peer) |
2025-04-15 12:02:41 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer) |
2025-04-15 12:02:41 +0200 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | sus | (1b7af6299f@user/zeromomentum) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | jakzale | (6291399afa@user/jakzale) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | probie | (cc0b34050a@user/probie) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer) |
2025-04-15 12:02:42 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) (Read error: Connection reset by peer) |
2025-04-15 12:02:49 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) lane |
2025-04-15 12:02:49 +0200 | RussetParrotBear | (45ce440a48@2a03:6000:1812:100::e2) |
2025-04-15 12:02:49 +0200 | whereiseveryone_ | (206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone |
2025-04-15 12:02:50 +0200 | jakzale | (6291399afa@user/jakzale) jakzale |
2025-04-15 12:02:50 +0200 | probie | (cc0b34050a@user/probie) probie |
2025-04-15 12:02:50 +0200 | rselim | (ce261f06ff@user/milesrout) milesrout |
2025-04-15 12:02:50 +0200 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
2025-04-15 12:02:50 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) akspecs |
2025-04-15 12:02:51 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) chaitlatte0 |
2025-04-15 12:02:51 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta |
2025-04-15 12:02:51 +0200 | thatonelutenist | (8216c46202@2a03:6000:1812:100::fb3) thatonelutenist |
2025-04-15 12:02:51 +0200 | lucyy | (228ee8f0ce@user/lucyy) lucyy |
2025-04-15 12:02:51 +0200 | stureplan | (22e45d5caf@user/stureplan) stureplan |
2025-04-15 12:02:51 +0200 | uint64_t | (ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig |
2025-04-15 12:02:51 +0200 | Ankhers_ | (e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers |
2025-04-15 12:02:51 +0200 | simendsjo | (34b0550437@2a03:6000:1812:100::1441) simendsjo |
2025-04-15 12:02:51 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz |
2025-04-15 12:02:51 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken |
2025-04-15 12:02:51 +0200 | jkoshy_ | (99b9359beb@user/jkoshy) jkoshy |
2025-04-15 12:03:18 +0200 | jkoshy_ | jkoshy |
2025-04-15 12:03:47 +0200 | Ankhers_ | Ankhers |
2025-04-15 12:04:04 +0200 | bwe32145 | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
2025-04-15 12:04:09 +0200 | bwe | bwe_ |
2025-04-15 12:04:14 +0200 | bwe32145 | bwe |
2025-04-15 12:05:01 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Client Quit) |
2025-04-15 12:06:01 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
2025-04-15 12:06:57 +0200 | whereiseveryone_ | whereiseveryone |
2025-04-15 12:07:12 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
2025-04-15 12:08:48 +0200 | bwe_ | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
2025-04-15 12:09:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 12:11:08 +0200 | <[exa]> | tomsmeding: hey btw, are there any good tools to kinda inspect what code is generated by accelerate? |
2025-04-15 12:11:23 +0200 | <[exa]> | In particular I was wondering what the `permute` actually does inside |
2025-04-15 12:13:42 +0200 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
2025-04-15 12:13:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 12:17:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 12:21:45 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
2025-04-15 12:22:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 12:23:32 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-04-15 12:25:31 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-04-15 12:33:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 12:34:16 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:91f2:cdf9:8535:492c) internatetional |
2025-04-15 12:37:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2025-04-15 12:38:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-04-15 12:43:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-04-15 12:43:55 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) |
2025-04-15 12:50:15 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
2025-04-15 12:51:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 12:54:08 +0200 | sprotte24 | (~sprotte24@p200300d16f238d002592e50c1399a7a3.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-04-15 12:56:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 13:00:05 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2025-04-15 13:00:31 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2025-04-15 13:01:48 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-15 13:05:07 +0200 | caconym | (~caconym@user/caconym) caconym |
2025-04-15 13:05:16 +0200 | tromp | (~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-04-15 13:07:11 +0200 | internatetional | (~nate@2001:448a:20a3:c2e5:91f2:cdf9:8535:492c) (Ping timeout: 272 seconds) |
2025-04-15 13:08:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 13:08:30 +0200 | Diaseis | (~Diaseis@laptop-ipv6-2001-660-6101-403-1-af.labri.fr) (Ping timeout: 240 seconds) |
2025-04-15 13:10:38 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-04-15 13:10:44 +0200 | Otong | (~Otong@user/Otong) Otong |
2025-04-15 13:14:25 +0200 | <ski> | bwe : higher-order functions ? |
2025-04-15 13:15:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-04-15 13:15:37 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-15 13:17:18 +0200 | jespada | (~jespada@r167-61-126-159.dialup.adsl.anteldata.net.uy) jespada |
2025-04-15 13:18:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 13:19:10 +0200 | hsw_ | hsw |
2025-04-15 13:19:14 +0200 | xff0x | (~xff0x@2405:6580:b080:900:a06a:3d55:af99:ce4d) |
2025-04-15 13:21:53 +0200 | <haskellbridge> | <Liamzee> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/multiline_strings.html |
2025-04-15 13:21:54 +0200 | <haskellbridge> | <Liamzee> this is cruel |
2025-04-15 13:21:57 +0200 | <haskellbridge> | <Liamzee> the ++ is unnecessary ;_; |
2025-04-15 13:23:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 13:31:47 +0200 | tromp | (~textual@2001:1c00:3487:1b00:2562:1865:ccbe:6e5d) |
2025-04-15 13:33:19 +0200 | <bwe> | ski: can you elaborate? |
2025-04-15 13:35:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 13:36:40 +0200 | <ski> | you'd need to undestand higher-order functions (and polymorphism, and probably at least a little bit about parameterized data types) before understanding the definition of `(>>=)', for `Reader r',`State s' (not to mention `Cont o') |
2025-04-15 13:37:21 +0200 | <ski> | (preferably a little bit about type classes, and how instances work, too) |
2025-04-15 13:38:10 +0200 | <haskellbridge> | <Liamzee> I don't have Bragilevsky's book with me :( |
2025-04-15 13:38:14 +0200 | [exa] | is still missing a monad tutorial that starts with Cont and iteratively brings order to the utter chaos |
2025-04-15 13:38:30 +0200 | <haskellbridge> | <Liamzee> does he mention "don't use any writer but CPS, and it's considered better practice to use a logging library instead of writer these days?" |
2025-04-15 13:39:09 +0200 | <bwe> | [exa] & ski: can you recommend a tutorial for Cont? |
2025-04-15 13:39:29 +0200 | Inst | (~Inst@user/Inst) Inst |
2025-04-15 13:39:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-04-15 13:39:42 +0200 | <haskellbridge> | <Liamzee> hum |
2025-04-15 13:40:33 +0200 | <ski> | i don't really recall what tutorials cover which ones |
2025-04-15 13:40:39 +0200 | <ski> | i assume you checked |
2025-04-15 13:40:48 +0200 | <ski> | @where Typeclassopedia |
2025-04-15 13:40:48 +0200 | <lambdabot> | http://www.haskell.org/haskellwiki/Typeclassopedia |
2025-04-15 13:40:53 +0200 | <ski> | also |
2025-04-15 13:40:57 +0200 | <ski> | @where AAM |
2025-04-15 13:40:57 +0200 | <lambdabot> | http://www.haskell.org/haskellwiki/All_About_Monads |
2025-04-15 13:41:04 +0200 | <haskellbridge> | <Liamzee> this is _A_ monad tutorial for cont, not necessarily the best one |
2025-04-15 13:41:26 +0200 | <ski> | .. i already knew about CPS, before i learned about `Cont', though |
2025-04-15 13:41:41 +0200 | <haskellbridge> | <Liamzee> https://www.schoolofhaskell.com/school/to-infinity-and-beyond/pick-of-the-week/the-mother-of-all-m… |
2025-04-15 13:42:00 +0200 | <ski> | wasn't there a dpiponi blag on that ? |
2025-04-15 13:42:41 +0200 | <ski> | ah, this is by dpiponi |
2025-04-15 13:44:22 +0200 | <bwe> | Liamzee: I cannot find such hint, though he discusses different loggers |
2025-04-15 13:44:36 +0200 | <bwe> | what's CPS? |
2025-04-15 13:44:49 +0200 | <bwe> | so, CPS, Cont, Reader, Writer, State, in that order? |
2025-04-15 13:45:50 +0200 | <ski> | right. i know that post from <http://blog.sigfpe.com/2008/12/mother-of-all-monads.html> |
2025-04-15 13:45:56 +0200 | <ski> | no |
2025-04-15 13:46:00 +0200 | <haskellbridge> | <ozkutuk> bwe: https://williamyaoh.com/posts/2022-05-02-the-cont-monad.html |
2025-04-15 13:46:07 +0200 | <ski> | CPS is Continuation-Passing Style |
2025-04-15 13:46:12 +0200 | <ski> | which is what `Cont' does |
2025-04-15 13:47:36 +0200 | <Inst> | tbh many of the monad transformers have been problematic |
2025-04-15 13:47:40 +0200 | <ski> | (also `Codensity', and one `IO'-specific that i don't recall the name of, atm) |
2025-04-15 13:47:44 +0200 | <Inst> | if you use State monad from mtl or transformer package |
2025-04-15 13:47:56 +0200 | <Inst> | remember to use State.Strict, it's a footgun, unfortunately |
2025-04-15 13:48:13 +0200 | <Inst> | Writer from those packages are liable to be footguns unless you use the CPS variant |
2025-04-15 13:48:24 +0200 | <ski> | ah |
2025-04-15 13:48:26 +0200 | <Inst> | and Writer these days is used less for logging, and more for constructing builder eDSLs |
2025-04-15 13:48:30 +0200 | <ski> | @hackage managed |
2025-04-15 13:48:30 +0200 | <lambdabot> | https://hackage.haskell.org/package/managed |
2025-04-15 13:48:56 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-15 13:49:00 +0200 | <Inst> | for instance, html in Haskell, whether through the Blaze or Lucid libraries, is a writer-like eDSL |
2025-04-15 13:49:36 +0200 | sinbad | (~sinbad@user/sinbad) () |
2025-04-15 13:49:53 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
2025-04-15 13:50:09 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds) |
2025-04-15 13:50:53 +0200 | urdh | (~urdh@user/urdh) (Ping timeout: 272 seconds) |
2025-04-15 13:52:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 13:57:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-04-15 14:05:55 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-04-15 14:07:05 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 265 seconds) |
2025-04-15 14:08:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-04-15 14:09:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-04-15 14:10:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |