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)
2025-04-15 14:05:55 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 14:07:05 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Ping timeout: 265 seconds)
2025-04-15 14:08:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 14:09:28 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-04-15 14:10:57 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 265 seconds)
2025-04-15 14:13:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 14:18:31 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-04-15 14:19:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 14:20:12 +0200jespada(~jespada@r167-61-126-159.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-04-15 14:23:23 +0200jespada(~jespada@r167-61-126-159.dialup.adsl.anteldata.net.uy) jespada
2025-04-15 14:23:47 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-04-15 14:24:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 14:28:55 +0200 <Inst> you asked for it, ski
2025-04-15 14:28:56 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-04-15 14:29:00 +0200 <Inst> https://pastebin.com/QykNnTeQ
2025-04-15 14:30:36 +0200 <bwe> Inst:
2025-04-15 14:30:41 +0200kenran(~void@user/kenran) (Remote host closed the connection)
2025-04-15 14:31:17 +0200 <bwe> Inst: I am considering using a State / Writer to collect those parts that are not parsed yet and need parsers to be defined.
2025-04-15 14:31:18 +0200 <ski> wasn't aware i asked for anything
2025-04-15 14:31:23 +0200 <GdeVolpiano> Hello gentlepeople.
2025-04-15 14:31:51 +0200 <Inst> oh sorry
2025-04-15 14:31:54 +0200 <Inst> [exa]
2025-04-15 14:33:42 +0200 <GdeVolpiano> I'm hitting a bit of a snag here. I'm trying to help to ensure that the latest version of stylish-haskell works with Cabal 3.10 and Cabal 3.12, but when compiling on ghc-9.6.7 (not with ghc-9.8.4 or ghc-9.10.1), compilation fails on a variant of https://gitlab.haskell.org/ghc/ghc/-/merge_requests/13743
2025-04-15 14:34:49 +0200 <GdeVolpiano> ghc_unique_counter64 is defined both in libHSrts-1.0.2 and libHSghc-lib-parser-9.10.1.20250103
2025-04-15 14:35:14 +0200 <[exa]> Inst: <3
2025-04-15 14:35:27 +0200 <GdeVolpiano> I've obviously seen the proposed fix linked from the ghc-9.6.7 release note, but I must admit that I'm a little bit at a loss about where to put it in…
2025-04-15 14:35:51 +0200 <ski> @let type StateC s a = Cont (s -> (a, s)) a
2025-04-15 14:35:52 +0200 <lambdabot> Defined.
2025-04-15 14:35:52 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-04-15 14:35:55 +0200 <ski> @type let runStateC :: StateC s a -> s -> (a,s); runStateC m s = runCont m (\a -> (a, s)) s in runStateC
2025-04-15 14:35:55 +0200 <lambdabot> error:
2025-04-15 14:35:55 +0200 <lambdabot> • Couldn't match expected type ‘s1 -> (a1, s1)’
2025-04-15 14:35:55 +0200 <lambdabot> with actual type ‘(a1, s1)’
2025-04-15 14:36:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 14:37:04 +0200 <ski> @type let runStateC :: StateC s a -> s -> (a,s); runStateC m s = runCont m (\a -> (a, s)) s in runStateC
2025-04-15 14:37:05 +0200 <lambdabot> error:
2025-04-15 14:37:05 +0200 <lambdabot> • Couldn't match expected type ‘s1 -> (a1, s1)’
2025-04-15 14:37:05 +0200 <lambdabot> with actual type ‘(a1, s1)’
2025-04-15 14:37:11 +0200 <ski> er
2025-04-15 14:37:14 +0200 <ski> @type let runStateC :: StateC s a -> s -> (a,s); runStateC m s = runCont m (\a s -> (a, s)) s in runStateC
2025-04-15 14:37:15 +0200 <lambdabot> StateC s a -> s -> (a, s)
2025-04-15 14:40:19 +0200 <ski> ah, right. here's a more serious problem. `Functor (StateC s)' ?
2025-04-15 14:40:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 14:41:49 +0200 <ski> also `Functor MaybeC'
2025-04-15 14:43:30 +0200 <ski> the `IO' one also makes no sense (type error, unless `World' is supposed to be a function type ?)
2025-04-15 14:44:00 +0200 <ski> Inst ^
2025-04-15 14:44:37 +0200 <Inst> ski: it's deepseek ai brainrot
2025-04-15 14:45:33 +0200 <Axman6> GdeVolpiano: what error are you getting?
2025-04-15 14:45:33 +0200 <ski> i'd also at least want to see an exit from a recursive computation, for `Cont', if not a more exotic example (resuming computations later, reusing a continuation twice, ..)
2025-04-15 14:47:47 +0200 <Inst> yeah tbh i'm not that comfortable with cont, i think i made 2 attempts on it and at least i understand the methods, but not the justification of it
2025-04-15 14:48:36 +0200 <Inst> probably shouldn't have put it up :(
2025-04-15 14:49:27 +0200 <Inst> just as a note, monad tutorials on DeepSeek are so bad (Mistral's Le Chat is worse, iirc), that DeepSeek triggered political censorship of its monad tutorials previously
2025-04-15 14:50:17 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp
2025-04-15 14:50:46 +0200 <Axman6> "A monad is just a pot of honey, where you pass in a pooh-bear which cosumes the honey and returns a new pot of honey"
2025-04-15 14:52:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 14:52:36 +0200 <haskellbridge> <Liamzee> https://cdn.discordapp.com/attachments/968989726633779215/1361685398060794026/image.png?ex=67ffa7d…
2025-04-15 14:52:47 +0200weary-traveler(~user@user/user363627) user363627
2025-04-15 14:53:13 +0200 <Axman6> I ain't clicking that
2025-04-15 14:57:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 14:59:32 +0200fp(~Thunderbi@wireless-86-50-140-117.open.aalto.fi) (Quit: fp)
2025-04-15 14:59:50 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-04-15 15:01:28 +0200 <GdeVolpiano> Axman6: /usr/bin/ld.gold: error: /usr/local/.ghcup/ghc/9.6.7/lib/ghc-9.6.7/lib/../lib/x86_64-linux-ghc-9.6.7/rts-1.0.2/libHSrts-1.0.2.a(Globals.o): multiple definition of 'ghc_unique_counter64'
2025-04-15 15:01:30 +0200 <GdeVolpiano> /usr/bin/ld.gold: /home/runner/.cabal/store/ghc-9.6.7/ghc-lib-parser-9.10.1.20250103-6822c1bb167729f4c6ea71be204d04266e852a68038c599260f1664e7c2cb181/lib/libHSghc-lib-parser-9.10.1.20250103-6822c1bb167729f4c6ea71be204d04266e852a68038c599260f1664e7c2cb181.a(genSym.o): previous definition here
2025-04-15 15:02:01 +0200 <haskellbridge> <maerwald> That's known
2025-04-15 15:02:14 +0200 <GdeVolpiano> Weirdly enough, that's when building stylish-haskell, not when building ghc-lib-parser
2025-04-15 15:02:17 +0200 <haskellbridge> <maerwald> Trying to compile hls?
2025-04-15 15:02:23 +0200 <Axman6> I was going to say #ghc might be a better place to ask
2025-04-15 15:02:30 +0200 <GdeVolpiano> Oh right, sorry
2025-04-15 15:02:33 +0200 <haskellbridge> <maerwald> I see
2025-04-15 15:02:41 +0200 <Axman6> always a good idea to ask here first though
2025-04-15 15:02:52 +0200GdeVolpianois off to #ghc then
2025-04-15 15:03:01 +0200 <GdeVolpiano> Thanks
2025-04-15 15:05:02 +0200tromp(~textual@2001:1c00:3487:1b00:2562:1865:ccbe:6e5d) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-15 15:10:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 15:11:02 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net)
2025-04-15 15:11:20 +0200hidjgr(~hidjgr@68.52.120.78.rev.sfr.net) (Changing host)
2025-04-15 15:11:20 +0200hidjgr(~hidjgr@user/hidjgr) hidjgr
2025-04-15 15:17:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 15:20:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 15:21:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-04-15 15:25:11 +0200gorignak(~gorignak@user/gorignak) (Quit: quit)
2025-04-15 15:25:27 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-15 15:25:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 15:30:49 +0200tromp(~textual@2001:1c00:3487:1b00:2562:1865:ccbe:6e5d)
2025-04-15 15:30:56 +0200poscat0x04(~poscat@user/poscat) poscat
2025-04-15 15:31:06 +0200poscat0x04(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 15:32:50 +0200poscat(~poscat@user/poscat) (Ping timeout: 260 seconds)
2025-04-15 15:34:18 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 15:35:32 +0200euleritian(~euleritia@dynamic-176-004-129-026.176.4.pool.telefonica.de) (Ping timeout: 265 seconds)
2025-04-15 15:36:16 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2025-04-15 15:37:56 +0200euleritian(~euleritia@dynamic-176-004-021-148.176.4.pool.telefonica.de)
2025-04-15 15:38:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 15:38:21 +0200Square3(~Square@user/square) Square
2025-04-15 15:40:40 +0200polyphem(~rod@p4fc2c7a3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2025-04-15 15:41:25 +0200Square(~Square4@user/square) (Ping timeout: 252 seconds)
2025-04-15 15:42:39 +0200polyphem(~rod@p4fc2c7a3.dip0.t-ipconnect.de) polyphem
2025-04-15 15:42:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-04-15 15:45:43 +0200kuribas`(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2025-04-15 15:47:25 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 260 seconds)
2025-04-15 15:50:08 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-04-15 15:53:54 +0200poscat(~poscat@user/poscat) (Read error: Connection reset by peer)
2025-04-15 15:55:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 16:00:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-04-15 16:01:57 +0200alecs(~alecs@nat16.software.imdea.org) (Quit: Client closed)
2025-04-15 16:03:13 +0200inca(~inca@71.30.233.213) (Read error: Connection reset by peer)
2025-04-15 16:03:51 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net)
2025-04-15 16:04:11 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:06:21 +0200Inst(~Inst@user/Inst) (Ping timeout: 252 seconds)
2025-04-15 16:08:38 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:10:35 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:12:01 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-04-15 16:12:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 16:15:46 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:17:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 16:17:38 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:17:40 +0200tabemann_(~tabemann@2600:1700:7990:24e0::49) (Ping timeout: 252 seconds)
2025-04-15 16:17:52 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:18:09 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:18:50 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:19:07 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:23:14 +0200tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-04-15 16:27:01 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:28:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 16:29:07 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-04-15 16:29:11 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:32:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-04-15 16:36:30 +0200poscat(~poscat@user/poscat) (Remote host closed the connection)
2025-04-15 16:38:37 +0200poscat(~poscat@user/poscat) poscat
2025-04-15 16:39:05 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2025-04-15 16:40:36 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 272 seconds)
2025-04-15 16:40:54 +0200inca(~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds)
2025-04-15 16:44:12 +0200 <haskellbridge> <Liamzee> this is sort of overkill, isn't it?
2025-04-15 16:44:14 +0200 <haskellbridge> <Liamzee> https://milkv.io/duo-s
2025-04-15 16:44:29 +0200famubu(~julinuser@user/famubu) famubu
2025-04-15 16:45:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 16:45:49 +0200 <famubu> Hi. I was trying to get familiar with TemplateHaskell, but the API documentation is not always making sense. There are many types, but I often find it difficult to understand the purpose of the types.
2025-04-15 16:46:05 +0200 <haskellbridge> <Liamzee> grr
2025-04-15 16:46:13 +0200 <haskellbridge> <Liamzee> https://gitlab.haskell.org/ghc/ghc/-/issues/16783
2025-04-15 16:46:13 +0200 <famubu> For example Pred, Cxt, Bang.
2025-04-15 16:46:30 +0200 <famubu> Is there some place where the meaning of these types are written down?
2025-04-15 16:46:34 +0200 <famubu> in TemplateHaskell.
2025-04-15 16:46:38 +0200inca(~inca@71.30.233.213)
2025-04-15 16:48:27 +0200 <famubu> Eg: https://hackage.haskell.org/package/template-haskell-2.23.0.0/docs/Language-Haskell-TH.html#t:Bang…
2025-04-15 16:49:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-04-15 16:52:24 +0200 <c_wraith> famubu: many of these things are just direct reflections of a combination of Haskell syntax and GHC extensions
2025-04-15 16:53:52 +0200 <tomsmeding> [exa]: for the accelerate-internal IR, Acc and Exp values have a Show instance that shows the program after fusion
2025-04-15 16:54:31 +0200 <tomsmeding> if you set the +debug flag on the 'accelerate' package then you can pass '+ACC -ddump-cc -dverbose' to your executable on the command line to see generated LLVM IR (warning: large)
2025-04-15 16:54:44 +0200 <tomsmeding> for other +ACC flags, see accelerate.cabal
2025-04-15 16:55:02 +0200 <c_wraith> BangType is a specifier for a data constructor field. It is an alias for (Bang, Type). The Type part is easier - it's just a representation of a Haskell type. The Bang part contains two components, SourceUnpackedness and SourceStrictness
2025-04-15 16:55:08 +0200 <tomsmeding> [exa]: (+ACC is intended to work like +RTS and also supports -ACC and --ACC like RTS does)
2025-04-15 16:55:34 +0200 <c_wraith> SourceStrictness reflects actual Haskell syntax - is the field declared to be strict, lazy, or neither?
2025-04-15 16:55:43 +0200 <tomsmeding> [exa]: for better or for worse, even 'r -> Acc a' has a Show instance
2025-04-15 16:55:59 +0200 <c_wraith> SourceUnpackedness reflects the GHC {-# Unpack #-} pragma being present or not
2025-04-15 16:57:11 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
2025-04-15 16:57:36 +0200 <c_wraith> famubu: If you are sufficiently familiar with Haskell syntax, it should be pretty obvious what BangType is for. But you do need to know about some GHC extensions to know what SourceUnpackedness maps to
2025-04-15 16:58:33 +0200michalz(~michalz@185.246.207.217)
2025-04-15 16:59:10 +0200 <tomsmeding> [exa]: you may want to use '+ACC -fforce-recomp' or '$ rm -rf ~/.cache/accelerate' to get things to recompile instead of using the cached .so
2025-04-15 16:59:13 +0200 <c_wraith> unfortunately, that's sort of how template haskell works at the moment. You need a separate syntax reference like the Haskell Report and the GHC user's guide for extensions to see what everything means
2025-04-15 16:59:38 +0200inca(~inca@71.30.233.213) (Ping timeout: 265 seconds)
2025-04-15 16:59:59 +0200 <famubu> I only have a superficial familiarity with Haskell.. I guess that's why..😅
2025-04-15 17:00:30 +0200 <famubu> Oh wait..
2025-04-15 17:00:50 +0200 <famubu> I guess `!` is for strict eval.
2025-04-15 17:00:59 +0200inca(~inca@71.30.233.213)
2025-04-15 17:01:54 +0200 <famubu> Which ghc extensions are relevant for SourceUnpackedness?
2025-04-15 17:02:20 +0200 <famubu> I have been trying to tick of the extensions that I had come across and wanted to add to that list: https://ju-sh.github.io/wiki/haskell/ghc-extensions.html
2025-04-15 17:02:45 +0200qeef(~qeef@138-169-143-94.cust.centrio.cz) qeef
2025-04-15 17:02:53 +0200 <c_wraith> famubu: https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#unpack-pragma and the nounpack pragma, the next thing down
2025-04-15 17:03:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 17:03:18 +0200JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-04-15 17:03:21 +0200 <c_wraith> as pragmas, they don't need a separate language extension to enable
2025-04-15 17:04:46 +0200 <c_wraith> hey wait a second. the docs on the nounpack pragma are wrong, though the usage example shows correct usage.
2025-04-15 17:05:07 +0200 <c_wraith> (it should say "Where: data constructor field")
2025-04-15 17:06:12 +0200JuanDaughertyhad to look at the log to dispel "noun pack"
2025-04-15 17:06:39 +0200 <famubu> I too first read it as noun.
2025-04-15 17:07:04 +0200 <JuanDaugherty> which woulda been the excite
2025-04-15 17:07:39 +0200 <c_wraith> verbs never get packed, though
2025-04-15 17:10:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2025-04-15 17:14:15 +0200inca(~inca@71.30.233.213) (Ping timeout: 268 seconds)
2025-04-15 17:15:28 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed)
2025-04-15 17:15:56 +0200Googulator82(~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu)
2025-04-15 17:17:37 +0200urdh(~urdh@user/urdh) urdh
2025-04-15 17:17:51 +0200inca(~inca@71.30.233.213)
2025-04-15 17:20:21 +0200qeef(~qeef@138-169-143-94.cust.centrio.cz) (Ping timeout: 252 seconds)
2025-04-15 17:21:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-04-15 17:23:42 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-04-15 17:26:42 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-04-15 17:28:30 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-04-15 17:31:22 +0200acidjnk(~acidjnk@p200300d6e71c4f58dd6e73151eca3115.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)