2025/04/15

2025-04-15 00:05:42 +0200euleritian(~euleritia@95.90.214.149) (Ping timeout: 252 seconds)
2025-04-15 00:05:45 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-04-15 00:05:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 00:06:07 +0200euleritian(~euleritia@dynamic-176-000-012-254.176.0.pool.telefonica.de)
2025-04-15 00:06:56 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-15 00:08:34 +0200inca(~inca@71.30.233.213)
2025-04-15 00:08:50 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit)
2025-04-15 00:09:21 +0200peterbecich(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 00:10:57 +0200euleritian(~euleritia@dynamic-176-000-012-254.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-15 00:11:15 +0200euleritian(~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 +0200inca(~inca@71.30.233.213) (Ping timeout: 276 seconds)
2025-04-15 00:21:35 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-04-15 00:23:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 00:28:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 00:39:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 00:43:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 00:51:43 +0200sinbad(~sinbad@user/sinbad) ()
2025-04-15 00:52:38 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2025-04-15 00:55:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 00:58:26 +0200sprotte24(~sprotte24@p200300d16f19450068dfe2d4c5b923e1.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-15 00:58:37 +0200inca(~inca@71.30.233.213)
2025-04-15 01:00:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 01:02:53 +0200puke(~puke@user/puke) (Remote host closed the connection)
2025-04-15 01:03:12 +0200puke(~puke@user/puke) puke
2025-04-15 01:03:40 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-15 01:07:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 01:09:14 +0200weary-traveler(~user@user/user363627) user363627
2025-04-15 01:10:24 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 268 seconds)
2025-04-15 01:15:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 01:19:16 +0200hidjgr(~hidjgr@user/hidjgr) (Quit: WeeChat 4.4.2)
2025-04-15 01:19:39 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-15 01:19:52 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Client Quit)
2025-04-15 01:25:51 +0200jespada(~jespada@r167-61-34-244.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-15 01:27:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 01:29:25 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-04-15 01:32:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 01:35:57 +0200tt12310978324354(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 276 seconds)
2025-04-15 01:44:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 01:49:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-15 01:51:45 +0200distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (Quit: Bye..)
2025-04-15 01:57:54 +0200inca(~inca@71.30.233.213)
2025-04-15 01:59:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 02:04:13 +0200distopico(~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) distopico
2025-04-15 02:04:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 02:09:35 +0200acidjnk(~acidjnk@p200300d6e71c4f08edc2aa045ea45701.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2025-04-15 02:14:42 +0200Googulator16(~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-15 02:16:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 02:18:06 +0200Googulator(~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-15 02:20:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-15 02:25:24 +0200xff0x(~xff0x@2405:6580:b080:900:eff9:16f2:1634:b479) (Ping timeout: 245 seconds)
2025-04-15 02:33:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 02:37:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 02:42:10 +0200Googulator16(~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-15 02:42:25 +0200Googulator16(~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-15 02:42:38 +0200amadaluzia(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 02:54:31 +0200otto_s(~user@p5de2f29b.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-04-15 02:55:27 +0200otto_s(~user@p5b04470d.dip0.t-ipconnect.de)
2025-04-15 02:57:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 03:09:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 03:14:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-15 03:20:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 03:24:13 +0200statusbot11(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) statusbot
2025-04-15 03:25:24 +0200inca(~inca@71.30.233.213) (Ping timeout: 245 seconds)
2025-04-15 03:25:30 +0200Square3(~Square@user/square) Square
2025-04-15 03:25:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 03:26:06 +0200tabemann_(~tabemann@2600:1700:7990:24e0::49)
2025-04-15 03:26:32 +0200ycp_(~znc@user/dragestil) dragestil
2025-04-15 03:26:42 +0200SoF8(~skius@user/skius) skius
2025-04-15 03:26:45 +0200inca(~inca@71.30.233.213)
2025-04-15 03:28:04 +0200down200-(~down200@shell.lug.mtu.edu) down200
2025-04-15 03:28:33 +0200visilii_(~visilii@85.172.76.90)
2025-04-15 03:28:55 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-15 03:28:59 +0200bwe_(~bwe@2a01:4f8:1c1c:4878::2)
2025-04-15 03:29:06 +0200vgtw(~vgtw@user/vgtw) vgtw
2025-04-15 03:29:34 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 245 seconds)
2025-04-15 03:29:34 +0200Taneb0(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) Taneb
2025-04-15 03:32:00 +0200ryanbooker(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 +0200Square2(~Square@user/square) (*.net *.split)
2025-04-15 03:34:36 +0200ljdarj(~Thunderbi@user/ljdarj) (*.net *.split)
2025-04-15 03:34:36 +0200Angelz(Angelz@angelz.oddprotocol.org) (*.net *.split)
2025-04-15 03:34:36 +0200Taneb(~Taneb@213.138.101.13) (*.net *.split)
2025-04-15 03:34:36 +0200jle`(~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) (*.net *.split)
2025-04-15 03:34:36 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split)
2025-04-15 03:34:36 +0200dpk(~dpk@jains.nonceword.org) (*.net *.split)
2025-04-15 03:34:37 +0200lyxia(~lyxia@poisson.chat) (*.net *.split)
2025-04-15 03:34:37 +0200vgtw_(~vgtw@user/vgtw) (*.net *.split)
2025-04-15 03:34:37 +0200sefidel(~sefidel@user/sefidel) (*.net *.split)
2025-04-15 03:34:37 +0200samhh__(7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
2025-04-15 03:34:37 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2025-04-15 03:34:37 +0200sm2n(ae95cb1267@user/sm2n) (*.net *.split)
2025-04-15 03:34:37 +0200raghavgururajan(ea769b8000@user/raghavgururajan) (*.net *.split)
2025-04-15 03:34:37 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split)
2025-04-15 03:34:37 +0200exarkun(~exarkun@user/exarkun) (*.net *.split)
2025-04-15 03:34:37 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
2025-04-15 03:34:37 +0200Adran(~adran@botters/adran) (*.net *.split)
2025-04-15 03:34:38 +0200samhh(7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
2025-04-15 03:34:38 +0200visilii(~visilii@85.172.76.90) (*.net *.split)
2025-04-15 03:34:38 +0200Rembane(~Rembane@user/Rembane) (*.net *.split)
2025-04-15 03:34:38 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split)
2025-04-15 03:34:38 +0200echoreply(~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 +0200SoF(~skius@user/skius) (*.net *.split)
2025-04-15 03:34:38 +0200down200(~down200@shell.lug.mtu.edu) (*.net *.split)
2025-04-15 03:34:38 +0200bwe(~bwe@static.72.17.201.195.clients.your-server.de) (*.net *.split)
2025-04-15 03:34:39 +0200dmoerner(~dmoerner@fedora/dmoerner) (*.net *.split)
2025-04-15 03:34:39 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (*.net *.split)
2025-04-15 03:34:39 +0200V(~v@ircpuzzles/2022/april/winner/V) (*.net *.split)
2025-04-15 03:34:39 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2025-04-15 03:34:39 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
2025-04-15 03:34:39 +0200laman(laman@rego.ai) (*.net *.split)
2025-04-15 03:34:39 +0200nadja(~dequbed@banana-new.kilobyte22.de) (*.net *.split)
2025-04-15 03:34:39 +0200ycp(~znc@user/dragestil) (*.net *.split)
2025-04-15 03:34:39 +0200mzg(mzg@abusers.hu) (*.net *.split)
2025-04-15 03:34:41 +0200SoF8SoF
2025-04-15 03:34:43 +0200ycp_ycp
2025-04-15 03:38:15 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-15 03:38:29 +0200Adran(~adran@botters/adran) Adran
2025-04-15 03:38:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 03:41:37 +0200echoreply(~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) echoreply
2025-04-15 03:43:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 03:46:05 +0200Square(~Square4@user/square) Square
2025-04-15 03:46:34 +0200sp1ff(~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2025-04-15 03:47:03 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-04-15 03:49:31 +0200Square3(~Square@user/square) (Ping timeout: 244 seconds)
2025-04-15 03:52:27 +0200aaronv(~aaronv@user/aaronv) aaronv
2025-04-15 03:56:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 04:01:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 04:11:26 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-04-15 04:11:26 +0200Angelz(Angelz@angelz.oddprotocol.org)
2025-04-15 04:11:26 +0200jle`(~jle`@2603:8001:3b00:11:2d8b:3abc:251d:2a6) jle`
2025-04-15 04:11:26 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-04-15 04:11:26 +0200dpk(~dpk@jains.nonceword.org) dpk
2025-04-15 04:11:26 +0200lyxia(~lyxia@poisson.chat) lyxia
2025-04-15 04:11:26 +0200sefidel(~sefidel@user/sefidel) sefidel
2025-04-15 04:11:26 +0200samhh__(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-04-15 04:11:26 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2025-04-15 04:11:26 +0200raghavgururajan(ea769b8000@user/raghavgururajan) raghavgururajan
2025-04-15 04:11:26 +0200sm2n(ae95cb1267@user/sm2n) sm2n
2025-04-15 04:11:26 +0200exarkun(~exarkun@user/exarkun) exarkun
2025-04-15 04:11:26 +0200samhh(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-04-15 04:11:26 +0200Rembane(~Rembane@user/Rembane) Rembane
2025-04-15 04:11:26 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n
2025-04-15 04:11:26 +0200laman(laman@rego.ai) laman
2025-04-15 04:11:26 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) {-d0t-}
2025-04-15 04:11:26 +0200dmoerner(~dmoerner@fedora/dmoerner) dmoerner
2025-04-15 04:11:26 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-04-15 04:11:26 +0200V(~v@ircpuzzles/2022/april/winner/V) V
2025-04-15 04:11:26 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2025-04-15 04:11:26 +0200dfordivam1(~dfordivam@160.16.87.223.v6.sakura.ne.jp) dfordivam
2025-04-15 04:11:26 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-04-15 04:11:26 +0200mzg(mzg@abusers.hu)
2025-04-15 04:11:44 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Max SendQ exceeded)
2025-04-15 04:11:44 +0200Angelz(Angelz@angelz.oddprotocol.org) (Max SendQ exceeded)
2025-04-15 04:14:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 04:15:52 +0200hsw(~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) (Remote host closed the connection)
2025-04-15 04:15:55 +0200hsw_(~hsw@112-104-12-126.adsl.dynamic.seed.net.tw) hsw
2025-04-15 04:19:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 04:21:24 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-04-15 04:25:35 +0200prasad(~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Remote host closed the connection)
2025-04-15 04:27:58 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds)
2025-04-15 04:30:16 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-04-15 04:31:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-15 04:32:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 04:32:16 +0200td_(~td@i5387092A.versanet.de) (Ping timeout: 272 seconds)
2025-04-15 04:33:56 +0200td_(~td@i5387093D.versanet.de) td_
2025-04-15 04:36:59 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2025-04-15 04:39:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-15 04:40:50 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2025-04-15 04:51:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 04:56:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 05:07:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 05:12:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 05:18:08 +0200notdabs(~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97) (Quit: Leaving)
2025-04-15 05:21:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 05:22:57 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-15 05:26:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-15 05:38:58 +0200rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-04-15 05:39:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 05:41:46 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-15 05:43:21 +0200notdabs(~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97)
2025-04-15 05:43:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-15 05:46:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 268 seconds)
2025-04-15 05:46:41 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-15 05:55:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 06:00:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 06:03:33 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-04-15 06:12:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 06:17:31 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-15 06:18:44 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-04-15 06:20:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 06:24:14 +0200notdabs(~Owner@2600:1700:69cf:9000:1c62:21ed:d1ea:b97) (Quit: Leaving)
2025-04-15 06:28:34 +0200michalz(~michalz@185.246.207.217)
2025-04-15 06:32:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 06:33:04 +0200peterbecich(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 06:48:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 06:53:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 07:05:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 07:10:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 07:13:58 +0200euleritian(~euleritia@95.90.214.149) (Ping timeout: 252 seconds)
2025-04-15 07:14:20 +0200euleritian(~euleritia@dynamic-176-000-004-180.176.0.pool.telefonica.de)
2025-04-15 07:15:40 +0200inca(~inca@71.30.233.213) (Ping timeout: 244 seconds)
2025-04-15 07:17:55 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-04-15 07:21:28 +0200andrewboltachev(~andrey@178.141.0.147) andrewboltachev
2025-04-15 07:21:36 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-15 07:22:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 07:23:25 +0200euleritian(~euleritia@dynamic-176-000-004-180.176.0.pool.telefonica.de) (Ping timeout: 260 seconds)
2025-04-15 07:24:10 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de)
2025-04-15 07:27:17 +0200inca(~inca@71.30.233.213)
2025-04-15 07:27:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 07:32:15 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-15 07:32:33 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-15 07:35:25 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
2025-04-15 07:36:48 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds)
2025-04-15 07:37:21 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de)
2025-04-15 07:38:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 07:40:59 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e)
2025-04-15 07:43:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 07:45:41 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 268 seconds)
2025-04-15 07:46:14 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-15 07:46:32 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-15 07:49:01 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-04-15 07:51:23 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-04-15 07:52:18 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-04-15 07:56:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 07:59:27 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-15 08:00:02 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-15 08:02:01 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-15 08:03:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 08:05:18 +0200Googulator16(~Googulato@2a01-036d-0106-211a-315b-d519-517f-afe7.pool6.digikabel.hu) (Ping timeout: 240 seconds)
2025-04-15 08:15:55 +0200aaronv(~aaronv@user/aaronv) aaronv
2025-04-15 08:16:40 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2025-04-15 08:17:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 08:17:10 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de)
2025-04-15 08:21:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 08:28:21 +0200takuan(~takuan@d8D86B601.access.telenet.be)
2025-04-15 08:29:12 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (Quit: .)
2025-04-15 08:30:56 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) mrmonday
2025-04-15 08:33:32 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 08:36:44 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 260 seconds)
2025-04-15 08:38:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 08:45:27 +0200forell_(~forell@host-178-216-90-220.sta.tvknaszapraca.pl)
2025-04-15 08:46:54 +0200forell(~forell@user/forell) (Ping timeout: 276 seconds)
2025-04-15 08:49:07 +0200aaronv(~aaronv@user/aaronv) aaronv
2025-04-15 08:50:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 08:51:03 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-04-15 08:53:58 +0200aaronv(~aaronv@user/aaronv) (Ping timeout: 276 seconds)
2025-04-15 08:54:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-15 09:00:01 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-15 09:00:33 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
2025-04-15 09:00:50 +0200caconym(~caconym@user/caconym) caconym
2025-04-15 09:02:30 +0200Garbanzo(~Garbanzo@2602:304:6eac:dc10::2e) (Remote host closed the connection)
2025-04-15 09:03:42 +0200chele(~chele@user/chele) chele
2025-04-15 09:07:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 09:07:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-04-15 09:08:37 +0200andrewboltachev(~andrey@178.141.0.147) (Quit: Leaving.)
2025-04-15 09:12:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 09:13:52 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-15 09:14:36 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-15 09:15:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 09:17:46 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-15 09:19:34 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds)
2025-04-15 09:20:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 09:20:53 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-04-15 09:20:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 09:21:58 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2025-04-15 09:24:33 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving)
2025-04-15 09:25:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 09:25:57 +0200califax(~califax@user/califx) (Remote host closed the connection)
2025-04-15 09:27:11 +0200califax(~califax@user/califx) califx
2025-04-15 09:28:39 +0200euleritian(~euleritia@dynamic-176-000-057-245.176.0.pool.telefonica.de) (Read error: Connection reset by peer)
2025-04-15 09:28:56 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de)
2025-04-15 09:33:03 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-04-15 09:33:23 +0200acidjnk(~acidjnk@p200300d6e71c4f58dd6e73151eca3115.dip0.t-ipconnect.de) acidjnk
2025-04-15 09:37:42 +0200alecs(~alecs@nat16.software.imdea.org) alecs
2025-04-15 09:38:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 09:39:19 +0200ft(~ft@p4fc2a6e6.dip0.t-ipconnect.de) (Quit: leaving)
2025-04-15 09:41:42 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-04-15 09:45:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-04-15 09:54:12 +0200lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2025-04-15 09:55:37 +0200sinbad(~sinbad@user/sinbad) Sinbad
2025-04-15 09:57:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 09:58:13 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-04-15 10:01:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-15 10:02:43 +0200kenran(~void@user/kenran) kenran
2025-04-15 10:08:08 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) lisbeths
2025-04-15 10:15:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 10:20:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 10:22:56 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-04-15 10:25:04 +0200kenran(~void@user/kenran) (Remote host closed the connection)
2025-04-15 10:27:18 +0200kenran(~void@user/kenran) kenran
2025-04-15 10:31:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 10:33:48 +0200poscat(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 10:38:34 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 10:43:53 +0200puke(~puke@user/puke) (Ping timeout: 244 seconds)
2025-04-15 10:47:14 +0200puke(~puke@user/puke) puke
2025-04-15 10:49:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 10:51:01 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 10:53:49 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 10:53:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 11:03:07 +0200fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
2025-04-15 11:03:33 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-15 11:03:41 +0200gorignak(~gorignak@user/gorignak) (Read error: Connection reset by peer)
2025-04-15 11:05:05 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-15 11:06:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 11:11:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-15 11:14:22 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 244 seconds)
2025-04-15 11:18:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 11:19:07 +0200Diaseis(~Diaseis@laptop-ipv6-2001-660-6101-403-1-af.labri.fr)
2025-04-15 11:19:34 +0200sand-witch(~m-mzmz6l@vmi833741.contaboserver.net)
2025-04-15 11:24:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-04-15 11:24:24 +0200polyphem(~rod@p4fc2c7a3.dip0.t-ipconnect.de) polyphem
2025-04-15 11:27:15 +0200sprotte24(~sprotte24@p200300d16f238d002592e50c1399a7a3.dip0.t-ipconnect.de)
2025-04-15 11:33:59 +0200michalz(~michalz@185.246.207.217) (Remote host closed the connection)
2025-04-15 11:34:10 +0200bwe_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 +0200bwe_bwe
2025-04-15 11:36:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 11:36:58 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-04-15 11:37:10 +0200driib318(~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds))
2025-04-15 11:41:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-15 11:42:13 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-04-15 11:46:13 +0200euleritian(~euleritia@ip5f5ad695.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds)
2025-04-15 11:47:10 +0200euleritian(~euleritia@dynamic-176-004-129-026.176.4.pool.telefonica.de)
2025-04-15 11:49:21 +0200zmt01(~zmt00@user/zmt00) zmt00
2025-04-15 11:49:45 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-15 11:52:55 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 260 seconds)
2025-04-15 11:53:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 11:57:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 11:59:39 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-04-15 12:01:24 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-04-15 12:01:24 +0200haritz(~hrtz@user/haritz) haritz
2025-04-15 12:02:26 +0200rselim(ce261f06ff@user/milesrout) (Ping timeout: 248 seconds)
2025-04-15 12:02:26 +0200stureplan(22e45d5caf@user/stureplan) (Ping timeout: 248 seconds)
2025-04-15 12:02:26 +0200akspecs(00cc8321af@sourcehut/user/akspecs) (Ping timeout: 248 seconds)
2025-04-15 12:02:28 +0200fn_lumi(3d621153a5@2a03:6000:1812:100::df7) (Read error: Connection reset by peer)
2025-04-15 12:02:31 +0200smiesner(b0cf5acf8c@2a03:6000:1812:100::13b9) (Read error: Connection reset by peer)
2025-04-15 12:02:36 +0200fn_lumi(3d621153a5@2a03:6000:1812:100::df7) fn_lumi
2025-04-15 12:02:38 +0200smiesner(b0cf5acf8c@user/smiesner) smiesner
2025-04-15 12:02:41 +0200lucyy(228ee8f0ce@user/lucyy) (Write error: Connection reset by peer)
2025-04-15 12:02:41 +0200JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer)
2025-04-15 12:02:41 +0200uint64_t(ec7b9bb9f3@2a03:6000:1812:100::139b) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200sus(1b7af6299f@user/zeromomentum) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200jakzale(6291399afa@user/jakzale) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200probie(cc0b34050a@user/probie) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200simendsjo(34b0550437@2a03:6000:1812:100::1441) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200Ankhers(e99e97ef8e@2a03:6000:1812:100::2a2) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200jkoshy(99b9359beb@user/jkoshy) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200lane(809450f172@2a03:6000:1812:100::1300) (Write error: Connection reset by peer)
2025-04-15 12:02:42 +0200RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2) (Read error: Connection reset by peer)
2025-04-15 12:02:49 +0200lane(809450f172@2a03:6000:1812:100::1300) lane
2025-04-15 12:02:49 +0200RussetParrotBear(45ce440a48@2a03:6000:1812:100::e2)
2025-04-15 12:02:49 +0200whereiseveryone_(206ba86c98@2a03:6000:1812:100::2e4) whereiseveryone
2025-04-15 12:02:50 +0200jakzale(6291399afa@user/jakzale) jakzale
2025-04-15 12:02:50 +0200probie(cc0b34050a@user/probie) probie
2025-04-15 12:02:50 +0200rselim(ce261f06ff@user/milesrout) milesrout
2025-04-15 12:02:50 +0200sus(1b7af6299f@user/zeromomentum) zeromomentum
2025-04-15 12:02:50 +0200akspecs(00cc8321af@sourcehut/user/akspecs) akspecs
2025-04-15 12:02:51 +0200chaitlatte0(ea29c0bb16@user/chaitlatte0) chaitlatte0
2025-04-15 12:02:51 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) l3gacyb3ta
2025-04-15 12:02:51 +0200thatonelutenist(8216c46202@2a03:6000:1812:100::fb3) thatonelutenist
2025-04-15 12:02:51 +0200lucyy(228ee8f0ce@user/lucyy) lucyy
2025-04-15 12:02:51 +0200stureplan(22e45d5caf@user/stureplan) stureplan
2025-04-15 12:02:51 +0200uint64_t(ec7b9bb9f3@2a03:6000:1812:100::139b) k_hachig
2025-04-15 12:02:51 +0200Ankhers_(e99e97ef8e@2a03:6000:1812:100::2a2) Ankhers
2025-04-15 12:02:51 +0200simendsjo(34b0550437@2a03:6000:1812:100::1441) simendsjo
2025-04-15 12:02:51 +0200ymherklotz(cb2c9cfbdd@2a03:6000:1812:100::29a) ymherklotz
2025-04-15 12:02:51 +0200JoelMcCracken(5ea8252fbb@2a03:6000:1812:100::10e3) JoelMcCracken
2025-04-15 12:02:51 +0200jkoshy_(99b9359beb@user/jkoshy) jkoshy
2025-04-15 12:03:18 +0200jkoshy_jkoshy
2025-04-15 12:03:47 +0200Ankhers_Ankhers
2025-04-15 12:04:04 +0200bwe32145(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-04-15 12:04:09 +0200bwebwe_
2025-04-15 12:04:14 +0200bwe32145bwe
2025-04-15 12:05:01 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Client Quit)
2025-04-15 12:06:01 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-04-15 12:06:57 +0200whereiseveryone_whereiseveryone
2025-04-15 12:07:12 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection)
2025-04-15 12:08:48 +0200bwe_(~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection)
2025-04-15 12:09:01 +0200merijn(~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 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-04-15 12:13:59 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 12:17:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 12:21:45 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds)
2025-04-15 12:22:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 12:23:32 +0200driib318(~driib@vmi931078.contaboserver.net) driib
2025-04-15 12:25:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-04-15 12:33:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 12:34:16 +0200internatetional(~nate@2001:448a:20a3:c2e5:91f2:cdf9:8535:492c) internatetional
2025-04-15 12:37:25 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-04-15 12:38:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-04-15 12:43:09 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-04-15 12:43:55 +0200tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl)
2025-04-15 12:50:15 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2025-04-15 12:51:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 12:54:08 +0200sprotte24(~sprotte24@p200300d16f238d002592e50c1399a7a3.dip0.t-ipconnect.de) (Quit: Leaving)
2025-04-15 12:56:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 13:00:05 +0200caconym(~caconym@user/caconym) (Quit: bye)
2025-04-15 13:00:31 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2025-04-15 13:01:48 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 13:05:07 +0200caconym(~caconym@user/caconym) caconym
2025-04-15 13:05:16 +0200tromp(~textual@89-99-43-152.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-15 13:07:11 +0200internatetional(~nate@2001:448a:20a3:c2e5:91f2:cdf9:8535:492c) (Ping timeout: 272 seconds)
2025-04-15 13:08:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 13:08:30 +0200Diaseis(~Diaseis@laptop-ipv6-2001-660-6101-403-1-af.labri.fr) (Ping timeout: 240 seconds)
2025-04-15 13:10:38 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 13:10:44 +0200Otong(~Otong@user/Otong) Otong
2025-04-15 13:14:25 +0200 <ski> bwe : higher-order functions ?
2025-04-15 13:15:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 13:15:37 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 13:17:18 +0200jespada(~jespada@r167-61-126-159.dialup.adsl.anteldata.net.uy) jespada
2025-04-15 13:18:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 13:19:10 +0200hsw_hsw
2025-04-15 13:19:14 +0200xff0x(~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 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 13:31:47 +0200tromp(~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 +0200merijn(~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 +0200Inst(~Inst@user/Inst) Inst
2025-04-15 13:39:29 +0200merijn(~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 +0200Unicorn_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 +0200sinbad(~sinbad@user/sinbad) ()
2025-04-15 13:49:53 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2025-04-15 13:50:09 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 248 seconds)
2025-04-15 13:50:53 +0200urdh(~urdh@user/urdh) (Ping timeout: 272 seconds)
2025-04-15 13:52:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 13:57:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)