IRCBrowse

2021/08/09

2021-08-09 00:00:29 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr) (Read error: Connection reset by peer)
2021-08-09 00:01:45 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-09 00:05:10 +0200kayprish(~kayprish@cable-188-2-229-172.dynamic.sbb.rs) (Read error: Connection reset by peer)
2021-08-09 00:05:57 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 245 seconds)
2021-08-09 00:11:13 +0200meltedbrain_y2k(~tekserf@45.152.183.52) ()
2021-08-09 00:11:26 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 00:11:30 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-09 00:12:03 +0200hendursaga(~weechat@user/hendursaga)
2021-08-09 00:12:48 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-09 00:13:39 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-09 00:15:06 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-09 00:15:07 +0200cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2021-08-09 00:18:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 00:19:27 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 00:20:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 00:22:06 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-08-09 00:25:06 +0200cheater(~Username@user/cheater)
2021-08-09 00:25:26 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-08-09 00:25:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 00:28:49 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.2)
2021-08-09 00:36:50 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds)
2021-08-09 00:38:59 +0200kar1[m]kar1
2021-08-09 00:39:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 00:41:02 +0200kar1(~kar1matri@2001:470:69fc:105::c308) (Quit: Reconnecting)
2021-08-09 00:41:17 +0200kar1(~kar1matri@2001:470:69fc:105::c308)
2021-08-09 00:42:33 +0200flouflou(~flouflou@modemcable032.110-177-173.mc.videotron.ca)
2021-08-09 00:44:25 +0200kar1(~kar1matri@2001:470:69fc:105::c308) (Client Quit)
2021-08-09 00:44:40 +0200kar1(~kar1@2001:470:69fc:105::c308)
2021-08-09 00:46:25 +0200flouflou(~flouflou@modemcable032.110-177-173.mc.videotron.ca) (Client Quit)
2021-08-09 00:46:46 +0200cjb(~cjb@user/cjb)
2021-08-09 00:58:34 +0200sander(~sander@user/sander) (Ping timeout: 256 seconds)
2021-08-09 00:59:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-09 01:04:48 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds)
2021-08-09 01:08:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-08-09 01:08:52 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 245 seconds)
2021-08-09 01:09:17 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2021-08-09 01:23:09 +0200dajoer(~david@user/gvx)
2021-08-09 01:25:27 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-08-09 01:28:56 +0200alx741(~alx741@181.196.68.21) (Quit: alx741)
2021-08-09 01:31:30 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Ping timeout: 250 seconds)
2021-08-09 01:31:56 +0200alx741(~alx741@181.196.68.21)
2021-08-09 01:33:31 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-08-09 01:38:28 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-09 01:39:03 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-09 01:39:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-09 01:39:27 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 01:40:42 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 01:45:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds)
2021-08-09 01:47:04 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 01:48:35 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 01:55:45 +0200notzmv(~zmv@user/notzmv)
2021-08-09 02:00:02 +0200hendursaga(~weechat@user/hendursaga) (Remote host closed the connection)
2021-08-09 02:00:24 +0200hendursaga(~weechat@user/hendursaga)
2021-08-09 02:02:25 +0200 <lechner> sm: thanks! I will try that in a little while. i am still working on getting chat client to connect to matrix. can I convert this to a cabal.project? stack is fine for now, but I think i will ultimately have to use cabal
2021-08-09 02:03:29 +0200 <sm> sure, you can
2021-08-09 02:04:42 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds)
2021-08-09 02:08:09 +0200 <lechner> sm: how did you test it, please? did you discover something cool?
2021-08-09 02:09:10 +0200 <sm> lechner: i just ran it and verified it shows up in browser, no more. but even that looked pretty cool
2021-08-09 02:10:23 +0200 <lechner> sm: great, i can't wait! i have a few personal obligations
2021-08-09 02:13:46 +0200 <sm> đŸ‘đŸ»I'll give it another go too
2021-08-09 02:13:48 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net)
2021-08-09 02:14:46 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 02:14:58 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 02:15:14 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 02:15:21 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 02:21:53 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 252 seconds)
2021-08-09 02:26:22 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-09 02:26:36 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-09 02:26:48 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-09 02:28:23 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 02:28:39 +0200Atum_(~IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-09 02:30:00 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 250 seconds)
2021-08-09 02:36:49 +0200gawen(~gawen@user/gawen) (Quit: cya)
2021-08-09 02:37:04 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-08-09 02:37:26 +0200hololeap(~hololeap@user/hololeap)
2021-08-09 02:41:22 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2021-08-09 02:43:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 02:45:33 +0200gawen(~gawen@user/gawen)
2021-08-09 02:45:56 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 02:49:30 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2021-08-09 02:49:56 +0200pe200012(~pe200012@113.105.10.33) (Ping timeout: 250 seconds)
2021-08-09 02:50:01 +0200pe200012_(~pe200012@113.105.10.33)
2021-08-09 02:50:18 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-08-09 02:51:33 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2021-08-09 02:56:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 02:57:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 03:00:49 +0200xsperry(~as@user/xsperry) (Remote host closed the connection)
2021-08-09 03:04:31 +0200jess(~jess@libera/staff/jess)
2021-08-09 03:05:37 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net)
2021-08-09 03:05:51 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 03:10:57 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 245 seconds)
2021-08-09 03:12:12 +0200xff0x(~xff0x@2001:1a81:533f:2500:c767:19bd:28d8:628d) (Ping timeout: 245 seconds)
2021-08-09 03:12:39 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-08-09 03:13:22 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net)
2021-08-09 03:14:09 +0200xff0x(~xff0x@2001:1a81:5378:e300:6a47:5d73:b3fa:4d3c)
2021-08-09 03:14:14 +0200gawen(~gawen@user/gawen) (Quit: cya)
2021-08-09 03:17:45 +0200gawen(~gawen@user/gawen)
2021-08-09 03:21:31 +0200machinedgod(~machinedg@24.105.81.50)
2021-08-09 03:21:48 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-08-09 03:22:30 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 256 seconds)
2021-08-09 03:23:18 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net)
2021-08-09 03:24:30 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-08-09 03:28:38 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 258 seconds)
2021-08-09 03:29:45 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net)
2021-08-09 03:30:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-08-09 03:30:26 +0200cheater(~Username@user/cheater)
2021-08-09 03:32:48 +0200pe200012(~pe200012@113.105.10.33)
2021-08-09 03:32:51 +0200pe200012_(~pe200012@113.105.10.33) (Ping timeout: 258 seconds)
2021-08-09 03:35:16 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com)
2021-08-09 03:35:32 +0200pbrisbin(~patrick@c-174-57-238-238.hsd1.nj.comcast.net) (Ping timeout: 258 seconds)
2021-08-09 03:36:11 +0200pe200012_(~pe200012@113.105.10.33)
2021-08-09 03:37:10 +0200pe200012(~pe200012@113.105.10.33) (Ping timeout: 250 seconds)
2021-08-09 03:40:27 +0200jmhimara(~jmhimara@170.39.139.5)
2021-08-09 03:40:54 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 258 seconds)
2021-08-09 03:41:21 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 03:44:16 +0200slack1256(~slack1256@181.203.105.248)
2021-08-09 03:44:55 +0200slack1256(~slack1256@181.203.105.248) (Remote host closed the connection)
2021-08-09 03:48:26 +0200pe200012_(~pe200012@113.105.10.33) (Ping timeout: 250 seconds)
2021-08-09 03:48:44 +0200pe200012_(~pe200012@113.105.10.33)
2021-08-09 03:53:57 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2)
2021-08-09 03:57:37 +0200pe200012_(~pe200012@113.105.10.33) (Ping timeout: 245 seconds)
2021-08-09 03:57:41 +0200pe200012(~pe200012@113.105.10.33)
2021-08-09 03:58:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 04:02:33 +0200xsperry(~as@user/xsperry)
2021-08-09 04:02:34 +0200xsperry(~as@user/xsperry) (Excess Flood)
2021-08-09 04:03:20 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 04:10:25 +0200Reyu[M](~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection)
2021-08-09 04:11:08 +0200Reyu[M](~reyureyuz@matrix.reyuzenfold.com)
2021-08-09 04:16:38 +0200hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-08-09 04:17:58 +0200MidAutumnHotaru(~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge)
2021-08-09 04:18:08 +0200pe200012_(~pe200012@113.105.10.33)
2021-08-09 04:18:11 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-09 04:18:20 +0200pe200012(~pe200012@113.105.10.33) (Ping timeout: 272 seconds)
2021-08-09 04:18:28 +0200MidAutumnHotaru(~MidAutumn@user/midautumnmoon)
2021-08-09 04:19:13 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 04:19:14 +0200derelict(~derelict@user/derelict) (Ping timeout: 258 seconds)
2021-08-09 04:19:35 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-09 04:19:43 +0200hololeap(~hololeap@user/hololeap)
2021-08-09 04:21:30 +0200td_(~td@94.134.91.249) (Ping timeout: 272 seconds)
2021-08-09 04:22:37 +0200td_(~td@94.134.91.53)
2021-08-09 04:26:25 +0200wei2912(~wei2912@112.199.250.21)
2021-08-09 04:28:07 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-08-09 04:28:26 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-08-09 04:29:04 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-08-09 04:29:04 +0200FinnElijaGuest536
2021-08-09 04:29:04 +0200finn_elijaFinnElija
2021-08-09 04:31:30 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-08-09 04:31:54 +0200Guest536(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds)
2021-08-09 04:32:32 +0200zebrag(~chris@user/zebrag)
2021-08-09 04:36:06 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 04:37:23 +0200jmhimara(~jmhimara@170.39.139.5) (Quit: Connection closed)
2021-08-09 04:38:36 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 272 seconds)
2021-08-09 04:54:20 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-09 04:55:16 +0200MQ-17J(~MQ-17J@8.6.144.235)
2021-08-09 04:59:11 +0200 <lechner> sm: btw. i have some issues building on a constrained system with 1 G of RAM. Should GHC really need 600 MB to build?
2021-08-09 05:00:00 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2021-08-09 05:01:07 +0200Taneb(~Taneb@runciman.hacksoc.org)
2021-08-09 05:01:09 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2021-08-09 05:04:43 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-08-09 05:07:13 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2)
2021-08-09 05:09:28 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 250 seconds)
2021-08-09 05:15:30 +0200ham(~ham4@user/ham) (Ping timeout: 240 seconds)
2021-08-09 05:16:23 +0200ham2(~ham4@d8d8627d5.access.telenet.be)
2021-08-09 05:17:06 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-09 05:18:25 +0200_xor(~xor@74.215.232.67) (Quit: brb)
2021-08-09 05:23:48 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-08-09 05:26:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 05:28:13 +0200 <dsal> It can take a lot. My phone has 8GB of RAM. :)
2021-08-09 05:29:05 +0200 <c_wraith> It used to be the case that most build failures due to lack of memory were from the linker rather than ghc. But 1GB might make even compiling fail in some packages that overuse inlining
2021-08-09 05:29:06 +0200 <Axman6> it's an advanced compiler compiling an advanced compiler, it's going to need quite a lot of resources to do that. 1GB hasn't been enough for that sort of task for years
2021-08-09 05:32:00 +0200 <davean> lechner: uh, we usually consider 8GiB a minimum, but uh, you CAN do it with a lot less . . . you'll need j1, I think turning optimizations off will help ... uh, yah, it'll be a trip
2021-08-09 05:33:29 +0200vysn(~vysn@user/vysn)
2021-08-09 05:36:38 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 05:37:56 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 05:38:08 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 05:42:34 +0200pe200012_(~pe200012@113.105.10.33) (Ping timeout: 272 seconds)
2021-08-09 05:44:36 +0200alx741(~alx741@181.196.68.21) (Quit: alx741)
2021-08-09 05:48:58 +0200 <lechner> Axman6: I'm just building emanote, not GHC. Sorry if that was unclear https://github.com/srid/emanote
2021-08-09 05:52:07 +0200 <lechner> dsal: i should have guessed that people here run GHC on their phones!
2021-08-09 06:00:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-08-09 06:02:00 +0200euouae(~euouae@user/euouae)
2021-08-09 06:07:04 +0200 <Axman6> I'd love to have GHCi on my iPhone
2021-08-09 06:07:06 +0200robertm(robertm@rojoma.com) (Ping timeout: 268 seconds)
2021-08-09 06:07:25 +0200robertm(robertm@rojoma.com)
2021-08-09 06:08:19 +0200 <euouae> Axman6: *crickets*
2021-08-09 06:08:30 +0200 <euouae> The apple crickets
2021-08-09 06:08:33 +0200 <Axman6> GHCiOS
2021-08-09 06:11:28 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-08-09 06:17:53 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 06:18:48 +0200azeem(~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) (Ping timeout: 250 seconds)
2021-08-09 06:24:09 +0200 <dsal> Back when I ran PalmOS, I had a really great scheme system on my PDA/phone. I've not had any good mobile programming environment since.
2021-08-09 06:28:47 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-09 06:31:58 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-08-09 06:33:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-09 06:36:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 06:37:22 +0200euouae(~euouae@user/euouae) (Quit: Client closed)
2021-08-09 06:40:41 +0200MQ-17J(~MQ-17J@8.6.144.235) (Ping timeout: 258 seconds)
2021-08-09 06:42:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-08-09 06:43:45 +0200bash69(~bash69@202.14.120.238)
2021-08-09 06:45:51 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:2926:cf7f:9d4d:10a0) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 06:45:57 +0200bash69(~bash69@202.14.120.238) (Client Quit)
2021-08-09 06:48:09 +0200cjb(~cjb@user/cjb) (Ping timeout: 260 seconds)
2021-08-09 06:48:24 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 06:48:49 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection)
2021-08-09 06:49:08 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-08-09 06:52:20 +0200zmt00(~zmt00@user/zmt00) (Quit: Gone.)
2021-08-09 06:52:42 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-08-09 06:54:34 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 06:57:00 +0200zmt00(~zmt00@user/zmt00)
2021-08-09 06:58:49 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2021-08-09 06:58:49 +0200Erutuon(~Erutuon@user/erutuon) (*.net *.split)
2021-08-09 06:58:49 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (*.net *.split)
2021-08-09 06:58:49 +0200td_(~td@94.134.91.53) (*.net *.split)
2021-08-09 06:58:49 +0200cheater(~Username@user/cheater) (*.net *.split)
2021-08-09 06:58:49 +0200tritlo(sid58727@user/tritlo) (*.net *.split)
2021-08-09 06:58:49 +0200rubin55_(sid175221@stonehaven.irccloud.com) (*.net *.split)
2021-08-09 06:58:49 +0200ehamberg(sid18208@stonehaven.irccloud.com) (*.net *.split)
2021-08-09 06:58:49 +0200mustafa(sid502723@rockylinux/releng/mustafa) (*.net *.split)
2021-08-09 06:58:49 +0200Firedancer(sid336191@stonehaven.irccloud.com) (*.net *.split)
2021-08-09 06:58:49 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (*.net *.split)
2021-08-09 06:58:49 +0200jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net) (*.net *.split)
2021-08-09 06:58:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2021-08-09 06:58:49 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (*.net *.split)
2021-08-09 06:58:50 +0200mcfrdy(~mcfrdy@user/mcfrdy) (*.net *.split)
2021-08-09 06:58:50 +0200natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-08-09 06:58:50 +0200AlexNoo(~AlexNoo@178.34.160.135) (*.net *.split)
2021-08-09 06:58:50 +0200sa(sid1055@tinside.irccloud.com) (*.net *.split)
2021-08-09 06:58:50 +0200matijja(~matijja@193.77.181.201) (*.net *.split)
2021-08-09 06:58:50 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (*.net *.split)
2021-08-09 06:58:50 +0200jlamothe(~jlamothe@104.158.48.100) (*.net *.split)
2021-08-09 06:58:50 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (*.net *.split)
2021-08-09 06:58:50 +0200wrengr_away(~wrengr@56.4.82.34.bc.googleusercontent.com) (*.net *.split)
2021-08-09 06:58:50 +0200infinity0(~infinity0@occupy.ecodis.net) (*.net *.split)
2021-08-09 06:58:51 +0200soft(~soft-matr@2001:470:69fc:105::c75) (*.net *.split)
2021-08-09 06:58:51 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (*.net *.split)
2021-08-09 06:58:51 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (*.net *.split)
2021-08-09 06:58:51 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (*.net *.split)
2021-08-09 06:58:51 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a) (*.net *.split)
2021-08-09 06:58:51 +0200siraben(~siraben@user/siraben) (*.net *.split)
2021-08-09 06:58:51 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22) (*.net *.split)
2021-08-09 06:58:51 +0200nf(~n@monade.li) (*.net *.split)
2021-08-09 06:58:51 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2021-08-09 06:58:51 +0200ornxka(~ornxka@user/ornxka) (*.net *.split)
2021-08-09 06:58:51 +0200jolly(~jolly@208.180.97.158) (*.net *.split)
2021-08-09 06:58:51 +0200earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0) (*.net *.split)
2021-08-09 06:58:52 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2021-08-09 06:58:52 +0200jrm(~jrm@156.34.187.65) (*.net *.split)
2021-08-09 06:58:52 +0200dolio(~dolio@130.44.130.54) (*.net *.split)
2021-08-09 06:58:52 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
2021-08-09 06:58:52 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (*.net *.split)
2021-08-09 06:58:52 +0200sus(thelounge@user/zeromomentum) (*.net *.split)
2021-08-09 06:58:52 +0200nckx(~nckx@tobias.gr) (*.net *.split)
2021-08-09 06:59:07 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-08-09 06:59:07 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-09 06:59:07 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-08-09 06:59:07 +0200td_(~td@94.134.91.53)
2021-08-09 06:59:07 +0200tritlo(sid58727@user/tritlo)
2021-08-09 06:59:07 +0200rubin55_(sid175221@stonehaven.irccloud.com)
2021-08-09 06:59:07 +0200ehamberg(sid18208@stonehaven.irccloud.com)
2021-08-09 06:59:07 +0200mustafa(sid502723@rockylinux/releng/mustafa)
2021-08-09 06:59:07 +0200Firedancer(sid336191@stonehaven.irccloud.com)
2021-08-09 06:59:07 +0200peterhil(~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-08-09 06:59:07 +0200jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net)
2021-08-09 06:59:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2021-08-09 06:59:07 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2021-08-09 06:59:07 +0200mcfrdy(~mcfrdy@user/mcfrdy)
2021-08-09 06:59:07 +0200natechan(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-08-09 06:59:07 +0200AlexNoo(~AlexNoo@178.34.160.135)
2021-08-09 06:59:07 +0200sa(sid1055@tinside.irccloud.com)
2021-08-09 06:59:07 +0200matijja(~matijja@193.77.181.201)
2021-08-09 06:59:07 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-08-09 06:59:07 +0200jlamothe(~jlamothe@104.158.48.100)
2021-08-09 06:59:07 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346)
2021-08-09 06:59:07 +0200wrengr_away(~wrengr@56.4.82.34.bc.googleusercontent.com)
2021-08-09 06:59:07 +0200infinity0(~infinity0@occupy.ecodis.net)
2021-08-09 06:59:07 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-08-09 06:59:07 +0200siraben(~siraben@user/siraben)
2021-08-09 06:59:07 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-08-09 06:59:07 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-08-09 06:59:07 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-08-09 06:59:07 +0200nf(~n@monade.li)
2021-08-09 06:59:07 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-08-09 06:59:07 +0200ornxka(~ornxka@user/ornxka)
2021-08-09 06:59:07 +0200jolly(~jolly@208.180.97.158)
2021-08-09 06:59:07 +0200earthy(~arthurvl@2001:984:275b:1:ba27:ebff:fea0:40b0)
2021-08-09 06:59:07 +0200Teacup(~teacup@user/teacup)
2021-08-09 06:59:07 +0200jrm(~jrm@156.34.187.65)
2021-08-09 06:59:07 +0200dolio(~dolio@130.44.130.54)
2021-08-09 06:59:07 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2021-08-09 06:59:07 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2021-08-09 06:59:07 +0200sus(thelounge@user/zeromomentum)
2021-08-09 06:59:07 +0200nckx(~nckx@tobias.gr)
2021-08-09 06:59:14 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
2021-08-09 06:59:14 +0200sa(sid1055@tinside.irccloud.com) (Max SendQ exceeded)
2021-08-09 06:59:14 +0200siraben(~siraben@user/siraben) (Max SendQ exceeded)
2021-08-09 06:59:14 +0200Teacup(~teacup@user/teacup) (Max SendQ exceeded)
2021-08-09 06:59:32 +0200Teacup(~teacup@user/teacup)
2021-08-09 06:59:52 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2021-08-09 07:01:01 +0200tlax(tlax@kapsi.fi)
2021-08-09 07:01:02 +0200acowley_(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2021-08-09 07:01:02 +0200bcoppens(~bartcopp@vpn2.bartcoppens.be)
2021-08-09 07:01:02 +0200panda_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2021-08-09 07:01:03 +0200haveo_(~haveo@sl35.iuwt.fr)
2021-08-09 07:01:03 +0200arw_(~arw@impulse.informatik.uni-erlangen.de)
2021-08-09 07:01:03 +0200dminuoso(~dminuoso@user/dminuoso) (*.net *.split)
2021-08-09 07:01:03 +0200awth13(~awth13@user/awth13) (*.net *.split)
2021-08-09 07:01:03 +0200incertia(~incertia@d4-50-26-103.nap.wideopenwest.com) (*.net *.split)
2021-08-09 07:01:03 +0200zopsi(~zopsi@irc.dir.ac) (*.net *.split)
2021-08-09 07:01:03 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split)
2021-08-09 07:01:03 +0200int-e(~noone@int-e.eu) (*.net *.split)
2021-08-09 07:01:03 +0200radw(~radw@user/radw) (*.net *.split)
2021-08-09 07:01:03 +0200acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split)
2021-08-09 07:01:03 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2021-08-09 07:01:03 +0200dmwit(~dmwit@pool-108-18-198-142.washdc.fios.verizon.net) (*.net *.split)
2021-08-09 07:01:03 +0200davros(~davros@host86-184-180-96.range86-184.btcentralplus.com) (*.net *.split)
2021-08-09 07:01:03 +0200thaumavorio(~thaumavor@thaumavor.io) (*.net *.split)
2021-08-09 07:01:03 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2021-08-09 07:01:03 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
2021-08-09 07:01:03 +0200cohn(~noone@user/cohn) (*.net *.split)
2021-08-09 07:01:03 +0200SquidDev(~SquidDev@autoclave.squiddev.cc) (*.net *.split)
2021-08-09 07:01:03 +0200mht-wtf(~mht@mht.wtf) (*.net *.split)
2021-08-09 07:01:03 +0200tam(~alpha@163.172.215.78) (*.net *.split)
2021-08-09 07:01:03 +0200Trattue(~Trattue@152.70.182.158) (*.net *.split)
2021-08-09 07:01:03 +0200bcoppens_(~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2021-08-09 07:01:04 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net) (*.net *.split)
2021-08-09 07:01:04 +0200noctux(~noctux@user/noctux) (*.net *.split)
2021-08-09 07:01:04 +0200tlax_(tlax@kapsi.fi) (*.net *.split)
2021-08-09 07:01:04 +0200NieDzejkob_(~quassel@195.149.98.3) (*.net *.split)
2021-08-09 07:01:04 +0200blades(~blades@204.48.29.163) (*.net *.split)
2021-08-09 07:01:04 +0200urdh(~urdh@user/urdh) (*.net *.split)
2021-08-09 07:01:04 +0200Techcable(~Techcable@168.235.93.147) (*.net *.split)
2021-08-09 07:01:04 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net) (*.net *.split)
2021-08-09 07:01:04 +0200Ranhir(~Ranhir@157.97.53.139) (*.net *.split)
2021-08-09 07:01:04 +0200jackhill(~jackhill@kalessin.dragonsnail.net) (*.net *.split)
2021-08-09 07:01:04 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (*.net *.split)
2021-08-09 07:01:04 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net) (*.net *.split)
2021-08-09 07:01:04 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-08-09 07:01:04 +0200fr33domlover(~fr33domlo@angeley.es) (*.net *.split)
2021-08-09 07:01:04 +0200janus(janus@anubis.0x90.dk) (*.net *.split)
2021-08-09 07:01:04 +0200xerox(~edi@user/edi) (*.net *.split)
2021-08-09 07:01:04 +0200polux(~polux@51.15.169.172) (*.net *.split)
2021-08-09 07:01:04 +0200drdo(~drdo@overlord0.drdo.eu) (*.net *.split)
2021-08-09 07:01:04 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2021-08-09 07:01:04 +0200asm(~alexander@user/asm) (*.net *.split)
2021-08-09 07:01:04 +0200niko(~niko@libera/staff/niko) (*.net *.split)
2021-08-09 07:01:04 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu) (*.net *.split)
2021-08-09 07:01:04 +0200ringo_(~ringo@157.230.117.128) (*.net *.split)
2021-08-09 07:01:04 +0200mniip(mniip@libera/staff/mniip) (*.net *.split)
2021-08-09 07:01:04 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu) (*.net *.split)
2021-08-09 07:01:04 +0200arw(~arw@impulse.informatik.uni-erlangen.de) (*.net *.split)
2021-08-09 07:01:04 +0200haveo(~haveo@sl35.iuwt.fr) (*.net *.split)
2021-08-09 07:01:04 +0200frobnicator(~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split)
2021-08-09 07:01:05 +0200fiddlerwoaroof_(~fiddlerwo@user/fiddlerwoaroof) (*.net *.split)
2021-08-09 07:01:05 +0200spoonm(spoonm@inaba.spoonm.org) (*.net *.split)
2021-08-09 07:01:05 +0200voldial(~user@user/voldial) (*.net *.split)
2021-08-09 07:01:05 +0200jackhill_(~jackhill@kalessin.dragonsnail.net)
2021-08-09 07:01:05 +0200bairyn(~bairyn@mail.digitalkingdom.org)
2021-08-09 07:01:05 +0200skewerr(spoonm@inaba.spoonm.org)
2021-08-09 07:01:06 +0200int-e_(~noone@int-e.eu)
2021-08-09 07:01:07 +0200dka_(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-08-09 07:01:07 +0200dmwit_(~dmwit@pool-108-18-198-142.washdc.fios.verizon.net)
2021-08-09 07:01:09 +0200mniip(mniip@libera/staff/mniip)
2021-08-09 07:01:10 +0200cohn_(~noone@23.239.18.252)
2021-08-09 07:01:10 +0200janus(janus@anubis.0x90.dk)
2021-08-09 07:01:10 +0200xerox_(~edi@user/edi)
2021-08-09 07:01:11 +0200NieDzejkob(~quassel@195.149.98.3)
2021-08-09 07:01:12 +0200tam(~alpha@163.172.215.78)
2021-08-09 07:01:12 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-08-09 07:01:12 +0200mht(~mht@2a03:b0c0:3:e0::1e2:c001)
2021-08-09 07:01:15 +0200slep(~slep@cpc150002-brnt4-2-0-cust437.4-2.cable.virginm.net)
2021-08-09 07:01:16 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-08-09 07:01:17 +0200davros(~davros@host86-184-180-96.range86-184.btcentralplus.com)
2021-08-09 07:01:17 +0200asm(~alexander@burner.asm89.io)
2021-08-09 07:01:23 +0200Ranhir(~Ranhir@157.97.53.139)
2021-08-09 07:01:24 +0200polux0(~polux@51.15.169.172)
2021-08-09 07:01:25 +0200Techcable_(~Techcable@168.235.93.147)
2021-08-09 07:01:26 +0200wz1000(~zubin@static.11.113.47.78.clients.your-server.de)
2021-08-09 07:01:27 +0200Eoco(~ian@x-160-94-179-157.acm.umn.edu)
2021-08-09 07:01:27 +0200voldial(~user@195.179.201.175)
2021-08-09 07:01:31 +0200frobnicator(~frobnicat@185-227-75-147.dsl.cambrium.nl)
2021-08-09 07:01:33 +0200zopsi(~zopsi@irc.dir.ac)
2021-08-09 07:01:34 +0200superbil(~superbil@1-34-176-171.HINET-IP.hinet.net)
2021-08-09 07:01:38 +0200SquidDev0(~SquidDev@autoclave.squiddev.cc)
2021-08-09 07:01:49 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2021-08-09 07:02:10 +0200Trattue(~Trattue@152.70.182.158)
2021-08-09 07:02:14 +0200noctux(~noctux@user/noctux)
2021-08-09 07:02:18 +0200urdh(~urdh@user/urdh)
2021-08-09 07:02:19 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-08-09 07:02:20 +0200drdo(~drdo@overlord0.drdo.eu)
2021-08-09 07:02:21 +0200thaumavorio(~thaumavor@thaumavor.io)
2021-08-09 07:02:23 +0200dtman34(~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-08-09 07:02:25 +0200incertia(~incertia@d4-50-26-103.nap.wideopenwest.com)
2021-08-09 07:02:25 +0200fiddlerwoaroof(~fiddlerwo@user/fiddlerwoaroof)
2021-08-09 07:02:34 +0200ecameron[m](~ecameronm@2001:470:69fc:105::35df) (Ping timeout: 240 seconds)
2021-08-09 07:02:35 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3) (Ping timeout: 250 seconds)
2021-08-09 07:02:37 +0200boxscape(~boxscape@user/boxscape) (Ping timeout: 268 seconds)
2021-08-09 07:02:37 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda) (Ping timeout: 245 seconds)
2021-08-09 07:02:37 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5) (Ping timeout: 245 seconds)
2021-08-09 07:02:38 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:8861:2c87:dc35:9861)
2021-08-09 07:02:39 +0200radw(~radw@user/radw)
2021-08-09 07:02:40 +0200dminuoso(~dminuoso@user/dminuoso)
2021-08-09 07:02:42 +0200fr33domlover(~fr33domlo@angeley.es)
2021-08-09 07:02:44 +0200blades(~blades@204.48.29.163)
2021-08-09 07:02:45 +0200ringo_(~ringo@157.230.117.128)
2021-08-09 07:02:50 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc) (Ping timeout: 252 seconds)
2021-08-09 07:02:50 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d) (Ping timeout: 252 seconds)
2021-08-09 07:02:50 +0200polykernel(~polykerne@user/polykernel) (Ping timeout: 252 seconds)
2021-08-09 07:02:50 +0200ericson2314(~ericson23@2001:470:69fc:105::70c) (Ping timeout: 252 seconds)
2021-08-09 07:02:56 +0200bb010g(~bb010g@2001:470:69fc:105::9a5) (Ping timeout: 256 seconds)
2021-08-09 07:02:56 +0200unclechu(~unclechu@2001:470:69fc:105::354) (Ping timeout: 256 seconds)
2021-08-09 07:02:56 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284) (Ping timeout: 256 seconds)
2021-08-09 07:02:56 +0200carmysilna(~brightly-@2001:470:69fc:105::2190) (Ping timeout: 256 seconds)
2021-08-09 07:02:57 +0200bitonic(~bitonic@2001:470:69fc:105::1812) (Ping timeout: 272 seconds)
2021-08-09 07:02:57 +0200ac(~aloiscoch@2001:470:69fc:105::65) (Ping timeout: 272 seconds)
2021-08-09 07:02:58 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70) (Ping timeout: 240 seconds)
2021-08-09 07:02:58 +0200Tisoxin(~ikosit@user/ikosit) (Ping timeout: 240 seconds)
2021-08-09 07:03:01 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9) (Ping timeout: 272 seconds)
2021-08-09 07:03:01 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db) (Ping timeout: 272 seconds)
2021-08-09 07:03:02 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2021-08-09 07:03:03 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488) (Ping timeout: 276 seconds)
2021-08-09 07:03:13 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2021-08-09 07:03:23 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds)
2021-08-09 07:03:29 +0200fgaz(~fgaz@2001:470:69fc:105::842) (Ping timeout: 252 seconds)
2021-08-09 07:03:30 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4) (Ping timeout: 252 seconds)
2021-08-09 07:03:30 +0200psydroid(~psydroid@user/psydroid) (Ping timeout: 256 seconds)
2021-08-09 07:03:34 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b) (Ping timeout: 272 seconds)
2021-08-09 07:03:34 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e) (Ping timeout: 272 seconds)
2021-08-09 07:03:34 +0200kadoban(~kadoban@user/kadoban) (Ping timeout: 272 seconds)
2021-08-09 07:03:38 +0200soft(~soft-matr@2001:470:69fc:105::c75) (Ping timeout: 272 seconds)
2021-08-09 07:03:38 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8) (Ping timeout: 272 seconds)
2021-08-09 07:03:41 +0200awth13(~awth13@user/awth13)
2021-08-09 07:03:42 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277) (Ping timeout: 276 seconds)
2021-08-09 07:03:42 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4) (Ping timeout: 276 seconds)
2021-08-09 07:03:42 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5) (Ping timeout: 276 seconds)
2021-08-09 07:03:42 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b) (Ping timeout: 276 seconds)
2021-08-09 07:03:42 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2) (Ping timeout: 276 seconds)
2021-08-09 07:03:50 +0200peddie(~peddie@2001:470:69fc:105::25d) (Ping timeout: 268 seconds)
2021-08-09 07:04:55 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (*.net *.split)
2021-08-09 07:04:55 +0200lep(~lep@94.31.86.183) (*.net *.split)
2021-08-09 07:04:55 +0200shredder(~user@user/shredder) (*.net *.split)
2021-08-09 07:04:55 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2021-08-09 07:04:55 +0200jassob1(~jassob@korrob.vth.sgsnet.se) (*.net *.split)
2021-08-09 07:04:55 +0200guibou-(~guibou@163.172.83.213) (*.net *.split)
2021-08-09 07:04:55 +0200noctuks(mWTCqxoKka@user/noctux) (*.net *.split)
2021-08-09 07:04:55 +0200ridcully(~ridcully@p508ac428.dip0.t-ipconnect.de) (*.net *.split)
2021-08-09 07:04:55 +0200sergal(~sergal@fsf/member/ezra) (*.net *.split)
2021-08-09 07:04:55 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2021-08-09 07:04:55 +0200liskin(~liskin@xmonad/liskin) (*.net *.split)
2021-08-09 07:04:55 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2021-08-09 07:04:55 +0200adium(adium@user/adium) (*.net *.split)
2021-08-09 07:04:55 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2021-08-09 07:04:55 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (*.net *.split)
2021-08-09 07:04:55 +0200eltonpinto(~eltonpint@169.109.136.34.bc.googleusercontent.com) (*.net *.split)
2021-08-09 07:04:55 +0200edr(~edr@user/edr) (*.net *.split)
2021-08-09 07:04:55 +0200dsf_(~dsf@cpe-66-75-56-205.san.res.rr.com) (*.net *.split)
2021-08-09 07:04:55 +0200p3n(~p3n@217.198.124.246) (*.net *.split)
2021-08-09 07:04:55 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de) (*.net *.split)
2021-08-09 07:04:55 +0200Moyst(~moyst@user/moyst) (*.net *.split)
2021-08-09 07:04:55 +0200dkeohane1(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split)
2021-08-09 07:04:55 +0200sshine(~simon@hubris.eta.solutions) (*.net *.split)
2021-08-09 07:04:55 +0200dragestil(~znc@user/dragestil) (*.net *.split)
2021-08-09 07:04:55 +0200maerwald(~maerwald@user/maerwald) (*.net *.split)
2021-08-09 07:04:55 +0200davl_(~davl@207.154.228.18) (*.net *.split)
2021-08-09 07:04:55 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2021-08-09 07:04:55 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net) (*.net *.split)
2021-08-09 07:04:56 +0200Aleksejs(~Aleksejs@haskell.lv) (*.net *.split)
2021-08-09 07:04:56 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2021-08-09 07:04:56 +0200marienz(~marienz@libera/staff/marienz) (*.net *.split)
2021-08-09 07:04:56 +0200samebchase(~thelounge@51.15.68.182) (*.net *.split)
2021-08-09 07:04:56 +0200APic(apic@apic.name) (*.net *.split)
2021-08-09 07:04:56 +0200leah2(~leah@vuxu.org) (*.net *.split)
2021-08-09 07:04:56 +0200tomjaguarpaw(~tom@li367-225.members.linode.com) (*.net *.split)
2021-08-09 07:04:56 +0200Guest6153(~deni@mail.denibertovic.com) (*.net *.split)
2021-08-09 07:04:56 +0200SIben(~SIben@ns3106586.ip-5-135-191.eu) (*.net *.split)
2021-08-09 07:04:56 +0200res0nat0r(~Fletch@dia.whatbox.ca) (*.net *.split)
2021-08-09 07:04:56 +0200Rembane(~Rembane@li346-36.members.linode.com) (*.net *.split)
2021-08-09 07:04:56 +0200orhan89(~orhan89@151.91.188.35.bc.googleusercontent.com) (*.net *.split)
2021-08-09 07:04:56 +0200lyxia(~lyxia@poisson.chat) (*.net *.split)
2021-08-09 07:04:56 +0200anoe(~anoe@delanoe.org) (*.net *.split)
2021-08-09 07:04:56 +0200df(~ben@51.15.198.140) (*.net *.split)
2021-08-09 07:04:56 +0200mmaruseacph2(~mihai@198.199.100.72) (*.net *.split)
2021-08-09 07:04:56 +0200kaol(~kaol@178.62.241.234) (*.net *.split)
2021-08-09 07:04:56 +0200duckonomy(~duckonomy@177.ip-144-217-84.net) (*.net *.split)
2021-08-09 07:04:56 +0200st(~ts@46.101.20.9) (*.net *.split)
2021-08-09 07:04:56 +0200w1gz(~do@159.89.11.133) (*.net *.split)
2021-08-09 07:04:56 +0200bbear(~znc@21212.s.t4vps.eu) (*.net *.split)
2021-08-09 07:04:56 +0200rookie101(~rookie@207.154.204.166) (*.net *.split)
2021-08-09 07:04:56 +0200srk(~sorki@user/srk) (*.net *.split)
2021-08-09 07:04:56 +0200statusfailed(~statusfai@statusfailed.com) (*.net *.split)
2021-08-09 07:04:56 +0200micro(~micro@user/micro) (*.net *.split)
2021-08-09 07:04:58 +0200Rembane_(~Rembane@li346-36.members.linode.com)
2021-08-09 07:04:58 +0200tomjagua1paw(~tom@li367-225.members.linode.com)
2021-08-09 07:04:59 +0200micro_(~micro@user/micro)
2021-08-09 07:05:00 +0200SIben_(~SIben@ns3106586.ip-5-135-191.eu)
2021-08-09 07:05:00 +0200ezra(~sergal@fsf/member/ezra)
2021-08-09 07:05:02 +0200p3n_(~p3n@217.198.124.246)
2021-08-09 07:05:02 +0200ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-08-09 07:05:03 +0200edr(~edr@enlo.co)
2021-08-09 07:05:03 +0200lep(~lep@94.31.86.183)
2021-08-09 07:05:03 +0200anoe(~anoe@delanoe.org)
2021-08-09 07:05:03 +0200statusfailed(~statusfai@statusfailed.com)
2021-08-09 07:05:03 +0200df(~ben@51.15.198.140)
2021-08-09 07:05:04 +0200EPic_(apic@apic.name)
2021-08-09 07:05:04 +0200carbolymer_(~carbolyme@dropacid.net)
2021-08-09 07:05:04 +0200sshine_(~simon@hubris.eta.solutions)
2021-08-09 07:05:04 +0200kaol_(~kaol@178.62.241.234)
2021-08-09 07:05:05 +0200res0nat0r(~Fletch@dia.whatbox.ca)
2021-08-09 07:05:05 +0200guibou(~guibou@163.172.83.213)
2021-08-09 07:05:06 +0200Guest6153(~deni@mail.denibertovic.com)
2021-08-09 07:05:07 +0200lyxia(~lyxia@poisson.chat)
2021-08-09 07:05:08 +0200samebchase(~thelounge@51.15.68.182)
2021-08-09 07:05:08 +0200ridcully(~ridcully@p508ac428.dip0.t-ipconnect.de)
2021-08-09 07:05:09 +0200marienz_(~marienz@libera/staff/marienz)
2021-08-09 07:05:12 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327) (Ping timeout: 256 seconds)
2021-08-09 07:05:12 +0200jassob1(~jassob@korrob.vth.sgsnet.se)
2021-08-09 07:05:14 +0200eltonpinto(~eltonpint@169.109.136.34.bc.googleusercontent.com)
2021-08-09 07:05:14 +0200dsf_(~dsf@cpe-66-75-56-205.san.res.rr.com)
2021-08-09 07:05:16 +0200cwraith(~c_wraith@adjoint.us)
2021-08-09 07:05:19 +0200andreas3-(andreas303@ip227.orange.bnc4free.com)
2021-08-09 07:05:21 +0200 <keltono> sshing into a different machine (with tmux or a dedicated client) is pretty nice if you have an external keyboard -- I still think that programming on a touch screen in the general is an unsolved HCI problem
2021-08-09 07:05:21 +0200liskin(~liskin@ackle.nomi.cz)
2021-08-09 07:05:22 +0200noctuks(FtRbHWeJFU@karif.server-speed.net)
2021-08-09 07:05:24 +0200leah2(~leah@vuxu.org)
2021-08-09 07:05:28 +0200orhan89(~orhan89@151.91.188.35.bc.googleusercontent.com)
2021-08-09 07:05:32 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d) (Ping timeout: 245 seconds)
2021-08-09 07:05:32 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee) (Ping timeout: 245 seconds)
2021-08-09 07:05:40 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-08-09 07:05:40 +0200cwraith(~c_wraith@adjoint.us) (Client Quit)
2021-08-09 07:05:46 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 256 seconds)
2021-08-09 07:05:46 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821) (Ping timeout: 256 seconds)
2021-08-09 07:05:46 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7) (Ping timeout: 240 seconds)
2021-08-09 07:05:46 +0200AnselmSchler[m](~schuelerm@2001:470:69fc:105::d032) (Ping timeout: 240 seconds)
2021-08-09 07:05:46 +0200infinisil(~infinisil@2001:470:69fc:105::ff8) (Ping timeout: 240 seconds)
2021-08-09 07:05:46 +0200ixlun(~ixlun@2001:470:69fc:105::41b3) (Ping timeout: 240 seconds)
2021-08-09 07:05:47 +0200liskin(~liskin@ackle.nomi.cz) (Signing in (liskin))
2021-08-09 07:05:47 +0200liskin(~liskin@xmonad/liskin)
2021-08-09 07:05:47 +0200noctuks(FtRbHWeJFU@karif.server-speed.net) (Signing in (noctuks))
2021-08-09 07:05:47 +0200noctuks(FtRbHWeJFU@user/noctux)
2021-08-09 07:05:50 +0200 <keltono> heck, tmux on its own isn't terrible (again, given you have an external kb)
2021-08-09 07:05:57 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32) (Ping timeout: 245 seconds)
2021-08-09 07:05:57 +0200ormaaj(~ormaaj@user/ormaaj) (Ping timeout: 245 seconds)
2021-08-09 07:05:59 +0200edr(~edr@enlo.co) (Changing host)
2021-08-09 07:05:59 +0200edr(~edr@user/edr)
2021-08-09 07:06:03 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba) (Ping timeout: 250 seconds)
2021-08-09 07:06:03 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300) (Ping timeout: 250 seconds)
2021-08-09 07:06:06 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200unrooted(~unrooted@2001:470:69fc:105::a4a) (Ping timeout: 272 seconds)
2021-08-09 07:06:06 +0200Deide(~deide@user/deide) (Ping timeout: 272 seconds)
2021-08-09 07:06:08 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe) (Ping timeout: 252 seconds)
2021-08-09 07:06:10 +0200oak-(~oakuniver@2001:470:69fc:105::fcd) (Ping timeout: 240 seconds)
2021-08-09 07:06:10 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b) (Ping timeout: 240 seconds)
2021-08-09 07:06:10 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef) (Ping timeout: 240 seconds)
2021-08-09 07:06:10 +0200jaror[m](~jaror@2001:470:69fc:105::265) (Ping timeout: 240 seconds)
2021-08-09 07:06:10 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32) (Ping timeout: 240 seconds)
2021-08-09 07:06:13 +0200Aleksejs(~Aleksejs@haskell.lv)
2021-08-09 07:06:15 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Ping timeout: 252 seconds)
2021-08-09 07:06:15 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Ping timeout: 252 seconds)
2021-08-09 07:06:15 +0200maralorn(~maralorn@2001:470:69fc:105::251) (Ping timeout: 252 seconds)
2021-08-09 07:06:15 +0200jophish(~jophish@2001:470:69fc:105::670) (Ping timeout: 252 seconds)
2021-08-09 07:06:18 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e) (Ping timeout: 276 seconds)
2021-08-09 07:06:19 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f) (Ping timeout: 268 seconds)
2021-08-09 07:06:20 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae) (Ping timeout: 256 seconds)
2021-08-09 07:06:21 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-08-09 07:06:33 +0200maerwald(~maerwald@mail.hasufell.de)
2021-08-09 07:06:33 +0200int-e_int-e
2021-08-09 07:06:35 +0200bbear(~znc@21212.s.t4vps.eu)
2021-08-09 07:06:37 +0200dragestil(~znc@user/dragestil)
2021-08-09 07:06:38 +0200davl(~davl@207.154.228.18)
2021-08-09 07:06:42 +0200w1gz(~do@159.89.11.133)
2021-08-09 07:06:43 +0200st(~ts@46.101.20.9)
2021-08-09 07:06:44 +0200adium(adium@user/adium)
2021-08-09 07:06:52 +0200motherfsck(~motherfsc@user/motherfsck)
2021-08-09 07:06:57 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d) (Ping timeout: 276 seconds)
2021-08-09 07:06:59 +0200rookie101(~rookie@207.154.204.166)
2021-08-09 07:07:11 +0200dkeohane1(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-08-09 07:07:12 +0200kar1(~kar1@2001:470:69fc:105::c308) (Ping timeout: 245 seconds)
2021-08-09 07:07:42 +0200srk(~sorki@user/srk)
2021-08-09 07:07:53 +0200 <Axman6> There is an iOS app called Textastic which does a great job making symbols really accessible (has a bunch of keys with five symbols per key, and you press and swipe to the desired one, feels really natural), but it's just a text editor, there's no running of code
2021-08-09 07:07:59 +0200duckonomy(~duckonomy@177.ip-144-217-84.net)
2021-08-09 07:08:05 +0200c_wraith(~c_wraith@adjoint.us)
2021-08-09 07:09:04 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 250 seconds)
2021-08-09 07:09:31 +0200shredder(~user@user/shredder)
2021-08-09 07:10:02 +0200Moyst(~moyst@user/moyst)
2021-08-09 07:10:05 +0200mmaruseacph2(~mihai@198.199.100.72)
2021-08-09 07:10:55 +0200hyiltiz(~quassel@31.220.5.250)
2021-08-09 07:11:21 +0200Ekho(~Ekho@user/ekho)
2021-08-09 07:16:56 +0200hughjfchen[m](~hughjfche@2001:470:69fc:105::c29d)
2021-08-09 07:17:58 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:8861:2c87:dc35:9861) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 07:18:44 +0200jneira(~jneira@212.8.115.226)
2021-08-09 07:21:07 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-118.prtc.net)
2021-08-09 07:22:26 +0200typedfern_(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-09 07:23:03 +0200ecameron[m](~ecameronm@2001:470:69fc:105::35df)
2021-08-09 07:23:09 +0200Typedfern(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-08-09 07:23:20 +0200dwt_(~dwt_@c-98-200-58-177.hsd1.tx.comcast.net)
2021-08-09 07:23:56 +0200bitmapper(uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-09 07:25:34 +0200typedfern_(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net)
2021-08-09 07:25:44 +0200oxide(~lambda@user/oxide)
2021-08-09 07:25:46 +0200Typedfern(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Client Quit)
2021-08-09 07:27:19 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-08-09 07:27:36 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-08-09 07:28:42 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-118.prtc.net) (Quit: Client closed)
2021-08-09 07:29:45 +0200voldial(~user@195.179.201.175) (Changing host)
2021-08-09 07:29:45 +0200voldial(~user@user/voldial)
2021-08-09 07:31:10 +0200niko(~niko@libera/staff/niko)
2021-08-09 07:32:12 +0200AnselmSchler[m](~schuelerm@2001:470:69fc:105::d032)
2021-08-09 07:32:49 +0200 <Cajun> i wonder if there is a vim implentation on mobile.. sounds awful :P
2021-08-09 07:33:10 +0200fgaz(~fgaz@2001:470:69fc:105::842)
2021-08-09 07:33:34 +0200CyrusT[m](~cyrustcru@2001:470:69fc:105::306e)
2021-08-09 07:34:20 +0200 <Axman6> would be less awful than an Emacs implementation I think
2021-08-09 07:37:02 +0200vysn(~vysn@user/vysn) (Ping timeout: 258 seconds)
2021-08-09 07:37:59 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-08-09 07:40:20 +0200ham2(~ham4@d8d8627d5.access.telenet.be) (Ping timeout: 256 seconds)
2021-08-09 07:41:41 +0200reza[m](~rezaphone@2001:470:69fc:105::3eda)
2021-08-09 07:41:45 +0200bryan[m](~bchreekat@2001:470:69fc:105::16b5)
2021-08-09 07:44:55 +0200kadoban(~kadoban@user/kadoban)
2021-08-09 07:46:11 +0200polux0polux
2021-08-09 07:46:13 +0200polykernel(~polykerne@user/polykernel)
2021-08-09 07:49:26 +0200bb010g(~bb010g@2001:470:69fc:105::9a5)
2021-08-09 07:50:34 +0200marinelli[m](~marinelli@2001:470:69fc:105::2d8)
2021-08-09 07:50:35 +0200soft(~soft-matr@2001:470:69fc:105::c75)
2021-08-09 07:52:32 +0200rednaZ[m](~r3dnazmat@2001:470:69fc:105::ba70)
2021-08-09 07:52:38 +0200ham(~ham4@user/ham)
2021-08-09 07:54:28 +0200euouae(~euouae@user/euouae)
2021-08-09 07:54:41 +0200fabfianda[m](~fabfianda@2001:470:69fc:105::6db)
2021-08-09 07:55:20 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 07:56:17 +0200RohitGoswami[m](~rgoswamim@2001:470:69fc:105::16cc)
2021-08-09 07:57:56 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-08-09 07:58:08 +0200ericson2314(~ericson23@2001:470:69fc:105::70c)
2021-08-09 07:59:36 +0200carmysilna(~brightly-@2001:470:69fc:105::2190)
2021-08-09 08:01:06 +0200Deewiant(~deewiant@2001:470:69fc:105::2fd3)
2021-08-09 08:01:15 +0200bitonic(~bitonic@2001:470:69fc:105::1812)
2021-08-09 08:01:35 +0200adziahel[m](~adziahelm@2001:470:69fc:105::b4d)
2021-08-09 08:01:37 +0200maerwald[m](~maerwaldm@2001:470:69fc:105::1ee)
2021-08-09 08:01:44 +0200cdsmith(~cdsmithma@2001:470:69fc:105::284)
2021-08-09 08:01:50 +0200hsek[m](~hsekmatri@2001:470:69fc:105::d18f)
2021-08-09 08:01:53 +0200andreabedini[m](~andreabed@2001:470:69fc:105::c821)
2021-08-09 08:02:27 +0200justosophy[m](~justosoph@2001:470:69fc:105::572f)
2021-08-09 08:02:29 +0200Las[m](~lasmatrix@2001:470:69fc:105::74e)
2021-08-09 08:02:33 +0200the-coot[m](~the-cootm@2001:470:69fc:105::95f)
2021-08-09 08:02:36 +0200SimonWeiss[m](~weiss-dma@2001:470:69fc:105::bebd)
2021-08-09 08:02:36 +0200yin[m](~zwromatri@2001:470:69fc:105::1d4)
2021-08-09 08:03:42 +0200Magnus[m](~magthetch@2001:470:69fc:105::d1a7)
2021-08-09 08:03:45 +0200hsiktas[m](~hsiktasma@2001:470:69fc:105::30d4)
2021-08-09 08:03:48 +0200ixlun(~ixlun@2001:470:69fc:105::41b3)
2021-08-09 08:03:55 +0200vbeatrice[m](~vbeatrice@2001:470:69fc:105::3ebf)
2021-08-09 08:03:56 +0200deuslambda[m](~deuslambd@2001:470:69fc:105::c749)
2021-08-09 08:03:58 +0200dualinverter[m](~dualinver@2001:470:69fc:105::16a7)
2021-08-09 08:03:59 +0200dminuoso[m](~dminuosom@2001:470:69fc:105::33bb)
2021-08-09 08:04:14 +0200ru0mad[m](~ru0madmat@2001:470:69fc:105::9b2)
2021-08-09 08:04:15 +0200peddie(~peddie@2001:470:69fc:105::25d)
2021-08-09 08:04:40 +0200stoicswe[m](~deadlette@2001:470:69fc:105::d277)
2021-08-09 08:04:40 +0200Drew[m]1(~drewefenw@2001:470:69fc:105::c8c4)
2021-08-09 08:04:41 +0200Ollie[m](~ollieocha@2001:470:69fc:105::41a5)
2021-08-09 08:04:42 +0200jchia[m](~jchiamatr@2001:470:69fc:105::c50b)
2021-08-09 08:04:47 +0200PotatoHatsue(~berberman@2001:470:69fc:105::b488)
2021-08-09 08:05:11 +0200 <dsal> I have a nice mosh client on my iPad.
2021-08-09 08:05:18 +0200wallymathieu[m](~wallymath@2001:470:69fc:105::16ae)
2021-08-09 08:05:47 +0200oak-(~oakuniver@2001:470:69fc:105::fcd)
2021-08-09 08:05:48 +0200amesgen[m](~amesgenm]@2001:470:69fc:105::82b)
2021-08-09 08:07:43 +0200 <euouae> I mean, I love apple, I just don't expect to be able to do anything serious with my phone ever
2021-08-09 08:09:54 +0200Teohehim[m](~teocmatri@2001:470:69fc:105::d327)
2021-08-09 08:10:07 +0200thomasjm[m](~thomasjmm@2001:470:69fc:105::c6d9)
2021-08-09 08:14:25 +0200Orbstheorem(~orbstheor@2001:470:69fc:105::a56)
2021-08-09 08:14:26 +0200unrooted(~unrooted@2001:470:69fc:105::a4a)
2021-08-09 08:14:35 +0200srid[m](~sridmatri@2001:470:69fc:105::1c2)
2021-08-09 08:14:38 +0200lwe[m](~dendrumat@2001:470:69fc:105::2f9b)
2021-08-09 08:14:41 +0200Deide(~deide@user/deide)
2021-08-09 08:14:59 +0200afotgkmnzj7asv3r(~afotgkmnz@2001:470:69fc:105::c24b)
2021-08-09 08:14:59 +0200octeep[m](~octeepmoc@2001:470:69fc:105::695e)
2021-08-09 08:15:00 +0200alexfmpe[m](~alexfmpem@2001:470:69fc:105::38ba)
2021-08-09 08:15:44 +0200infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-08-09 08:15:53 +0200siraben(~siraben@user/siraben)
2021-08-09 08:15:54 +0200mei(~mei@user/mei)
2021-08-09 08:16:06 +0200OndejSkup[m](~mimivxmat@2001:470:69fc:105::c300)
2021-08-09 08:16:23 +0200 <dsal> I *have* a nice mosh client . I've never actually done anything with it. The most actually useful thing I've done with my iPad is use it as a second display. I keep forgetting I can do that. Running a terminal over there while developing is pretty handy.
2021-08-09 08:16:32 +0200 <dsal> Tonight was all C++, though, so that's unfortunate. ;(
2021-08-09 08:16:51 +0200fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0)
2021-08-09 08:16:51 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2021-08-09 08:16:56 +0200maralorn(~maralorn@2001:470:69fc:105::251)
2021-08-09 08:17:08 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:3af7:592d:78ca:ce31)
2021-08-09 08:17:12 +0200 <Axman6> At least it wasn't scala
2021-08-09 08:17:20 +0200michalz(~michalz@185.246.204.33)
2021-08-09 08:19:16 +0200zfnmxt(~zfnmxtzfn@2001:470:69fc:105::2b32)
2021-08-09 08:19:28 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2021-08-09 08:19:45 +0200Rembane_Rembane
2021-08-09 08:21:29 +0200smichel17[m](~smichel17@2001:470:69fc:105::2d32)
2021-08-09 08:21:32 +0200jakefromstatefar(~jakefroms@2001:470:69fc:105::15ef)
2021-08-09 08:21:33 +0200jaror[m](~jaror@2001:470:69fc:105::265)
2021-08-09 08:24:28 +0200 <dibblego> Axman6 ♄ Scala
2021-08-09 08:25:45 +0200jkachmar(~jkachmar@2001:470:69fc:105::c72d)
2021-08-09 08:26:18 +0200abrar_(~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 240 seconds)
2021-08-09 08:26:55 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-08-09 08:29:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2021-08-09 08:29:08 +0200Lord_of_Life_Lord_of_Life
2021-08-09 08:29:41 +0200kar1(~kar1@2001:470:69fc:105::c308)
2021-08-09 08:30:12 +0200boxscape(~boxscape@user/boxscape)
2021-08-09 08:31:56 +0200MatrixTravelerbo(~voyagert2@2001:470:69fc:105::22)
2021-08-09 08:32:18 +0200ServerStatsDisco(~serversta@2001:470:69fc:105::1a)
2021-08-09 08:32:23 +0200lavaman(~lavaman@98.38.249.169) (Read error: Connection reset by peer)
2021-08-09 08:32:49 +0200ac(~aloiscoch@2001:470:69fc:105::65)
2021-08-09 08:33:00 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 08:33:04 +0200 <Cajun> i love java but its only because it was my first language; and python is a language ive always looked at but i hate the look of the syntax and the weak type system
2021-08-09 08:33:20 +0200Tisoxin(~ikosit@user/ikosit)
2021-08-09 08:33:32 +0200 <Cajun> ...especially after knowing how helpful a real type system is lol
2021-08-09 08:33:52 +0200 <dibblego> Cajun ♄ python
2021-08-09 08:34:12 +0200spruit11_(~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9)
2021-08-09 08:34:52 +0200 <Cajun> some syntax decisions of python baffles me. like end-of-line for loops?? they just make reading the line confusing to all but those who wrote it
2021-08-09 08:35:22 +0200 <Rembane> Cajun: What's en EOL for loop?
2021-08-09 08:36:07 +0200 <Cajun> something like this, though this is a contrived example: `print [item for item in [1,2,3]]`
2021-08-09 08:36:31 +0200 <Cajun> that prints, predictably, [1,2,3]
2021-08-09 08:36:37 +0200 <Rembane> Oh, then you'll have to read it in the same way as you read Haskell.
2021-08-09 08:36:58 +0200 <Cajun> well python does have list comprehensions, but they are more wordy instead of syntax-y
2021-08-09 08:37:00 +0200spruit11(~quassel@2a02:a467:ccd6:1:55d2:a8d9:e00b:3a3a) (Ping timeout: 256 seconds)
2021-08-09 08:37:29 +0200sm(~sm@plaintextaccounting/sm)
2021-08-09 08:37:30 +0200unclechu(~unclechu@2001:470:69fc:105::354)
2021-08-09 08:37:31 +0200 <c_wraith> python's syntax is heavily based on words.
2021-08-09 08:37:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 08:37:57 +0200_xor(~xor@74.215.232.67)
2021-08-09 08:38:04 +0200_xor(~xor@74.215.232.67) (Client Quit)
2021-08-09 08:38:19 +0200_xor(~xor@74.215.232.67)
2021-08-09 08:38:22 +0200Athas(athas@sigkill.dk)
2021-08-09 08:39:34 +0200psydroid(~psydroid@user/psydroid)
2021-08-09 08:39:34 +0200jophish(~jophish@2001:470:69fc:105::670)
2021-08-09 08:39:35 +0200ormaaj(~ormaaj@user/ormaaj)
2021-08-09 08:40:02 +0200spruit11_(~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) (Ping timeout: 268 seconds)
2021-08-09 08:41:30 +0200 <Cajun> yeah im not sure how much i like that design, it definitely doesnt click for me (but perhaps it does for others)
2021-08-09 08:41:34 +0200 <dsal> Haskell has too many words, too. A boolean only needs one bit...
2021-08-09 08:42:16 +0200 <Cajun> yeah thats a real shame that Bool needs to be a Word
2021-08-09 08:42:23 +0200 <dsal> I can't remember how to python and I don't really want to anymore. It's always a bad time for me, but one that takes a whole to tell me that.
2021-08-09 08:42:51 +0200chris(~chris@81.96.113.213)
2021-08-09 08:42:55 +0200chrisGuest246
2021-08-09 08:43:04 +0200 <dsal> I liked python about ten years ago. I did cool stuff with twisted.
2021-08-09 08:43:12 +0200 <Cajun> and any actual work done in python is always done in C, its too slow for any intensive applications lol
2021-08-09 08:43:20 +0200 <dsal> I never liked java, though.
2021-08-09 08:43:21 +0200Athas(athas@sigkill.dk) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-09 08:43:53 +0200 <Cajun> i have a soft spot for java, it was the first language i learned ♄
2021-08-09 08:44:09 +0200 <dsal> Even though I used to use jython to prototype my ideas...
2021-08-09 08:44:24 +0200 <Cajun> what in the world is jython and do i want to know?
2021-08-09 08:44:43 +0200_xor(~xor@74.215.232.67) (Quit: WeeChat 3.2)
2021-08-09 08:45:14 +0200 <dsal> I learned java after writing a bunch of Eiffel so I got into it from the perspective of doing everything wrong. Then I learned smalltalk and found a new way they were doing everything wrong. Heh
2021-08-09 08:45:38 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-09 08:45:51 +0200Athas(athas@sigkill.dk)
2021-08-09 08:45:57 +0200 <dsal> Jython was a python implementation in java. Could use java classes as python classes and stuff.
2021-08-09 08:46:02 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 258 seconds)
2021-08-09 08:46:21 +0200 <dsal> Java doesn't repl very well on its own
2021-08-09 08:46:28 +0200sander(~sander@user/sander)
2021-08-09 08:46:33 +0200 <Cajun> i do like thinking of the means of approaching a task in java and in haskell and how they differ. one that ive thought of recently is heterogeneous lists
2021-08-09 08:47:26 +0200Guest246(~chris@81.96.113.213) (Ping timeout: 268 seconds)
2021-08-09 08:47:46 +0200 <Cajun> and specifically being of their lowest possible type, not all `Objects` , thats basically cheating :p
2021-08-09 08:47:55 +0200 <dsal> The java way lets you defer as much as you want to runtime errors. :)
2021-08-09 08:48:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-08-09 08:48:31 +0200 <tomsmeding> lechner: compiling aeson and vector takes >2GB of ram in my experience, and the world depends on those things
2021-08-09 08:48:35 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-08-09 08:49:00 +0200Guest71(~Guest71@217.156.31.64)
2021-08-09 08:49:10 +0200Guest71random-jellyfish
2021-08-09 08:49:18 +0200 <dsal> Yeah. It was a little confusing for a while trying to figure out how to store values of different types in Haskell. I eventually just stopped wanting to do that. :)
2021-08-09 08:50:19 +0200 <Cajun> the sad part is (afaik) you can only use HLists if they are known during compile time
2021-08-09 08:50:42 +0200favonia(~favonia@user/favonia) (Ping timeout: 240 seconds)
2021-08-09 08:51:30 +0200 <Axman6> surely you could use singletons to have synamic ones, I feel like jle`'s posts on using the library given an example of being able to load what is essentially hlists at runtime
2021-08-09 08:52:02 +0200 <tomsmeding> Cajun: pattern-matching on gadts gives you type information, so surely you can build and work with HLists at runtime
2021-08-09 08:52:14 +0200Akronymus(~Akronymus@85.31.8.181)
2021-08-09 08:53:06 +0200 <Cajun> well what about with just a lifted list and bog-standard types like `'[Int, Char, Identity (Maybe Bool)]`
2021-08-09 08:53:15 +0200spruit11(~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9)
2021-08-09 08:53:24 +0200 <Axman6> that's usually how we represent HLists these days
2021-08-09 08:53:32 +0200 <Akronymus> What does the identity type actually do?
2021-08-09 08:53:59 +0200 <Cajun> its useful when you want to stuff something in a monad (like with Repa's `computeP` )
2021-08-09 08:54:07 +0200 <Axman6> data HList (xs :: [Type]) where HNil :: HList '[]; HCons :: a -> HList xs -> HList (x ': xs)
2021-08-09 08:54:42 +0200 <Cajun> yeah thats what i figured Axman6 , and those can only be used when they are known during compile time
2021-08-09 08:55:15 +0200 <Axman6> Akronymus: it's the trivial monad, it can be used in places whewre a function requires a monad but you don't need any monadic effects
2021-08-09 08:55:21 +0200 <Axman6> Cajun: why do you say that?
2021-08-09 08:55:36 +0200 <Axman6> It's not an unreasonable thing to say, but it's also not correct :P
2021-08-09 08:56:41 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-08-09 08:57:05 +0200 <tomsmeding> % data HList xs where HNil :: HList '[] ; HCons :: a -> HList xs -> HList (a ': xs)
2021-08-09 08:57:06 +0200 <yahb> tomsmeding:
2021-08-09 08:57:36 +0200 <Akronymus> Axman6 Thanks. So it basically turns the value into a function that returns the value?
2021-08-09 08:57:37 +0200 <tomsmeding> % hlength :: HList xs -> Int ; hlength HNil = 0 ; hlength (HCons _ xs) = 1 + hlength xs
2021-08-09 08:57:37 +0200 <yahb> tomsmeding:
2021-08-09 08:57:43 +0200chele(~chele@user/chele)
2021-08-09 08:57:49 +0200 <Axman6> % :t HCons 'x' (HCons True HNil)
2021-08-09 08:57:49 +0200 <yahb> Axman6: HList '[Char, Bool]
2021-08-09 08:57:58 +0200spruit11(~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9) (Ping timeout: 256 seconds)
2021-08-09 08:58:07 +0200 <Cajun> idk why but i remember reading that, maybe it was on something else
2021-08-09 08:58:12 +0200 <tomsmeding> % data Some f where Some :: f a -> Some f
2021-08-09 08:58:12 +0200 <yahb> tomsmeding:
2021-08-09 08:58:32 +0200oxide(~lambda@user/oxide) (Ping timeout: 268 seconds)
2021-08-09 08:59:09 +0200 <tomsmeding> % hrep :: Int -> a -> Some HList ; hrep 0 _ = Some HNil ; hrep n x = case hrep (n-1) x of Some xs -> Some (HCons x xs)
2021-08-09 08:59:09 +0200 <yahb> tomsmeding:
2021-08-09 08:59:38 +0200 <tomsmeding> % case hrep 5 'a' of Some xs -> hlength xs
2021-08-09 08:59:38 +0200 <yahb> tomsmeding: 5
2021-08-09 08:59:44 +0200 <tomsmeding> Cajun: runtime hlists!
2021-08-09 09:00:11 +0200spruit11(~quassel@2a02:a467:ccd6:1:90c7:da5b:b845:b6e9)
2021-08-09 09:00:33 +0200 <Cajun> well thats abusing existentials isnt it?
2021-08-09 09:00:37 +0200 <tomsmeding> hrep produces an hlist of unknown type list, so I have to either hide the type parameter with an existential, like I do with Some here, or use CPS
2021-08-09 09:00:44 +0200 <Cajun> cheater :P
2021-08-09 09:01:00 +0200 <Axman6> that's basically the whole point, to use existentials
2021-08-09 09:01:27 +0200 <tomsmeding> % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep 0 _ k = k HNil ; hrep n x k = hrep (n-1) x $ \xs -> k (HCons x xs)
2021-08-09 09:01:27 +0200 <yahb> tomsmeding: ; <interactive>:92:1: error:; The type signature for hrep' lacks an accompanying binding; Perhaps you meant `hrep' (Defined at <interactive>:92:56)
2021-08-09 09:01:43 +0200_xor(~xor@74.215.232.67)
2021-08-09 09:01:43 +0200 <tomsmeding> % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep' 0 _ k = k HNil ; hrep' n x k = hrep (n-1) x $ \xs -> k (HCons x xs)
2021-08-09 09:01:43 +0200 <yahb> tomsmeding: ; <interactive>:93:93: error:; * Couldn't match expected type: (HList xs0 -> r) -> r; with actual type: Some HList; * The first argument of ($) takes one value argument, but its type `Some HList' has none; In the expression: hrep (n - 1) x $ \ xs -> k (HCons x xs); In an equation for hrep': hrep' n x k = hrep (n - 1) x $ \ xs -> k (HCons x xs); * Relevant binding
2021-08-09 09:01:49 +0200 <Cajun> i know you can do that with Vectors and `Any` along with managing the type level list intact and identical with the vector along with a bit of `unsafeCoerce`
2021-08-09 09:02:04 +0200 <tomsmeding> % hrep' :: Int -> a -> (forall xs. HList xs -> r) -> r ; hrep' 0 _ k = k HNil ; hrep' n x k = hrep' (n-1) x $ \xs -> k (HCons x xs)
2021-08-09 09:02:04 +0200 <yahb> tomsmeding:
2021-08-09 09:02:22 +0200 <tomsmeding> % hrep' 5 'a' (\xs -> hlength xs)
2021-08-09 09:02:22 +0200 <yahb> tomsmeding: 5
2021-08-09 09:02:26 +0200 <tomsmeding> Cajun: better? :P
2021-08-09 09:02:39 +0200 <tomsmeding> Also existentials != unsafeCoerce
2021-08-09 09:03:08 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-51.prtc.net)
2021-08-09 09:03:09 +0200 <Cajun> i never meant that, i just meant that you can get the type back by managing a typelevel list and a list of existentials
2021-08-09 09:03:17 +0200 <Cajun> not the type the value*
2021-08-09 09:03:36 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-51.prtc.net) (Write error: Broken pipe)
2021-08-09 09:03:50 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-09 09:03:58 +0200Erutuon(~Erutuon@user/erutuon) (Ping timeout: 272 seconds)
2021-08-09 09:04:02 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-118.prtc.net)
2021-08-09 09:04:03 +0200 <tomsmeding> If you already know what type is in there, you mean?
2021-08-09 09:04:12 +0200 <Cajun> yup! :)
2021-08-09 09:04:14 +0200 <tomsmeding> Otherwise you don't know what to unsafeCoerce to
2021-08-09 09:04:38 +0200 <tomsmeding> Can also put a TypeRep in the HList with it
2021-08-09 09:05:07 +0200 <Axman6> superrecord uses a SmallArray Any under the hood, so you avoid the linear overhead of an actual linked list
2021-08-09 09:05:08 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-08-09 09:05:12 +0200 <Cajun> im thinking of a specific example of OpenProducts and this function: https://paste.tomsmeding.com/hHTlYqIL
2021-08-09 09:05:23 +0200 <Axman6> and IIRC generics-sop is looking at doing the same thing
2021-08-09 09:06:42 +0200 <Cajun> tomsmeding: like a tuple of the TypeRep and Existential?
2021-08-09 09:07:26 +0200 <tomsmeding> Well, using an HList1
2021-08-09 09:08:00 +0200 <tomsmeding> % data HList1 f xs where HNil1 :: HList1 f '[] ; HCons :: f a -> HList1 f xs -> HList1 f (a ': xs)
2021-08-09 09:08:00 +0200 <yahb> tomsmeding:
2021-08-09 09:08:10 +0200 <tomsmeding> Oh crap shadowing HCons now
2021-08-09 09:08:33 +0200 <tomsmeding> Then put in something that pairs a value with a something describing its type
2021-08-09 09:09:57 +0200 <Cajun> man type level stuff sometimes throws me for a loop, so many extensions to remember and its just so different from anything else lol
2021-08-09 09:10:16 +0200euouae(~euouae@user/euouae) (Ping timeout: 246 seconds)
2021-08-09 09:11:14 +0200 <tomsmeding> Also, real runtime use case of plain HList (so not HList1): expression evaluation on an type-safe AST represented with a GADT
2021-08-09 09:11:19 +0200 <tomsmeding> A tagless evaluator
2021-08-09 09:11:26 +0200 <tomsmeding> The environment is an HList then
2021-08-09 09:11:58 +0200 <Cajun> that sounds like a rabbit hole to go down
2021-08-09 09:12:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-08-09 09:14:34 +0200sander(~sander@user/sander) (Ping timeout: 268 seconds)
2021-08-09 09:15:19 +0200sander(~sander@user/sander)
2021-08-09 09:15:20 +0200anandprabhu(~anandprab@94.202.243.198)
2021-08-09 09:16:18 +0200glguy(x@libera/staff/glguy) (Ping timeout: 612 seconds)
2021-08-09 09:16:34 +0200kuribas(~user@ptr-25vy0i7woj1hwcs7nsl.18120a2.ip6.access.telenet.be)
2021-08-09 09:17:43 +0200talismanick(~user@2601:644:8502:d700::8fb8)
2021-08-09 09:18:30 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-08-09 09:19:57 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-08-09 09:20:43 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-09 09:20:46 +0200 <tomsmeding> Cajun: https://paste.tomsmeding.com/gYPEH9iY
2021-08-09 09:21:05 +0200 <tomsmeding> note that this is _the_ tired overused example of GADTs
2021-08-09 09:21:41 +0200 <tomsmeding> and you can make the language much more complex thant STLC if you want :)
2021-08-09 09:21:56 +0200 <tomsmeding> https://github.com/AccelerateHS/accelerate/blob/master/src/Data/Array/Accelerate/AST.hs#L230
2021-08-09 09:25:10 +0200 <Cajun> thats awesome
2021-08-09 09:26:04 +0200zyklotomic(~ethan@2604:a880:800:10::79f:8001)
2021-08-09 09:26:10 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr)
2021-08-09 09:26:40 +0200 <Axman6> Once day, I'm going to make a library which combines Accelerate and Grenade and call it RPG, but I would have to understand both libraries much better than I currently do first XD
2021-08-09 09:26:40 +0200bairyn(~bairyn@mail.digitalkingdom.org) (Ping timeout: 258 seconds)
2021-08-09 09:26:44 +0200 <Axman6> One*
2021-08-09 09:27:05 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-08-09 09:27:09 +0200 <zyklotomic> is there a way to add newtypes support to an IntMap?
2021-08-09 09:27:35 +0200cfricke(~cfricke@user/cfricke)
2021-08-09 09:27:39 +0200 <zyklotomic> i am not sure whato call this, but say newtype Vertex = Vertex Int
2021-08-09 09:27:40 +0200 <tomsmeding> Axman6: I'm working on automatic differentiation for accelerate, so in the future that part might also be there :p
2021-08-09 09:27:53 +0200 <Axman6> tomsmeding: <3 :O
2021-08-09 09:28:00 +0200 <Axman6> please take my idea and run with it
2021-08-09 09:28:06 +0200 <tomsmeding> lol
2021-08-09 09:28:11 +0200tomsmedingknows very little about DL
2021-08-09 09:28:42 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-08-09 09:28:45 +0200 <tomsmeding> zyklotomic: you can make a custom wrapper for an IntMap that can work with any type k such that 'Coerce k Int'
2021-08-09 09:28:48 +0200 <mastarija> How is Haskell IDE (or now language server) these days? Does it still require me to compile a version for each version of GHC I use?
2021-08-09 09:29:09 +0200 <Axman6> mastarija: no, you just ghcup to install it
2021-08-09 09:29:12 +0200 <tomsmeding> mastarija: yes, but ghcup does that for you
2021-08-09 09:29:23 +0200 <tomsmeding> or, well, ghcup has precompiled versions that you just download :p
2021-08-09 09:29:27 +0200 <mastarija> what about windows :D
2021-08-09 09:29:35 +0200 <tomsmeding> but a separate executable for each ghc version
2021-08-09 09:29:37 +0200 <Axman6> Just don't :P
2021-08-09 09:29:40 +0200 <mastarija> I've seen there's ghcup for it now
2021-08-09 09:29:44 +0200 <tomsmeding> doesn't ghcup run on windows?
2021-08-09 09:29:50 +0200 <Cajun> tomsmeding: what is automatic differentiation? that sounds really cool yet really complex lol
2021-08-09 09:29:51 +0200 <mastarija> Don't know
2021-08-09 09:30:16 +0200 <mastarija> I manually manage my GHCs, and I've been using ghcid and repl for my development so far
2021-08-09 09:30:20 +0200 <tomsmeding> Cajun: given a program that implements a function Double -> Double, produce a program that implements the numerical derivative of that function
2021-08-09 09:30:32 +0200 <tomsmeding> and then generalised to arrays/tuples of doubles on both sides
2021-08-09 09:30:46 +0200 <zyklotomic> tomsmeding: wait, what i think iwant, is to restrict the intmap to a specific newtype
2021-08-09 09:31:17 +0200 <zyklotomic> i think that is slightly different
2021-08-09 09:31:19 +0200 <tomsmeding> Cajun: the backpropagation algorithm for neural networks is a special case of applying AD on the forward computation function for the network
2021-08-09 09:31:34 +0200 <Cajun> mastarija: why not use WSL for haskell/programming?
2021-08-09 09:31:45 +0200 <Cajun> its pretty painless aside from the initial setup
2021-08-09 09:31:53 +0200 <Axman6> zyklotomic: newtype MyIntMap a = MyIntMap (IntMap a), and then things like insert become insert = coerce (IntMap.insert)
2021-08-09 09:32:25 +0200gehmehgeh(~user@user/gehmehgeh) (Remote host closed the connection)
2021-08-09 09:32:41 +0200 <mastarija> Cajun: I use it for certain things, but It's annoying to live within the subsystem and its file system
2021-08-09 09:32:49 +0200 <tomsmeding> where you can e.g. choose insert :: Vertex -> a -> MyIntMap a -> MyIntMap a
2021-08-09 09:32:58 +0200 <mastarija> If I use an OS I prefer to do stuff in it, not some VM
2021-08-09 09:32:59 +0200 <Cajun> tomsmeding: that doesnt sound easy :p , so its basically like getting `Num a -> a -> a` out of `Double -> Double` along with other derivations if im understanding you correctly?
2021-08-09 09:33:02 +0200leah2(~leah@vuxu.org) (Quit: trotz alledem!)
2021-08-09 09:33:06 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-09 09:33:14 +0200leah2(~leah@vuxu.org)
2021-08-09 09:34:09 +0200 <tomsmeding> Cajun: you can implement AD as a source-code transformation (e.g. what Tensorflow XLA does), or as a more runtime-oriented thing based on program instrumentation (e.g. what Tensorflow Eager and PyTorch do iirc)
2021-08-09 09:34:24 +0200 <tomsmeding> I can explain more if you wish, but perhaps move to #haskell-offtopic then :p
2021-08-09 09:34:24 +0200 <Cajun> mastarija: thats fair, the hassle is real when moving files from windows to WSL
2021-08-09 09:34:48 +0200 <mastarija> Cajun: + haskell works very well on windows, I have no complaints. Main reason I don't use language server is because it is tied to a specific GHC version
2021-08-09 09:35:01 +0200 <zyklotomic> Axman6, tomsmeding: thanks, i get it now, and that seems to be the EnumMap package
2021-08-09 09:35:01 +0200 <mastarija> ghcid doesn't really mind
2021-08-09 09:35:27 +0200 <tomsmeding> Axman6: ah Grenade seems to already implement AD
2021-08-09 09:35:36 +0200 <Cajun> tomsmeding: thats going way above my understanding of CS/DL so it would probably be like talking to a brick wall lol
2021-08-09 09:35:51 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-08-09 09:36:00 +0200 <tomsmeding> I have a nice simple example for it :)
2021-08-09 09:36:06 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-08-09 09:36:07 +0200 <tomsmeding> also it's not DL at all
2021-08-09 09:36:23 +0200 <tomsmeding> like, I previously said that I know almost nothing about DL, and yet I'm doing a PhD that relates to AD
2021-08-09 09:36:35 +0200 <Cajun> oh nice, then go ahead and send it in #haskell-offtopic :)
2021-08-09 09:40:21 +0200oxide(~lambda@user/oxide)
2021-08-09 09:43:21 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-08-09 09:48:18 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 272 seconds)
2021-08-09 09:54:07 +0200timCF(~timCF@200-149-20-81.sta.estpak.ee)
2021-08-09 09:55:02 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-08-09 09:55:13 +0200 <timCF> Hello! Is there any "standard" type in Haskell similar to `Either a b` but which represents 3 options, not just 2?
2021-08-09 09:56:04 +0200 <tomsmeding> Axman6: grenade looks pretty cool; from my brief look, I think writing an accelerate backend for that would involve extending the Layer class to have run functions that live within the Accelerate EDSL
2021-08-09 09:56:44 +0200 <Taneb> timCF: there's nothing like that in base and I don't think there's a commonly accepted alternative
2021-08-09 09:56:57 +0200 <timCF> Taneb: thanks!
2021-08-09 09:57:09 +0200 <Taneb> You could do Either (Either a b) c
2021-08-09 09:59:03 +0200Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net)
2021-08-09 09:59:18 +0200SquidDev0SquidDev
2021-08-09 10:01:22 +0200Shires(~Shires@user/shires)
2021-08-09 10:04:07 +0200mastarija(~mastarija@78-3-210-70.adsl.net.t-com.hr) (Quit: Leaving)
2021-08-09 10:06:02 +0200hendursa1(~weechat@user/hendursaga)
2021-08-09 10:07:41 +0200 <Akronymus> I personally would make a new type named something like OneOfThree which has 3 possible values.
2021-08-09 10:08:00 +0200 <Akronymus> Altough, I don't really know much if anything.
2021-08-09 10:08:36 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-09 10:09:37 +0200oxide(~lambda@user/oxide) (Ping timeout: 248 seconds)
2021-08-09 10:09:43 +0200 <tomsmeding> data France a b c = Blue a | White b | Red c
2021-08-09 10:15:05 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-08-09 10:17:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-08-09 10:17:39 +0200allbery_b(~geekosaur@xmonad/geekosaur)
2021-08-09 10:17:42 +0200allbery_bgeekosaur
2021-08-09 10:18:02 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:54d9:a686:a64c:8cd9)
2021-08-09 10:22:24 +0200fendor(~fendor@213162073184.public.t-mobile.at)
2021-08-09 10:25:52 +0200elf_fortrez(~elf_fortr@adsl-72-50-4-118.prtc.net) (Ping timeout: 246 seconds)
2021-08-09 10:28:07 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-08-09 10:28:36 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-09 10:28:43 +0200glguy(x@libera/staff/glguy)
2021-08-09 10:29:30 +0200xerox_xerox
2021-08-09 10:42:59 +0200asm(~alexander@burner.asm89.io) (Changing host)
2021-08-09 10:42:59 +0200asm(~alexander@user/asm)
2021-08-09 10:51:45 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 10:54:32 +0200anandprabhu(~anandprab@94.202.243.198) (Quit: Leaving)
2021-08-09 10:57:01 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-08-09 11:02:03 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 11:02:08 +0200EPic_(apic@apic.name) (Quit: Reconnecting)
2021-08-09 11:02:14 +0200APic(apic@apic.name)
2021-08-09 11:05:31 +0200neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-08-09 11:08:22 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 11:12:12 +0200fendor(~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer)
2021-08-09 11:12:25 +0200fendor_(~fendor@213162073184.public.t-mobile.at)
2021-08-09 11:12:54 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-09 11:14:44 +0200fendor(~fendor@213162073184.public.t-mobile.at)
2021-08-09 11:14:57 +0200fendor_(~fendor@213162073184.public.t-mobile.at) (Read error: Connection reset by peer)
2021-08-09 11:20:47 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 252 seconds)
2021-08-09 11:21:10 +0200azeem(~azeem@176.200.221.32)
2021-08-09 11:22:02 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org) (Ping timeout: 272 seconds)
2021-08-09 11:28:01 +0200ByronJohnson(~bairyn@mail.digitalkingdom.org)
2021-08-09 11:36:01 +0200azeem(~azeem@176.200.221.32) (Ping timeout: 248 seconds)
2021-08-09 11:38:12 +0200abrar_(~abrar@static-108-2-152-54.phlapa.fios.verizon.net)
2021-08-09 11:38:30 +0200azeem(~azeem@176.200.221.32)
2021-08-09 11:41:52 +0200jmorris(~jmorris@2001:19f0:5801:170:5400:3ff:fe81:62fe)
2021-08-09 11:43:49 +0200random-jellyfish(~Guest71@217.156.31.64) (Changing host)
2021-08-09 11:43:49 +0200random-jellyfish(~Guest71@user/random-jellyfish)
2021-08-09 11:46:43 +0200Akronymus(~Akronymus@85.31.8.181) (Ping timeout: 246 seconds)
2021-08-09 11:47:35 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-09 11:47:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 11:48:45 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-09 11:49:18 +0200Shires(~Shires@user/shires) (Quit: leaving)
2021-08-09 11:49:19 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 11:49:25 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 11:52:23 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 11:53:52 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 258 seconds)
2021-08-09 11:54:16 +0200neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Read error: Connection reset by peer)
2021-08-09 11:56:56 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-08-09 11:57:53 +0200pe200012(~pe200012@113.105.10.33)
2021-08-09 11:59:01 +0200vysn(~vysn@user/vysn)
2021-08-09 11:59:07 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-09 11:59:23 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 12:01:39 +0200raoul(~raoul@95.179.203.88)
2021-08-09 12:01:53 +0200Akronymus(~Akronymus@85.31.8.181)
2021-08-09 12:03:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds)
2021-08-09 12:04:46 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-08-09 12:05:21 +0200phma(~phma@host-67-44-208-203.hnremote.net) (Read error: Connection reset by peer)
2021-08-09 12:05:58 +0200 <kuribas> is there no library to read/write odf?
2021-08-09 12:06:04 +0200 <kuribas> (open document format)
2021-08-09 12:06:26 +0200 <kuribas> I only found a java library
2021-08-09 12:06:51 +0200phma(~phma@host-67-44-208-49.hnremote.net)
2021-08-09 12:07:52 +0200 <maerwald[m]> Java libraries are usually rock solid, I'd go with that
2021-08-09 12:08:17 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se)
2021-08-09 12:09:54 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 12:15:27 +0200 <Arahael> Curious, that :)
2021-08-09 12:16:30 +0200azeem(~azeem@176.200.221.32) (Ping timeout: 272 seconds)
2021-08-09 12:19:56 +0200 <[exa]> kuribas: unzip
2021-08-09 12:20:23 +0200azeem(~azeem@176.200.221.32)
2021-08-09 12:22:05 +0200 <kuribas> [exa]: and then? :-P
2021-08-09 12:23:32 +0200 <kuribas> parse a big XML?
2021-08-09 12:27:48 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 12:27:57 +0200azeem(~azeem@176.200.221.32) (Read error: Connection reset by peer)
2021-08-09 12:28:03 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-09 12:28:18 +0200 <kuribas> hmm "content.xml, the most important file, carries the actual content of the document (except for binary data, such as images). The base format is inspired by HTML, and though far more complex, it should be reasonably legible to humans:"
2021-08-09 12:28:54 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 12:32:01 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-09 12:39:06 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-09 12:39:38 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 12:39:38 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-08-09 12:40:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-09 12:41:11 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 12:43:29 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 12:43:29 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-08-09 12:43:33 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 12:44:26 +0200 <[exa]> kuribas: "reasonably legible to humans" is likely as with the rest of XML :D
2021-08-09 12:44:45 +0200wolfshappen(~waff@irc.furworks.de)
2021-08-09 12:45:06 +0200 <[exa]> btw can't you convert to RTF, do the stuff with pandoc, and convert back?
2021-08-09 12:46:06 +0200 <lechner> tomsmeding: thanks!
2021-08-09 12:46:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-08-09 12:47:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 12:49:01 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-08-09 12:50:41 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 12:50:45 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-09 12:51:23 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-08-09 12:52:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-09 12:53:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 12:57:50 +0200henninb(~henninb@63-228-51-113.mpls.qwest.net)
2021-08-09 13:00:50 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-09 13:01:50 +0200wolfshappen(~waff@irc.furworks.de) (Quit: later)
2021-08-09 13:02:14 +0200wolfshappen(~waff@irc.furworks.de)
2021-08-09 13:03:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-08-09 13:04:59 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-09 13:05:29 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 13:05:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 13:06:16 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 13:08:36 +0200AlexNoo_(~AlexNoo@178.34.162.152)
2021-08-09 13:09:36 +0200Cajun(~Cajun@user/cajun) (Quit: Client closed)
2021-08-09 13:10:08 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-08-09 13:10:55 +0200AlexZenon(~alzenon@178.34.160.135) (Ping timeout: 258 seconds)
2021-08-09 13:10:55 +0200Alex_test(~al_test@178.34.160.135) (Ping timeout: 258 seconds)
2021-08-09 13:10:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-09 13:11:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 13:12:52 +0200AlexNoo(~AlexNoo@178.34.160.135) (Ping timeout: 272 seconds)
2021-08-09 13:14:43 +0200Alex_test(~al_test@178.34.162.152)
2021-08-09 13:14:45 +0200AlexZenon(~alzenon@178.34.162.152)
2021-08-09 13:16:23 +0200fendor(~fendor@213162073184.public.t-mobile.at) (Remote host closed the connection)
2021-08-09 13:17:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-08-09 13:17:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 13:18:31 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-09 13:21:31 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 13:23:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-09 13:23:49 +0200AlexNoo_AlexNoo
2021-08-09 13:24:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 13:25:04 +0200lechner(~lechner@debian/lechner) (Remote host closed the connection)
2021-08-09 13:25:53 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-09 13:25:59 +0200lechner(~lechner@debian/lechner)
2021-08-09 13:29:35 +0200 <tromp> how do i output the unicode character λ from my Haskell code? ghci says 'λ' is '\955' but that comes out as ? on my console
2021-08-09 13:29:56 +0200lechner(~lechner@debian/lechner) (Client Quit)
2021-08-09 13:30:20 +0200 <bitdex> /exit/exit
2021-08-09 13:30:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-08-09 13:30:22 +0200lechner(~lechner@debian/lechner)
2021-08-09 13:30:43 +0200 <merijn> tromp: Because ghci goes through show
2021-08-09 13:31:01 +0200 <merijn> tromp: And show does escaping
2021-08-09 13:31:15 +0200 <merijn> Compare lambdabot's behaviour:
2021-08-09 13:31:18 +0200 <merijn> > "λ"
2021-08-09 13:31:19 +0200 <lambdabot> "\955"
2021-08-09 13:31:21 +0200 <merijn> > text "λ"
2021-08-09 13:31:23 +0200 <lambdabot> λ
2021-08-09 13:31:47 +0200 <tromp> how to put that lambda in a string literal?
2021-08-09 13:31:52 +0200 <merijn> Or, locally, compare the result of: 'print "λ"' and 'putStrLn "λ"'
2021-08-09 13:32:05 +0200lechner(~lechner@debian/lechner) (Remote host closed the connection)
2021-08-09 13:32:13 +0200 <hpc> if it's coming out as ?, it's not string escaping - are you on windows using cmd.exe or something?
2021-08-09 13:32:18 +0200 <merijn> tromp: You can just write it in a string literal, but you gotta make sure you are calling *show* on strings
2021-08-09 13:32:26 +0200 <merijn> ah, wait
2021-08-09 13:32:27 +0200 <tromp> no, i'm on MacOS
2021-08-09 13:32:31 +0200lechner(~lechner@debian/lechner)
2021-08-09 13:32:33 +0200 <merijn> tromp: Oh!
2021-08-09 13:32:40 +0200 <merijn> tromp: Your locale is fucked
2021-08-09 13:32:53 +0200 <merijn> tromp: Because there's no sensible one configured by default in macOS
2021-08-09 13:33:02 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 245 seconds)
2021-08-09 13:33:06 +0200 <merijn> tromp: Pastebin the output of running "locale" in your shell
2021-08-09 13:33:18 +0200 <tromp> so i can cut and paste lambdas fine but not output them from a program??
2021-08-09 13:33:40 +0200 <merijn> tromp: You can, when you configure your shell to not be broken :p
2021-08-09 13:33:47 +0200 <tromp> LANG="en_US.UTF-8"
2021-08-09 13:33:48 +0200 <tromp> LC_COLLATE="en_US.UTF-8"
2021-08-09 13:33:48 +0200 <tromp> LC_CTYPE="en_US.UTF-8"
2021-08-09 13:33:48 +0200 <tromp> LC_MESSAGES="en_US.UTF-8"
2021-08-09 13:33:48 +0200 <tromp> LC_MONETARY="en_US.UTF-8"
2021-08-09 13:33:48 +0200 <tromp> LC_NUMERIC="en_US.UTF-8"
2021-08-09 13:33:49 +0200 <tromp> LC_TIME="en_US.UTF-8"
2021-08-09 13:33:49 +0200 <tromp> LC_ALL=
2021-08-09 13:34:24 +0200 <merijn> On my mac I have "LC_ALL" set to "en_US.UTF-8" too
2021-08-09 13:34:45 +0200 <[exa]> tromp: you might want to pastebin the multiline pastes
2021-08-09 13:35:05 +0200 <merijn> (and double check in Terminal.app settings under "Profiles -> Advanced" to ensure the text encoding is UTF-8)
2021-08-09 13:35:26 +0200 <merijn> tromp: You should try running: export LC_ALL="en_US.UTF-8"
2021-08-09 13:35:31 +0200 <merijn> and check if it works then
2021-08-09 13:35:55 +0200lechner(~lechner@debian/lechner) (Client Quit)
2021-08-09 13:36:11 +0200 <tromp> no, still comes out as ?
2021-08-09 13:36:22 +0200lechner(~lechner@debian/lechner)
2021-08-09 13:36:44 +0200 <tromp> @exa, i would have for longer pastes but this seems still barely acceptable
2021-08-09 13:37:12 +0200 <hpc> maybe LANGUAGE=en_US:en
2021-08-09 13:37:34 +0200 <hpc> (i have that on linux)
2021-08-09 13:37:58 +0200fm(~fm@user/fm)
2021-08-09 13:38:40 +0200 <[exa]> tromp: well yeah, but be careful with that, anything over 2 lines is frowned upon on IRC :]
2021-08-09 13:39:03 +0200 <tromp> thanks, will try to keep that in mind...
2021-08-09 13:39:46 +0200 <[exa]> like, not a problem now, but when the channel is busy and people start pasting stuff, it becomes really unusuable
2021-08-09 13:42:40 +0200 <hpc> maybe it's not the locale, it's a terminal emulator setting?
2021-08-09 13:42:42 +0200Guest4514(~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea)
2021-08-09 13:44:00 +0200 <merijn> tromp: Did you check the Terminal.app settings like I said?
2021-08-09 13:44:14 +0200 <merijn> Also, how are you outputting?
2021-08-09 13:44:19 +0200Akronymus(~Akronymus@85.31.8.181) (Ping timeout: 246 seconds)
2021-08-09 13:45:08 +0200 <tromp> where do i find Profiles?
2021-08-09 13:45:10 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 13:45:10 +0200 <timCF> Hello guys! I have a very strange question. I do have a friend of my age ~30 years who is interested in learning programming, but he never was professional software developer. He is asking advise which language to use to learn programming. Of cource we all know that Haskell is the ultimate destination for every software developer - once developer did tried it for real, there is no way back. But I'm
2021-08-09 13:45:16 +0200 <timCF> thinking does it make sense for a person to use Haskell as a first programming language? Of course it saves him time to avoid re-learning in the future, but maybe software developer **have to personally** feel absence or sum-types, errors like NullPointerException, "undefined is not a function", callback hells etc to actually **value** Haskell?
2021-08-09 13:45:31 +0200 <merijn> timCF: Depends on his goals
2021-08-09 13:46:19 +0200 <merijn> timCF: FWIW, I made my girlfriend learn Haskell as first real programming language (she had a very small amount of experience with obscure, proprietary simulation languages from geoscience) and it went fine, imo
2021-08-09 13:46:47 +0200 <tromp> i'm doing putString "... \955 ..."
2021-08-09 13:47:24 +0200Akronymus(~Akronymus@85.31.8.181)
2021-08-09 13:47:52 +0200 <merijn> What is putString?
2021-08-09 13:48:17 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds)
2021-08-09 13:48:39 +0200 <tromp> sorry, meant putStrLnm
2021-08-09 13:48:46 +0200 <tromp> putStrLn
2021-08-09 13:49:22 +0200 <tromp> oh, maybe it's because I do hSetBinaryMode stdout True ?
2021-08-09 13:49:53 +0200 <tromp> btw, Terminal Preferences -> Advanced shows Text encoding Unicode (UTF-8)
2021-08-09 13:49:54 +0200 <timCF> merijn: He wants to change job from oil industry to more pleasant software development. Salary is important, but he definitely is ready to sacrifice some part of it initially. He said important part is having good courses and job offers. I'm not sure about good Haskell courses for beginners, as well as junior Haskell job offers (have never seen them).
2021-08-09 13:50:00 +0200 <merijn> tromp: Eh, yes
2021-08-09 13:50:15 +0200 <merijn> hSetBinaryMode sets encoding to char8, according to the docs
2021-08-09 13:50:31 +0200 <merijn> tromp: So that will turn all non-ascii into garbage
2021-08-09 13:50:46 +0200 <merijn> Not sure what you were expecting :p
2021-08-09 13:50:52 +0200 <tromp> ah, let me try without that then
2021-08-09 13:50:52 +0200 <hpc> huh, i would have figured that would just affect windows newlines
2021-08-09 13:51:04 +0200 <merijn> hpc: "This has the same effect as calling hSetEncoding with char8, together with hSetNewlineMode with noNewlineTranslation."
2021-08-09 13:51:42 +0200 <tromp> ok, got my lambdas now!
2021-08-09 13:52:12 +0200 <tromp> funny; crypto ppl want lambos; I'm happy just with lambdas :-)
2021-08-09 13:55:14 +0200 <tomsmeding> timCF: recommending Haskell as a first programming language to someone who values a career doesn't sound like an amazing idea
2021-08-09 13:55:41 +0200derelict(~derelict@user/derelict)
2021-08-09 13:55:59 +0200 <tomsmeding> unless he's ready to spend a very large amount of time to become basically an experienced software developer before getting a good job :p
2021-08-09 13:56:23 +0200 <tomsmeding> but I can't speak from experience here, so take what I say with a grain of salt
2021-08-09 13:58:08 +0200 <timCF> tomsmeding: there is no right answer, thanks for sharing your opinion!
2021-08-09 13:59:49 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2021-08-09 13:59:59 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2021-08-09 14:00:19 +0200 <timCF> I came to Haskell from Erlang, and transition was relatively easy. So simple untyped language like Erlang, Lua or Python might work for him as well.
2021-08-09 14:01:16 +0200 <timCF> Just to get started. But this might go very wrong as well, haha.
2021-08-09 14:01:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 14:01:28 +0200 <hpc> i think either way an employer is going to have to be understanding of him being very new to programming
2021-08-09 14:02:03 +0200 <merijn> otoh
2021-08-09 14:02:07 +0200 <hpc> the difference between "knows a bit of the language the job uses, but nothing else" and "knows a bit of some other language, but nothing else" isn't that much
2021-08-09 14:02:36 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-09 14:02:37 +0200 <hpc> so might as well try and solve the "but nothing else" problem faster instead
2021-08-09 14:03:01 +0200 <merijn> My girlfriend did an 8 month intense course to get a bachelor in programming and that program had her already hired before she finished (in the condition of graduating, that is)
2021-08-09 14:03:35 +0200 <merijn> So, at least over here you can pretty easily get a job with no experience if you have even a bit of aptitude :p
2021-08-09 14:04:02 +0200 <timCF> merijn: You said she is using Haskell? What university is this?
2021-08-09 14:04:10 +0200 <merijn> Naah, that's unrelated :p
2021-08-09 14:04:25 +0200 <merijn> That program was Java, because, duh :p
2021-08-09 14:04:40 +0200 <timCF> Ah, I see. Just hoped that there are some valuable Haskell courses for beginners)
2021-08-09 14:04:42 +0200 <merijn> But I was teaching her Haskell in the months before
2021-08-09 14:04:49 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-09 14:06:12 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 276 seconds)
2021-08-09 14:06:33 +0200 <merijn> timCF: It was a program started by a bunch of IT companies struggling to hire people together with some of the "university" of applied sciences (for lack of a better term) based on their 4 year bachelor program
2021-08-09 14:08:23 +0200APic(apic@apic.name) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number)
2021-08-09 14:12:24 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-08-09 14:13:30 +0200APic(apic@apic.name)
2021-08-09 14:13:48 +0200Guest4514(~Guest45@2001:8004:2728:3231:22e8:8df9:c65:5ea) (Quit: Client closed)
2021-08-09 14:18:00 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds)
2021-08-09 14:19:46 +0200hyiltiz(~quassel@31.220.5.250) (Ping timeout: 240 seconds)
2021-08-09 14:22:25 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-09 14:22:28 +0200hyiltiz(~quassel@31.220.5.250)
2021-08-09 14:22:46 +0200 <kuribas> Is there a named Monad that is equivalent to (,)?
2021-08-09 14:23:07 +0200 <kuribas> to (a,) I mean.
2021-08-09 14:23:09 +0200 <earthy> Interesting. We set up such a program ourselves... and we do teach a bit of Haskell...
2021-08-09 14:23:35 +0200cheater(~Username@user/cheater)
2021-08-09 14:23:46 +0200 <[exa]> kuribas: Const and Writer are kinda similar, in ways
2021-08-09 14:23:54 +0200 <[exa]> (random thought ^)
2021-08-09 14:23:55 +0200 <merijn> kuribas: Eh, that's Writer :p
2021-08-09 14:24:03 +0200 <kuribas> ah right :-)
2021-08-09 14:24:14 +0200 <earthy> (then again, our program is 18 months, not 8, and we hire people into the program)
2021-08-09 14:24:27 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 14:25:12 +0200 <merijn> earthy: Well, this program has a bunch of in-take meetings and a job fair with prospective employers and you only really get to start if one of them already agreed to hire you at the start, it seems to work out fairly well
2021-08-09 14:25:38 +0200 <earthy> sounds like a bootcamp-like program done reasonably well
2021-08-09 14:25:57 +0200 <kuribas> no, because "WriterT [Int] Maybe" is equal to Maybe ([Int], a), not ([Int], Maybe a)
2021-08-09 14:26:08 +0200 <kuribas> The second I am interested in...
2021-08-09 14:28:15 +0200 <earthy> AccumT?
2021-08-09 14:28:56 +0200 <earthy> Still not what you want.
2021-08-09 14:28:59 +0200 <merijn> kuribas: Sounds like you just want State, tbh
2021-08-09 14:29:07 +0200earthynods
2021-08-09 14:29:25 +0200 <kuribas> > liftA2 (liftA2 (+)) ([1], Nothing) ([2::Int], Just 1)
2021-08-09 14:29:27 +0200 <lambdabot> ([1,2],Nothing)
2021-08-09 14:29:40 +0200 <kuribas> > liftA2 (liftA2 (+)) ([1], Just 1) ([2::Int], Just 1)
2021-08-09 14:29:42 +0200 <lambdabot> ([1,2],Just 2)
2021-08-09 14:29:47 +0200 <kuribas> I want this ^^
2021-08-09 14:30:28 +0200 <[exa]> kuribas: isn't that more like MaybeT (Writer [Int]) ?
2021-08-09 14:30:58 +0200 <kuribas> [exa]: ah right!
2021-08-09 14:31:38 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 14:32:28 +0200berberman_(~berberman@user/berberman)
2021-08-09 14:32:44 +0200berberman(~berberman@user/berberman) (Ping timeout: 252 seconds)
2021-08-09 14:35:48 +0200favonia(~favonia@user/favonia)
2021-08-09 14:35:59 +0200 <kuribas> Doesn't MaybeT stops writing after Nothing?
2021-08-09 14:36:06 +0200 <kuribas> MaybeT Writer
2021-08-09 14:36:16 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 256 seconds)
2021-08-09 14:37:09 +0200 <kuribas> That would give ([1], Nothing) then
2021-08-09 14:37:53 +0200acidjnk(~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de)
2021-08-09 14:38:57 +0200oxytocat(~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Changing host)
2021-08-09 14:38:57 +0200oxytocat(~alloca@user/suppi)
2021-08-09 14:39:33 +0200 <dibblego> so does what you want ^^
2021-08-09 14:39:48 +0200 <kuribas> dibblego: no, I want ([1, 2], Nothing)
2021-08-09 14:40:25 +0200 <kuribas> ah, that cannot be a Monad then...
2021-08-09 14:41:26 +0200 <dibblego> data M a = M [Int] (Maybe a); instance Monoid M where...
2021-08-09 14:41:27 +0200 <earthy> You want an arrow, and &&&
2021-08-09 14:41:40 +0200 <earthy> or some such
2021-08-09 14:43:28 +0200 <kuribas> Writer Int (Maybe a) ...
2021-08-09 14:43:48 +0200 <kuribas> :t Const
2021-08-09 14:43:49 +0200 <lambdabot> forall k a (b :: k). a -> Const a b
2021-08-09 14:44:14 +0200 <earthy> Do you need it to be a monad? Can you get away with relaxing some of the laws? :)
2021-08-09 14:44:17 +0200dextaa(~DV@aftr-37-201-214-197.unity-media.net) (Quit: Ping timeout (120 seconds))
2021-08-09 14:44:31 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 14:44:38 +0200dextaa(~DV@aftr-37-201-214-197.unity-media.net)
2021-08-09 14:45:22 +0200 <kuribas> earthy: yeah, I cannot even be a monad, because I need to collect the errors (or warnings).
2021-08-09 14:45:25 +0200Guest98(~Guest98@31.4.136.211)
2021-08-09 14:46:19 +0200 <merijn> kuribas: Do you don't just want Validation?
2021-08-09 14:46:49 +0200Guest98(~Guest98@31.4.136.211) ()
2021-08-09 14:46:49 +0200 <merijn> kuribas: Which is the Applicative version of Either that aggregates errors (instead of returning the first)
2021-08-09 14:47:03 +0200 <stoicswe[m]> V
2021-08-09 14:47:04 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-09 14:47:12 +0200dextaa(~DV@aftr-37-201-214-197.unity-media.net) (Changing host)
2021-08-09 14:47:12 +0200dextaa(~DV@user/dextaa)
2021-08-09 14:47:22 +0200 <kuribas> merijn: I am parsing a csv, so I want to collect the original rows, and add an error collumn if the parsing fails.
2021-08-09 14:47:37 +0200 <merijn> kuribas: https://hackage.haskell.org/package/either-5.0.1.1/docs/Data-Either-Validation.html
2021-08-09 14:47:55 +0200 <stoicswe[m]> Whoops, sorry for the random ‘V’ there. I accidentally sent that.
2021-08-09 14:48:12 +0200 <earthy> still not a monad though. ;P
2021-08-09 14:48:34 +0200 <earthy> (and Validation is the exact use case indeed)
2021-08-09 14:49:02 +0200 <kuribas> so I have ([originalCsv], Just parsedField) or ([addError originalCsv], Nothing)
2021-08-09 14:49:18 +0200 <merijn> These? :p
2021-08-09 14:49:29 +0200 <merijn> That lets you aggregate errors *and* a result :p
2021-08-09 14:49:31 +0200 <kuribas> merijn: no, These also stops with an error.
2021-08-09 14:50:09 +0200 <merijn> kuribas: It doesn't
2021-08-09 14:50:13 +0200 <merijn> Only on *some* errors
2021-08-09 14:50:57 +0200 <kuribas> merijn: "This a" will stop he computation right?
2021-08-09 14:51:16 +0200 <kuribas> but ([1], Nothing) doesn't
2021-08-09 14:51:16 +0200 <merijn> kuribas: Yes, errors should be "These a defaultValue"
2021-08-09 14:51:24 +0200__monty__(~toonn@user/toonn)
2021-08-09 14:51:53 +0200vysn(~vysn@user/vysn) (Ping timeout: 268 seconds)
2021-08-09 14:52:21 +0200 <kuribas> There is no default value
2021-08-09 14:52:36 +0200 <kuribas> result is Nothing if there is a single error.
2021-08-09 14:52:52 +0200 <kuribas> But still all original csv rows need to be aggregated.
2021-08-09 14:53:46 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-09 15:00:18 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-08-09 15:01:04 +0200alx741(~alx741@181.196.68.21)
2021-08-09 15:05:30 +0200henninb(~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving)
2021-08-09 15:08:47 +0200mousey(~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds)
2021-08-09 15:09:38 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-09 15:09:40 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-08-09 15:11:00 +0200cheater(~Username@user/cheater) (Ping timeout: 268 seconds)
2021-08-09 15:11:40 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-08-09 15:14:38 +0200qbt(~edun@user/edun) (Ping timeout: 252 seconds)
2021-08-09 15:20:04 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-08-09 15:20:28 +0200mei(~mei@user/mei) (Read error: Connection reset by peer)
2021-08-09 15:20:56 +0200mei(~mei@user/mei)
2021-08-09 15:23:29 +0200maerwald(~maerwald@mail.hasufell.de) (Quit: gone)
2021-08-09 15:23:52 +0200maerwald(~maerwald@mail.hasufell.de)
2021-08-09 15:23:58 +0200nckx(~nckx@tobias.gr) (Ping timeout: 272 seconds)
2021-08-09 15:24:38 +0200nckx(~nckx@tobias.gr)
2021-08-09 15:25:11 +0200m4lvin(~m4lvin@w4eg.de) (Ping timeout: 268 seconds)
2021-08-09 15:27:12 +0200xff0x(~xff0x@2001:1a81:5378:e300:6a47:5d73:b3fa:4d3c) (Ping timeout: 245 seconds)
2021-08-09 15:28:24 +0200xff0x(~xff0x@2001:1a81:5378:e300:775f:2c72:eed7:a05a)
2021-08-09 15:28:45 +0200markpythonicbitc(~markpytho@50.228.44.6)
2021-08-09 15:28:51 +0200m4lvin(~m4lvin@w4eg.de)
2021-08-09 15:34:58 +0200notzmv(~zmv@user/notzmv)
2021-08-09 15:40:14 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 15:41:41 +0200pe200012(~pe200012@113.105.10.33) (Quit: Konversation terminated!)
2021-08-09 15:43:04 +0200pe200012(~pe200012@218.107.49.28)
2021-08-09 15:43:36 +0200jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 272 seconds)
2021-08-09 15:44:33 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 248 seconds)
2021-08-09 15:47:37 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-09 15:48:37 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 15:53:02 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.2)
2021-08-09 15:54:45 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 276 seconds)
2021-08-09 15:57:06 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-09 16:00:44 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 258 seconds)
2021-08-09 16:01:55 +0200azeem(~azeem@176.201.12.128)
2021-08-09 16:03:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 16:04:12 +0200qbt(~edun@user/edun)
2021-08-09 16:07:25 +0200azeem(~azeem@176.201.12.128) (Read error: Connection reset by peer)
2021-08-09 16:07:38 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2021-08-09 16:07:43 +0200Pickchea(~private@user/pickchea)
2021-08-09 16:09:06 +0200cheater(~Username@user/cheater)
2021-08-09 16:09:20 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 16:10:50 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-08-09 16:21:01 +0200lechner(~lechner@debian/lechner) (Quit: WeeChat 3.0)
2021-08-09 16:21:24 +0200lechner(~lechner@debian/lechner)
2021-08-09 16:21:40 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2021-08-09 16:22:57 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds)
2021-08-09 16:23:04 +0200hendursa1(~weechat@user/hendursaga) (Quit: hendursa1)
2021-08-09 16:23:04 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-08-09 16:23:33 +0200hendursaga(~weechat@user/hendursaga)
2021-08-09 16:24:14 +0200Sgeo(~Sgeo@user/sgeo)
2021-08-09 16:24:31 +0200lechner(~lechner@debian/lechner) (Client Quit)
2021-08-09 16:24:55 +0200lechner(~lechner@debian/lechner)
2021-08-09 16:26:21 +0200qbt(~edun@user/edun) (Quit: Leaving)
2021-08-09 16:29:10 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-08-09 16:29:46 +0200acidjnk(~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-08-09 16:32:33 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
2021-08-09 16:32:51 +0200 <kuribas> I'll take "Writer [CSV] (Maybe a)", as merijn Suggested, since it's more descriptive then (CSV, Maybe a)
2021-08-09 16:35:45 +0200 <maerwald[m]> how does viewpattern desugar in an argument `foo (fun -> a) = ...`?
2021-08-09 16:40:28 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-08-09 16:42:12 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 245 seconds)
2021-08-09 16:43:14 +0200 <kuribas> foo fa = case fun fa of a -> ...
2021-08-09 16:44:20 +0200markpythonicbitc(~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 16:44:31 +0200 <merijn> That's what I'd assume, yes
2021-08-09 16:45:03 +0200 <merijn> Although I wonder why it'd matter? Because that seems like it'd only matter in very contrived situations
2021-08-09 16:46:02 +0200lbseale(~lbseale@user/ep1ctetus) (Ping timeout: 256 seconds)
2021-08-09 16:47:23 +0200markpythonicbitc(~markpytho@50.228.44.6)
2021-08-09 16:50:18 +0200Guest56(~Guest56@n220246223066.netvigator.com)
2021-08-09 16:51:04 +0200 <maerwald[m]> I was wondering if it could affect inlining
2021-08-09 16:51:15 +0200markpythonicbitc(~markpytho@50.228.44.6) (Client Quit)
2021-08-09 16:52:16 +0200 <merijn> Probably
2021-08-09 16:52:26 +0200 <merijn> Everything can affect inlining xD
2021-08-09 16:52:33 +0200 <maerwald[m]> ...
2021-08-09 16:54:29 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-09 16:57:42 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-08-09 16:59:23 +0200Akronymus(~Akronymus@85.31.8.181) (Quit: Client closed)
2021-08-09 17:01:05 +0200 <kuribas> > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)]
2021-08-09 17:01:06 +0200 <lambdabot> error:
2021-08-09 17:01:06 +0200 <lambdabot> ‱ Data constructor not in scope:
2021-08-09 17:01:06 +0200 <lambdabot> Compose :: ([Int], Maybe Int) -> f b
2021-08-09 17:01:17 +0200 <kuribas> lambdabot: you disappoint me...
2021-08-09 17:01:36 +0200 <kuribas> > import Data.Functor.Compose
2021-08-09 17:01:37 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘import’
2021-08-09 17:01:42 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 17:01:54 +0200 <geekosaur> @let import Data.Functor.Compose
2021-08-09 17:01:56 +0200 <lambdabot> Defined.
2021-08-09 17:02:20 +0200 <geekosaur> although yahb might work better here
2021-08-09 17:03:02 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net)
2021-08-09 17:03:39 +0200 <raehik> Is there a way to run the C preprocessor on a Happy .y file *before* Happy processes it? In a Stack or Cabal project
2021-08-09 17:03:50 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-09 17:03:53 +0200 <geekosaur> > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)]
2021-08-09 17:03:55 +0200 <raehik> or otherwise any idea on how to modularise multiple Happy parsers that share components
2021-08-09 17:03:55 +0200 <lambdabot> Compose ([1,2,3],Nothing)
2021-08-09 17:05:24 +0200fef(~thedawn@user/thedawn)
2021-08-09 17:06:34 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 17:06:39 +0200Guest56(~Guest56@n220246223066.netvigator.com) (Quit: Client closed)
2021-08-09 17:08:49 +0200Pickchea(~private@user/pickchea) (Ping timeout: 248 seconds)
2021-08-09 17:10:29 +0200carbolymer_carbolymer
2021-08-09 17:10:55 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 17:11:34 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 272 seconds)
2021-08-09 17:14:52 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:3af7:592d:78ca:ce31) (Quit: WeeChat 2.8)
2021-08-09 17:15:17 +0200 <kuribas> runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)]
2021-08-09 17:15:19 +0200 <kuribas> > runWriter $ getCompose $ traverse Compose [tell [1::Int] >> pure (Just (1::Int)), tell [2] >> pure Nothing, tell [3] >> pure (Just 3)]
2021-08-09 17:15:21 +0200 <lambdabot> (Nothing,[1,2,3])
2021-08-09 17:17:46 +0200Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-08-09 17:25:10 +0200random-jellyfish(~Guest71@user/random-jellyfish) (Ping timeout: 246 seconds)
2021-08-09 17:26:58 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-08-09 17:27:54 +0200Guest71(~Guest71@217.156.31.64)
2021-08-09 17:28:18 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-08-09 17:32:49 +0200Boomerang(~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 248 seconds)
2021-08-09 17:36:48 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi)
2021-08-09 17:38:03 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:e99d:7f37:f39a:bf6c)
2021-08-09 17:38:19 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection)
2021-08-09 17:38:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-09 17:38:46 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi)
2021-08-09 17:39:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-09 17:41:07 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-09 17:41:12 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-09 17:42:58 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-08-09 17:45:45 +0200mattilinnanvuori(~mattilinn@87-92-142-109.rev.dnainternet.fi)
2021-08-09 17:47:46 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection)
2021-08-09 17:49:02 +0200mattilinnanvuori(~mattilinn@87-92-142-109.rev.dnainternet.fi) (Remote host closed the connection)
2021-08-09 17:51:52 +0200yourname_(~barrucadu@carcosa.barrucadu.co.uk)
2021-08-09 17:52:01 +0200 <Gurkenglas> stack install lens said a module interface file was corrupt, i deleted it and it said it was missing, i deleted the entire containing ghc folder and it said it could not find sandboxed compiler, how should i recover?
2021-08-09 17:52:27 +0200yourname_barrucadu
2021-08-09 17:52:33 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-08-09 17:52:54 +0200 <c_wraith> at that point... delete the whole stack directory?
2021-08-09 17:53:14 +0200 <tomsmeding> kuribas: view patterns can't desugar like that, right, because they can let the pattern match go to the next definition clause if the view pattern fails
2021-08-09 17:54:37 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-08-09 17:54:38 +0200 <merijn> tomsmeding: So? Just nest cases
2021-08-09 17:55:01 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-08-09 17:55:02 +0200 <merijn> tomsmeding: You can desugar to pattern guards fairly easily
2021-08-09 17:55:07 +0200 <geekosaur> and in any case multiple definitions desugar the same way
2021-08-09 17:55:15 +0200 <geekosaur> so it can combine them
2021-08-09 17:55:17 +0200dajoer(~david@user/gvx) (Quit: leaving)
2021-08-09 17:55:19 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-08-09 17:55:32 +0200 <merijn> "foo (bar -> Just x) = ..." -> "foo y | Just x <- bar y = ..."
2021-08-09 17:55:52 +0200 <tomsmeding> merijn: but then you need to desugar all the arms of a case expression into nested cases as well, if there are view patterns
2021-08-09 17:55:57 +0200 <tomsmeding> It works I guess
2021-08-09 17:56:12 +0200 <tomsmeding> Yeah it should be the same as pattern guards
2021-08-09 17:56:14 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 17:57:32 +0200 <tomsmeding> I think I recall that the new pattern matching algorithm in ghc (something something guards?) explicitly handles either view patterns or pattern guards
2021-08-09 17:57:34 +0200 <Gurkenglas> merijn, what if bar takes two arguments
2021-08-09 17:57:58 +0200 <tomsmeding> Ah, "lower your guards" it wad
2021-08-09 17:58:01 +0200 <tomsmeding> *was
2021-08-09 17:59:22 +0200 <tomsmeding> Actually it seems its source syntax (fig. 1) has both explicit view patterns and explicit pattern guards, with no desugaring yet
2021-08-09 18:00:10 +0200 <merijn> Gurkenglas: then you can't do it with ViewPatterns (the first case)
2021-08-09 18:00:17 +0200 <tomsmeding> And they desugar everything to something resembling pattern guards, it seems
2021-08-09 18:00:35 +0200 <merijn> Gurkenglas: In the 2nd pattern guards example it "Just Works" (assuming you pass the 2nd argument from somewhere)
2021-08-09 18:00:51 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-08-09 18:01:12 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-09 18:01:18 +0200 <Gurkenglas> ah, ViewPatterns is justified by x being a record of which bar is a field?
2021-08-09 18:01:29 +0200 <Gurkenglas> y being a record, rather
2021-08-09 18:02:06 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-08-09 18:02:20 +0200haykam(~haykam@static.100.2.21.65.clients.your-server.de)
2021-08-09 18:02:27 +0200 <tomsmeding> "(e -> p)" is a pattern for type t if e is an expression of type t -> t' and p is a pattern for type t'
2021-08-09 18:02:43 +0200 <tomsmeding> And the resulting bindings are those from p, of course
2021-08-09 18:02:48 +0200pe200012(~pe200012@218.107.49.28) (Ping timeout: 276 seconds)
2021-08-09 18:05:53 +0200charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Remote host closed the connection)
2021-08-09 18:06:01 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-09 18:07:03 +0200charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-08-09 18:07:48 +0200 <merijn> Gurkenglas: ViewPatterns allows arbitrary functions to be applied to an argument before matching
2021-08-09 18:08:06 +0200 <Gurkenglas> stack install ghcide says "try adding the following to your extra-deps" https://paste.tomsmeding.com/K8tfYaJS but my installation of ghcide should not be reflected in the helloworld project, since it's just local ide tooling. What should I do?
2021-08-09 18:08:20 +0200 <merijn> Gurkenglas: It's basically "before pattern matching this function argument, apply function bar, then match the results"
2021-08-09 18:08:43 +0200 <merijn> Gurkenglas: I don't use stack, but I recall that "stack install" is basically always the wrong command >.>
2021-08-09 18:10:03 +0200 <dsal> Yeah, even when 'stack install' is the right command, it feels quite wrong.
2021-08-09 18:10:21 +0200 <Gurkenglas> How do I use stack to install something?
2021-08-09 18:10:46 +0200 <Gurkenglas> googling finds me guides on how to install stack :3
2021-08-09 18:11:27 +0200 <dsal> One question up.... What are you trying to do?
2021-08-09 18:11:32 +0200 <geekosaur> you only 'stack install' executables, basically
2021-08-09 18:12:16 +0200 <Gurkenglas> dsal, I'm trying to have an IDE for haskell, currently attempting vscode with haskell-language-server
2021-08-09 18:12:24 +0200 <AnselmSchler[m]> stack install just builds and then writes the binaries to local-bin-path (check with stack paths, usually ~/.local/bin)
2021-08-09 18:12:36 +0200 <Gurkenglas> geekosaur, ghcide is an executable :)
2021-08-09 18:12:49 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2021-08-09 18:13:00 +0200 <dsal> Oh, you're trying to install hls? I've never actually succeeded in that. You probably do want to install the program, though.
2021-08-09 18:13:12 +0200 <Gurkenglas> What program?
2021-08-09 18:13:19 +0200 <dsal> AnselmSchler[m]: People get confused when they try to install libraries.
2021-08-09 18:13:22 +0200 <dsal> Gurkenglas: The language server.
2021-08-09 18:13:34 +0200vysn(~vysn@user/vysn)
2021-08-09 18:13:39 +0200 <merijn> ghcup ships pre-built binaries of HLS and so do several package managers
2021-08-09 18:13:40 +0200 <dsal> Which I've failed to actually ever get working, so I'm whatever the opposite of an authority on that is.
2021-08-09 18:14:32 +0200Neuromancer(~Neuromanc@user/neuromancer)
2021-08-09 18:14:38 +0200 <AnselmSchler[m]> dsal: I mean, stack automatically downloads libraries, unless you’re seeking runtime deps
2021-08-09 18:14:38 +0200 <AnselmSchler[m]> 
do shared object files not get copied? or are they not available from .local/bin?
2021-08-09 18:15:11 +0200 <dsal> AnselmSchler[m]: Some people think that if they want to use lens in a project, they need to 'stack install lens'
2021-08-09 18:15:25 +0200 <Gurkenglas> hls did that on its own when I opened a vscode folder that was a stack project with the hls vscode extension installed, i think, though it gave a ghcide error https://paste.tomsmeding.com/9kR1aGdj and told me to make sure i use the project's ghc to compile ghcide
2021-08-09 18:15:26 +0200 <dsal> It simultaneously doesn't solve the problem and makes things a little worse.
2021-08-09 18:15:31 +0200 <AnselmSchler[m]> ah OK
2021-08-09 18:15:41 +0200 <srid[m]> <sm> "hi srid, we wondered why you..." <- nix shouldn't be a strict requirement after 1.0 release to hackage.
2021-08-09 18:16:03 +0200jneira[m](~jneira@99.red-176-87-53.dynamicip.rima-tde.net)
2021-08-09 18:16:25 +0200 <Gurkenglas> dsal, if "stack install lens" is basically never right because lens is a library, shouldnt it give a warning to this effect?
2021-08-09 18:16:28 +0200 <sm> srid: cool
2021-08-09 18:16:34 +0200 <merijn> Nix shouldn't be a strict requirement ever :p
2021-08-09 18:16:46 +0200 <srid[m]> <sm> "lechner, I got it to build..." <- yea, those libraries need to be released to hackage once out of dev phase. then a simple 'cabal install' should work
2021-08-09 18:16:55 +0200 <AnselmSchler[m]> Gurkenglas: good idea, cabal does this with libraries
2021-08-09 18:17:10 +0200 <Gurkenglas> i did just run stack install lens...
2021-08-09 18:17:14 +0200 <srid[m]> well, except heist which is a fork - need to convince upstream to merge that small change
2021-08-09 18:17:22 +0200 <sm> Gurkenglas: I think you should be letting vscode haskell extension doing the installing
2021-08-09 18:17:32 +0200 <Gurkenglas> because i thought "that always takes a while, might as well do it now on the side"
2021-08-09 18:17:40 +0200 <dsal> Gurkenglas: That'd be polite. There's probably someone out there who wants that behavior.
2021-08-09 18:17:53 +0200 <AnselmSchler[m]> Can you use the Nix build system outside of NixOS? Or, even, are the two unrelated?
2021-08-09 18:17:55 +0200 <Gurkenglas> sm, that gave an error though. maybe because of the years old history of this machine.
2021-08-09 18:18:05 +0200 <AnselmSchler[m]> (I’m using an Ubuntu derivative)
2021-08-09 18:18:13 +0200 <sm> best to figure that out I'd say.. #haskell-ide-engine has all the devs
2021-08-09 18:18:39 +0200 <sm> #haskell-language-server, sorry
2021-08-09 18:18:51 +0200 <Gurkenglas> yeah they appear to have made good use of the libera stuff
2021-08-09 18:19:25 +0200Guest71(~Guest71@217.156.31.64) (Ping timeout: 246 seconds)
2021-08-09 18:19:42 +0200 <Gurkenglas> havent received a reply in the past 3 hours, so i thought id ask the non-hls version of the question here :)
2021-08-09 18:19:59 +0200AnselmSchler[m]schuelermine[m]
2021-08-09 18:20:00 +0200 <sm> fair enough
2021-08-09 18:20:07 +0200 <sm> they'll wake up soon
2021-08-09 18:20:25 +0200 <sm> in vs code Output -> Haskell pane you can see diagnostics from hls
2021-08-09 18:20:34 +0200 <sm> I'd check for errors there and search the hls tracker
2021-08-09 18:20:39 +0200 <Gurkenglas> maybe i should just delete everything haskell-related except what was manually written by me and then reinstall. is there a command for that?
2021-08-09 18:21:02 +0200 <sm> rm -rf ~/{.cabal,.stack,.ghc} if you really don't care...
2021-08-09 18:21:21 +0200 <sm> but there might be some config in there worth keeping
2021-08-09 18:21:31 +0200schuelermine(~anselmsch@user/schuelermine)
2021-08-09 18:21:44 +0200 <Gurkenglas> I'm on Windows :P
2021-08-09 18:21:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-09 18:22:10 +0200 <schuelermine[m]> sm: also don’t forget rm ~/.ghcup if you use GHCup
2021-08-09 18:22:18 +0200 <sm> have you tried this in a brand new project ?
2021-08-09 18:23:21 +0200 <Gurkenglas> yeah current project is called helloworld, but i was also right in the process of trying again with hello2world in case i made it worse
2021-08-09 18:24:10 +0200 <sm> stack new foo, latest vscode, latest haskell extension <- should just work
2021-08-09 18:24:54 +0200 <schuelermine> Gurkenglas: where does GHCup, Cabal, Stack, GHC store config and cache on Windows? %APPDATA%/
?
2021-08-09 18:24:54 +0200 <Gurkenglas> and the primary folder i open in vscode needs to be the project folder, yes?
2021-08-09 18:24:58 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi) (Read error: Connection reset by peer)
2021-08-09 18:25:07 +0200 <Gurkenglas> schuelermine, who knows?
2021-08-09 18:25:19 +0200 <Gurkenglas> stack should have a command for cleaning all of it up :)
2021-08-09 18:25:34 +0200schuelermine(~anselmsch@user/schuelermine) (Quit: WeeChat 3.2)
2021-08-09 18:25:36 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-09 18:25:43 +0200 <schuelermine[m]> same with cabal
2021-08-09 18:25:43 +0200 <schuelermine[m]> it’s a shame
2021-08-09 18:25:57 +0200schuelermine(~anselmsch@user/schuelermine)
2021-08-09 18:26:48 +0200jneira[m](~jneira@99.red-176-87-53.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-09 18:27:53 +0200 <Gurkenglas> "stack nuke"
2021-08-09 18:27:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-08-09 18:28:09 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 276 seconds)
2021-08-09 18:28:54 +0200schuelermine(~anselmsch@user/schuelermine) (Client Quit)
2021-08-09 18:29:16 +0200 <schuelermine[m]> I mean not even removing everything
2021-08-09 18:29:16 +0200 <schuelermine[m]> just garbage collection so drives don’t get stuffed with unused packages
2021-08-09 18:29:43 +0200 <Gurkenglas> (which compresses all of those folders into a diff file to what would be generated automatically, so that the babbys first .hs you wrote 10 years ago stays in the archives)
2021-08-09 18:31:13 +0200 <Gurkenglas> But maybe "stack, I would like a sysadmin to be unable to tell whether there was ever a haskeller on this machine."
2021-08-09 18:32:03 +0200nvmd(~nvmd@user/nvmd)
2021-08-09 18:32:37 +0200 <schuelermine[m]> well that’d be called stack uninstall-stack if I got to name it
2021-08-09 18:32:43 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi)
2021-08-09 18:37:04 +0200 <Gurkenglas> Alright so vscode finds no updates, hls is on 1.6.0, I did stack new foo, opened that folder in a new window, i ctrl-click on someFunc and it does nothing
2021-08-09 18:37:51 +0200 <sm> schuelermine: stack-clean-old is not built in, but good
2021-08-09 18:37:52 +0200 <Gurkenglas> There is a suggestion to replace import Lib with import Lib ( someFunc ) so it's not completely dead
2021-08-09 18:38:22 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-08-09 18:38:33 +0200 <Gurkenglas> sm, is stack install stack-clean-old correct in this case?
2021-08-09 18:39:06 +0200 <sm> yup, though usually best to run that in your home directory (to avoid a project-specific resolver)
2021-08-09 18:39:26 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 18:39:30 +0200xsperry(~as@user/xsperry)
2021-08-09 18:39:38 +0200 <Gurkenglas> unix needed :D
2021-08-09 18:39:56 +0200 <geekosaur> root of the drive, then
2021-08-09 18:40:19 +0200 <sm> Gurkenglas: where do you see that ?
2021-08-09 18:40:19 +0200 <Gurkenglas> no, i mean, stack install stack-clean-old tells me to add unix to my extra-deps.
2021-08-09 18:40:52 +0200 <Gurkenglas> They should say "Some different approaches to resolving this:" when there's actually more than one approach ._.
2021-08-09 18:40:57 +0200 <sm> I don't think that advice is right
2021-08-09 18:41:05 +0200cheater(~Username@user/cheater)
2021-08-09 18:41:39 +0200 <sm> ah maybe it is. stack-clean-old depends on extra which depends on unix (not unix-compat). Sorry
2021-08-09 18:41:43 +0200 <sm> afk
2021-08-09 18:42:59 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-09 18:45:38 +0200 <Gurkenglas> goto-definition did work in one of the previous helloworlds. stack build didnt make it start working. it works within the file but not across files.
2021-08-09 18:49:04 +0200schuelermine(~anselmsch@user/schuelermine)
2021-08-09 18:49:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 18:50:37 +0200 <Gurkenglas> restarting the hls server gives this output, which doesn't seem right. https://paste.tomsmeding.com/MQUCkhpo
2021-08-09 18:50:46 +0200 <Gurkenglas> (if i dont have a .hs open)
2021-08-09 18:52:30 +0200 <Gurkenglas> the "Haskell" vscode extension says it's on version 1.6.0, but the hls output says it's hls 1.3.0.0
2021-08-09 18:52:30 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 18:54:12 +0200Pickchea(~private@user/pickchea)
2021-08-09 18:54:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-09 18:55:10 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-08-09 18:56:05 +0200nilweed(~nilweed@c-73-161-233-4.hsd1.mi.comcast.net)
2021-08-09 18:57:14 +0200 <Gurkenglas> When I do the same thing in WSL, the same thing happens - apparently it wasn't because of windows
2021-08-09 18:57:26 +0200 <Gurkenglas> except that this time goto-definition also doesn't work within-file.
2021-08-09 18:58:13 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 258 seconds)
2021-08-09 19:00:42 +0200schuelermine[m](~schuelerm@2001:470:69fc:105::d032) (Quit: Reconnecting)
2021-08-09 19:00:57 +0200schuelermine[m](~schuelerm@user/schuelermine)
2021-08-09 19:01:00 +0200azeem(~azeem@176.201.37.131)
2021-08-09 19:01:42 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection)
2021-08-09 19:01:53 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-09 19:03:19 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2021-08-09 19:03:30 +0200schuelermine(~anselmsch@user/schuelermine) (Quit: WeeChat 3.2)
2021-08-09 19:03:42 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 19:03:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-09 19:05:08 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-08-09 19:07:20 +0200schuelermine(~anselmsch@user/schuelermine)
2021-08-09 19:07:30 +0200 <lechner> srid[m] sm: Hi, any ideas what i can do about these compilation errors for 'ema' using only cabal.project (and not stack)? Thanks! https://paste.debian.net/1207061/
2021-08-09 19:08:35 +0200 <lechner> srid[m]: I am now also on Matrix now but it's very new for me.
2021-08-09 19:08:59 +0200azeem(~azeem@176.201.37.131) (Read error: Connection reset by peer)
2021-08-09 19:10:42 +0200Atum_(~IRC@user/atum/x-2392232)
2021-08-09 19:11:01 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 19:11:25 +0200 <schuelermine[m]> matrix is super cool
2021-08-09 19:11:42 +0200schuelermine(~anselmsch@user/schuelermine) (Client Quit)
2021-08-09 19:12:33 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds)
2021-08-09 19:12:36 +0200 <dminuoso> lechner: Which part of it confuses you?
2021-08-09 19:12:48 +0200 <dminuoso> lechner: Try reading the error carefully, see if you can make out what the issue is.
2021-08-09 19:12:58 +0200 <dminuoso> I think these errors are very verbose, explicit and obvious.
2021-08-09 19:15:08 +0200fresheyeball(~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net)
2021-08-09 19:16:16 +0200 <Clint> dminuoso: it may tell him what the issue is but it doesn't tell him which ones he should be hiding to get it to build
2021-08-09 19:17:36 +0200nilweed(~nilweed@c-73-161-233-4.hsd1.mi.comcast.net) (Ping timeout: 272 seconds)
2021-08-09 19:18:09 +0200 <monochrom> "is this why this package doesn't build on hackage?" meme
2021-08-09 19:18:50 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-08-09 19:19:20 +0200 <dminuoso> Clint: Maybe. Im just trying to get these details from lechner.
2021-08-09 19:19:25 +0200Clintnods.
2021-08-09 19:20:01 +0200 <lechner> do i have any control over how the imported ema is built via just the cabal.project?
2021-08-09 19:20:46 +0200 <dminuoso> lechner: Is `ema` listed under build-depends in one component of your cabal file?
2021-08-09 19:21:18 +0200 <lechner> yes
2021-08-09 19:21:40 +0200 <dminuoso> Is this an external dependency? Or did you vendor that package?
2021-08-09 19:21:59 +0200 <lechner> vendored https://dpaste.org/qExW
2021-08-09 19:22:16 +0200 <lechner> more significantly, i do not understand how I can fix elementary symbol clashes between Relude and System.Environment with outside build instructions
2021-08-09 19:22:55 +0200 <dminuoso> Mmm, there's likely a missing (or too relaxed) upper bound on relude
2021-08-09 19:23:02 +0200 <monochrom> In most cases that's barking up the wrong tree.
2021-08-09 19:23:13 +0200 <dminuoso> Inside the ema package
2021-08-09 19:23:34 +0200 <lechner> dminuoso: maybe stackage lags?
2021-08-09 19:23:35 +0200 <dminuoso> If that's the case, you can monkey patch it by introducing an appropriate constraint into your own cabal file. But it's better to fix the underlying issue upstream in the ema package.
2021-08-09 19:23:41 +0200 <monochrom> In the minority, what dminuoso said, perhaps you need to be very selective about versions.
2021-08-09 19:24:17 +0200jneira[m](~jneira@99.red-176-87-53.dynamicip.rima-tde.net)
2021-08-09 19:24:23 +0200 <dminuoso> lechner: Ah, presumably ema is originally from stackage?
2021-08-09 19:24:30 +0200 <dminuoso> Or rather, a stack build package?
2021-08-09 19:24:42 +0200 <dminuoso> No idea what kind of cabal file you get from hpack.
2021-08-09 19:24:47 +0200 <lechner> dminuoso: the upstream author uses stack and nix while i would like to use only cabal
2021-08-09 19:25:08 +0200 <lechner> https://github.com/srid/emanote
2021-08-09 19:25:10 +0200 <dminuoso> https://github.com/srid/ema/blob/master/ema.cabal#L52
2021-08-09 19:25:12 +0200 <dminuoso> Ahh indeed.
2021-08-09 19:25:54 +0200 <dminuoso> lechner: So ideally, you should add a tight bound to *every* package with the minor version on the correct stackage resolver this builds on.
2021-08-09 19:26:03 +0200 <monochrom> Well, at this point I would sign it off as "unusable on cabal and hackage".
2021-08-09 19:26:03 +0200 <dminuoso> For ema.
2021-08-09 19:26:06 +0200Pickchea(~private@user/pickchea) (Ping timeout: 268 seconds)
2021-08-09 19:26:29 +0200 <dminuoso> lechner: You can also introduce these constraints in your own cabal file if you insisted. Id consider it bad style, but its an option nevertheless.
2021-08-09 19:26:36 +0200 <dminuoso> Though, Id probably rather fork and fix the package.
2021-08-09 19:27:26 +0200 <lechner> can i impose the upper bound via --constraint 'relude <= X'
2021-08-09 19:27:35 +0200 <dminuoso> The idea being, stack build packages have implicit constraints by virtue of stackage resolvers only having cherry picked versions. It's a bit sad that hpack doesn't introduce these same constraints (such that cabal would build the same package that stack would)
2021-08-09 19:27:51 +0200 <dminuoso> lechner: Yes.
2021-08-09 19:28:01 +0200 <lechner> which X please?
2021-08-09 19:28:14 +0200 <dminuoso> Check the stackage resolver this is guaranteed to build on
2021-08-09 19:28:17 +0200 <dminuoso> And see what version it brings for relude
2021-08-09 19:28:26 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2021-08-09 19:28:29 +0200 <lechner> lts-19.5
2021-08-09 19:28:33 +0200 <lechner> 18.5
2021-08-09 19:29:10 +0200 <dminuoso> https://www.stackage.org/lts-18.5/package/relude-0.7.0.0
2021-08-09 19:29:17 +0200 <dminuoso> https://www.stackage.org/lts-18.5/hoogle?q=relude
2021-08-09 19:29:30 +0200 <dminuoso> So you can see, the relude version on lts 18.5 is 0.7.0.0
2021-08-09 19:29:42 +0200 <lechner> yaah i just found it too
2021-08-09 19:29:46 +0200 <lechner> yeah
2021-08-09 19:29:57 +0200 <lechner> happy scream
2021-08-09 19:30:07 +0200 <dminuoso> lechner: You should probably do this for *every* dependency
2021-08-09 19:30:25 +0200 <dminuoso> Even if it stlil compiles, because there could be any number of lingering bugs due to untested compabilities
2021-08-09 19:30:34 +0200 <lechner> it is not imposed globally?
2021-08-09 19:30:40 +0200 <dminuoso> (these bugs could transcend into the transitive dependency tree)
2021-08-09 19:30:48 +0200 <dminuoso> lechner: No I meant for every dependency of `ema`
2021-08-09 19:31:25 +0200 <dminuoso> the author has clearly only tested it against dependencies in 18.5, but hackage likely has more recent *major* versions for every one of those.
2021-08-09 19:31:41 +0200 <dminuoso> Idelaly you wouldnt use <= here either
2021-08-09 19:31:52 +0200 <lechner> this is for an experimental wiki for now
2021-08-09 19:32:33 +0200 <dminuoso> Your choice. I dont know what these libraries do, but if you depend on them, it would make sense that you want them to work right
2021-08-09 19:32:50 +0200 <dminuoso> As opposed to doing "unexpected things", "deleting files accidentally", "having weird bugs", or something else
2021-08-09 19:33:21 +0200skykanin(~skykanin@115.81-166-221.customer.lyse.net)
2021-08-09 19:33:42 +0200 <dminuoso> 19:31:25 dminuoso | the author has clearly only tested it against dependencies in 18.5, but hackage likely has more recent *major* versions for every one of those.
2021-08-09 19:34:27 +0200 <dminuoso> lechner: use ^>= as a version constraint, ideally :)
2021-08-09 19:34:36 +0200 <lechner> dminuoso: https://www.quora.com/Why-is-that-some-people-say-that-if-a-Haskell-program-compiles-it-probably-w

2021-08-09 19:34:38 +0200 <dminuoso> so `relude ^>= 0.7.0.0`
2021-08-09 19:35:06 +0200 <lechner> or more appropriately, https://wiki.haskell.org/Why_Haskell_just_works
2021-08-09 19:35:22 +0200 <dminuoso> lechner: There's a lot of misconceptions around this "if it compiles it [probably] works"
2021-08-09 19:35:29 +0200 <dminuoso> In particular this only holds true for smaller code regions.
2021-08-09 19:35:40 +0200 <dminuoso> For entire transitive dependency graphs this quickly no longer holds.
2021-08-09 19:35:51 +0200 <dminuoso> Consider something like `unix`
2021-08-09 19:36:03 +0200 <dminuoso> Where perhaps the way a given FilePath is interpreted changes between major versions.
2021-08-09 19:36:06 +0200 <maerwald[m]> heh
2021-08-09 19:36:29 +0200 <lechner> maybe i should tighten up my prerequisites
2021-08-09 19:36:29 +0200 <maerwald[m]> "if it compiles it work" is specifically untrue for PVP
2021-08-09 19:36:50 +0200 <lechner> in other Haskell projects
2021-08-09 19:36:55 +0200 <dminuoso> lechner: Yes, you should. :)
2021-08-09 19:37:02 +0200 <dminuoso> `cabal gen-bounds` has your back
2021-08-09 19:38:23 +0200 <lechner> Well, this is literally a first test run if emanote has any of the features to replace the existing Debian wiki. it will be sandboxed and probably also suffers from genuine bugs
2021-08-09 19:38:29 +0200mikoto-chan(~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan)
2021-08-09 19:38:40 +0200lbseale(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-08-09 19:39:05 +0200lbseale(~lbseale@user/ep1ctetus)
2021-08-09 19:39:57 +0200 <lechner> dminuoso: i am still doing something wrong https://paste.debian.net/1207067/
2021-08-09 19:39:59 +0200 <dminuoso> In my experience, "if it compiles it [probably!] works" is mostly an effect during refactoring, that after some large code restructuring, the moment everything compiles again, there's a moderately high chance of the refactor being done.
2021-08-09 19:40:04 +0200dka_(~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular)
2021-08-09 19:40:17 +0200 <dminuoso> I want to emphasize on the "moderaly high" portion here. It's by far not a guarantee.
2021-08-09 19:40:36 +0200 <lechner> right now i can't even get this baby to build
2021-08-09 19:40:51 +0200 <lechner> and i'm sure it's safer than what i do in Perl
2021-08-09 19:40:56 +0200 <lechner> :)
2021-08-09 19:41:10 +0200 <maerwald[m]> That's really the main selling point of haskell: refactoring. Most other things are done better by other languages.
2021-08-09 19:41:22 +0200Guest7145(~Guest71@217.156.31.64)
2021-08-09 19:41:23 +0200 <geekosaur> strong types help but are not a panacea. and in particular IO is something of a weak type because it doesn't describe what *kind* of IO is happening
2021-08-09 19:41:32 +0200 <maerwald[m]> But given that refactoring can and should be the biggest part of your daily work, this is a significant selling point
2021-08-09 19:41:33 +0200jneira[m](~jneira@99.red-176-87-53.dynamicip.rima-tde.net) (Remote host closed the connection)
2021-08-09 19:41:39 +0200 <dminuoso> 'relude ^>= 7.0.0'
2021-08-09 19:41:42 +0200 <lechner> i was going to say
2021-08-09 19:41:44 +0200 <dminuoso> should probably read 'relude ^>= 0.7.0.0'
2021-08-09 19:41:52 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 19:42:17 +0200 <lechner> thanks for catching that!
2021-08-09 19:42:26 +0200 <maerwald[m]> it isn't easy to get a language into the tight spot which is ease of refactoring, because too much expressivity can easily kill that property too
2021-08-09 19:42:48 +0200Guest7145random-jellyfish
2021-08-09 19:42:53 +0200random-jellyfish(~Guest71@217.156.31.64) (Changing host)
2021-08-09 19:42:53 +0200random-jellyfish(~Guest71@user/random-jellyfish)
2021-08-09 19:44:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 19:45:07 +0200 <lechner> dminuoso: i actually copied and pasted that from a constraint i no longer needed but something got lost, sorry my head is spinning https://github.com/mrkkrp/megaparsec/issues/461
2021-08-09 19:46:24 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-09 19:46:27 +0200MorrowM(~Morrow@176.12.187.199)
2021-08-09 19:46:31 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-08-09 19:46:38 +0200 <lechner> dminuoso: thanks so much! i am in business. is this a static executable i can copy to anoter machine like Golang?
2021-08-09 19:46:47 +0200 <dminuoso> Perhaps?
2021-08-09 19:46:54 +0200 <myShoggoth> Episode 1 of The Haskell Interlude podcast is liiiiiiiiive: https://haskell.foundation/podcast/
2021-08-09 19:46:57 +0200 <dminuoso> It likely isnt if you dont know.
2021-08-09 19:47:08 +0200 <dminuoso> It takes effort to make static executables with GHC.
2021-08-09 19:47:23 +0200 <MorrowM> myShoggoth: Oooh
2021-08-09 19:47:29 +0200 <tomsmeding> lechner: run ldd on the executable
2021-08-09 19:48:18 +0200 <tomsmeding> myShoggoth: 🎉
2021-08-09 19:48:30 +0200 <srid[m]> <lechner> "srid: I am now also on Matrix..." <- If you are on matrix, join #neuron:matrix.org
2021-08-09 19:48:30 +0200 <lechner> well, at 64 megs it better bring some goodies
2021-08-09 19:48:42 +0200 <dminuoso> lechner: This is due to some unfortunate defaults.
2021-08-09 19:48:53 +0200 <lechner> srid[m]: i did---with two accounts
2021-08-09 19:49:03 +0200 <dminuoso> If you configure your cabal globally to enable split sections and stripping, this usually gets down to acceptable sizes.
2021-08-09 19:49:22 +0200 <tomsmeding> was there a downside to that on linux again?
2021-08-09 19:49:43 +0200 <srid[m]> lechner: also see https://github.com/srid/ema-template/issues/3
2021-08-09 19:49:51 +0200 <tomsmeding> ah docs say compile time and compile memory usage
2021-08-09 19:50:00 +0200 <dminuoso> Set `split-sections: True` in your ~/.cabal/config, and ensure you have stripping enabled in your cabal project. Note that this will recompile *all* dependencies, but it's a setting that arugably should be a cabal default.
2021-08-09 19:50:45 +0200 <lechner> can it create separate debug symbols?
2021-08-09 19:51:29 +0200 <maerwald[m]> dminuoso: probably isn't because it doesn't work on all platforms or sth
2021-08-09 19:51:44 +0200 <geekosaur> I don't think it creates debug symbols at all without specific configuration?
2021-08-09 19:51:57 +0200 <dminuoso> maerwald[m]: Oh yeah, I recall that argument and I think its flawed. Splitting sections when it's possible seems very sensible.
2021-08-09 19:52:17 +0200 <geekosaur> debug symbols are a recent addition to ghc
2021-08-09 19:52:28 +0200 <dminuoso> Forcibly blowing up executable sizes by a factor of up to 25 just for the sake of some stubbornness is weird.
2021-08-09 19:53:16 +0200 <maerwald[m]> I don't think any GHC dev is particularly stubborn... there are just bigger fish to fry :p
2021-08-09 19:53:22 +0200 <dminuoso> heh
2021-08-09 19:53:41 +0200 <geekosaur> this would be cabal, not ghc?
2021-08-09 19:54:10 +0200 <lechner> Haskell executables may not produce much unexpected runtime behavior compared to other languages
2021-08-09 19:54:56 +0200 <dminuoso> What do you mean exactly by unexpected runtime behavior?
2021-08-09 19:55:47 +0200 <fresheyeball> I am working on a new project in plutus
2021-08-09 19:55:57 +0200 <fresheyeball> and for some reason `cabal build` clones git repos
2021-08-09 19:56:03 +0200 <fresheyeball> I have never seen cabal build do this
2021-08-09 19:56:13 +0200 <fresheyeball> what's that all about? Is this new 3.0 stuff?
2021-08-09 19:56:36 +0200 <lechner> dminuoso: the need use a debugger, although maybe you do have your fair share of OOMs
2021-08-09 19:56:43 +0200 <davean> fresheyeball: thats cabal.project stuff, it just depends on a specific remote
2021-08-09 19:56:47 +0200 <sclv> yep, cabal project files let you pin against git repos and their tags or hashes
2021-08-09 19:57:11 +0200 <sclv> some bigger projects are making use of that a fair amount these days
2021-08-09 19:57:36 +0200 <dminuoso> lechner: In principle you also need to use debugging tools in Haskell.
2021-08-09 19:57:56 +0200 <geekosaur> there's at least one ghc bug reoort that begs to differ :ĂŸ https://gitlab.haskell.org/ghc/ghc/-/issues/163
2021-08-09 19:57:58 +0200 <fresheyeball> davean: is there a way to get cabal to use the deps provided by the nix-shell instead of downloading things?
2021-08-09 19:58:01 +0200 <maerwald[m]> fresheyeball: cardano is full of source-repository packages. There are many libraries, but almost none or on hackage, so that's how they are pulled in
2021-08-09 19:58:07 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 19:58:20 +0200 <davean> fresheyeball: Not and get a working build I expect
2021-08-09 19:58:22 +0200 <lechner> dminuoso: i was trying to support your argument that debugging symbols may not be needed all the time
2021-08-09 19:58:33 +0200 <dminuoso> It's hard to say whether you need it "less" or "more". From what I gather, the wide masses rarely use debugging tools, sadly.
2021-08-09 19:58:35 +0200 <sclv> fresheyeball: only by changing the project file to not explicitly require those repos!
2021-08-09 19:58:46 +0200 <lechner> geekosaur: ouch!
2021-08-09 19:59:22 +0200 <sclv> lmao the famous "best bug ever"
2021-08-09 19:59:24 +0200 <lechner> geekosaur: i know, it happened on Windoze!
2021-08-09 19:59:57 +0200notzmv(~zmv@user/notzmv)
2021-08-09 20:00:01 +0200cheater(~Username@user/cheater) (Ping timeout: 248 seconds)
2021-08-09 20:00:05 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 20:00:14 +0200 <lechner> sorry, deafening silence
2021-08-09 20:01:02 +0200 <tomsmeding> love how there is no conversation on that ticket other than "will be fixed in a patch version"
2021-08-09 20:01:26 +0200random-jellyfish(~Guest71@user/random-jellyfish) (Quit: Client closed)
2021-08-09 20:01:51 +0200 <lechner> please let me say that i adore Microsoft's support for Haskell. sorry if i offended anyone. bad old habit
2021-08-09 20:02:39 +0200 <lechner> i really meant that. my apologies
2021-08-09 20:03:16 +0200cheater(~Username@user/cheater)
2021-08-09 20:03:22 +0200 <maerwald[m]> Microsoft Research
2021-08-09 20:03:23 +0200 <maerwald[m]> which is more like a completely independent thing
2021-08-09 20:03:42 +0200 <lechner> dminuoso: isn't stripping on by default? https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-executable-stripping
2021-08-09 20:03:56 +0200 <lechner> maerwald[m]: crdeit has to be given when due
2021-08-09 20:04:09 +0200 <dminuoso> lechner: I dont know about your cabal installation, configuration, cabal.project/cabal.project.local
2021-08-09 20:04:10 +0200 <lechner> credit, sorry poor speller
2021-08-09 20:04:21 +0200 <monochrom> Yes, this is why the correction "MS Research" is important.
2021-08-09 20:04:54 +0200 <dminuoso> lechner: Which is why I said "ensure you have..."
2021-08-09 20:05:22 +0200 <dminuoso> And maybe this changed in cabal versions, i have no clue.
2021-08-09 20:05:26 +0200 <maerwald[m]> MS Research... oddly... is pretty insanely great. The projects they do, the papers, the reserachers
2021-08-09 20:05:36 +0200 <lechner> yeah
2021-08-09 20:05:38 +0200 <monochrom> Approximately the only credit for MS the parent company is the money.
2021-08-09 20:06:03 +0200 <monochrom> Oh the history backdrop is even more amazing.
2021-08-09 20:06:10 +0200 <maerwald[m]> excess money needs to be spent somehow
2021-08-09 20:06:20 +0200 <monochrom> In the beginning, Bell Labs was insanely great.
2021-08-09 20:06:40 +0200 <lechner> aside from the money, they also had the wits not to pour it into Pascal
2021-08-09 20:07:04 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-09 20:07:18 +0200drewr(~drew@user/drewr)
2021-08-09 20:07:21 +0200 <geekosaur> Pascal-izing C (see ther original Windows API) isn't necessarily better thiugh
2021-08-09 20:07:45 +0200 <monochrom> On day, Bell the parent company became not so friendly with the research branch, so the great researchers moved to DEC Lab.
2021-08-09 20:08:10 +0200 <monochrom> So DEC Lab was insanely great.
2021-08-09 20:09:15 +0200 <monochrom> Then one day, DEC sold the lab to Compaq, and later Compaq got bought up by Dell. So the parent company, whichever it was at the time, became not so friendly to the lab, so the great researches moved to MS Research.
2021-08-09 20:09:26 +0200 <monochrom> So MS Research became insanely great.
2021-08-09 20:10:00 +0200 <monochrom> History can repeat again. If one day MS becomes unfriendly to MS Research, the great researchers can still move to another company and make it great.
2021-08-09 20:10:09 +0200 <lechner> i thought Apple had trademarked "insanely"
2021-08-09 20:10:28 +0200 <lechner> or rather "insanely great"
2021-08-09 20:11:21 +0200 <monochrom> Oh, Windows API being pascalish also has its historical backdrop, probably.
2021-08-09 20:11:38 +0200 <Drew[m]1> Compaq merged with HP, not Dell
2021-08-09 20:11:55 +0200 <davean> lechner: so what if they did?
2021-08-09 20:11:55 +0200 <monochrom> So it began with Classical MacOS choosing Pascal and giving you only a Pascal binding of its OS and GUI.
2021-08-09 20:12:20 +0200 <lechner> Hi, with many components linked statically into executables what does the cabal.project option for library-stripping do, please?
2021-08-09 20:12:20 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-08-09 20:12:25 +0200 <monochrom> Yes Pascal was the system programming language of Mac. Fancy that.
2021-08-09 20:12:27 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-08-09 20:12:48 +0200 <davean> monochrom: whats so weird about that?
2021-08-09 20:12:56 +0200 <monochrom> So, probably Bill Gates borrowed from Classic MacOS for Windows, and kept the Pascalish conventions.
2021-08-09 20:13:06 +0200 <monochrom> Not weird to me.
2021-08-09 20:13:31 +0200 <monochrom> But I like to take every chance to weird out people who think that C is "system" and/or "performant"
2021-08-09 20:13:47 +0200 <geekosaur> lechner: there are the external symbols needed for linking but also things like local symbols that can be used for debugging
2021-08-09 20:13:50 +0200 <monochrom> (In the latter case I would cite Fortran.)
2021-08-09 20:13:51 +0200 <davean> ok, but C isn't overly performant?
2021-08-09 20:13:53 +0200dyeplexer(~dyeplexer@user/dyeplexer)
2021-08-09 20:14:11 +0200 <monochrom> You don't deny that those delusional people exist, do you?
2021-08-09 20:14:12 +0200 <geekosaur> library stripping removes the latter, leaving only the ones needed to link against it
2021-08-09 20:14:16 +0200 <davean> and I'm not sure how either apply
2021-08-09 20:14:39 +0200fef(~thedawn@user/thedawn) (Ping timeout: 244 seconds)
2021-08-09 20:15:06 +0200geekosaurstill remembers MPW Pascal
2021-08-09 20:15:51 +0200 <geekosaur> and how MPW's shell behaved oddly not quite like a unix
2021-08-09 20:15:56 +0200 <lechner> it it okay if i also explicitly set debug-info: False for good measure? (it was not on before)
2021-08-09 20:15:59 +0200 <davean> monochrom: I mean, even if they did, Pascal is pretty much a C variant in a lot of ways, a very close relative
2021-08-09 20:17:56 +0200fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Quit: Leaving...)
2021-08-09 20:18:08 +0200 <davean> Using Pascal these days would be weird
2021-08-09 20:18:40 +0200 <maerwald[m]> look at hedgehog... it hask haskell code, pascal code and a few other languages :)
2021-08-09 20:18:55 +0200dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-08-09 20:19:06 +0200 <maerwald[m]> (the game)
2021-08-09 20:19:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-08-09 20:19:30 +0200 <maerwald[m]> eh, hedgewars
2021-08-09 20:19:41 +0200 <lechner> sorry about the controversy. maybe i should have picked BASIC over Pascal earlier
2021-08-09 20:19:53 +0200 <maerwald[m]> https://github.com/hedgewars/hw
2021-08-09 20:20:10 +0200jessj
2021-08-09 20:20:23 +0200 <maerwald[m]> the server is haskell, the client is pascal or sth
2021-08-09 20:20:28 +0200jjess
2021-08-09 20:20:29 +0200 <monochrom> Oh, BASIC, then we can talk about Applesoft BASIC. Still with Apple. >:)
2021-08-09 20:20:30 +0200 <davean> lechner: BIOSs use to run BASIC?
2021-08-09 20:20:35 +0200 <maerwald[m]> no idea what type of drugs you need to come up with that idea
2021-08-09 20:20:58 +0200 <maerwald[m]> but packaging that thing for a source distro was really fun lol
2021-08-09 20:22:09 +0200 <maerwald[m]> so maybe that's pascals new use case
2021-08-09 20:23:04 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:e99d:7f37:f39a:bf6c) (Ping timeout: 256 seconds)
2021-08-09 20:23:21 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339)
2021-08-09 20:23:26 +0200 <geekosaur> hm, is delphi still around?
2021-08-09 20:24:20 +0200kuribas(~user@ptr-25vy0i7woj1hwcs7nsl.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-08-09 20:24:24 +0200 <geekosaur> yep. database with built in object pascal language
2021-08-09 20:25:59 +0200 <lechner> davean: thanks for the advice (which i think you had also offered on another day). now i'm down to 26 MB
2021-08-09 20:26:09 +0200 <lechner> dminuoso: thanks for the advice (which i think you had also offered on another day). now i'm down to 26 MB
2021-08-09 20:26:16 +0200 <lechner> davean: sorry
2021-08-09 20:26:21 +0200Guest60(~Guest60@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr)
2021-08-09 20:26:48 +0200 <davean> lechner: yah, I only optimize Haskell performance, not size :)
2021-08-09 20:26:51 +0200 <davean> lechner: wrong questions for me!
2021-08-09 20:27:05 +0200 <davean> if you want to make it faster, we can talk
2021-08-09 20:27:13 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds)
2021-08-09 20:27:35 +0200 <lechner> davean: i saw your other message btw, and will get back to you when i have some ideas
2021-08-09 20:28:16 +0200qbt(~edun@user/edun)
2021-08-09 20:28:58 +0200 <Guest60> Hello. Im trying to code a little line command program using the stack template "rio".
2021-08-09 20:29:18 +0200 <Guest60> How would you modify the source code to ask for an argument when user call the command line program ?
2021-08-09 20:29:19 +0200 <Guest60> https://github.com/commercialhaskell/stack-templates/blob/master/rio.hsfiles
2021-08-09 20:29:26 +0200ezra(~sergal@fsf/member/ezra) (Quit: bye bye)
2021-08-09 20:29:47 +0200 <Guest60> i red the documentation of many libraries but i cant find a syntax that satisfy the compiler
2021-08-09 20:30:24 +0200 <dminuoso> START_FILE
2021-08-09 20:30:27 +0200 <dminuoso> What is this? :o
2021-08-09 20:30:36 +0200 <Guest60> i think opt parse is involve
2021-08-09 20:30:57 +0200 <Guest60> this is the template used to generate files
2021-08-09 20:31:38 +0200 <monochrom> And why is it not StartFile? <duck>
2021-08-09 20:34:47 +0200 <tomsmeding> dminuoso: 'stack init' template, like 'cabal init' but different
2021-08-09 20:36:21 +0200 <Guest60> the code involve shold be this file : https://pastebin.com/RLhmbJTp
2021-08-09 20:36:27 +0200myShoggoth(~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-09 20:36:32 +0200 <Guest60> involved should*
2021-08-09 20:37:46 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:112f:f355:ed76:9e65)
2021-08-09 20:38:51 +0200dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-08-09 20:40:12 +0200jackhill_jackhill
2021-08-09 20:40:29 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 20:41:29 +0200 <Guest60> more precisely i guess it should be around line 18
2021-08-09 20:41:37 +0200MorrowM(~Morrow@176.12.187.199) (Ping timeout: 248 seconds)
2021-08-09 20:41:54 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-09 20:42:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-09 20:45:14 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds)
2021-08-09 20:45:57 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 20:46:38 +0200 <tomsmeding> Guest60: what kind of argument do you want the program to take?
2021-08-09 20:47:09 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se)
2021-08-09 20:47:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-08-09 20:48:16 +0200 <Guest60> @tomsmeding i expect user to pass one letter
2021-08-09 20:48:16 +0200 <lambdabot> Unknown command, try @list
2021-08-09 20:48:41 +0200 <Guest60> tomsmeding: so a string or a char i guess
2021-08-09 20:49:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-09 20:50:06 +0200 <tomsmeding> Guest60: that Options constructor is from the Options datatype in src/Types.hs
2021-08-09 20:50:30 +0200 <tomsmeding> I recommend reading the optparse-applicative tutorial at https://github.com/pcapriotti/optparse-applicative
2021-08-09 20:50:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-09 20:51:02 +0200 <tomsmeding> of that, you can skip the whole execParser, <**>, helper etc things, and just read the Parser parts
2021-08-09 20:51:26 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 20:51:45 +0200 <tomsmeding> because that fourth argument to simpleOptions is a Parser ( https://hackage.haskell.org/package/optparse-simple-0.1.1.4/docs/Options-Applicative-Simple.html#v
 )
2021-08-09 20:54:18 +0200degraafk(sid71464@id-71464.tooting.irccloud.com) (Ping timeout: 240 seconds)
2021-08-09 20:55:11 +0200degraafk(sid71464@id-71464.tooting.irccloud.com)
2021-08-09 20:55:54 +0200aria(sid380617@id-380617.tooting.irccloud.com) (Ping timeout: 240 seconds)
2021-08-09 20:56:01 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-08-09 20:56:17 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-08-09 20:56:17 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-08-09 20:56:17 +0200haritz(~hrtz@user/haritz)
2021-08-09 20:56:23 +0200Erutuon(~Erutuon@user/erutuon)
2021-08-09 20:58:43 +0200aria(sid380617@id-380617.tooting.irccloud.com)
2021-08-09 20:59:01 +0200Cajun(~Cajun@user/cajun)
2021-08-09 21:00:03 +0200 <Guest60> tomsmeding: ill check at this, thanks !
2021-08-09 21:03:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-09 21:08:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds)
2021-08-09 21:08:26 +0200curiousgay(~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds)
2021-08-09 21:09:52 +0200jneira_(~jneira_@28.red-80-28-169.staticip.rima-tde.net)
2021-08-09 21:09:57 +0200 <Gurkenglas> Is there a programming language that lets you implement ((a -> Void) -> Void) -> a? It would have to go "it must somewhere apply the (a -> Void) to an a, so lets take that a and return it instead."
2021-08-09 21:10:39 +0200mattil(~mattilinn@87-92-142-109.rev.dnainternet.fi) (Quit: Leaving)
2021-08-09 21:11:35 +0200 <davean> Gurkenglas: but thats not true? With a forall it might be
2021-08-09 21:12:24 +0200 <tomsmeding> Gurkenglas: why must it apply that particular function?
2021-08-09 21:12:25 +0200 <Gurkenglas> davean, it would be true in that language, hopefully. how would it be false?
2021-08-09 21:12:58 +0200 <Gurkenglas> tomsmeding, because that language does not allow one to actually have a Void
2021-08-09 21:13:16 +0200 <Gurkenglas> so the only place to get one is to use the given (a -> Void)
2021-08-09 21:13:33 +0200 <tomsmeding> because it has no knowledge of what 'a' is?
2021-08-09 21:13:56 +0200 <Gurkenglas> wut? no this works for String to
2021-08-09 21:14:02 +0200 <tomsmeding> then davean's suggestion is correct, I think: it should at least be (forall a. (a -> Void) -> Void) -> a
2021-08-09 21:14:06 +0200 <Gurkenglas> *too
2021-08-09 21:14:17 +0200 <tomsmeding> oh right
2021-08-09 21:14:29 +0200 <tomsmeding> but there might be another function in the environment with type Int -> Void
2021-08-09 21:14:33 +0200 <Gurkenglas> ((String -> Void) -> Void) -> Void, by inspecting the argument for what string it feeds into the (String -> Void)
2021-08-09 21:14:38 +0200 <tomsmeding> and then for a ~ Int it could just call that
2021-08-09 21:15:04 +0200 <tomsmeding> yeah my forall remark was incorrect
2021-08-09 21:15:37 +0200 <tomsmeding> heh this is double-negation elimination, which implies law of the excluded middle if I remember correctly
2021-08-09 21:15:45 +0200 <Gurkenglas> indeed, thats the point :)
2021-08-09 21:15:48 +0200 <tomsmeding> so this won't work in any language based on pure type theory
2021-08-09 21:17:23 +0200 <Gurkenglas> tomsmeding, if the environment contains another source of Void you'd only get a Maybe String
2021-08-09 21:17:46 +0200 <davean> I'd meant (forall b . (a -> b) -> b) -> a
2021-08-09 21:18:03 +0200 <davean> because it knows what Void is, but with forall it doesn't, and we can inject whatever b we want
2021-08-09 21:18:24 +0200 <tomsmeding> in which case, ($ id) suffices
2021-08-09 21:18:34 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection)
2021-08-09 21:20:01 +0200yoctocell(~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 248 seconds)
2021-08-09 21:20:08 +0200 <tomsmeding> I wonder, given that 'a -> Void' is the usual encoding of "NOT a" in type theory, would 'forall b. a -> b' also be a valid encoding?
2021-08-09 21:20:35 +0200 <tomsmeding> it's at least as powerful, by substituting b = Void
2021-08-09 21:21:14 +0200Guest60(~Guest60@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) (Quit: Client closed)
2021-08-09 21:21:54 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-08-09 21:21:58 +0200 <tomsmeding> i.e. is it true that for all propositions that you can curry-howard implement using the 'a -> Void' convention, you can also implement them using the 'forall b. a -> b' convention?
2021-08-09 21:22:17 +0200 <tomsmeding> yes, by post-composing with 'absurd'
2021-08-09 21:22:47 +0200gentauro(~gentauro@user/gentauro)
2021-08-09 21:23:09 +0200 <tomsmeding> so with that alternative encoding of "NOT a", the encoding of "NOT (NOT a) => a" in a type would be (forall b. (forall c. a -> c) -> b) -> a)
2021-08-09 21:23:18 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection)
2021-08-09 21:23:53 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-08-09 21:23:56 +0200Natch(~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se)
2021-08-09 21:24:16 +0200 <tomsmeding> heh and then ($ id) doesn't work anymore
2021-08-09 21:24:18 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339)
2021-08-09 21:25:36 +0200talismanick(~user@2601:644:8502:d700::8fb8) (Ping timeout: 272 seconds)
2021-08-09 21:25:57 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 21:26:42 +0200 <tomsmeding> of course it doesn't because that would be a proof that ~~a => a in type theory, and that's impossible
2021-08-09 21:30:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 21:31:21 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 21:31:34 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:112f:f355:ed76:9e65) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 21:33:04 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 21:33:18 +0200Guest662(~Guest66@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr)
2021-08-09 21:33:19 +0200Guest662(~Guest66@2a01cb0589202e0024fe769e33dfd141.ipv6.abo.wanadoo.fr) (Client Quit)
2021-08-09 21:35:02 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection)
2021-08-09 21:38:19 +0200SIben_SIben
2021-08-09 21:38:36 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 21:39:22 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net)
2021-08-09 21:39:49 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 21:40:02 +0200_73(~user@pool-96-252-123-136.bstnma.fios.verizon.net) ()
2021-08-09 21:40:05 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-08-09 21:40:13 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 21:40:19 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer)
2021-08-09 21:43:22 +0200MoC(~moc@user/moc)
2021-08-09 21:43:44 +0200zebrag(~chris@user/zebrag)
2021-08-09 21:44:33 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds)
2021-08-09 21:44:36 +0200Pickchea(~private@user/pickchea)
2021-08-09 21:44:59 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-08-09 21:47:07 +0200segfaultfizzbuzz(~segfaultf@157-131-253-1.fiber.dynamic.sonic.net)
2021-08-09 21:47:17 +0200Atum_(~IRC@user/atum/x-2392232) (Quit: Atum_)
2021-08-09 21:48:49 +0200segfaultfizzbuzz(~segfaultf@157-131-253-1.fiber.dynamic.sonic.net) ()
2021-08-09 21:50:02 +0200markpythonicbitc(~markpytho@c-24-6-12-87.hsd1.ca.comcast.net)
2021-08-09 21:50:06 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-08-09 21:52:38 +0200cheater(~Username@user/cheater) (Ping timeout: 258 seconds)
2021-08-09 21:53:10 +0200cheater(~Username@user/cheater)
2021-08-09 21:54:07 +0200pschorf`(~user@c-73-77-28-188.hsd1.tx.comcast.net)
2021-08-09 21:54:53 +0200pschorf`(~user@c-73-77-28-188.hsd1.tx.comcast.net) (Remote host closed the connection)
2021-08-09 21:57:40 +0200jgeerds(~jgeerds@55d45555.access.ecotel.net)
2021-08-09 21:58:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 21:58:46 +0200pgib(~textual@173.38.117.78)
2021-08-09 21:59:55 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-08-09 22:00:17 +0200panda_mankoala_man
2021-08-09 22:02:41 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 248 seconds)
2021-08-09 22:02:47 +0200nova(novasenco@user/nova) (♄â˜ș)
2021-08-09 22:03:07 +0200burnside_(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection)
2021-08-09 22:03:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-08-09 22:05:07 +0200juhp(~juhp@128.106.188.220) (Ping timeout: 245 seconds)
2021-08-09 22:08:04 +0200juhp(~juhp@128.106.188.220)
2021-08-09 22:10:00 +0200emliunix(~emliunix@103.138.75.119) (Remote host closed the connection)
2021-08-09 22:10:23 +0200emliunix(~emliunix@2a09:bac0:23::815:bca)
2021-08-09 22:11:25 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 22:11:48 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-09 22:12:57 +0200Sadeq(~Sadeq@93.110.31.186)
2021-08-09 22:13:55 +0200Sadeq(~Sadeq@93.110.31.186) (Client Quit)
2021-08-09 22:14:13 +0200Sadeq(~Sadeq@93.110.31.186)
2021-08-09 22:15:26 +0200qbt(~edun@user/edun) (Quit: Leaving)
2021-08-09 22:15:39 +0200Sadeq(~Sadeq@93.110.31.186) (Client Quit)
2021-08-09 22:20:34 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339)
2021-08-09 22:20:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 22:21:26 +0200 <myShoggoth> Gil Mizrahi has posted the Haskell performance tuning book proposal, please check it out, give feedback, and volunteer your expertise!
2021-08-09 22:21:26 +0200 <myShoggoth> https://github.com/haskellfoundation/tech-proposals/pull/9
2021-08-09 22:22:49 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 22:29:48 +0200acidjnk(~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de)
2021-08-09 22:34:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-09 22:36:36 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk)
2021-08-09 22:38:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-09 22:39:35 +0200pricly_yellow(~pricly_ye@2a01:620:c06f:6300::339) (Remote host closed the connection)
2021-08-09 22:40:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-08-09 22:41:05 +0200burnsidesLlama(~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 248 seconds)
2021-08-09 22:49:19 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk)
2021-08-09 22:51:20 +0200markpythonicbitc(~markpytho@c-24-6-12-87.hsd1.ca.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz
)
2021-08-09 22:51:46 +0200markpythonicbitc(~markpytho@2601:647:5a00:35:9c61:394:eb0f:e1ed)
2021-08-09 22:52:40 +0200 <fresheyeball> so I have a project where there is a cabal.project file specifiying some custom sources
2021-08-09 22:52:43 +0200 <fresheyeball> which is all well and good
2021-08-09 22:52:54 +0200 <fresheyeball> but cabal doesn't pick up that these are already supplied by the nix-shell
2021-08-09 22:53:53 +0200burnsidesLlama(~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 248 seconds)
2021-08-09 22:53:58 +0200dermato(~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 258 seconds)
2021-08-09 22:55:21 +0200benin036932(~benin@183.82.205.178)
2021-08-09 22:55:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-09 22:55:41 +0200dermato(~dermatobr@154.21.23.75)
2021-08-09 22:55:51 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 22:57:02 +0200benin03693(~benin@183.82.205.178) (Ping timeout: 258 seconds)
2021-08-09 22:57:03 +0200benin036932benin03693
2021-08-09 23:00:31 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Remote host closed the connection)
2021-08-09 23:00:42 +0200azeem(~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it)
2021-08-09 23:02:36 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-08-09 23:03:28 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 23:06:11 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-08-09 23:06:59 +0200lavaman(~lavaman@98.38.249.169)
2021-08-09 23:07:53 +0200gehmehgeh(~user@user/gehmehgeh)
2021-08-09 23:10:16 +0200MoC(~moc@user/moc) (Quit: Konversation terminated!)
2021-08-09 23:13:27 +0200wrengr_awaywrengr
2021-08-09 23:13:53 +0200 <dmj`> fresheyeball: you'll need to copy the SHAs and revs of those custom sources from the cabal.project into the nix, leave the shell, then re-enter the shell.
2021-08-09 23:16:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-09 23:18:14 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-08-09 23:22:09 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-08-09 23:23:40 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection)
2021-08-09 23:26:43 +0200 <fresheyeball> dmj`: I believe that is done already
2021-08-09 23:27:27 +0200 <dmj`> Are you using niv
2021-08-09 23:28:16 +0200slack1256(~slack1256@191.126.53.228)
2021-08-09 23:28:59 +0200chris(~chris@81.96.113.213)
2021-08-09 23:29:02 +0200chrisGuest4968
2021-08-09 23:34:29 +0200chomwitt(~chomwitt@2a02:587:dc02:6400:12c3:7bff:fe6d:d374)
2021-08-09 23:35:22 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 258 seconds)
2021-08-09 23:38:50 +0200jakalx(~jakalx@base.jakalx.net)
2021-08-09 23:38:53 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-08-09 23:40:43 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-08-09 23:40:48 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-08-09 23:41:21 +0200typedfern__(~Typedfern@28.red-83-57-142.dynamicip.rima-tde.net)
2021-08-09 23:45:05 +0200typedfern_(~Typedfern@185.red-83-57-142.dynamicip.rima-tde.net) (Ping timeout: 248 seconds)
2021-08-09 23:45:05 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Read error: Connection reset by peer)
2021-08-09 23:46:31 +0200michalz(~michalz@185.246.204.33) (Remote host closed the connection)
2021-08-09 23:47:15 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-08-09 23:48:12 +0200ec(~ec@gateway/tor-sasl/ec)
2021-08-09 23:51:30 +0200skykanin(~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2)