Home freenode/#haskell: Logs Calendar

Logs on 2020-12-21 (freenode/#haskell)

00:00:06 × atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
00:00:58 → atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK)
00:02:21 → xcmw joins (~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com)
00:03:42 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
00:03:48 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095)
00:04:33 × cosimone quits (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Ping timeout: 260 seconds)
00:07:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
00:07:43 → ym555 joins (~ym@156.199.5.168)
00:08:24 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
00:10:40 × ym555 quits (~ym@156.199.5.168) (Client Quit)
00:11:48 → ym555 joins (~ym@156.199.5.168)
00:12:59 × ym555 quits (~ym@156.199.5.168) (Client Quit)
00:17:32 → MarcelineVQ joins (~anja@198.254.202.72)
00:17:47 × coot quits (~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
00:20:31 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
00:21:02 × wonko7 quits (~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5) (Ping timeout: 264 seconds)
00:21:37 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
00:23:53 × xcmw quits (~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:24:32 → kam1 joins (~kam1@24.231.108.143)
00:24:32 → xcmw joins (~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com)
00:25:42 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095) (Quit: My MacBook has gone to sleep. ZZZzzz…)
00:26:23 × xcmw quits (~textual@2603-6011-2200-f103-cdbc-9ec6-8319-9dc9.res6.spectrum.com) (Client Quit)
00:27:57 → nbloomf joins (~nbloomf@76.217.43.73)
00:34:16 × alx741 quits (~alx741@181.196.69.61) (Ping timeout: 240 seconds)
00:34:18 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 272 seconds)
00:35:12 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
00:38:41 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
00:39:45 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
00:41:38 × notzmv quits (~user@unaffiliated/zmv) (Read error: Connection reset by peer)
00:41:52 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
00:43:12 → notzmv joins (~user@unaffiliated/zmv)
00:46:05 × liquorice quits (sid267884@gateway/web/irccloud.com/x-wtehvzqjexiicxpn) (Ping timeout: 268 seconds)
00:46:13 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-urcfavraxgmoltak) (Ping timeout: 272 seconds)
00:46:14 × AndreasK quits (uid320732@gateway/web/irccloud.com/x-auivhtzomgrjbpeg) (Read error: Connection reset by peer)
00:46:14 × jared-w quits (uid405292@gateway/web/irccloud.com/x-rydbvdzocyurwpmv) (Read error: Connection reset by peer)
00:46:14 × ebutleriv quits (sid217783@gateway/web/irccloud.com/x-ckocvqheirpnpehl) (Read error: Connection reset by peer)
00:46:14 × ReinH__ quits (sid179972@gateway/web/irccloud.com/x-ujhxicmjajcluchu) (Read error: Connection reset by peer)
00:46:14 × wpcarro_ quits (sid397589@gateway/web/irccloud.com/x-ftehwxrmwpnsjcjv) (Read error: Connection reset by peer)
00:46:14 × bradparker quits (sid262931@gateway/web/irccloud.com/x-xfealfqvgophfdio) (Read error: Connection reset by peer)
00:46:18 × totbwf quits (sid402332@gateway/web/irccloud.com/x-gkljgvwgjywgwgba) (Read error: Connection reset by peer)
00:46:21 × ryjm quits (sid383513@gateway/web/irccloud.com/x-bskhgqtqitkmfuiz) (Ping timeout: 258 seconds)
00:46:24 × aristid quits (sid1599@gateway/web/irccloud.com/x-araifyjxsevgfmuf) (Read error: Connection reset by peer)
00:46:24 × davetapley quits (sid666@gateway/web/irccloud.com/x-ozkmjnucwfthiscc) (Read error: Connection reset by peer)
00:46:28 × banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-ivdebwukluxrlfrl) (Read error: Connection reset by peer)
00:46:31 × metamod quits (uid478611@gateway/web/irccloud.com/x-vcbtaspxheignymp) (Read error: Connection reset by peer)
00:46:32 × gOOgler quits (uid125351@gateway/web/irccloud.com/x-hiqkythugxlqotev) (Read error: Connection reset by peer)
00:46:33 × d0liver quits (sid363046@gateway/web/irccloud.com/x-qxjdqmetdorukkyz) (Read error: Connection reset by peer)
00:46:34 × natim87 quits (sid286962@gateway/web/irccloud.com/x-ubcfknudcwgbcyoh) (Read error: Connection reset by peer)
00:46:34 × systemfault quits (sid267009@gateway/web/irccloud.com/x-dkcecvusgryhzeno) (Read error: Connection reset by peer)
00:46:35 × eruditass quits (uid248673@gateway/web/irccloud.com/x-mzencwftwbmswmrc) (Read error: Connection reset by peer)
00:46:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
00:46:37 × SrPx quits (sid108780@gateway/web/irccloud.com/x-utvsxqnjqyxqxbbf) (Read error: Connection reset by peer)
00:46:44 × alanz quits (sid110616@gateway/web/irccloud.com/x-rrsfkppqcemgwtjf) (Ping timeout: 258 seconds)
00:46:50 × cemerick quits (sid54985@gateway/web/irccloud.com/x-ixdpfuwpprqysidz) (Ping timeout: 264 seconds)
00:46:51 × lally quits (sid388228@gateway/web/irccloud.com/x-qptpvlldxpkwwzmr) (Ping timeout: 272 seconds)
00:46:51 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-iqkpxequimehwenq) (Ping timeout: 272 seconds)
00:47:09 → liquorice joins (sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh)
00:47:12 → aristid joins (sid1599@gateway/web/irccloud.com/x-vivskusqvheuqrnb)
00:47:14 → gOOgler joins (uid125351@gateway/web/irccloud.com/x-vuhpmfgmmvtagmdp)
00:47:16 → systemfault joins (sid267009@gateway/web/irccloud.com/x-ysaoctkhtrxborzu)
00:47:16 → natim87 joins (sid286962@gateway/web/irccloud.com/x-vhirsoincvqfnshg)
00:47:17 → d0liver joins (sid363046@gateway/web/irccloud.com/x-pwzhkzujciwqgkdt)
00:47:18 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-sbnlrvatrsbgkknv)
00:47:18 → jared-w joins (uid405292@gateway/web/irccloud.com/x-rcozwjfcaxxdsjbu)
00:47:19 → davetapley joins (sid666@gateway/web/irccloud.com/x-wrvacvklgyixnlhi)
00:47:19 → metamod joins (uid478611@gateway/web/irccloud.com/x-duhqaawnbntfbuyt)
00:47:20 → banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-wizbxbqkwheddqde)
00:47:31 → ryjm joins (sid383513@gateway/web/irccloud.com/x-huoudwukmzlpfarr)
00:47:36 → bradparker joins (sid262931@gateway/web/irccloud.com/x-uzixcvysgzyerkpa)
00:47:37 → totbwf joins (sid402332@gateway/web/irccloud.com/x-zgwohoyhkdrcnqgj)
00:47:37 → SrPx joins (sid108780@gateway/web/irccloud.com/x-cmccwjfarqkifbej)
00:47:43 → ReinH__ joins (sid179972@gateway/web/irccloud.com/x-poirjhlrgjxavncx)
00:47:47 → ebutleriv joins (sid217783@gateway/web/irccloud.com/x-ebgivmtpacideacq)
00:47:49 → wpcarro_ joins (sid397589@gateway/web/irccloud.com/x-cytmbrffvkesuvkr)
00:47:55 → AndreasK joins (uid320732@gateway/web/irccloud.com/x-fcrznnlznqbuniir)
00:48:02 → eruditass joins (uid248673@gateway/web/irccloud.com/x-ajxelnfjoxkzyhof)
00:48:08 → alx741 joins (~alx741@186.178.110.239)
00:48:21 → lally joins (sid388228@gateway/web/irccloud.com/x-kigisbxmlrdxghtz)
00:48:32 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
00:48:37 × zv quits (~zv@unaffiliated/zv) (Ping timeout: 260 seconds)
00:48:39 → alanz joins (sid110616@gateway/web/irccloud.com/x-vjemyfnbfouulzqa)
00:49:16 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-shbxwldnzmvfixrx)
00:49:26 → cemerick joins (sid54985@gateway/web/irccloud.com/x-kimehxrclgpzthxw)
00:50:24 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc) (Ping timeout: 268 seconds)
00:50:36 × mmsari quits (~Thunderbi@46.1.240.163) (Ping timeout: 240 seconds)
00:52:48 × urek__ quits (~urek@186.212.191.144) (Quit: urek__)
00:53:10 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
00:53:17 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
00:56:09 × natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Quit: WeeChat 2.9)
00:56:50 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
00:57:29 hackage ki 0.2.0 - A lightweight, structured-concurrency library https://hackage.haskell.org/package/ki-0.2.0 (mitchellwrosen)
00:57:39 × alx741 quits (~alx741@186.178.110.239) (*.net *.split)
00:57:39 × AndreasK quits (uid320732@gateway/web/irccloud.com/x-fcrznnlznqbuniir) (*.net *.split)
00:57:39 × liquorice quits (sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh) (*.net *.split)
00:57:39 × olligobber quits (~olligobbe@unaffiliated/olligobber) (*.net *.split)
00:57:39 × christo quits (~chris@81.96.113.213) (*.net *.split)
00:57:39 × dave_uy quits (~david@108.61.193.26) (*.net *.split)
00:57:39 × Welkin quits (~Welkin@216.243.35.47) (*.net *.split)
00:57:39 × troydm quits (~troydm@unaffiliated/troydm) (*.net *.split)
00:57:39 × Gurkenglas_ quits (~Gurkengla@unaffiliated/gurkenglas) (*.net *.split)
00:57:39 × dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split)
00:57:39 × aoei quits (~aoei@li2174-104.members.linode.com) (*.net *.split)
00:57:39 × hackage quits (mniip@haskell/bot/hackage) (*.net *.split)
00:57:39 × nitrix quits (~nitrix@haskell/developer/nitrix) (*.net *.split)
00:57:39 × werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (*.net *.split)
00:57:39 × statusfailed quits (~statusfai@statusfailed.com) (*.net *.split)
00:57:39 × sim590 quits (~sim590@modemcable090.207-203-24.mc.videotron.ca) (*.net *.split)
00:57:39 × stux|RC-only quits (stux2@grid9.quadspeedi.net) (*.net *.split)
00:57:39 × eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (*.net *.split)
00:57:39 × e2 quits (e2@sponsored.by.bnc4you.xyz) (*.net *.split)
00:57:39 × thecoffemaker quits (~thecoffem@unaffiliated/thecoffemaker) (*.net *.split)
00:57:39 × ystael quits (~ystael@209.6.50.55) (*.net *.split)
00:57:39 × motherfsck quits (~motherfsc@unaffiliated/motherfsck) (*.net *.split)
00:57:39 × hive-mind quits (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (*.net *.split)
00:57:39 × electrostat quits (~dag@unaffiliated/electrostat) (*.net *.split)
00:57:39 × Aleksejs quits (~Aleksejs@haskell.lv) (*.net *.split)
00:57:39 × dagnabbit quits (~thelounge@140.82.8.179) (*.net *.split)
00:57:39 × Igloo quits (~igloo@matrix.chaos.earth.li) (*.net *.split)
00:57:39 × ent quits (entgod@kapsi.fi) (*.net *.split)
00:57:39 × int-e quits (~noone@int-e.eu) (*.net *.split)
00:57:39 × beka quits (~beka@gothdyke.mom) (*.net *.split)
00:57:39 × thebnq quits (~bnq@herrokitty.com) (*.net *.split)
00:57:39 × Firedancer_ quits (~Firedance@178.62.203.79) (*.net *.split)
00:57:39 × ario quits (~ario@178.62.234.211) (*.net *.split)
00:57:39 × arianvp quits (~weechat@arianvp.me) (*.net *.split)
00:57:39 × tasuki quits (~tasuki@198.211.120.27) (*.net *.split)
00:57:39 × mupf quits (~micha@v22017094964653601.ultrasrv.de) (*.net *.split)
00:57:39 × Tourist quits (~tourist@unaffiliated/tourist) (*.net *.split)
00:57:39 × fr33domlover quits (~fr33domlo@fsf/member/fr33domlover) (*.net *.split)
00:57:39 × digia quits (~digia@unaffiliated/digia) (*.net *.split)
00:57:39 × edwinb quits (sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe) (*.net *.split)
00:57:39 × kozowu quits (uid44796@gateway/web/irccloud.com/x-ehcrldadbfrqmeyx) (*.net *.split)
00:57:39 × vk3wtf quits (~doc@203.221.224.44) (*.net *.split)
00:57:39 × rookie101 quits (~rookie@207.154.204.166) (*.net *.split)
00:57:39 × jonge quits (jonge@kofferbomber.org) (*.net *.split)
00:57:39 × APic quits (apic@apic.name) (*.net *.split)
00:57:39 × kjak quits (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (*.net *.split)
00:57:39 × sarahzrf quits (~sarahzrf_@sarahzrf.com) (*.net *.split)
00:57:39 × duairc quits (~shane@ana.rch.ist) (*.net *.split)
00:57:39 × michalrus quits (m@michalrus.com) (*.net *.split)
00:57:39 × cyberlard quits (~cyberlard@unaffiliated/jludwig) (*.net *.split)
00:57:39 × lortabac quits (~lortabac@51.158.65.124) (*.net *.split)
00:57:39 × aweinstock quits (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (*.net *.split)
00:57:39 × sea-gull quits (~sea-gull@li1815-136.members.linode.com) (*.net *.split)
00:57:39 × anoe quits (~anoe@delanoe.org) (*.net *.split)
00:57:39 × jtcs_ quits (~jtcs@vmi359854.contaboserver.net) (*.net *.split)
00:57:39 × cjay quits (cjay@nerdbox.nerd2nerd.org) (*.net *.split)
00:57:39 × kipras`away quits (~kipras@92.61.39.34) (*.net *.split)
00:58:02 → kam1 joins (~kam1@24.231.108.143)
01:00:05 → stux|RC-only joins (stux2@grid9.quadspeedi.net)
01:00:27 → jedws joins (~jedws@121.209.189.201)
01:02:38 → zv joins (~zv@unaffiliated/zv)
01:03:19 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
01:04:38 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
01:05:13 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 272 seconds)
01:06:04 → gioyik joins (~gioyik@186.112.104.164)
01:09:34 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds)
01:09:55 × ephemera_ quits (~E@122.34.1.187) (Quit: No Ping reply in 180 seconds.)
01:11:22 → ephemera_ joins (~E@122.34.1.187)
01:16:01 → natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
01:16:56 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
01:17:13 × tsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) ()
01:17:54 → alx741 joins (~alx741@186.178.110.239)
01:17:54 → AndreasK joins (uid320732@gateway/web/irccloud.com/x-fhmsmixhstkzcndi)
01:17:54 → liquorice joins (sid267884@gateway/web/irccloud.com/x-nvvvtxpsomgqnuwh)
01:17:54 → olligobber joins (~olligobbe@unaffiliated/olligobber)
01:17:54 → dave_uy joins (~david@108.61.193.26)
01:17:54 → Welkin joins (~Welkin@216.243.35.47)
01:17:54 → troydm joins (~troydm@unaffiliated/troydm)
01:17:54 → dibblego joins (~dibblego@haskell/developer/dibblego)
01:17:54 → aoei joins (~aoei@li2174-104.members.linode.com)
01:17:54 → nitrix joins (~nitrix@haskell/developer/nitrix)
01:17:54 → hackage joins (mniip@haskell/bot/hackage)
01:17:54 → werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
01:17:54 → statusfailed joins (~statusfai@statusfailed.com)
01:17:54 → sim590 joins (~sim590@modemcable090.207-203-24.mc.videotron.ca)
01:17:54 → eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358)
01:17:54 → e2 joins (e2@sponsored.by.bnc4you.xyz)
01:17:54 → thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
01:17:54 → ystael joins (~ystael@209.6.50.55)
01:17:54 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
01:17:54 → hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com)
01:17:54 → electrostat joins (~dag@unaffiliated/electrostat)
01:17:54 → Aleksejs joins (~Aleksejs@haskell.lv)
01:17:54 → dagnabbit joins (~thelounge@140.82.8.179)
01:17:54 → Igloo joins (~igloo@matrix.chaos.earth.li)
01:17:54 → ent joins (entgod@kapsi.fi)
01:17:54 → int-e joins (~noone@int-e.eu)
01:17:54 → beka joins (~beka@gothdyke.mom)
01:17:54 → ario joins (~ario@178.62.234.211)
01:17:54 → thebnq joins (~bnq@herrokitty.com)
01:17:54 → Firedancer_ joins (~Firedance@178.62.203.79)
01:17:54 → arianvp joins (~weechat@arianvp.me)
01:17:54 → tasuki joins (~tasuki@198.211.120.27)
01:17:54 → mupf joins (~micha@v22017094964653601.ultrasrv.de)
01:17:54 → Tourist joins (~tourist@unaffiliated/tourist)
01:17:54 → fr33domlover joins (~fr33domlo@fsf/member/fr33domlover)
01:17:54 → digia joins (~digia@unaffiliated/digia)
01:17:54 → edwinb joins (sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe)
01:17:54 → kozowu joins (uid44796@gateway/web/irccloud.com/x-ehcrldadbfrqmeyx)
01:17:54 → vk3wtf joins (~doc@203.221.224.44)
01:17:54 → rookie101 joins (~rookie@207.154.204.166)
01:17:54 → jonge joins (jonge@kofferbomber.org)
01:17:54 → APic joins (apic@apic.name)
01:17:54 → kjak joins (~kjak@pool-173-73-38-16.washdc.fios.verizon.net)
01:17:54 → sarahzrf joins (~sarahzrf_@sarahzrf.com)
01:17:54 → duairc joins (~shane@ana.rch.ist)
01:17:54 → michalrus joins (m@michalrus.com)
01:17:54 → cyberlard joins (~cyberlard@unaffiliated/jludwig)
01:17:54 → lortabac joins (~lortabac@51.158.65.124)
01:17:54 → aweinstock joins (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com)
01:17:54 → sea-gull joins (~sea-gull@li1815-136.members.linode.com)
01:17:54 → anoe joins (~anoe@delanoe.org)
01:17:54 → jtcs_ joins (~jtcs@vmi359854.contaboserver.net)
01:17:54 → cjay joins (cjay@nerdbox.nerd2nerd.org)
01:17:54 → kipras`away joins (~kipras@92.61.39.34)
01:18:11 × dave_uy quits (~david@108.61.193.26) (Max SendQ exceeded)
01:18:28 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
01:18:42 → dave_uy joins (~david@108.61.193.26)
01:20:25 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds)
01:21:30 × arybczak quits (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c) (Quit: Konversation terminated!)
01:22:05 → Tario joins (~Tario@201.192.165.173)
01:22:51 → haritz joins (~hrtz@62.3.70.206)
01:22:51 × haritz quits (~hrtz@62.3.70.206) (Changing host)
01:22:51 → haritz joins (~hrtz@unaffiliated/haritz)
01:25:49 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095)
01:26:36 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 258 seconds)
01:27:30 hackage ki 0.2.0.1 - A lightweight, structured-concurrency library https://hackage.haskell.org/package/ki-0.2.0.1 (mitchellwrosen)
01:29:02 → Tario joins (~Tario@200.119.184.42)
01:32:57 × columbarius quits (~columbari@87.123.198.237) (Ping timeout: 268 seconds)
01:34:08 × styledash quits (~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
01:34:46 → styledash joins (~styledash@157.230.173.136)
01:34:48 → columbarius joins (~columbari@mue-88-130-54-198.dsl.tropolys.de)
01:38:15 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
01:38:44 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
01:41:31 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
01:41:49 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
01:42:58 → Feuermagier joins (~Feuermagi@213.178.26.41)
01:43:34 <Feuermagier> what'S the correct operator to divide doubles with?
01:43:40 <Feuermagier> div?
01:45:00 <MarcelineVQ> /
01:45:41 <Feuermagier> oh, didn't even notice that that was an operator. thx!
01:46:12 <Feuermagier> in most languages / is for whole number division
01:46:13 × Tario quits (~Tario@200.119.184.42) (Read error: Connection reset by peer)
01:46:39 × Welkin quits (~Welkin@216.243.35.47) (Ping timeout: 260 seconds)
01:47:16 <MarcelineVQ> :>
01:47:23 → Tario joins (~Tario@201.192.165.173)
01:48:01 <Feuermagier> I'm doing high order functions atm and have not come across it once :D
01:48:51 <hololeap> doesn't / work on doubles in C?
01:49:10 → xcmw joins (~textual@cpe-69-133-55-43.cinci.res.rr.com)
01:49:33 <siraben> Feuermagier: I've used / for floats and doubles in C just fine before
01:50:08 <Feuermagier> well, in most languages it is also overloaded ^^
01:50:33 <Feuermagier> i was just confused because i had used div all the time
01:50:42 <Feuermagier> and suddenly I got a type error
01:51:34 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
01:52:39 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
01:52:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
01:53:22 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
01:53:39 → Jeanne-Kamikaze joins (~Jeanne-Ka@66.115.189.245)
01:54:00 Lord_of_Life_ is now known as Lord_of_Life
01:54:01 <iqubic> :t div
01:54:02 <lambdabot> Integral a => a -> a -> a
01:54:11 <hololeap> Feuermagier: note that `quot` also works on integrals and is the preferred choice if you know you're going to work with positive numbers
01:54:25 <iqubic> Integral types are whole numbers, I guess.
01:54:41 <Feuermagier> :t quot
01:54:42 <lambdabot> Integral a => a -> a -> a
01:55:03 <Feuermagier> is it identical to div?
01:55:51 <hololeap> IIRC, quot doesn't "know" negative numbers and generally uses less CPU ticks to compute
01:57:43 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
01:58:12 → mmsari joins (~Thunderbi@46.1.240.163)
01:58:46 <hololeap> > (-10) `div` 3
01:58:48 <lambdabot> -4
01:58:52 <hololeap> > (-10) `quot` 3
01:58:54 <lambdabot> -3
01:59:01 × electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
02:00:35 <hololeap> Feuermagier: https://stackoverflow.com/questions/8111120/integral-operators-quot-vs-div
02:01:57 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
02:02:16 <Feuermagier> ah, so a good old magic number multiply on division by constant?
02:02:23 <hololeap> also note that `divMod x y === (div x y, mod x y)` and `quotRem x y === (quot x y, rem x y)`
02:05:01 × xff0x_ quits (~fox@2001:1a81:533f:8600:c02a:26d6:e42a:b61d) (Ping timeout: 268 seconds)
02:05:16 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:7113:ddfe:c797:f6e7) (Quit: Leaving)
02:06:12 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-sbnlrvatrsbgkknv) (Quit: Connection closed for inactivity)
02:06:37 → xff0x_ joins (~fox@2001:1a81:5376:4e00:b2ea:2c0f:21ed:c6e4)
02:07:27 → maybefbi joins (~maybefbi@49.245.66.163)
02:08:47 <Feuermagier> how do I check high order functions for equality with quickcheck?
02:09:19 → Welkin joins (~Welkin@216.243.35.47)
02:10:26 × Welkin quits (~Welkin@216.243.35.47) (Client Quit)
02:11:07 <Feuermagier> well, i guess i can just let quickCheck supply the arguments and resolve the functions...
02:12:36 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:715a:4842:991b:e095) (Quit: My MacBook has gone to sleep. ZZZzzz…)
02:15:20 → ADG1089_ joins (~adg1089@171.76.183.207)
02:17:19 → nbloomf joins (~nbloomf@76.217.43.73)
02:17:51 × elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 2.9)
02:19:02 → christo joins (~chris@81.96.113.213)
02:19:06 → tff^ joins (tff@ip98-184-89-2.mc.at.cox.net)
02:22:20 → mmsari1 joins (~Thunderbi@95.173.249.45)
02:22:25 <iqubic> Yeah. two functions f and g are equal if, and only if, for all values x, f x equals g x.
02:23:30 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
02:23:48 → guest1221 joins (~user@49.5.6.87)
02:23:59 × mmsari quits (~Thunderbi@46.1.240.163) (Ping timeout: 260 seconds)
02:23:59 mmsari1 is now known as mmsari
02:25:16 × zv quits (~zv@unaffiliated/zv) (Ping timeout: 240 seconds)
02:28:57 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
02:30:25 → sgibber2018 joins (~arch-gibb@208.85.237.137)
02:30:35 × sgibber2018 quits (~arch-gibb@208.85.237.137) (Client Quit)
02:30:36 <guest1221> parse (string "abc" <|> spaces) "" "abc" won't work, because string "abc" and spaces don't have the same type?
02:31:14 <guest1221> <|> asks same type, is there a function doesn't ask same type and do same work like <|>?
02:33:05 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
02:43:10 → toorevitimirp joins (~tooreviti@117.182.182.252)
02:43:48 <guest1221> Left "a" <|> Right "a" won't work, because Left "a" :: Either String _, Right "a" :: Either _ String?
02:46:36 <iqubic> Actually, Left "a" <|> Right "a" will work, and the result will have type "Either String String"
02:48:03 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
02:48:47 <siraben> indeed
02:48:53 → Turmiht joins (b95c1a83@185.92.26.131)
02:49:25 → sgibber2018 joins (~arch-gibb@208.85.237.137)
02:50:14 <guest1221> no
02:50:15 <siraben> guest1221: sure Left "a" has type Either String a for any a, and likewise for Right "a", but the type of (<|>) is Alternative f => f a -> f a -> f a
02:50:30 <siraben> Oops the alternative is failing, iqubic
02:50:37 <siraben> no instance for Alternative (Either String)
02:50:42 <guest1221> (Left "b" :: Either String String) <|> (Right "a" :: Either String String) No instance for (Alternative (Either String)) arising from a use of ‘<|>’
02:50:49 <iqubic> Right. I see.
02:50:57 <siraben> I was thinking of Maybe, heh
02:51:11 <iqubic> Why is there no Alternative instance for (Either a)? Like, why is that not a thing?
02:51:31 <pavonia> (Left <$> string "abc") <|> (Right <$> spaces)
02:51:43 <siraben> Weird, Either a is a monad just like Maybe
02:51:43 <koz_> iqubic: What would 'empty' be?
02:51:49 <iqubic> That doesn't work, for the reasons outlined.
02:51:52 <siraben> In fact Maybe a ~ Either () a
02:51:56 <iqubic> koz_: IDK.
02:52:04 <koz_> That's why. :P
02:52:33 <siraben> koz_: ah, right
02:52:45 <MarcelineVQ> alternatively void (string "abc") <|> spaces so the question could be, what does it mean for <|> to do 'the same work' for these two parsers?
02:52:46 <koz_> It _can_ be an instance of Alt, in several different ways.
02:52:52 <Turmiht> I'm not very sure should ask build question here, sorry if it's not appropriate. I get unsupported file format found when link a static library from cabal-doctest-1.0.8 from MacOS 11.0.1, which by wiki is a linux deb file. anybody has ideas about it?
02:53:00 <koz_> (the semigroupoids Alt)
02:53:56 <guest1221> machinedgod: parse string "abc" on input will get Right "abc" or Left, parse spaces would get Right ()
02:54:04 <koz_> Alternatively (heh) you could define (Monoid a) => Alternative (Either a)
02:54:08 <guest1221> Right () <|> Right "abc" is ok?
02:54:23 <Turmiht> The error occurred in building of package distributive, I'll post more info if necessary
02:55:17 <guest1221> machinedgod: sorry,
02:55:26 <guest1221> MarcelineVQ:
02:55:33 → sagax joins (~sagax_nb@213.138.71.146)
02:55:53 <pavonia> guest1221: Is that for a Parsec parser?
02:55:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
02:55:59 <guest1221> pavonia: yes
02:56:27 <pavonia> Then you cannot use Either diractly, you have to use something like (Left <$> string "abc") <|> (Right <$> spaces)
02:57:14 <Vulfe> yeah you just want to lift the Either constructors to Parser
02:57:17 <guest1221> Prelude RIO> (Left "b" :: Either String String) <|> (Right "a" :: Either String String) == Right "a"
02:57:59 <guest1221> https://hackage.haskell.org/package/rio
02:58:05 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
02:59:45 <guest1221> pavonia: you mean parse (Left <$> string "abc" <|> (Right <$> spaces) "" "abc"?
03:00:18 <guest1221> I thought parse (string "abc") "" "abc" will get Right a
03:00:31 <guest1221> and parse spaces "" "abc" will get Left a
03:00:34 <pavonia> Ther are ( ) missing, but yes
03:00:47 <guest1221> parse spaces "" " abc" will get Right ()
03:01:49 <pavonia> What I pasted should give Right (Left "abc") and Right (Right ()). respectively
03:02:25 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
03:02:49 × xff0x_ quits (~fox@2001:1a81:5376:4e00:b2ea:2c0f:21ed:c6e4) (Ping timeout: 258 seconds)
03:03:42 <guest1221> pavonia: why it can't be Right <$> string "abc"?
03:04:48 → xff0x_ joins (~fox@2001:1a81:537d:6200:144f:d9e9:684e:2cc4)
03:05:34 <pavonia> It can, but then spaces has to be Left
03:05:37 × patrick1 quits (~tarpk@ool-182dc9b3.dyn.optonline.net) (Ping timeout: 264 seconds)
03:05:53 × bthom quits (~bthom@2601:184:4700:b89:abdc:f6d7:f8b7:16e2) (Ping timeout: 258 seconds)
03:06:18 <guest1221> pavonia: why?
03:06:35 × Turmiht quits (b95c1a83@185.92.26.131) (Remote host closed the connection)
03:06:36 <pavonia> (<|>) expects two parsers of the same type, but string "abc" and spaces apparently doesn't have the same type
03:06:52 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
03:06:55 <pavonia> so you have to wrape some datatype around to make them equal
03:07:39 <pavonia> With Left/Right then both have type Parser (Either String ()) or whatever parser type it is exactly
03:07:45 <guest1221> pavonia: right, string "ab" would be Either _ String, spaces would be Either _ ()
03:08:04 <pavonia> No
03:08:35 <pavonia> In Either a b, Left has type a, Right has type b
03:08:54 × electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
03:09:12 <guest1221> (parse (string "ab") "" "ab") :: Either ParseError String
03:09:32 <guest1221> (parse space "" " s") :: Either ParseError Char
03:09:51 <Vulfe> right, which you want to change to Either ParseError (Either String ())
03:09:53 <guest1221> (parse spaces "" " s") :: Either ParseError ()
03:10:21 <pavonia> Note that parse adds an extra layer of Either
03:10:40 <Vulfe> so you want to construct two parsers of type Parser (Either String ()) or whatever the library uses
03:11:02 <Vulfe> so the return type of parse will be Either ParseError (Either String ())
03:11:28 → bthom joins (~bthom@2601:184:4700:b89:abdc:f6d7:f8b7:16e2)
03:11:39 <Vulfe> Left for instance has type a -> Either a b, so fmapping it on Parser gives you something of type Parser a -> Parser (Either a b)
03:11:46 <guest1221> you lift the result on Either ParseError?
03:12:01 <Vulfe> so if you do this on both sides with the two constructors like pavonia was describing you get two parsers of the same type
03:12:37 <Vulfe> you're not doing anything with the result per se, you're just using functoriality of Parser
03:13:32 <guest1221> the actual question https://paste.ubuntu.com/p/cYMKqdVQtT/
03:13:35 × nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:13:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
03:14:23 <guest1221> parser a can parse on input1, parser b can parse input2, then parse (a <|> b) "" input1 would work, but parse (a <|>b) "" input2 won't
03:14:42 <guest1221> it's because parser a and b don't have the same type?
03:15:09 <pavonia> There both alternatives do have the same type Parser (Stirng, String)
03:15:33 <pavonia> Do you actually get a compiler error?
03:15:56 × theDon quits (~td@94.134.91.11) (Ping timeout: 268 seconds)
03:16:20 <guest1221> pavonia: Left (line 1, column 3):unexpected "l" expecting space or "print"
03:16:34 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
03:16:45 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
03:17:16 × mmsari quits (~Thunderbi@95.173.249.45) (Ping timeout: 240 seconds)
03:17:19 → theDon joins (~td@muedsl-82-207-238-191.citykom.de)
03:18:11 <pavonia> Both parsers start parsing spaces, so alway parsePrint is chosen which then fails at "let"
03:18:17 <guest1221> pavonia: when a.bc is 10 print "ok", it would be Right ("print","ok")
03:19:23 <guest1221> work on "10 let a = 1" it will be Left (line 1, column 4):unexpected "l"expecting space or "print"
03:19:27 <pavonia> You need backtracking here (or to rewrite your parsers completely). Have a look at the "try" function of Parsec
03:19:44 <pavonia> Also read http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/
03:20:15 × caubert quits (~caubert@207.246.80.112) (Ping timeout: 268 seconds)
03:20:55 → xirhtogal joins (~lagothrix@unaffiliated/lagothrix)
03:20:55 lagothrix is now known as Guest25658
03:20:55 × Guest25658 quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
03:20:55 xirhtogal is now known as lagothrix
03:21:23 → jedws joins (~jedws@121.209.189.201)
03:21:34 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
03:22:17 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:22:19 × Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-glzailaxclrtbxni) (Quit: Ping timeout (120 seconds))
03:22:30 → Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-qhjnriwuikjiveet)
03:23:19 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
03:23:37 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
03:27:05 × ornxka quits (~ornxka@unaffiliated/ornx) (Ping timeout: 240 seconds)
03:28:02 → patrick1 joins (~tarpk@ool-182dca76.dyn.optonline.net)
03:28:06 × aenesidemus quits (~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Quit: Leaving)
03:28:09 × dagnabbit quits (~thelounge@140.82.8.179) (Ping timeout: 260 seconds)
03:29:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
03:30:50 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
03:32:32 × m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds)
03:32:33 × ADG1089_ quits (~adg1089@171.76.183.207) (Read error: Connection reset by peer)
03:32:55 → ADG1089_ joins (~adg1089@183.83.47.21)
03:33:48 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
03:34:45 × xcmw quits (~textual@cpe-69-133-55-43.cinci.res.rr.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:36:49 <guest1221> pavonia: very very weird, I just add `try` on that parserLet and parserPrint, it both works now, no other code changed
03:36:57 <guest1221> I don't understand
03:37:59 <guest1221> https://paste.ubuntu.com/p/cYMKqdVQtT/
03:38:10 <guest1221> https://paste.ubuntu.com/p/cYMKqdVQtT/
03:39:01 <guest1221> those parser are same, only the after ones have `try` before `do`, and the second parse successfully, what's the magic???
03:40:10 <glguy> You shouldn't start your parsers with 'spaces', you should be ending your parsers with that
03:41:09 <glguy> and then parsePrint and parseLet overlap at the start with their lineNum stuff
03:41:10 <dmj`> peak haskell is scanl' on the job
03:41:21 × ADG1089_ quits (~adg1089@183.83.47.21) (Ping timeout: 256 seconds)
03:41:30 → ADG1089_ joins (~adg1089@171.76.183.207)
03:42:01 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
03:42:38 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
03:43:59 <glguy> guest1221, ideally you'd factor factor that common prefix out of the two parsers
03:45:04 <pavonia> guest1221: This is how Parsec works. Once a path looks correct (the first part matches), Parsec will never give up on this path. So either the rest also parses successfully or it will fail. With "try" you can tell it to give up this path, even if some character already have been parsed successfully, and try another alternative if there is one
03:46:14 <pavonia> guest1221: e.g. parse (string "ab" <|> string "ac") "" "ac" will fail, because the "a" of "ab" already matches but then "b" fails
03:46:55 <pavonia> parse (try (string "ab") <|> string "ac") "" "ac" will work, though
03:48:08 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
03:48:43 <guest1221> pavonia: wow, but should people expect that parse (string "ab" <|> string "ac") "" "ac" == Right "ac"?
03:49:27 <glguy> no, not in parsec
03:49:32 <glguy> yes in megaparsec
03:50:06 <guest1221> pavonia: when it fails, I expect it would be Left a, then parse the right one, get Right a, then Left a <|> Right a, get Right a
03:50:11 <glguy> yes in attoparsec (for a different reason)
03:50:34 <glguy> guest1221, you can't use parsec based on assumptions, it intends for you to refactor your grammar in a particular way
03:50:35 <guest1221> glguy: I should try megaparsec I think
03:50:52 <glguy> megaparsec will still require you to understand it, it just happens that string *in particular* matches all or nothing
03:51:25 <guest1221> glguy: attoparsec come with ghc?
03:51:41 <glguy> attoparsec doesn't have the optimization that consuming input aborts alternatives
03:51:58 <glguy> only parsec does
03:52:28 <glguy> there are plenty of good reasons to switch from parsec to megaparsec, but you'll need to learn it just the same
03:53:48 → dagnabbit joins (~thelounge@140.82.8.179)
03:55:30 hackage rattletrap 9.3.1 - Parse and generate Rocket League replays. https://hackage.haskell.org/package/rattletrap-9.3.1 (fozworth)
03:55:36 <guest1221> ok
03:56:51 → ornxka joins (~ornxka@unaffiliated/ornx)
03:58:16 × maybefbi quits (~maybefbi@49.245.66.163) (Ping timeout: 240 seconds)
03:59:23 <iqubic> If you approach learning how to use a libriary with the mindset of "It makes the most sense for it to work in this way, so I'll just assume it works in this fashion." You're only setting yourself up for failure when you find out that it doesn't actually work in the way you find most sensible.
03:59:25 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
03:59:43 <ezzieyguywuf> can I make cabal show me all the versions of my libraries that it is currently using to build my project?
03:59:43 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
04:00:42 <glguy> ezzieyguywuf, do you have a ./dist-newstyle/cache/plan.json ?
04:01:25 <ezzieyguywuf> glguy: hey!
04:01:55 <glguy> I don't know if there's a better way, but what I do is 'cabal install cabal-plan' and then run 'cabal topo'
04:01:55 <ezzieyguywuf> yes I do have that file
04:01:58 <ezzieyguywuf> I'll take a look
04:02:04 <glguy> which turns that file into something sensible
04:02:10 <glguy> err
04:02:15 <glguy> 'cabal-plan topo'
04:02:29 <ezzieyguywuf> glguy: question for you - how come you remove the `data` dir from your release tarballs, or other things needed to execute the test suite?
04:02:37 × boxscape quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Ping timeout: 264 seconds)
04:02:53 <glguy> which one?
04:03:07 <glguy> I probably don't do that on purpose
04:03:50 <ezzieyguywuf> glguy: hrm I saw a few, I filed a github issue on one but held off on doing the others until I heard your reasoning
04:03:55 <ezzieyguywuf> let me find the issue I posted just a sec.
04:04:12 <glguy> I probably just forgot to include something in the .cabal file
04:04:21 <glguy> I don't modify the release tarballs in any way after 'cabal sdist'
04:04:54 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
04:04:58 <ezzieyguywuf> ah hah.
04:05:40 <ezzieyguywuf> glguy: oh *embarassed* it may not have been you lol sorry
04:05:51 <ezzieyguywuf> but you gave me a hint I can probably file a PR now with whoever it was
04:06:02 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
04:06:52 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
04:07:43 × MidAutumnHotaru quits (~MidAutumn@154.91.197.93) (Quit: Ping timeout (120 seconds))
04:08:02 → MidAutumnHotaru joins (~MidAutumn@154.91.197.93)
04:09:05 <ezzieyguywuf> yup, it was def ndmitchel, the hoogle guy, https://github.com/ndmitchell/hlint/issues/1185
04:09:41 <ezzieyguywuf> sorry glguy, I just consider hoogle so dang handy and great that I assumed it was you, especially b/c hlint comes from the same guy ^_^
04:10:18 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Read error: Connection reset by peer)
04:10:31 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
04:10:32 <MarcelineVQ> That happened one time when I saw sliced bread, I was like "Is this glguy?"
04:10:34 <ezzieyguywuf> but you're right, he's just missing the stuff in his cabal config, I'll file a PR with him tomorrow - https://github.com/ndmitchell/hlint/blob/master/hlint.cabal#L17-L26
04:10:42 <ezzieyguywuf> MarcelineVQ: lol, glad it's not just me.
04:10:49 × solonarv quits (~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr) (Ping timeout: 268 seconds)
04:10:56 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
04:13:18 → drbean joins (~drbean@TC210-63-209-45.static.apol.com.tw)
04:17:15 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
04:17:33 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
04:20:37 <glguy> MarcelineVQ: it's true; I am bread
04:23:03 BenSima[m] is now known as bsima[m]
04:23:34 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
04:23:43 → Tario joins (~Tario@201.192.165.173)
04:25:32 <nshepperd2> string doesn't match all or nothing in parsec? how unfortunate
04:28:25 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds)
04:29:04 <glguy> nshepperd2, I think since it's often not enough to try just the string part that it's not that bad that parsec is like that
04:29:20 <glguy> it's too easy for string "abc" to match the prefix of "abcd"
04:29:29 <glguy> and have that not be what you wanted
04:29:40 <glguy> the try would usually go further outside than a single string
04:31:05 <glguy> I think parsec is just convenient enough that it gives the illusion that it's simple to use :)
04:32:51 <nshepperd2> i suppose so
04:33:45 <nshepperd2> try (string "keyword" *> wordBoundary) <?> "keyword"
04:35:27 <glguy> for keywords I think it's more likely that you'd do something like: identifier <- parseId; and then test which one you got
04:36:01 × hexfive quits (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.)
04:36:32 <glguy> using parsec for anything serious is work
04:38:49 → xcmw joins (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
04:42:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
04:44:38 × revprez_anzio quits (~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: Lost terminal)
04:45:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
04:46:29 hackage ratelimiter 0.1.0 - In-memory rate limiter https://hackage.haskell.org/package/ratelimiter-0.1.0 (AlexanderThiemann)
04:47:31 × mimi_vx quits (~mimi@2a01:490:16:1026:ad8e:aaec:b83:b6c3) (Ping timeout: 272 seconds)
04:48:28 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
04:49:18 → sparsity joins (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145)
04:53:13 × mimi_vx quits (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 272 seconds)
04:53:22 → GuerrillaMonkey joins (~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com)
04:54:23 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
04:56:04 × Mikagami quits (~MOSCOS@122.54.107.175) (Remote host closed the connection)
04:56:23 → dbmikus joins (~dbmikus@c-174-49-172-14.hsd1.pa.comcast.net)
04:56:29 → Mikagami joins (~MOSCOS@122.54.107.175)
04:57:16 × Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.245) (Ping timeout: 256 seconds)
05:01:15 → shah joins (4012936f@64-18-147-111.starry-inc.net)
05:01:27 × mimi_vx quits (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 272 seconds)
05:01:37 <shah> hey so
05:01:55 <shah> can someone explain what irs is what free node is what irc client is and how this stuff works
05:02:01 <shah> it all looks like alien technology
05:02:07 <shah> i have no idea wtf any thing means
05:05:29 × shah quits (4012936f@64-18-147-111.starry-inc.net) (Remote host closed the connection)
05:05:30 × ADG1089_ quits (~adg1089@171.76.183.207) (Read error: Connection reset by peer)
05:05:43 → ADG1089_ joins (~adg1089@171.76.183.207)
05:06:00 hackage HSmarty 0.4.0 - Small template engine https://hackage.haskell.org/package/HSmarty-0.4.0 (AlexanderThiemann)
05:07:16 × dbmikus quits (~dbmikus@c-174-49-172-14.hsd1.pa.comcast.net) (Ping timeout: 272 seconds)
05:07:17 × ADG1089_ quits (~adg1089@171.76.183.207) (Read error: Connection reset by peer)
05:07:30 → ADG1089_ joins (~adg1089@122.163.166.13)
05:08:42 → jedws joins (~jedws@121.209.189.201)
05:08:56 × GuerrillaMonkey quits (~Jeanne-Ka@static-198-54-134-122.cust.tzulo.com) (Quit: Leaving)
05:13:46 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
05:15:59 → ADG1089 joins (~aditya@122.163.166.13)
05:17:01 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
05:19:27 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
05:19:43 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
05:19:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
05:21:28 × sparsity quits (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) (Quit: Connection closed)
05:21:43 × nowhere_man quits (~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155) (Ping timeout: 272 seconds)
05:23:54 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
05:29:12 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
05:33:52 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
05:35:29 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
05:36:33 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
05:40:02 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
05:40:07 × haritz quits (~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds)
05:41:50 → haritz joins (~hrtz@62.3.70.206)
05:41:50 × haritz quits (~hrtz@62.3.70.206) (Changing host)
05:41:50 → haritz joins (~hrtz@unaffiliated/haritz)
05:45:02 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
05:47:43 × ADG1089 quits (~aditya@122.163.166.13) (Quit: Konversation terminated!)
05:49:38 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
05:52:55 × Kronic quits (~Kronic___@84.203.96.46) (Quit: Leaving)
05:54:11 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
05:54:36 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
05:56:02 × mimi_vx quits (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 260 seconds)
05:57:05 → kam1 joins (~kam1@24.231.108.143)
06:00:02 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
06:00:42 × justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
06:01:12 × electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
06:04:54 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 268 seconds)
06:06:08 × mounty quits (~mounty@2001:8000:2f59:0:353e:aa93:586e:e169) (Ping timeout: 268 seconds)
06:08:03 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
06:11:36 × xcmw quits (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
06:11:58 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
06:17:26 → robbiet480 joins (~robbiet48@185.103.96.147)
06:17:35 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
06:18:07 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
06:19:39 → yangby joins (~secret@125.120.166.218)
06:20:22 × yangby quits (~secret@125.120.166.218) (Client Quit)
06:20:23 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
06:22:13 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
06:22:16 → coot joins (~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl)
06:24:55 × ADG1089_ quits (~adg1089@122.163.166.13) (Remote host closed the connection)
06:25:11 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
06:25:12 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
06:28:05 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
06:29:03 × philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
06:29:52 → xcmw joins (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
06:40:36 → jedws joins (~jedws@121.209.189.201)
06:42:26 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:43:43 × srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 240 seconds)
06:43:54 → sorki joins (~sorki@gateway/tor-sasl/sorki)
06:46:42 sorki is now known as srk
06:51:24 → al3x27 joins (~plovs@85.254.75.80)
06:57:29 hackage numhask 0.7.1.0 - A numeric class hierarchy. https://hackage.haskell.org/package/numhask-0.7.1.0 (tonyday567)
06:59:05 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
07:01:25 → cfricke joins (~cfricke@unaffiliated/cfricke)
07:06:56 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
07:07:28 × Rudd0 quits (~Rudd0@185.189.115.103) (Remote host closed the connection)
07:07:29 hackage numhask-space 0.7.1.0 - Numerical spaces. https://hackage.haskell.org/package/numhask-space-0.7.1.0 (tonyday567)
07:08:36 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 240 seconds)
07:11:20 → kuribas joins (~user@ptr-25vy0ia892hdhssgrv8.18120a2.ip6.access.telenet.be)
07:14:11 × kupi quits (uid212005@gateway/web/irccloud.com/x-rilypanikbjfexcy) (Quit: Connection closed for inactivity)
07:17:44 × Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 272 seconds)
07:17:45 × sfvm quits (~sfvm@37.228.215.77) (Remote host closed the connection)
07:18:23 → Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi)
07:18:45 × hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 240 seconds)
07:24:04 × danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9)
07:28:24 → shad0w_ joins (a0ca25d4@160.202.37.212)
07:28:29 <shad0w_> hi all.
07:28:38 <shad0w_> i manually installed ghc on windows
07:28:52 <shad0w_> then cabal
07:28:59 <shad0w_> by downloading executables from the site
07:29:16 <shad0w_> and added them to path variables and set CABAL_DIR
07:29:37 <shad0w_> now i can install cabal stuff in a custom location but. it says symlink not supported on windows
07:30:10 <shad0w_> manually searching and symlinking files from store will sure get tiresome : /
07:30:21 <shad0w_> where do i go from there?
07:30:25 <shad0w_> here*
07:33:16 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
07:34:17 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
07:34:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:34:40 → sQVe joins (~sQVe@unaffiliated/sqve)
07:35:45 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
07:36:19 → shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com)
07:36:30 × tff^ quits (tff@ip98-184-89-2.mc.at.cox.net) ()
07:37:44 → plutoniix joins (~q@ppp-27-55-80-94.revip3.asianet.co.th)
07:38:44 × coot quits (~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
07:39:52 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
07:41:34 × al3x27 quits (~plovs@85.254.75.80) (Ping timeout: 246 seconds)
07:41:43 → danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
07:45:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
07:46:42 → tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net)
07:46:43 × StoneToad quits (~StoneToad@104-192-232-61.ppp.storm.ca) (Ping timeout: 265 seconds)
07:47:16 <shad0w_> anyone ?
07:49:11 <ski> probably many people are sleeping
07:50:17 <shad0w_> timezones lol
07:50:41 <shad0w_> anyway to work around symlinks not working on cabal windows ?
07:50:51 <shad0w_> symlinks do work on windows tho : /
07:51:09 → StoneToad joins (~StoneToad@104-192-232-16.ppp.storm.ca)
07:52:39 → bitmagie joins (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
07:52:49 × Cthalupa quits (~cthulhu@47.186.47.75) (Ping timeout: 268 seconds)
07:54:07 → al3x27 joins (~plovs@85.254.75.83)
07:54:38 → Cthalupa joins (~cthulhu@47.186.47.75)
07:54:46 → xsperry joins (~as@unaffiliated/xsperry)
07:57:53 × bitmagie quits (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Quit: bitmagie)
07:58:07 → bitmagie joins (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
08:00:31 → naganikhil joins (67f5c4fa@103.245.196.250)
08:00:34 → jespada joins (~jespada@90.254.245.49)
08:01:38 × naganikhil quits (67f5c4fa@103.245.196.250) (Remote host closed the connection)
08:02:54 <siraben> Can I use view patterns inside of a pattern match?
08:02:59 <siraben> `foo ((ans,[s] -> S.elems), constraints, solset)`
08:03:14 <kuribas> siraben: yes AFAIK
08:03:20 <siraben> Oops, `foo ((ans,S.elems -> [s]), constraints, solset)`
08:04:52 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
08:05:36 → jamm joins (~jamm@unaffiliated/jamm)
08:13:55 <shad0w_> also. is cabal 3.4 stable now ?
08:14:07 <shad0w_> i can only see binary downloads till 3.2
08:14:15 <shad0w_> which was from april this year
08:14:55 × robbiet480 quits (~robbiet48@185.103.96.147) (Remote host closed the connection)
08:17:39 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
08:20:45 <kuribas> what would be more sensible for my database language, to make query functions like haskell, or like SQL?
08:20:55 <kuribas> for example: sign vs signum_
08:21:07 <kuribas> concat vs .++
08:22:44 → MOSCOS joins (~MOSCOS@152.32.70.55)
08:23:25 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
08:24:35 <kuribas> hmm, I think I'll go for haskell ...
08:25:00 × Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
08:25:15 × shad0w_ quits (a0ca25d4@160.202.37.212) (Remote host closed the connection)
08:26:08 × Mikagami quits (~MOSCOS@122.54.107.175) (Ping timeout: 272 seconds)
08:26:24 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
08:26:40 → Mikagami joins (~MOSCOS@122.54.107.175)
08:27:16 × MOSCOS quits (~MOSCOS@152.32.70.55) (Ping timeout: 240 seconds)
08:28:13 → berberman_ joins (~berberman@unaffiliated/berberman)
08:29:12 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 268 seconds)
08:29:29 × berberman_ quits (~berberman@unaffiliated/berberman) (Max SendQ exceeded)
08:30:06 → berberman joins (~berberman@unaffiliated/berberman)
08:31:24 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
08:31:54 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
08:32:41 <kuribas> is it bad style to make a Num class for some applicative? Like instance Num n => Applicative (MyType n) where (+) = liftA2 (+)
08:33:49 × bitmagie quits (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Quit: bitmagie)
08:34:06 → asheshambasta joins (~user@ptr-e1lysaxt4bg7tmaahx1.18120a2.ip6.access.telenet.be)
08:34:13 → aowi joins (~aowi@195.140.213.38)
08:34:28 → Lycurgus joins (~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
08:36:02 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
08:36:26 <pavonia> What data type would you use for a function that returns a record (struct), but where the exact number of fields is determined dynamically?
08:36:52 × sgibber2018 quits (~arch-gibb@208.85.237.137) (Quit: WeeChat 2.9)
08:37:20 <kuribas> pavonia: HashMap?
08:37:27 <kuribas> pavonia: are the fields known?
08:37:29 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
08:37:39 <kuribas> then you could use a Record with Maybe fields.
08:38:30 <pavonia> They are known, but they may not have a value even if present
08:38:41 <kuribas> then make those fields Maybe
08:38:50 → wei2912 joins (~wei2912@unaffiliated/wei2912)
08:39:34 <pavonia> But with a record how do I distinguish between non-present fields then?
08:39:59 <kuribas> you could make a newtype Present a = Present (Maybe a)
08:40:13 → Varis joins (~Tadas@unaffiliated/varis)
08:40:35 Uniaika was about to suggest nested Maybes :^)
08:40:37 × Varis quits (~Tadas@unaffiliated/varis) (Max SendQ exceeded)
08:40:53 <pavonia> kuribas: Ah, good idea
08:40:55 → Varis joins (~Tadas@unaffiliated/varis)
08:41:13 × Varis quits (~Tadas@unaffiliated/varis) (Max SendQ exceeded)
08:41:19 <Uniaika> (but an Either AbsenceReason Value works too, with AbsenceReason = AbsentValue | AbsentField)
08:41:21 → ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc)
08:41:31 → Varis joins (~Tadas@unaffiliated/varis)
08:41:58 × Varis quits (~Tadas@unaffiliated/varis) (Max SendQ exceeded)
08:42:17 <kuribas> with the nested maybes you can "traverse" over them
08:42:17 → Varis joins (~Tadas@unaffiliated/varis)
08:43:49 <Uniaika> sure, but then you lose a bit of meaning
08:44:44 <kuribas> hence why I suggested a newtype.
08:45:40 × xcmw quits (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
08:45:45 <kuribas> but course you need to look at the usecase to see which pattern fits best.
08:48:30 hackage massiv 0.5.9.0 - Massiv (Массив) is an Array Library. https://hackage.haskell.org/package/massiv-0.5.9.0 (lehins)
08:49:11 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
08:49:17 × gioyik quits (~gioyik@186.112.104.164) (Quit: WeeChat 3.0)
08:51:27 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection)
08:51:44 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
08:52:00 hackage massiv-test 0.1.6 - Library that contains generators, properties and tests for Massiv Array Library. https://hackage.haskell.org/package/massiv-test-0.1.6 (lehins)
08:53:04 × michalrus quits (m@michalrus.com) (Ping timeout: 260 seconds)
08:56:17 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
08:56:20 × drbean quits (~drbean@TC210-63-209-45.static.apol.com.tw) (Ping timeout: 268 seconds)
09:00:59 → bitmagie joins (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de)
09:01:20 × bitmagie quits (~Thunderbi@200116b8067d0b0059427b6ed786911e.dip.versatel-1u1.de) (Client Quit)
09:08:37 × StoneToad quits (~StoneToad@104-192-232-16.ppp.storm.ca) (Ping timeout: 264 seconds)
09:09:33 → Lowl3v3l joins (~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de)
09:11:34 × jedws quits (~jedws@121.209.189.201) (Quit: My MacBook has gone to sleep. ZZZzzz…)
09:12:03 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-htmytuyleznwkrop) (Quit: Connection closed for inactivity)
09:12:04 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
09:12:34 → thc202 joins (~thc202@unaffiliated/thc202)
09:12:40 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
09:13:08 ← thir parts (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) ()
09:13:09 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
09:13:47 → StoneToad joins (~StoneToad@104-192-232-11.ppp.storm.ca)
09:13:56 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
09:15:07 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
09:16:42 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
09:17:31 → Gurkenglas_ joins (~Gurkengla@unaffiliated/gurkenglas)
09:18:17 → sgibber2018 joins (~arch-gibb@208.85.237.137)
09:19:19 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
09:21:18 → paintedindigo joins (~paintedin@2603-6011-4a41-8ada-acc5-c030-b0d1-e98d.res6.spectrum.com)
09:21:50 → _ht joins (~quassel@82-169-194-8.biz.kpn.net)
09:24:17 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
09:24:45 → philopsos joins (~caecilius@gateway/tor-sasl/caecilius)
09:27:06 × tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) ()
09:29:00 hackage rob 0.0.5 - Simple projects generator https://hackage.haskell.org/package/rob-0.0.5 (gianlucaguarini)
09:32:46 → knupfer joins (~Thunderbi@200116b82c5f82007cc2bcfffee85e5b.dip.versatel-1u1.de)
09:32:48 × knupfer quits (~Thunderbi@200116b82c5f82007cc2bcfffee85e5b.dip.versatel-1u1.de) (Client Quit)
09:33:00 → knupfer joins (~Thunderbi@i5E86B451.versanet.de)
09:38:05 × jmchael quits (~jmchael@81.174.180.109) (Ping timeout: 240 seconds)
09:38:32 → xcmw joins (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com)
09:39:18 → jmchael joins (~jmchael@81.174.205.210)
09:43:35 × jfalcon quits (905c1fea@144.92.31.234) (Remote host closed the connection)
09:44:04 → wonko7 joins (~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5)
09:44:28 × paintedindigo quits (~paintedin@2603-6011-4a41-8ada-acc5-c030-b0d1-e98d.res6.spectrum.com) (Quit: Leaving)
09:45:43 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
09:46:04 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
09:47:50 → jmchael_ joins (~jmchael@81.174.205.210)
09:50:37 × jmchael quits (~jmchael@81.174.205.210) (Ping timeout: 264 seconds)
09:50:43 × knupfer quits (~Thunderbi@i5E86B451.versanet.de) (Ping timeout: 246 seconds)
09:50:47 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
09:56:03 → ADG1089__ joins (~aditya@122.163.166.13)
09:56:45 → __monty__ joins (~toonn@unaffiliated/toonn)
09:57:32 × xff0x_ quits (~fox@2001:1a81:537d:6200:144f:d9e9:684e:2cc4) (Ping timeout: 260 seconds)
09:58:14 → xff0x_ joins (~fox@2001:1a81:537d:6200:d556:5a29:e425:afb)
09:58:32 → Tops2 joins (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
10:00:21 → Rudd0 joins (~Rudd0@185.189.115.103)
10:07:44 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
10:07:53 → christo joins (~chris@81.96.113.213)
10:11:26 × wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
10:12:16 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
10:12:20 → knupfer1 joins (~Thunderbi@i5E86B451.versanet.de)
10:12:58 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
10:14:42 knupfer1 is now known as knupfer
10:17:24 → nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net)
10:18:05 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
10:18:27 → cosimone joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
10:18:47 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:d5e6:6f2:2e3f:fbbc) (Ping timeout: 260 seconds)
10:19:56 × ggVGc quits (~ggVGc@a.lowtech.earth) (Changing host)
10:19:57 → ggVGc joins (~ggVGc@unaffiliated/walt)
10:20:34 × Lycurgus quits (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
10:26:14 → caubert joins (~caubert@207.246.80.112)
10:30:27 <ADG1089__> does anyone know how to solve this problem - Could not find module ‘Control.Monad’;There are files missing in the ‘base-4.14.1.0’ package,;try running 'ghc-pkg check'.;Use -v (or `:set -v` in ghci) to see a list of the files searched for.typecheck
10:31:13 <ADG1089__> I don't know what (pacman/stack/cabal/ghcuo) to install what (ghc/hlint/xmonad/xmonad-contrib/haskell-language-server)...
10:31:32 <merijn> ADG1089__: Are you on Arch?
10:32:09 <ADG1089__> yes
10:32:44 <merijn> ADG1089__: Arch's package manager (intentionally) installs a broken GHC, that error is the other tools tripping over Arch's broken install
10:33:11 <merijn> See the Arch wiki, although I would personally recommend just not using any of Arch's Haskell packages
10:33:13 <ADG1089__> yeah i don't want 8.10.x, i instead want LTS or 8.8.4 ghc
10:34:50 <merijn> Not sure how to make haskell-language-server play nice with stack, you might wanna ask in haskell-ide-engine
10:34:53 <merijn> eh
10:34:56 <merijn> #haskell-ide-engine
10:35:18 <merijn> ADG1089__: Basically, GHC (by default) links statically, but the Arch package doesn't install the static libraries
10:36:13 <merijn> ADG1089__: The "Could not find module ‘Control.Monad’;There are files missing in the ‘base-4.14.1.0’" is triggered by GHC trying to use it's own library and finding the static versions missing, so whatever you're using is trying to use your system GHC installed via Arch
10:36:43 × sandy-claws quits (jess@freenode/staff/jess) (Quit: updates)
10:36:50 <ADG1089__> yeah vim uses correct ghc
10:36:53 <ADG1089__> but not vscode
10:37:10 <ADG1089__> i remove all pacman haskell stuff and using ghcup and cabal
10:39:41 <yushyin> ADG1089__: installing/using xmonad with cabal v2- is not that obvious, here is a nice little example by hvr https://github.com/xmonad/xmonad/issues/199#issuecomment-609433196
10:46:50 → m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
10:48:02 <ADG1089__> generating package-env is done through cabal-env, right?
10:48:12 → coot joins (~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl)
10:49:27 × guest1221 quits (~user@49.5.6.87) (Ping timeout: 260 seconds)
10:49:38 → Franciman joins (~francesco@host-82-49-79-73.retail.telecomitalia.it)
10:49:52 → effa joins (~user@2001:4b00:1c0:1601:3de5:92e6:740a:1f71)
10:50:01 × xcmw quits (~textual@2603-6011-2200-f103-85d5-a985-9ba1-f34f.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
10:52:04 <yushyin> no? dunno? You just need cabal install --lib --package-env=NAME|PATH somepackageA somepackageB
10:53:35 <yushyin> from the link above `cabal install -z --lib --package-env=$HOME/.xmonad/ xmonad xmonad-contrib'
10:54:17 <ADG1089__> yeah i though it was next command, stupid me
10:54:27 <ADG1089__> to activate it or something
10:56:37 × L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 258 seconds)
10:59:54 → jamm joins (~jamm@unaffiliated/jamm)
11:04:34 <ADG1089__> thanks, it works great now
11:05:45 <yushyin> ADG1089__: no problem!
11:08:24 × lolmac quits (sid171216@gateway/web/irccloud.com/x-duuhdmvyopfrbzrt) (Quit: Connection closed for inactivity)
11:08:53 <merijn> Any people with more lens insight that can help me figure out how the hell I get a "Getting" out of "ALens'" here? https://hackage.haskell.org/package/Cabal-3.2.1.0/docs/Distribution-Compat-Lens.html#t:ALens-39-
11:09:33 <merijn> oh, wait, I just need aview >.>
11:12:23 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
11:14:30 × plutoniix quits (~q@ppp-27-55-80-94.revip3.asianet.co.th) (Quit: Leaving)
11:20:57 × xff0x_ quits (~fox@2001:1a81:537d:6200:d556:5a29:e425:afb) (Ping timeout: 260 seconds)
11:21:24 → xff0x_ joins (~fox@2001:1a81:537d:6200:338c:13b2:3e7a:4646)
11:23:03 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
11:23:39 → ville joins (~ville@212-149-214-47.bb.dnainternet.fi)
11:24:43 <ville> howdy, what's the overall opinion on https://haskell.mooc.fi/material/ ? reasonable way to start or better look elsewhere?
11:27:57 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
11:28:11 <merijn> Never heard of it, but at quick glance it seems...a bit minimal? It only talks about IO in the last lecture and then glosses over tons off stuff about it...
11:28:18 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
11:30:02 → ADG1089__ joins (~aditya@122.163.166.13)
11:30:19 <merijn> ville: The "usual suspects" for introductions (in no particular order, since I haven't read any of them :p) are: "Thinking Functionally With Haskell" by Richard Bird, "Programming in Haskell" by Graham Hutton, and "Haskell From First Principles" (http://haskellbook.com/) and the CIS194 course: https://www.seas.upenn.edu/~cis194/spring13/
11:30:49 <Franciman> Hi ville, long time no see, since #c++ days, can I suggest learn you a haskell for great good?
11:31:02 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
11:31:03 <Franciman> http://learnyouahaskell.com/
11:31:04 <merijn> Franciman: tbh, Learn You a Haskell is...not great
11:31:14 <Franciman> uh really?
11:31:18 <merijn> It's easy reading and shows off some cool things
11:31:18 <Franciman> I loved it, ok then :P
11:31:27 <merijn> Franciman: I'm not saying it's not fun to read
11:31:41 <merijn> It's just not really good at leaving you prepared to *write* code
11:31:42 → ADG1089__ joins (~aditya@122.163.166.13)
11:31:45 × ADG1089__ quits (~aditya@122.163.166.13) (Client Quit)
11:32:11 → ADG1089__ joins (~aditya@122.163.166.13)
11:32:11 × ADG1089__ quits (~aditya@122.163.166.13) (Client Quit)
11:32:17 <tdammers> the problem with LYAH is that it takes a bit too much liberty with facts
11:32:29 <merijn> Franciman: I liked reading it too, because there was nothing else at the time, but I've also seen lots of beginners struggle after finishing it, unable to really write anything
11:32:43 × philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 240 seconds)
11:32:59 <merijn> tdammers: That, and glossing over some important details, and lacking exercises
11:33:04 <tdammers> it does that with all the best didactic intentions, but experience shows that this liberty often leads to incorrect assumptions on the learner's side, and unlearning those assumptions can make the learning process harder than it needs to be later
11:33:16 <Franciman> I see
11:33:18 <Franciman> how about real world haskell?
11:33:25 <Franciman> maybe it's a bit outdated
11:33:31 <kuribas> real world haskell is great but outdated
11:33:34 <merijn> Franciman: Basically, LYAH is good for getting people an idea about why Haskell is cool and getting them hyped up, not so much for learning :)
11:33:53 <tdammers> frankly, I've never found the lack of exercises a problem in any learning materials
11:33:58 <kuribas> merijn: that's already something :)
11:34:02 <merijn> kuribas: Sure
11:34:07 <Franciman> I still remember the cool explaination of Zipper
11:34:08 <Franciman> :')
11:34:10 <tdammers> in fact, I pretty much always ignore the exercises
11:34:13 <merijn> But it makes me hesitant to recommend it :)
11:34:16 <tdammers> but maybe that's just how I learn
11:34:18 → fendor joins (~fendor@77.119.130.63.wireless.dyn.drei.com)
11:34:28 <Franciman> I guess you have a point merijn
11:34:41 <merijn> tdammers: Same, but experience TAing Ocaml has taught me exercises are crucial for at least a 3rd of students
11:37:20 <sgibber2018> Takes a bit of both for me.
11:37:23 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
11:37:37 → ADG1089__ joins (~aditya@122.163.166.13)
11:38:59 <tdammers> merijn: that 1/3 is undeserving! HAH!
11:39:13 <Franciman> I think exercises are good for people that are not extremely interested
11:39:25 <Franciman> because reading carefully takes time
11:39:30 <kuribas> I think exercises are good for everyone :)
11:39:33 <tdammers> on a more serious note though, learning because you want to learn and learning because you want to pass an exam are of course two completely different things
11:39:36 <sgibber2018> Haskell is such a nuanced language that it's really easy to read something about it and *think* you understand it until you get some practical experience in
11:39:40 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
11:39:49 <ville> merijn: ok i'll give those a look
11:39:57 <ville> Franciman: thanks. i'll give that a look as well
11:39:57 <tdammers> sgibber2018: the trick is to proceed to "practical experience" immediately
11:40:02 → Kaiepi joins (~Kaiepi@47.54.252.148)
11:40:16 <sgibber2018> Franciman: That's really not fair. You can be extremely interested in something and a very careful reader and still miss the point unless you do the exercises
11:40:27 <Franciman> sgibber2018, nono, I didn't mean that it's not useful for others
11:40:29 <tdammers> read chapter -> form mental model -> tinker -> revise mental model -> repeat
11:40:34 <Franciman> I said that it's cool for getting people hooked
11:41:31 <sgibber2018> tdammers: That's definitely the way to go
11:42:16 <Franciman> I didn't mean at all that exercises are for stupids or something :P, just that I find they get some people hooked more easily
11:42:26 <sgibber2018> Ah that makes sense
11:43:21 jmchael_ is now known as jmchael
11:43:22 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
11:45:20 <tdammers> also, one of my favorite Haskell learning "books" is Write Yourself A Scheme, and that one is near 100% exercises in a way
11:46:18 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
11:46:27 <sgibber2018> tdammers: That sounds pretty tempting
11:47:23 <Franciman> I suggest writing a caml, instead of a Scheme
11:47:25 <Franciman> that's cool
11:47:35 <Franciman> and you can add types
11:48:01 <Franciman> and you have something somewhat similar to haskell, just less advanced
11:48:02 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
11:48:47 <Franciman> the final exercise is to fork the community with a new language :P
11:48:52 <tdammers> Franciman: that's not the point though. the book doesn't try to teach implementing schemes, it uses implementing a scheme as a vehicle for teaching haskell
11:49:17 <tdammers> and scheme is a better candidate for that exactly *because* you don't need to make a type checker
11:50:12 <Franciman> hm, I thought one would be interested in implementing a language too
11:50:31 <Franciman> I found it cool to implement something similar to haskell
11:50:43 <Franciman> ofc if it's for learning haskell, it's not the point
11:51:27 <Franciman> but you can learn haskell also by implementing an untyped lambda calculus with some sugar, i.e. an ML, and if yo uare interested in implementing more, you can add stuff
11:51:31 <Franciman> or stop
11:51:44 <tdammers> stephen diehl made a start with a "write yourself a haskell" thing
11:52:03 <tdammers> http://dev.stephendiehl.com/fun/
11:52:07 <Franciman> probably you may argue that the whole point of ML is having types
11:52:12 <Franciman> then ok
11:52:38 <kuribas> is having *type inference*
11:52:54 <kuribas> and ADTs
11:53:09 <ephemient> SML has less sugar than Caml so is a bit easier as a first project IMO
11:53:55 <Franciman> agreed
11:55:06 <sgibber2018> I've found the exercises where you do things like re-implement List or other basic language features to be pretty helpful.
11:55:21 <sgibber2018> Gives context to ideas
11:59:45 → ADG1089__ joins (~aditya@122.163.166.13)
12:00:43 × knupfer quits (~Thunderbi@i5E86B451.versanet.de) (Quit: knupfer)
12:02:46 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
12:02:54 → borne joins (~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de)
12:02:56 × kuribas quits (~user@ptr-25vy0ia892hdhssgrv8.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
12:03:31 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
12:03:43 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
12:06:31 → plutoniix joins (~q@ppp-27-55-80-94.revip3.asianet.co.th)
12:08:12 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 260 seconds)
12:11:50 → drbean joins (~drbean@TC210-63-209-29.static.apol.com.tw)
12:12:34 × olligobber quits (~olligobbe@unaffiliated/olligobber) (Ping timeout: 260 seconds)
12:14:09 × dolio quits (~dolio@haskell/developer/dolio) (Read error: Connection reset by peer)
12:14:31 → dolio joins (~dolio@haskell/developer/dolio)
12:14:37 → ADG1089__ joins (~aditya@122.163.166.13)
12:15:18 → Wuzzy joins (~Wuzzy@p5790e20f.dip0.t-ipconnect.de)
12:15:36 → nyd joins (~nyd@unaffiliated/elysian)
12:17:39 → Lycurgus joins (~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
12:20:15 <gentauro> 12:51 < tdammers> stephen diehl made a start with a "write yourself a haskell" thing
12:20:34 <gentauro> his nano parsec is really helpfull to get a grasp of parser combinators in Haskell
12:20:42 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
12:21:35 ← ville parts (~ville@212-149-214-47.bb.dnainternet.fi) ()
12:23:12 <gentauro> tdammers: btw, didn't Diehl get a bit of heat cos he stated his opinion about BlockChains?
12:23:23 <merijn> Define "heat"
12:23:35 → mmsari joins (~Thunderbi@95.173.249.149)
12:23:42 <gentauro> merijn: like people got a mad and stuff
12:23:50 <merijn> Lots of people think cryptocurrencies are just ponzi schemes for tech people
12:23:59 <gentauro> merijn: I'm one :)
12:24:03 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
12:24:12 <merijn> Well, yes, people at the top of pyramid/ponzi schemes tend to get mad when you point that out...
12:25:08 <gentauro> but since it's those companies that sponsor most of the current Haskell development, I hope they don't have any consecuences for Diehl. He has some really nice stuff :)
12:25:21 <gentauro> they = it
12:25:54 <merijn> tbh, those companies don't sponsor nearly as much Haskell development as your comment implies :p
12:26:48 → ADG1089__ joins (~aditya@122.163.166.13)
12:26:56 × ADG1089__ quits (~aditya@122.163.166.13) (Client Quit)
12:27:20 <gentauro> merijn: arent' they "buying" ressources from FP Complete, Tweag.IO and WellTyped?
12:27:24 <gentauro> that's about it xD
12:27:31 → ADG1089__ joins (~aditya@122.163.166.13)
12:27:36 × ADG1089__ quits (~aditya@122.163.166.13) (Client Quit)
12:28:07 <gentauro> as I understood from Marlow, FB and M$ pay for one (or two) Well-Typed consultants to work on GHC
12:28:11 → Entertainment joins (~entertain@104.246.132.210)
12:28:24 <gentauro> the rest is the Block Chains companies :D (mostly IOHk0
12:28:29 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
12:28:29 <gentauro> IOHK)
12:28:36 → ADG1089__ joins (~aditya@122.163.166.13)
12:28:50 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Ping timeout: 264 seconds)
12:29:39 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
12:30:03 → ADG1089__ joins (~aditya@122.163.166.13)
12:35:32 → geekosaur joins (ac3a5760@172.58.87.96)
12:36:09 × Hafydd quits (~Hafydd@unaffiliated/joo) (Quit: WeeChat 2.9)
12:37:25 × todda7 quits (~torstein@ppp-2-84-17-53.home.otenet.gr) (Ping timeout: 240 seconds)
12:37:38 Lycurgus .oO( can they say 'ethically challenged'? )
12:38:12 × _ashbreeze_ quits (~mark@184-157-32-85.dyn.centurytel.net) (Remote host closed the connection)
12:38:23 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
12:38:47 → nemron joins (~nemron@2a02:810b:c7bf:fdb8:e5d9:cf51:dbc1:34c4)
12:39:06 <Lycurgus> a mlm was paying me a decent monthly retainer a couple of years ago but I had to bail because that's actually evil
12:39:37 → _ashbreeze_ joins (~mark@184-157-32-85.dyn.centurytel.net)
12:40:07 <tdammers> I'm not going to go into much detail, but well-typed has more customers than GHC and blockchain
12:40:46 <Lycurgus> is that the 'good shop"?
12:41:15 <tdammers> define 'good'
12:41:21 <Lycurgus> i know one of em had some reasonable claim and/or pretense to being a professional assoc
12:41:55 <Lycurgus> not wage slavers or people that do nothing but lie to get money is a good start
12:42:13 <tdammers> speaking as a WT employee/consultant, I can say that business is conducted in an orderly fashion, and it's the best job I've ever had by a fair margin
12:42:36 <tdammers> if working at WT is wage slavery, then everything is
12:42:51 <Lycurgus> the term employee is noted
12:42:59 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
12:43:19 <Lycurgus> even the dam wallmark has associates
12:43:25 <Lycurgus> *damn
12:44:55 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
12:45:57 × Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer)
12:46:09 → Kaiepi joins (~Kaiepi@47.54.252.148)
12:46:14 × borne quits (~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
12:46:51 × geekosaur quits (ac3a5760@172.58.87.96) (Remote host closed the connection)
12:46:52 → guest1221 joins (~user@49.5.6.87)
12:48:09 <tdammers> we use the term "employees" loosely
12:48:25 <tdammers> some of us are legally employees, others are not. personal choice.
12:48:32 → geekosaur joins (ac3a5760@172.58.87.96)
12:49:17 <tdammers> I went with "employee" solely because I don't want to deal with the bureaucratic nonsense that comes with being self-employed in NL
12:51:35 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
12:51:39 × guest1221 quits (~user@49.5.6.87) (Ping timeout: 260 seconds)
12:51:51 <Lycurgus> as opposed to where?
12:51:53 → Tario joins (~Tario@201.192.165.173)
12:53:02 <Lycurgus> monaco maybe
12:53:32 × plutoniix quits (~q@ppp-27-55-80-94.revip3.asianet.co.th) (Quit: Leaving)
12:57:04 × Mikagami quits (~MOSCOS@122.54.107.175) (Remote host closed the connection)
12:57:31 → Mikagami joins (~MOSCOS@122.54.107.175)
12:57:36 → borne joins (~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de)
12:58:01 <Lycurgus> in the capitalism, whether as an economic system or a social order, ur swimmin' with sharks
12:58:21 → remy^ joins (~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9)
12:58:26 → remy joins (~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9)
12:58:36 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
12:58:50 × remy^ quits (~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9) (Changing host)
12:58:50 → remy^ joins (~remy@unaffiliated/remy/x-3943829)
12:58:56 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
12:59:07 × remy quits (~remy@2a02:a210:2140:f480:6e62:6dff:fe0a:58e9) (Client Quit)
12:59:32 ← remy^ parts (~remy@unaffiliated/remy/x-3943829) ()
12:59:55 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit)
13:00:28 → phaul joins (~phaul@ruby/staff/phaul)
13:00:46 → todda7 joins (~torstein@ppp-2-84-17-53.home.otenet.gr)
13:02:05 × pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!)
13:03:47 × mmsari quits (~Thunderbi@95.173.249.149) (Ping timeout: 265 seconds)
13:04:47 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
13:05:27 → Nahra joins (~Nahra@unaffiliated/nahra)
13:06:15 → nowhere_man joins (~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155)
13:06:23 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds)
13:06:42 → ADG1089__ joins (~aditya@122.163.166.13)
13:07:07 → meinhof joins (4eb83a77@78.184.58.119)
13:07:31 × ADG1089__ quits (~aditya@122.163.166.13) (Client Quit)
13:07:49 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
13:09:41 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
13:12:25 × coot quits (~coot@37.30.50.101.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
13:14:59 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
13:15:08 × Lycurgus quits (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
13:15:57 → phaul joins (~phaul@ruby/staff/phaul)
13:16:06 → ggole joins (~ggole@2001:8003:8119:7200:a81c:813a:b28c:21)
13:17:43 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
13:18:21 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
13:18:34 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
13:18:38 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 264 seconds)
13:18:51 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
13:19:39 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
13:20:40 → nuru joins (6dced5cb@109.206.213.203)
13:23:27 × cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
13:25:14 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
13:25:38 × nuru quits (6dced5cb@109.206.213.203) (Remote host closed the connection)
13:25:52 → cantstanya joins (~chatting@gateway/tor-sasl/cantstanya)
13:30:36 → L29Ah joins (~L29Ah@unaffiliated/l29ah)
13:31:21 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
13:31:36 → Kaiepi joins (~Kaiepi@47.54.252.148)
13:31:57 → jfalcon joins (905c1fea@144.92.31.234)
13:32:00 → cfricke joins (~cfricke@unaffiliated/cfricke)
13:34:32 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
13:38:59 → mmsari joins (~Thunderbi@95.173.249.149)
13:39:33 × StoneToad quits (~StoneToad@104-192-232-11.ppp.storm.ca) (Ping timeout: 265 seconds)
13:44:05 × drbean quits (~drbean@TC210-63-209-29.static.apol.com.tw) (Ping timeout: 240 seconds)
13:44:39 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
13:44:42 → StoneToad joins (~StoneToad@104-192-232-31.ppp.storm.ca)
13:48:59 × effa quits (~user@2001:4b00:1c0:1601:3de5:92e6:740a:1f71) (Quit: ERC (IRC client for Emacs 25.1.1))
13:52:02 × sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!)
13:54:11 × notzmv quits (~user@unaffiliated/zmv) (Ping timeout: 268 seconds)
13:54:43 → avdb joins (~avdb@213.177.155.250)
13:55:20 <zzz> where's haskell in terms of automatic parallelism?
13:55:35 <merijn> Same place as everything related to auto-parallelism
13:55:37 <merijn> Nowhere
13:55:42 <zzz> :(
13:55:52 <exarkun> merijn: what about AVX
13:56:17 → urodna joins (~urodna@unaffiliated/urodna)
13:56:21 <exarkun> wait that wasn't why I focused this channel
13:56:21 <merijn> exarkun: GHC has some SIMD primitives, but auto-vectorisation isn't in there yet, afaik?
13:56:45 <exarkun> with Network.TLS where does the client certificate go? in `sharedCredentials`?
13:57:00 hackage yesod-auth-oauth2 0.6.1.7 - OAuth 2.0 authentication plugins https://hackage.haskell.org/package/yesod-auth-oauth2-0.6.1.7 (PatrickBrisbin)
13:57:47 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
13:58:48 <exarkun> oh oh, you return it from `onCertificateRequest`, maybe?
14:01:10 → Mac60 joins (557f5ce5@85-127-92-229.dsl.dynamic.surfer.at)
14:02:38 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds)
14:02:49 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
14:03:11 <Mac60> Hi! Could somebody pls point me to some example code or explain how to combine different monads? Say I have a chain of maybes but need to return something in an IO? Do I need monad transformation for it?
14:07:11 <tdammers> Mac60: this isn't very specific to Monads, really. you can use the Maybe monad instance to chain a bunch of Maybes, and then use return from the IO monad instance to convert such a Maybe a into an IO (Maybe a)
14:07:15 → Kronic joins (~Kronic___@84.203.96.46)
14:07:33 <tdammers> Mac60: what *is* monad-specific to an extent is combining the *effects* that various monads represent
14:07:50 <tdammers> Mac60: for that, the classical approach would be monad transformers, e.g. you could use MaybeT over IO
14:07:59 <Mac60> I understand.
14:08:38 <Mac60> I am just learning how to use monads properly so for now I just wanted some code that does I/O and but also has Maybe (like for instance from find)
14:09:33 <Mac60> So yes I am probably asking the wrong thing? I meant would I then just return the IO (Maybe a) ?
14:10:02 <Mac60> Or I guess maybe map the Maybe with pattern matching to a proper IO Msg?
14:14:12 → vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru)
14:16:06 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
14:18:01 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
14:19:12 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
14:19:18 → Vulfe_ joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
14:20:16 <zzz> Mac60:
14:20:20 <zzz> > let x = Just "sup" in print $ maybe "?" id x
14:20:22 <lambdabot> <IO ()>
14:22:22 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
14:23:37 <geekosaur> % let x = Just "sup" in print $ maybe "?" id x
14:23:37 <yahb> geekosaur: "sup"
14:23:47 × jespada quits (~jespada@90.254.245.49) (Ping timeout: 268 seconds)
14:24:18 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
14:24:38 × avdb quits (~avdb@213.177.155.250) (Quit: avdb)
14:24:53 → avdb joins (~avdb@213.177.155.250)
14:25:01 × justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 268 seconds)
14:25:10 <Mac60> thx guys I guess I was missing the maybe function part
14:25:27 × avdb quits (~avdb@213.177.155.250) (Client Quit)
14:25:38 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
14:25:39 <tdammers> the maybe function is one way to do it; pattern matching would also work, it's just a bit more verbose
14:25:42 <Mac60> I am still a bit confused why I need id there, but I guess I will have to check out maybes signature
14:26:04 <Mac60> thx guys! :)
14:26:13 <tdammers> % let x = Just "sup" in print (case x of { Just x -> x; Nothing -> "?" })
14:26:13 <yahb> tdammers: "sup"
14:26:21 <tdammers> or you could use fromMaybe:
14:26:37 <tdammers> % let x = Just "sup" in print (fromMaybe "?" x)
14:26:37 <yahb> tdammers: "sup"
14:26:53 → jespada joins (~jespada@90.254.245.49)
14:26:57 <zzz> you can also import fromMaybe from Data.Maybe which has type a -> Maybe a -> a, saving you from having to use id
14:27:09 <zzz> that ^
14:27:30 <tdammers> the reason you need id in that maybe application is because maybe takes 3 arguments: a value to use for the Nothing case, a function to apply in the Just case, and a Maybe value to scrutinize
14:27:33 → twopoint718 joins (~twopoint7@fsf/member/twopoint718)
14:27:37 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399)
14:27:58 <tdammers> it's kind of a declarative way of saying "if you have a value, do this, if not, do that"
14:28:53 <Mac60> well sure, but I guess when I need to return something to the main function for outputting then declarative is OK ?
14:29:14 → notzmv joins (~user@unaffiliated/zmv)
14:29:45 <zzz> i use to (maybe x id) in place of (fromMaybe x) because it ends up being shorter and usually saves me an import
14:30:30 ski idly wonders what Mac60 is trying to do, more specifically
14:30:32 × Lowl3v3l quits (~Lowl3v3l@dslb-002-203-233-025.002.203.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
14:30:58 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
14:31:55 <tdammers> "declarative" is just a label that describes how the human brain processes the code, it has very little to do with how a computer deals with it
14:32:12 → avdb joins (~avdb@213.177.155.250)
14:32:46 <Mac60> ski: just some learning stuff, like having some state, taking some input, doing some decisions and then output the result :) But while doing this I had a case where one function (I think it was find) was returning a Maybe, but I was in in an IO context already and I did not know how to handle this.
14:32:53 <Mac60> tdammers good point :)
14:33:48 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
14:34:08 <Mac60> tbh I find Haskells way actually closer to how a human would think, its farther from the computer
14:34:39 <Mac60> declarative is closer to how we *think* the computer works...
14:35:00 × twopoint718 quits (~twopoint7@fsf/member/twopoint718) (Quit: Goodbye)
14:35:19 → Sheilong joins (uid293653@gateway/web/irccloud.com/x-exdojaqirdkfmvpz)
14:36:14 <zzz> imperative vs declarative is like imperial vs metric in that the former is more humanistic and kind of a mess and the latter is the right way to do things :)
14:36:21 <ski> Mac60 : if you find yourself mixing `Maybe' with `IO' much (like pattern-matching on the `Maybe', short-circuiting on `Nothing', otherwise continuing), then you may want to look into `MaybeT', as tdammers suggested
14:36:48 <tdammers> zzz: except that computer hardware is kind of imperative, and not usually very declarative.
14:37:01 <tdammers> although arguably that depends which goggles you're wearing
14:37:33 ski 's not sure what Mac60 means by "declarative" here
14:37:56 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds)
14:38:16 → Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net)
14:39:18 × hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
14:39:40 × geekosaur quits (ac3a5760@172.58.87.96) (Remote host closed the connection)
14:39:42 × avdb quits (~avdb@213.177.155.250) (Quit: avdb)
14:39:45 <zzz> tdammers: that's because hardware is kind of a mess.
14:39:58 → avdb joins (~avdb@213.177.155.250)
14:40:02 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
14:40:09 × avdb quits (~avdb@213.177.155.250) (Client Quit)
14:40:19 → avdb joins (~avdb@gateway/tor-sasl/avdb)
14:40:32 → kupi joins (uid212005@gateway/web/irccloud.com/x-baexxxvsrkvkwodj)
14:41:09 <zzz> the right way to do things is still afternoon naps and pen and paper
14:41:17 <zzz> we all know that deep down
14:43:34 <tdammers> ski: it's probably because I said it
14:44:00 <cnmne[m]> why would you say something so controversial, yet so brave?
14:44:09 → Lowl3v3l joins (~Lowl3v3l@dslb-090-186-057-171.090.186.pools.vodafone-ip.de)
14:44:15 <tdammers> ski: and all I meant is that `maybe a b m` is less explicit about operational details than something like `if (x === null) { a(); } else { b(x); }
14:44:17 <tdammers> `
14:46:32 <Mac60> tdammers I see your point
14:46:37 × Mac60 quits (557f5ce5@85-127-92-229.dsl.dynamic.surfer.at) (Remote host closed the connection)
14:46:40 → phaul joins (~phaul@ruby/staff/phaul)
14:46:47 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
14:49:03 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
14:51:00 × meinhof quits (4eb83a77@78.184.58.119) (Remote host closed the connection)
14:51:25 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
14:51:25 × SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
14:51:32 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
14:52:18 → SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net)
14:55:10 → hiroaki joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de)
14:58:05 → st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net)
14:58:31 × mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 256 seconds)
15:00:17 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
15:04:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e162:f3a5:6891:9399) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:05:12 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
15:05:57 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
15:06:02 × xff0x_ quits (~fox@2001:1a81:537d:6200:338c:13b2:3e7a:4646) (Ping timeout: 264 seconds)
15:06:35 → xff0x_ joins (~fox@2001:1a81:537d:6200:cba7:d47:8ddb:b119)
15:09:20 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:e98d:e7fe:547e:4e6f)
15:12:18 × nowhere_man quits (~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155) (Ping timeout: 258 seconds)
15:13:50 → Genome joins (~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
15:14:12 → ADG1089__ joins (~aditya@122.163.166.13)
15:15:15 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
15:16:08 → nowhere_man joins (~pierre@2a01:e0a:3c7:60d0:e88f:4e24:f6a7:f155)
15:16:21 → mrchampion joins (~mrchampio@38.18.109.23)
15:19:20 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
15:19:57 × nemron quits (~nemron@2a02:810b:c7bf:fdb8:e5d9:cf51:dbc1:34c4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
15:20:16 × roconnor quits (~roconnor@host-45-78-199-13.dyn.295.ca) (Quit: Konversation terminated!)
15:20:29 → roconnor joins (~roconnor@host-45-78-199-13.dyn.295.ca)
15:23:01 → fendor_ joins (~fendor@77.119.131.23.wireless.dyn.drei.com)
15:24:12 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
15:25:38 × fendor quits (~fendor@77.119.130.63.wireless.dyn.drei.com) (Ping timeout: 260 seconds)
15:26:34 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
15:28:39 × Wuzzy quits (~Wuzzy@p5790e20f.dip0.t-ipconnect.de) (Remote host closed the connection)
15:29:55 × dagnabbit quits (~thelounge@140.82.8.179) (Quit: The Lounge - https://thelounge.chat)
15:30:41 → nhs joins (~nhs@c-67-180-177-103.hsd1.ca.comcast.net)
15:30:42 → dagnabbit joins (~thelounge@140.82.8.179)
15:31:19 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
15:31:45 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
15:33:23 → dandart joins (~Thunderbi@home.dandart.co.uk)
15:35:08 → tlaxkit joins (~kvirc@89.35.63.16)
15:37:06 <ezzieyguywuf> dangit cabal-fmt, I like a space after `^>=`! do better!
15:38:49 <ezzieyguywuf> is there a tool that will scour my cabal file and my code and see if there are some "build-depends" that aren't used or needed?
15:38:59 → christo joins (~chris@81.96.113.213)
15:39:03 × StoneToad quits (~StoneToad@104-192-232-31.ppp.storm.ca) (Ping timeout: 260 seconds)
15:40:15 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
15:43:37 × mmsari quits (~Thunderbi@95.173.249.149) (Quit: mmsari)
15:44:34 <srk> ezzieyguywuf: ghc-options: -Wunused-packages :)
15:45:23 → StoneToad joins (~StoneToad@104-192-232-50.ppp.storm.ca)
15:45:52 <exarkun> The docs for https://hackage.haskell.org/package/tls-1.5.4/docs/src/Network.TLS.Parameters.html#clientServerIdentification say "The extra blob is useful to differentiate services running on the same host" but I can't quite figure out what feature of TLS this maps to
15:46:16 <exarkun> And, more generally, the fact that there's space for two different names is confusing
15:46:19 <exarkun> anyone know what's going on here?
15:47:34 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
15:49:42 × DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
15:50:07 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds)
15:50:47 → dbmikus joins (~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net)
15:51:05 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
15:51:34 × toorevitimirp quits (~tooreviti@117.182.182.252) (Remote host closed the connection)
15:52:20 → gioyik joins (~gioyik@186.112.104.164)
15:56:22 → kam1 joins (~kam1@24.231.108.143)
15:56:26 <ephemient> https://en.wikipedia.org/wiki/Server_Name_Indication
15:56:26 × dagnabbit quits (~thelounge@140.82.8.179) (Ping timeout: 264 seconds)
15:56:38 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
15:57:29 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
15:58:03 → machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca)
15:58:28 <ezzieyguywuf> srk: niccce
15:58:38 → jamm joins (~jamm@unaffiliated/jamm)
15:59:12 × xff0x_ quits (~fox@2001:1a81:537d:6200:cba7:d47:8ddb:b119) (Ping timeout: 260 seconds)
15:59:48 → xff0x_ joins (~fox@2001:1a81:537d:6200:358d:738e:34:fc65)
15:59:50 <int-e> exarkun: the tls library doesn't use the second field; I think it's for the benefit of validation only, cf. https://hackage.haskell.org/package/x509-validation-1.6.11/docs/Data-X509-Validation.html#t:ServiceID
16:00:35 → Tops21 joins (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
16:01:30 → ADG1089__ joins (~aditya@122.163.166.13)
16:02:16 <exarkun> int-e: Ah... So it passes through TLS and gets passed to ... `validate` later, looks like, which could do whatever it wants with it
16:02:38 <int-e> exarkun: it's not communicated at all
16:03:17 × jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
16:03:25 <exarkun> What about the ServiceID parameter to https://hackage.haskell.org/package/x509-validation-1.6.11/docs/Data-X509-Validation.html#v:validate ?
16:03:32 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
16:03:39 → solonarv joins (~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr)
16:03:48 <int-e> exarkun: I mean it's not communicated over the network
16:03:53 <exarkun> Okay, sure
16:04:33 × Tops2 quits (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
16:04:53 <exarkun> It's a place to squirrel away some extra local state to make a local decision using later on
16:05:32 <int-e> exarkun: Note I'm just following breadcrumbs here (grepping source code), I haven't used any of this.
16:05:43 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
16:05:43 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
16:05:43 → mouseghost joins (~draco@wikipedia/desperek)
16:05:54 <exarkun> understood
16:06:02 <int-e> I'd speculate that this having two fields is related somehow: https://hackage.haskell.org/package/x509-1.7.5/docs/Data-X509.html#t:DistinguishedName
16:06:29 <shapr> exarkun: wow, what are you building?
16:06:56 <exarkun> shapr: Pft nothing exciting in the least
16:07:25 <shapr> From the number of rabbit holes you've explored in the past week or so, I don't believe that.
16:07:30 <exarkun> Heh
16:07:41 <exarkun> I just seem to fall into rabbit holes a lot
16:07:48 <merijn> lol
16:07:57 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
16:08:03 <shapr> does that mean this is a secret project?
16:08:18 <exarkun> I'm writing an IRC bot to announce PRs on GitHub w/ reviews requested on them, as a replacement for another IRC bot that did something similar but queried trac for tickets with "review" in their keywords.
16:08:47 <shapr> I hope you write a blog post about your TLS adventures.
16:08:57 <shapr> Even a notes dump would be interesting.
16:09:01 <int-e> exarkun: are you aware of https://hackage.haskell.org/package/irc-client ? I'd be interested in informed opinions on that one.
16:09:38 <exarkun> int-e: I didn't find that one in my search, but I am also using irc-conduit
16:09:55 shapr snoops on https://github.com/exarkun
16:10:07 <shapr> hm, only Python
16:10:15 <int-e> exarkun: I'm asking because it already adds TLS support.
16:10:59 <int-e> exarkun: But it's just on the list of things I want to look at (and possibly use in lambdabot)... I have not really started.
16:11:00 <exarkun> Yea, I see it there. One thing I found annoying about irc-conduit (and many other haskell libs) is how they treat TLS like a special thing
16:11:31 <exarkun> So one reason I'm falling into TLS rabbit holes is I'm adding a uniform layer that can sit on either TCP or TLS
16:11:42 <shapr> will you publish a library?
16:11:42 <exarkun> (or Tor or WebSockets or stdio, etc)
16:11:46 → carthia joins (~carthia@gateway/tor-sasl/carthia)
16:11:53 <exarkun> shapr: probably
16:12:05 <exarkun> or rather
16:12:13 <exarkun> I was going to share it here first and have someone tell me why I'm barking up the wrong tree
16:12:19 <shapr> sounds exciting
16:13:52 → incertia_ joins (~incertia@d4-50-26-103.nap.wideopenwest.com)
16:13:58 × ADG1089__ quits (~aditya@122.163.166.13) (Read error: Connection reset by peer)
16:14:04 → ADG1089_ joins (~aditya@122.163.166.13)
16:14:19 × incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 246 seconds)
16:15:00 × star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds)
16:15:13 → ClaudiusMaximus joins (~claude@196.67.6.51.dyn.plus.net)
16:15:21 × ClaudiusMaximus quits (~claude@196.67.6.51.dyn.plus.net) (Changing host)
16:15:21 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
16:15:27 → arybczak joins (~unknown@2a02:a312:c83d:7800:bb7f:5c00:4f48:cc5c)
16:15:51 <exarkun> shapr: I'm also trying out sr.ht - https://todo.sr.ht/~jcalderone/DevBot
16:16:04 <shapr> oh!
16:16:09 → guest1221 joins (~user@49.5.6.87)
16:16:35 <shapr> I got an account on shithub, but I haven't gotten plan9's drawterm figured out yet.
16:16:44 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
16:17:32 <exarkun> heh that's a new one on me
16:17:52 <shapr> I like the logo of the beam of light falling on the toilet.
16:18:30 <exarkun> yea, nice
16:18:45 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
16:19:24 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
16:20:40 × tlaxkit quits (~kvirc@89.35.63.16) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
16:22:49 × guest1221 quits (~user@49.5.6.87) (Ping timeout: 260 seconds)
16:23:42 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
16:23:58 × p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
16:24:29 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Quit: avdb)
16:24:40 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
16:25:03 → avdb joins (~avdb@gateway/tor-sasl/avdb)
16:25:52 × columbarius quits (~columbari@mue-88-130-54-198.dsl.tropolys.de) (Ping timeout: 246 seconds)
16:27:08 × dbmikus quits (~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net) (Ping timeout: 256 seconds)
16:27:37 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Client Quit)
16:27:47 → avdb joins (~avdb@gateway/tor-sasl/avdb)
16:27:50 <shapr> Aha, you're using haskell.nix maybe I can steal your config files and get it working for my projects.
16:28:14 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
16:28:20 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
16:28:32 <exarkun> maybe! I have been using it for a while. It seems like every time I go to interact with it, the way you use it has changed.
16:28:47 <exarkun> Now it seems like you use it by copy/pasting an expression from the docs into default.nix and you're done
16:28:57 <shapr> I couldn't get that to work with an empty project.
16:29:01 <exarkun> which I guess is nice. it's simpler than it was before.
16:29:06 <exarkun> ah, huh.
16:29:22 <exarkun> it seems to be working for this project, so yea maybe you'll spot something
16:29:25 <shapr> I'm still a nix novice, but this past weekend has helped.
16:29:29 hackage algebraic-graphs-io 0.1.4.0 - I/O utilities for algebraic-graphs https://hackage.haskell.org/package/algebraic-graphs-io-0.1.4.0 (ocramz)
16:29:32 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 260 seconds)
16:30:53 × Tops21 quits (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Read error: Connection reset by peer)
16:31:50 → jamm joins (~jamm@unaffiliated/jamm)
16:32:23 → Tops2 joins (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de)
16:34:34 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
16:34:44 × alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in)
16:35:37 → hekkaidekapus[ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
16:35:48 → alexelcu joins (~alexelcu@142.93.180.198)
16:37:23 × hekkaidekapus} quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
16:38:49 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 246 seconds)
16:40:34 → columbarius joins (~columbari@mue-88-130-54-123.dsl.tropolys.de)
16:40:41 × ggVGc quits (~ggVGc@unaffiliated/walt) (Ping timeout: 268 seconds)
16:40:56 × ADG1089_ quits (~aditya@122.163.166.13) (Quit: Konversation terminated!)
16:41:17 × jophish quits (~jophish@2400:8901::f03c:91ff:fe39:7a9) (Ping timeout: 272 seconds)
16:43:09 → jophish joins (~jophish@li1766-207.members.linode.com)
16:44:47 → ggVGc joins (~ggVGc@a.lowtech.earth)
16:48:18 → danso joins (~dan@69-165-210-185.cable.teksavvy.com)
16:49:05 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
16:49:43 × mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew)
16:52:54 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
16:56:01 × maerwald quits (~maerwald@5.45.98.221) (Quit: gone)
16:56:03 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
16:56:24 → maerwald joins (~maerwald@mail.hasufell.de)
16:58:31 → avdb joins (~avdb@gateway/tor-sasl/avdb)
16:59:17 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
16:59:45 → electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
17:00:56 → howdoi joins (uid224@gateway/web/irccloud.com/x-sxhozuhwqoyrdzui)
17:01:04 → hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
17:01:11 → Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:a046:62be:dfc5:33d1)
17:03:15 → jumper149 joins (~jumper149@ip4d1622a9.dynamic.kabel-deutschland.de)
17:05:09 ← dandart parts (~Thunderbi@home.dandart.co.uk) ()
17:05:16 → dandart joins (~Thunderbi@home.dandart.co.uk)
17:05:40 → dbmikus joins (~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net)
17:05:53 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
17:07:02 → livvy joins (~livvy@gateway/tor-sasl/livvy)
17:07:17 → juuandyy joins (~juuandyy@90.166.144.65)
17:07:47 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 256 seconds)
17:08:24 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
17:10:13 × jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
17:10:45 → Wraul[m] joins (wraulmatri@gateway/shell/matrix.org/x-wdqkshwdwvsinbjy)
17:12:26 → kritzefitz joins (~kritzefit@212.86.56.80)
17:12:46 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 246 seconds)
17:16:17 × hiroaki quits (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
17:16:49 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
17:19:53 → cfricke joins (~cfricke@unaffiliated/cfricke)
17:20:43 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Quit: avdb)
17:20:56 → avdb joins (~avdb@gateway/tor-sasl/avdb)
17:21:49 → geekosaur joins (42d52137@66.213.33.55)
17:22:26 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
17:23:35 → MVQq joins (~anja@198.254.202.72)
17:23:44 → texasmyn_ joins (~texasmyns@185.232.22.12)
17:23:53 × DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection)
17:24:27 → kam1 joins (~kam1@24.231.108.143)
17:24:50 × mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection)
17:24:53 → DavidEichmann joins (~david@62.110.198.146.dyn.plus.net)
17:24:59 → sm2n_ joins (~sm2n@bras-base-hmtnon1497w-grc-44-69-156-5-58.dsl.bell.ca)
17:25:03 × sm2n quits (~sm2n@bras-base-hmtnon1497w-grc-44-69-156-5-58.dsl.bell.ca) (Remote host closed the connection)
17:25:39 × raoul9 quits (~raoulhida@nomnomnomnom.co.uk) (Read error: Connection reset by peer)
17:25:49 → raoul9 joins (~raoulhida@nomnomnomnom.co.uk)
17:26:04 × texasmynsted quits (~texasmyns@185.232.22.12) (Ping timeout: 246 seconds)
17:26:06 → mozzarella joins (~sam@unaffiliated/sam113101)
17:26:30 → zv joins (~zv@unaffiliated/zv)
17:26:37 × MarcelineVQ quits (~anja@198.254.202.72) (Ping timeout: 264 seconds)
17:28:22 × cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0)
17:28:49 → hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
17:29:42 → rayyyy joins (~nanoz@gateway/tor-sasl/nanoz)
17:39:58 × kupi quits (uid212005@gateway/web/irccloud.com/x-baexxxvsrkvkwodj) (Quit: Connection closed for inactivity)
17:41:31 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
17:41:58 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
17:42:08 → iteratee_ joins (~kyle@162.211.154.4)
17:43:25 × CitizenSnips quits (~CitizenSn@irc.refl.club) (Ping timeout: 264 seconds)
17:43:45 → lep_ joins (~lep@94.31.81.93)
17:44:07 → DANtheBEASTman joins (dysfigured@2600:3c00::f03c:92ff:feb4:be75)
17:44:07 → Geekingfrog_ joins (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf)
17:44:16 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 246 seconds)
17:44:17 × tolt quits (~weechat-h@li219-154.members.linode.com) (Ping timeout: 246 seconds)
17:44:17 × RecursiveG quits (~recursive@li810-210.members.linode.com) (Ping timeout: 246 seconds)
17:44:17 × epta quits (~m@nuda.space) (Ping timeout: 246 seconds)
17:44:17 → RecursiveG_ joins (~recursive@2600:3c00:e000:1ad::1)
17:44:34 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
17:44:37 × dequbed quits (~dequbed@yanduxian.paranoidlabs.org) (Ping timeout: 264 seconds)
17:44:37 × Guest62909 quits (~melkor@31.31.76.126) (Ping timeout: 264 seconds)
17:44:37 × Clint quits (~Clint@libre.fm/hacker/clint) (Ping timeout: 264 seconds)
17:44:37 × columbarius quits (~columbari@mue-88-130-54-123.dsl.tropolys.de) (Ping timeout: 246 seconds)
17:44:38 × iteratee quits (~kyle@162.211.154.4) (Ping timeout: 246 seconds)
17:44:38 × samebchase quits (~samebchas@51.15.68.182) (Ping timeout: 246 seconds)
17:44:38 × dysfigured quits (~dysfigure@li490-89.members.linode.com) (Ping timeout: 246 seconds)
17:44:38 × tristanC quits (~tristanC@unaffiliated/tristanc) (Ping timeout: 246 seconds)
17:44:38 × wowi42_ quits (~wowi42@51.15.249.183) (Ping timeout: 246 seconds)
17:44:39 DANtheBEASTman is now known as dysfigured
17:44:39 × Geekingfrog quits (~geekingfr@li2156-64.members.linode.com) (Read error: Connection reset by peer)
17:44:46 → epta joins (~m@nuda.space)
17:44:54 → wowi42 joins (~wowi42@51.15.249.183)
17:44:56 → Guest62909 joins (~melkor@2a02:2b88:2:1::5b34:1)
17:44:59 × tureba quits (~tureba@tureba.org) (Ping timeout: 246 seconds)
17:44:59 × landonf quits (landonf@mac68k.info) (Remote host closed the connection)
17:45:00 → dequbed joins (~dequbed@yanduxian.paranoidlabs.org)
17:45:04 lep_ is now known as test
17:45:13 × roconnor quits (~roconnor@host-45-78-199-13.dyn.295.ca) (Ping timeout: 264 seconds)
17:45:13 × nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 264 seconds)
17:45:13 × theDon quits (~td@muedsl-82-207-238-191.citykom.de) (Ping timeout: 264 seconds)
17:45:13 × renzhi quits (~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 264 seconds)
17:45:13 × lep-delete quits (~lep@94.31.81.93) (Ping timeout: 264 seconds)
17:45:13 × haveo quits (~haveo@sl35.iuwt.fr) (Ping timeout: 264 seconds)
17:45:13 × kawzeg quits (~kawzeg@li2046-66.members.linode.com) (Ping timeout: 264 seconds)
17:45:13 × quicksilver quits (~jules@roobarb.crazydogs.org) (Ping timeout: 264 seconds)
17:45:13 × myme quits (~myme@li1406-121.members.linode.com) (Ping timeout: 264 seconds)
17:45:22 → samebchase joins (~samebchas@51.15.68.182)
17:45:29 test is now known as lep-delete
17:45:29 → quicksilver joins (~jules@roobarb.crazydogs.org)
17:45:40 → nyd joins (~nyd@unaffiliated/elysian)
17:45:48 → theDon joins (~td@muedsl-82-207-238-191.citykom.de)
17:45:48 → columbarius joins (~columbari@mue-88-130-54-123.dsl.tropolys.de)
17:45:49 → kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
17:45:57 → myme joins (~myme@li1406-121.members.linode.com)
17:45:58 → Clint joins (~Clint@libre.fm/hacker/clint)
17:46:08 → tureba joins (~tureba@tureba.org)
17:46:10 → tolt joins (~weechat-h@li219-154.members.linode.com)
17:46:18 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
17:46:45 → tristanC joins (~tristanC@unaffiliated/tristanc)
17:46:49 → haveo joins (~haveo@51.15.176.9)
17:46:50 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds)
17:47:19 → landonf joins (~landonf@mac68k.info)
17:47:21 → CitizenSnips joins (~CitizenSn@irc.refl.club)
17:47:48 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
17:49:10 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
17:49:57 → cosimone joins (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
17:51:31 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
17:51:46 × asheshambasta quits (~user@ptr-e1lysaxt4bg7tmaahx1.18120a2.ip6.access.telenet.be) (Ping timeout: 258 seconds)
17:52:53 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
17:52:55 × wowi42 quits (~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!)
17:53:37 × haveo quits (~haveo@51.15.176.9) (Ping timeout: 264 seconds)
17:53:40 → wowi42 joins (~wowi42@51.15.249.183)
17:53:42 × dbmikus quits (~dbmikus@c-174-49-174-19.hsd1.pa.comcast.net) (Quit: WeeChat 2.9)
17:53:45 → haveo joins (~haveo@sl35.iuwt.fr)
17:54:23 <kritzefitz> When using TH, is there a way to splice the name of a function into a function declaration or the corresponding type signature? Doing `$name a =...` or `$name :: ...` both seem to produce syntax errors.
17:54:40 <ezzieyguywuf> srk: I don't see "unused-packages" in `man ghc`...
17:55:14 → nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net)
17:57:27 <glguy> kritzefitz: >>> [d| $(conP (mkName "Just") [ [p|a|] ]) = Just 42 |] ;
17:57:31 <glguy> >>> a
17:57:32 <glguy> 42
17:57:36 <srk> ezzieyguywuf: since ghc 8.10
17:57:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
17:58:28 × xff0x_ quits (~fox@2001:1a81:537d:6200:358d:738e:34:fc65) (Ping timeout: 260 seconds)
17:58:39 <ezzieyguywuf> srk: ah hah, womp womp
17:58:48 <ezzieyguywuf> srk: although I should be getting ghc 8.10 in gentoo any day now :)
17:58:57 → xff0x_ joins (~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908)
17:58:58 → christo joins (~chris@81.96.113.213)
17:59:00 <glguy> kritzefitz: but for declaring a variable like: fun x = x + 42, I think you'll need to just use funD
17:59:07 <glguy> no, you can't splice in Name directly
17:59:13 <ezzieyguywuf> btw, the whole gentoo/portage/installing-haskell-thingies-this-way is not that bad at all
18:00:26 <kritzefitz> glguy, Yeah for variables (`ValD`) that works, but I was hoping for something that works for `FunD` too.
18:00:48 <glguy> kritzefitz: You can do it with: [d| $(varP name) = \x y -> x*10+y |]
18:01:55 <kritzefitz> Yes, that would work and would probably be enough for my case. The type signatures still wouldn't work though.
18:03:44 × christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds)
18:05:35 <glguy> >>> (:) <$> sigD (mkName "fun") [t| Int -> Int |] <*> [d|$(varP (mkName "fun")) = \a -> a + 42 |]; >>> fun 5; 47
18:05:37 → hololeap joins (~hololeap@unaffiliated/hololeap)
18:09:33 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 256 seconds)
18:10:03 × livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
18:10:28 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:e98d:e7fe:547e:4e6f) (Quit: My MacBook has gone to sleep. ZZZzzz…)
18:11:00 → star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
18:11:44 → fradet joins (~pi@216.252.75.247)
18:13:25 × nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection)
18:13:58 → nineonine joins (~nineonine@50.216.62.2)
18:14:14 × aowi quits (~aowi@195.140.213.38) (Remote host closed the connection)
18:15:17 → Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
18:18:12 Gurkenglas_ is now known as Gurkenglas
18:19:10 Geekingfrog_ is now known as Geekingfrog
18:23:13 → kam1 joins (~kam1@24.231.108.143)
18:25:51 × Franciman quits (~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
18:28:17 → christo joins (~chris@81.96.113.213)
18:28:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
18:29:53 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
18:33:15 × johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
18:33:54 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
18:34:53 → Khaytsus1 joins (~Khaytsus@185.204.1.185)
18:35:41 × Vulfe_ quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
18:36:54 × cosimone quits (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Remote host closed the connection)
18:37:27 → christo joins (~chris@81.96.113.213)
18:37:52 × shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 260 seconds)
18:39:11 × shf quits (~sheaf@2a01:cb19:80cc:7e00:c5b9:16be:dec9:44c5) (Read error: Connection reset by peer)
18:41:56 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
18:43:30 hackage tasty-silver 3.2 - A fancy test runner, including support for golden tests. https://hackage.haskell.org/package/tasty-silver-3.2 (PhilippHausmann)
18:43:39 → cosimone joins (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
18:44:11 → ADG1089__ joins (~aditya@122.163.166.13)
18:46:53 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
18:47:19 → SGen joins (~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
18:50:36 × Genome quits (~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net) (Ping timeout: 240 seconds)
18:51:05 × zmagii quits (~zmagii@unaffiliated/zmagii) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
18:52:48 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
18:53:05 → vicfred joins (~vicfred@unaffiliated/vicfred)
18:56:12 → Mzg joins (Mzg@s1.ct8.pl)
18:56:36 <Mzg> Hi there :) Are there any Euterpea users here?
18:57:07 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 260 seconds)
18:57:42 × zv quits (~zv@unaffiliated/zv) (Ping timeout: 260 seconds)
18:58:35 → shf joins (~sheaf@2a01:cb19:80cc:7e00:a9e0:e776:ec99:db91)
18:59:01 × nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 264 seconds)
19:02:03 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
19:03:30 → berberman_ joins (~berberman@unaffiliated/berberman)
19:04:10 × ADG1089__ quits (~aditya@122.163.166.13) (Remote host closed the connection)
19:04:19 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
19:04:23 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
19:04:38 → Kaiepi joins (~Kaiepi@47.54.252.148)
19:05:03 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
19:06:49 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
19:12:06 → zv joins (~zv@unaffiliated/zv)
19:13:25 × hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
19:13:43 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
19:15:30 × geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 245 seconds)
19:16:43 × rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds)
19:16:50 → avdb joins (~avdb@gateway/tor-sasl/avdb)
19:21:00 hackage mail-reports 0.2.0.0 - A parser library for DMARC and SMTP TLS reports https://hackage.haskell.org/package/mail-reports-0.2.0.0 (implementation)
19:23:35 × carthia quits (~carthia@gateway/tor-sasl/carthia) (Quit: carthia)
19:25:21 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
19:26:26 → hiroaki joins (~hiroaki@ip4d16fa3b.dynamic.kabel-deutschland.de)
19:31:22 → Genome joins (~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net)
19:32:07 → geekosaur joins (42d52137@66.213.33.55)
19:33:19 → Lycurgus joins (~niemand@cpe-45-46-137-210.buffalo.res.rr.com)
19:33:21 → nil joins (~nil@ool-43523f2e.dyn.optonline.net)
19:34:47 ← nil parts (~nil@ool-43523f2e.dyn.optonline.net) ()
19:35:28 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-vynnkfmwforjolgj)
19:35:37 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds)
19:35:37 × SGen quits (~genome@cpc153687-nrwh14-2-0-cust19.4-4.cable.virginm.net) (Ping timeout: 264 seconds)
19:37:29 hackage table-layout 0.9.1.0 - Format tabular data as grid or table. https://hackage.haskell.org/package/table-layout-0.9.1.0 (muesli4)
19:38:11 × Nahra quits (~Nahra@unaffiliated/nahra) (Ping timeout: 265 seconds)
19:39:39 → unbinilium joins (~unbiniliu@ool-43523f2e.dyn.optonline.net)
19:39:54 → Nahra joins (~Nahra@unaffiliated/nahra)
19:42:43 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
19:42:57 → Younder joins (~john@33.51-174-155.customer.lyse.net)
19:42:59 unbinilium is now known as norflow
19:43:19 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
19:43:30 → solarliner joins (~solarline@243.81.10.109.rev.sfr.net)
19:43:54 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
19:47:08 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
19:47:37 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 264 seconds)
19:47:52 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Ping timeout: 260 seconds)
19:49:07 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
19:51:03 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
19:54:38 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
19:58:01 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
20:00:00 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
20:00:04 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
20:00:17 × ziman quits (~ziman@c25-5.condornet.sk) (Quit: WeeChat 2.9)
20:03:02 × wonko7 quits (~wonko7@2a01:e35:2ffb:7040:4535:f480:7dff:b3b5) (Ping timeout: 260 seconds)
20:03:04 → jneira joins (5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131)
20:05:08 → Franciman joins (~francesco@host-82-49-79-73.retail.telecomitalia.it)
20:05:39 × fuzzypixelz quits (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: fuzzypixelz)
20:06:01 → fuzzypixelz joins (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
20:07:39 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:07:48 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Remote host closed the connection)
20:08:16 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
20:11:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:11:24 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 240 seconds)
20:11:54 → p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
20:12:09 × ggole quits (~ggole@2001:8003:8119:7200:a81c:813a:b28c:21) (Quit: Leaving)
20:14:03 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
20:15:35 × Younder quits (~john@33.51-174-155.customer.lyse.net) (Quit: Leaving)
20:16:36 → avdb joins (~avdb@gateway/tor-sasl/avdb)
20:18:47 × vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov)
20:18:54 → wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net)
20:22:42 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 2.8)
20:24:24 × Khaytsus1 quits (~Khaytsus@185.204.1.185) (Remote host closed the connection)
20:27:12 fendor_ is now known as fendor
20:31:41 × nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) ()
20:33:02 × Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving)
20:34:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
20:35:20 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
20:35:43 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
20:35:54 × chum quits (~lindzeyn@wan.hillcountryweb.com) (Quit: WeeChat 2.8)
20:36:12 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
20:38:03 → tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net)
20:39:34 × Lycurgus quits (~niemand@cpe-45-46-137-210.buffalo.res.rr.com) (Quit: Exeunt)
20:39:43 → kam1 joins (~kam1@24.231.108.143)
20:39:43 → thir joins (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de)
20:39:48 → cosimone_ joins (~cosimone@93-47-228-249.ip115.fastwebnet.it)
20:39:49 × Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds)
20:40:00 → Tario joins (~Tario@200.119.185.159)
20:40:16 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
20:41:48 × cosimone quits (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8) (Ping timeout: 260 seconds)
20:41:49 cosimone_ is now known as cosimone
20:42:25 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
20:42:41 × cosimone quits (~cosimone@93-47-228-249.ip115.fastwebnet.it) (Client Quit)
20:42:51 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
20:43:31 → cosimone joins (~cosimone@2001:b07:ae5:db26:1fb3:ef3f:ece2:c6f8)
20:44:07 × heatsink quits (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523) (Remote host closed the connection)
20:44:36 → Wayno joins (~Wayno@185.103.96.147)
20:46:13 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
20:46:20 → nineonine joins (~nineonine@50.216.62.2)
20:46:44 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
20:50:12 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
20:51:05 × solarliner quits (~solarline@243.81.10.109.rev.sfr.net) (Quit: solarliner)
20:51:41 → philopsos joins (~caecilius@gateway/tor-sasl/caecilius)
20:52:15 <ezzieyguywuf> ok, so I'm trying to run the test-suite for machines (https://hackage.haskell.org/package/machines). if I execute `./setup configure --enable-tests; ./setup build; ./setup haddock; ./setup test`, the tests fail "doctests: <command line>: cannot satisfy -package machines-0.7.1"
20:52:23 <ezzieyguywuf> if I take out the `./setup haddock` step, tests run fine
20:52:27 <ezzieyguywuf> any idea why this might be?
20:54:08 × thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202)
20:55:36 × avdb quits (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
20:57:18 × thir quits (~thir@p200300f27f164f00f068565576ce0558.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
20:57:47 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
20:58:28 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
20:58:42 <ezzieyguywuf> hrm, it seems that `./setup haddock` deletes `./dist/package.conf.inplace/machines-0.7.1-<hash>.conf`
20:58:50 <ezzieyguywuf> is this a bug, or do I need to pass a flag to haddock?
20:59:01 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
20:59:25 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
21:00:10 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
21:00:22 <ezzieyguywuf> hrm, it seems that `ghc-pkg init....` (called by ./setup haddock) is to blame...
21:01:31 × xff0x_ quits (~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908) (Ping timeout: 258 seconds)
21:02:04 <ezzieyguywuf> interesting, if I excecute the ghc-pkg init command manually, it refuses to do anything b/c the dir exists
21:03:07 <ezzieyguywuf> here's a (verbose) log of the offending haddock invokation https://dpaste.com/5877KBKCE
21:03:13 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
21:05:36 × xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
21:05:54 → xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar)
21:07:38 × norflow quits (~unbiniliu@ool-43523f2e.dyn.optonline.net) (Ping timeout: 256 seconds)
21:12:24 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
21:15:15 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
21:18:31 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
21:18:46 → zmagii joins (~zmagii@unaffiliated/zmagii)
21:19:20 × mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz)
21:20:16 → mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de)
21:23:33 → xff0x_ joins (~fox@2001:1a81:537d:6200:a74c:d71f:eb2e:2908)
21:24:07 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
21:24:47 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
21:28:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
21:28:39 → xcmw joins (~textual@2603-6011-2200-f103-c0c2-1e0a-7ed6-0dd8.res6.spectrum.com)
21:28:48 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
21:29:52 → hseg joins (~gesh@IGLD-84-228-238-87.inter.net.il)
21:31:01 <hseg> Hi. my testcase has some edge cases where it gets stuck, is there some way to have quickcheck report the case before being killed by OOM?
21:32:29 × dsal quits (sid13060@gateway/web/irccloud.com/x-auonqazuemdkzyye) (Ping timeout: 244 seconds)
21:32:29 × chpatrick quits (sid239395@gateway/web/irccloud.com/x-rhravxibfvsetmow) (Ping timeout: 244 seconds)
21:32:29 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-fmxliclmtnkycstb) (Ping timeout: 244 seconds)
21:32:44 → kyagrd__ joins (sid102627@gateway/web/irccloud.com/x-rqbpporrihbcpahe)
21:33:00 × _Alleria quits (~AllahuAkb@2604:2000:1484:26:fc97:daa2:47d5:3561) (Ping timeout: 258 seconds)
21:33:00 × liszt quits (sid336875@gateway/web/irccloud.com/x-iluopyocuesnknfn) (Ping timeout: 258 seconds)
21:33:00 × parseval quits (sid239098@gateway/web/irccloud.com/x-pmotixrxellomgay) (Ping timeout: 244 seconds)
21:33:00 × PotatoGim quits (sid99505@gateway/web/irccloud.com/x-hlnasejbcjzegeqa) (Ping timeout: 244 seconds)
21:33:00 × taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-itxakgqwhnqkbebe) (Ping timeout: 244 seconds)
21:33:00 × milessabin quits (sid86799@gateway/web/irccloud.com/x-ascncjvecpuyiyrz) (Ping timeout: 244 seconds)
21:33:00 × hazard-pointer quits (sid331723@gateway/web/irccloud.com/x-wwsxwkmcbnytyqgp) (Ping timeout: 244 seconds)
21:33:00 × ghuntley quits (sid16877@gateway/web/irccloud.com/x-qztbkgafmugcryxi) (Ping timeout: 244 seconds)
21:33:13 → Alleria_ joins (~AllahuAkb@2604:2000:1484:26:158b:2144:660a:a16b)
21:33:29 × jassob quits (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 256 seconds)
21:34:01 → taktoa[c] joins (sid282096@gateway/web/irccloud.com/x-lvdaposrlneldkme)
21:34:01 → liszt joins (sid336875@gateway/web/irccloud.com/x-vjevhjtgitwwbjkb)
21:34:02 → milessabin joins (sid86799@gateway/web/irccloud.com/x-movwswjvobpojuzc)
21:34:02 → chpatrick joins (sid239395@gateway/web/irccloud.com/x-wqumiebnaqquaidk)
21:34:02 → parseval joins (sid239098@gateway/web/irccloud.com/x-xrspdpklffjsbdan)
21:34:04 → dsal joins (sid13060@gateway/web/irccloud.com/x-pxsnympjlocgwvcz)
21:34:14 → PotatoGim joins (sid99505@gateway/web/irccloud.com/x-rzrxvalmasmuxemd)
21:34:42 → ghuntley joins (sid16877@gateway/web/irccloud.com/x-bidlwzbzmecvbxqt)
21:34:47 → hazard-pointer joins (sid331723@gateway/web/irccloud.com/x-xwxkfcgpqygcxmpg)
21:35:04 → jassob joins (~jassob@korrob.vth.sgsnet.se)
21:36:08 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
21:41:01 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
21:41:25 × geekosaur quits (42d52137@66.213.33.55) (Remote host closed the connection)
21:41:28 <juri_> oh haskell. how you make the complicated mind-warping.
21:41:50 <tomsmeding> hseg: you might try passing +RTS -M4G to your executable
21:42:07 <tomsmeding> that sets the maximum heap size to 4G (replace with whatever is appropriate for your system)
21:42:19 <hseg> sure, but that just pushes things off
21:42:24 <tomsmeding> not sure if that will crash in a way that quickcheck can still detect though
21:42:58 <tomsmeding> well my suggestion was letting the haskell RTS decide that enough is enough, instead of linux' OOM killer
21:43:16 <tomsmeding> so make that 4G _less_ than your current available memory
21:43:32 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
21:43:45 <tomsmeding> but, yeah, not sure if that will actually work
21:45:24 × kam1 quits (~kam1@24.231.108.143) (Ping timeout: 272 seconds)
21:47:45 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds)
21:47:50 × sgibber2018 quits (~arch-gibb@208.85.237.137) (Quit: WeeChat 2.9)
21:51:15 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
21:51:37 × borne quits (~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
21:52:53 → neiluj joins (~jco@91-167-203-101.subs.proxad.net)
21:52:56 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
21:53:30 hackage nix-tree 0.1.3.0 - Interactively browse a Nix store paths dependencies https://hackage.haskell.org/package/nix-tree-0.1.3.0 (utdemir)
21:54:14 × neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host)
21:54:14 → neiluj joins (~jco@unaffiliated/neiluj)
21:54:39 <hseg> yeah, quickcheck doesn't crash properly for this
21:54:51 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
21:56:35 <hseg> aha! docs recommend using 'within'
21:56:50 → mounty joins (~mounty@2001:8000:2f59:0:6d56:fa71:1764:6b85)
21:57:22 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
21:57:54 <tomsmeding> ah, a timeout, yes that could work too
21:58:56 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
21:59:15 <hseg> ok, found another parameter I should bound by
21:59:29 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
22:01:12 <hseg> hrmph. ok, will have to write the Arbitrary instance explicitly
22:01:28 <tomsmeding> apparently (I think?) setting resource limits at runtime is not yet supported in ghc: https://gitlab.haskell.org/ghc/ghc/-/issues/7763
22:01:41 <tomsmeding> would've been nice here I guess
22:01:41 → chang joins (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com)
22:02:42 × Tops2 quits (~Tobias@dyndsl-095-033-016-029.ewe-ip-backbone.de) (Read error: Connection reset by peer)
22:03:49 <monochrom> Haha, Simon Marlow roasts both ways: "not convinced the changed semantics works" and "not convinced the current semantics works either".
22:03:55 <hseg> nice
22:04:27 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
22:04:46 <hseg> hrm. given the combinatorial explosion in my test suite, need to test short lists and small ints. any way i can bound the sizes quickcheck uses?
22:07:51 × haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
22:08:08 × grdvnl quits (~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) (Ping timeout: 268 seconds)
22:08:12 <hseg> resize looks appropriate
22:08:15 → haasn joins (~nand@mpv/developer/haasn)
22:08:56 × nyd quits (~nyd@unaffiliated/elysian) (Ping timeout: 240 seconds)
22:09:49 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
22:10:37 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
22:11:23 × chang quits (~textual@host-173-230-65-85.njjcmar.clients.pavlovmedia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
22:12:04 <fuzzypixelz> is there a way to join a [String] into one String
22:12:13 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
22:12:20 <fuzzypixelz> or rather a read-to-use function
22:12:35 <xsperry> concat
22:13:12 <xsperry> > concat (words "1 2 3")
22:13:15 <lambdabot> "123"
22:13:36 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
22:13:58 <hseg> ok, bounding works nicely
22:13:59 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
22:14:16 <fuzzypixelz> > concat lines "Hello\nThese are some lines\nBye!"
22:14:18 <lambdabot> error:
22:14:19 <lambdabot> • Couldn't match expected type ‘[Char] -> t’
22:14:19 <lambdabot> with actual type ‘[String]’
22:14:21 <hseg> btw, any way of getting quickcheck to write a log of known-good cases to a file?
22:14:40 <fuzzypixelz> concat . lines $ "Hello\nThese are some lines\nBye!"
22:14:47 → Deide joins (~Deide@217.155.19.23)
22:14:50 <fuzzypixelz> > concat . lines $ "Hello\nThese are some lines\nBye!"
22:14:53 <lambdabot> "HelloThese are some linesBye!"
22:15:19 <fuzzypixelz> is that an __acceptable__ way to do this?
22:16:32 <xsperry> sure
22:17:28 → andi- joins (~andi-@NixOS/user/andi-)
22:17:47 → coot joins (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl)
22:18:31 <ephemient> how is that different from `filter (/= '\n')`?
22:19:06 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
22:19:51 × mimi_vx quits (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 268 seconds)
22:21:06 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:21:49 <fuzzypixelz> aha
22:22:11 <fuzzypixelz> it's already so hard to do things without my loops
22:22:38 <fuzzypixelz> ephemient: I don't think it's different, I just didn't think of that
22:23:51 → kam1 joins (~kam1@24.231.108.143)
22:24:48 × coot quits (~coot@37.30.50.187.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
22:25:34 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
22:27:07 × iqubic quits (~user@2601:602:9500:4870:8814:94b0:8a49:5083) (Ping timeout: 260 seconds)
22:28:16 <hseg> hrm... label doesn't seem to have any effect
22:28:26 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Remote host closed the connection)
22:28:44 texasmyn_ is now known as texasmynsted
22:31:45 × Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 240 seconds)
22:31:50 → Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
22:32:54 <Feuermagier> how do I elegantly average a list of doubles?
22:35:43 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8)
22:36:27 × Tario quits (~Tario@200.119.185.159) (Ping timeout: 260 seconds)
22:36:36 × fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 256 seconds)
22:36:52 × jneira quits (5127ad83@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.131) (Ping timeout: 246 seconds)
22:36:55 → fresheyeball joins (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com)
22:38:37 × Franciman quits (~francesco@host-82-49-79-73.retail.telecomitalia.it) (Quit: Leaving)
22:39:41 → iqubic joins (~user@2601:602:9500:4870:55c5:a9fe:a753:58ff)
22:40:34 <xsperry> > let xs = [1,2,10] in sum xs / fromIntegral (length xs)
22:40:34 → Tario joins (~Tario@201.192.165.173)
22:40:36 <lambdabot> 4.333333333333333
22:40:43 <Feuermagier> ah, sry. let me rephrase
22:40:48 <Feuermagier> i have a list of lists
22:40:58 <Feuermagier> (assume all same length)
22:41:01 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
22:41:17 <Feuermagier> and i want the first element in every list to be the average of all first elements
22:42:04 <ski> if input is `[[a],[b,c],[d,e,f]]', what should output be ?
22:42:08 <Feuermagier> the second in every list to be the average of all 2nd elements (and so on)
22:42:09 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
22:42:36 <ski> oh, sorry. missed that all had same length
22:42:40 <sm[m]> sooo.. all the lists are the same ?
22:42:56 <Feuermagier> yes, well, actually I just fill up with 0 should one be less
22:43:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
22:43:16 <fuzzypixelz> https://bpa.st/AIGA
22:43:36 × solonarv quits (~solonarv@adijon-656-1-25-229.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds)
22:43:39 <fuzzypixelz> can you tell what the syntax error here is? I still don't know how to do correct identation
22:43:42 <monochrom> I don't understand why the output has to be [[Double]], not simply [Double].
22:43:54 <ski> > let average xs = sum xs / fromIntegral (length xs) in (map average . transpose) [[1,4,7],[2,5,8],[3,6,9]]
22:43:56 <lambdabot> [2.0,5.0,8.0]
22:44:27 <ski> > let average xs = sum xs / fromIntegral (length xs) in (map average . transpose) [[1,4,7],[2,5,8],[3,6,9]] :: [Expr]
22:44:29 <lambdabot> [(0 + 1 + 2 + 3) / 3,(0 + 4 + 5 + 6) / 3,(0 + 7 + 8 + 9) / 3]
22:44:36 <monochrom> But I would make the output simply [Double]. Then my algorithm is (map average . transpose), where I code up "average" to be a simple average of one list.
22:44:50 <monochrom> Yeah what ski did.
22:45:30 <ski> fuzzypixelz : indent `if' more than `unique'
22:45:44 × neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving)
22:45:47 <ski> you can also use guards, here
22:46:14 <Feuermagier> ski, big thanks!
22:46:18 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
22:46:54 <ski> although, `acc ++ answer' is a type error. and you've got the parameter ordering of `foldl' wrong
22:48:37 → Aquazi joins (uid312403@gateway/web/irccloud.com/x-rvdkfbbedyjxkcho)
22:49:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
22:49:20 <monochrom> This is why I (and most others) don't put anything on the same line as "where".
22:49:24 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
22:50:10 <fuzzypixelz> ski: I though it was with respect with `where`, thank you
22:50:49 <monochrom> And it still doesn't imply that the line after "where" is horrendously indented by 8 spaces. You can use just 2 for "where", 4 for the line after.
22:51:40 → benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ohsvkwapujoenvvu)
22:52:05 <monochrom> In addition, this also is more honest, less misleading when: before the 2-space-indented "where" you have a 4-space-indented do-block.
22:52:13 <Feuermagier> ski, how do i elegantly append 0 until all lists are of the same length in my previous example?
22:52:58 <Feuermagier> (as i actually want it to work on lists with differentl length, just as if a nonexistant element *were* 0)
22:53:11 × Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:a046:62be:dfc5:33d1) (Quit: Leaving)
22:53:35 <monochrom> > transpose ["abcd", "01"]
22:53:37 <lambdabot> ["a0","b1","c","d"]
22:54:24 <monochrom> I think you don't need to. You just need the maximum length, use it for your divisor.
22:55:32 <Feuermagier> monochrom, can you show how you mean that on the function of ski : let average xs = sum xs / fromIntegral (length xs) in (map average . transpose)
22:55:40 <monochrom> average [x,y] = sum [x,y] / 10 if you know 10 is the maximum length coming from outer level.
22:56:42 → pavonia joins (~user@unaffiliated/siracusa)
22:56:46 <monochrom> OK, your input is [[x,y], [a,b,c,d,e,f,g,h,i]]
22:57:02 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
22:57:13 <monochrom> n = fromIntegral (maximum (map length that)) gives you 10.0
22:57:15 <hseg> any way of getting quickcheck to abort a test if it's too expensive but still keep going?
22:57:22 <hseg> i.e. a non-fatal 'within'
22:58:06 × Mikagami quits (~MOSCOS@122.54.107.175) (Remote host closed the connection)
22:58:11 <monochrom> map (\xs -> sum xs / n) (transpose that) is the list of averages.
22:58:25 <monochrom> also the input is [[x,y], [a,b,c,d,e,f,g,h,i,j]]
22:58:32 → Mikagami joins (~MOSCOS@122.54.107.175)
22:58:50 <Feuermagier> monochrom, i want my example to behave *as if* zeroes were attended to the list
22:59:00 <Feuermagier> so all lists are same length
22:59:04 <monochrom> I did that.
22:59:25 <Feuermagier> monochrom, which formula does that?
23:02:08 <Feuermagier> monochrom, so mix xss = map average . transpose (transpose xss [0..]) ?
23:02:20 <ski> that's a type error
23:02:42 <Feuermagier> ski, mind showing me the correct one?
23:03:07 <ski> i guess they wanted `length that', not `maximum (map length that)' ?
23:03:32 <monochrom> > maximum (map length [[x,y], [a,b,c,d,e,f,g,h,i,j]])
23:03:34 <lambdabot> 10
23:03:39 <ski> yes
23:03:49 <ski> > transpose [[x,y],[a,b,c,d,e,f,g,h,i,j]]
23:03:51 <lambdabot> [[x,a],[y,b],[c],[d],[e],[f],[g],[h],[i],[j]]
23:03:54 <ski> seems `n' should be `2', here ?
23:03:58 <Feuermagier> ski, so in our example?
23:04:10 <monochrom> Oh, I see, right, n = length that.
23:04:33 <ski> Feuermagier : do you understand ?
23:04:43 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Quit: ChaiTRex)
23:04:44 <Feuermagier> no
23:04:52 <Feuermagier> like, i just want to fill with 0
23:05:09 <Feuermagier> so i can use it on varying length
23:05:22 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
23:05:51 <ski> > (map (\xs -> sum xs / 2) . transpose) [[x,y],[a,b,c,d]] :: [Expr]
23:05:53 <lambdabot> [(0 + x + a) / 2,(0 + y + b) / 2,(0 + c) / 2,(0 + d) / 2]
23:06:02 × gioyik quits (~gioyik@186.112.104.164) (Quit: WeeChat 3.0)
23:06:15 <ski> Feuermagier : ^ looks ok ?
23:06:21 <Feuermagier> yes
23:06:26 × fendor quits (~fendor@77.119.131.23.wireless.dyn.drei.com) (Remote host closed the connection)
23:08:15 × mimi_vx quits (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42) (Ping timeout: 272 seconds)
23:08:29 hackage brick 0.58 - A declarative terminal user interface library https://hackage.haskell.org/package/brick-0.58 (JonathanDaugherty)
23:09:05 × Madars quits (~null@unaffiliated/madars) (Quit: WeeChat 1.9.1)
23:09:15 <ski> > (map (\xs -> foldl1' (+) xs / 3) . transpose) [[x,y],[a,b,c,d],[i,j,k]] :: [Expr]
23:09:17 <lambdabot> [(x + a + i) / 3,(y + b + j) / 3,(c + k) / 3,d / 3]
23:10:19 <hseg> correct me if i'm wrong, but an expression like length [(t, f * dsOccs m t) | n <- [0 .. m], (t, f) <- terms n (fromFreqs l)] < 35 will only compute the first 35 elements of the list, correct?
23:10:39 <hseg> even if this is buried under several layers of function calls
23:10:59 <glguy> hseg: that would be wrong
23:11:00 <ski> nope
23:11:07 <monochrom> > length [0..] < 3
23:11:13 <lambdabot> mueval-core: Time limit exceeded
23:11:17 <hseg> :-(
23:11:22 <fuzzypixelz> can I have mutliline function composition?
23:11:23 <glguy> monochrom: there's no space in <3 :nod:
23:11:35 <ski> try `drop 34' ?
23:11:40 <monochrom> Oh! I'll fix it
23:11:42 <monochrom> > length [0..] <3
23:11:49 <lambdabot> mueval-core: Time limit exceeded
23:11:55 <glguy> length is love
23:11:58 <hseg> > null (drop 34 [0..])
23:12:00 <lambdabot> False
23:12:27 <hseg> ok, so should replace my "avoid large testcase" code with that
23:12:28 <glguy> hseg: in your caes of being interested in lengths < 35, : length (take 35 xs) < 35
23:12:51 <ski> > genericLength [0 ..] < (35 :: Natural)
23:12:53 <lambdabot> False
23:12:53 <Feuermagier> thx. i get it now
23:12:59 <monochrom> You should instead code up a non-partial version of (!) and then ask whether xs!34 gives you Just or Nothing.
23:13:02 <glguy> (or the drop thing, etc)
23:13:23 <monochrom> Err nevermind, drop and null are better.
23:13:32 <hseg> hrm. why does genericLength work here?
23:13:52 <ski> because `Natural' has `<' working as you hoped
23:13:55 <monochrom> genericLength uses non-tail recursion, length uses tail recursion.
23:14:00 <glguy> because generic length is written inefficiently specifically to support this one case
23:14:02 <monochrom> Clearly, non-tail recursion is better.
23:14:56 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
23:15:01 <monochrom> genericLength (x:xs) = 1 + genericLength xs. And then, (+) for Natural is lazy in its 2nd operand.
23:15:18 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
23:15:22 <monochrom> (Natural is a lazy ADT that does unary representation.)
23:15:42 <ski> fuzzypixelz : yes
23:15:51 <monochrom> I would call it too-cute-to-be-clear and use drop and null instead.
23:15:51 <ski> Feuermagier : good
23:16:01 <hseg> k
23:17:18 <hseg> hrm. am using this sample size as a way of getting quickcheck to avoid getting bogged down on the heavy cases, but obviously this skews the data
23:17:19 → Varis joins (~Tadas@unaffiliated/varis)
23:17:37 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
23:18:00 <hseg> would much rather just set a non-fatal timeout and classify inputs by size and proportion that passed/timed out
23:18:25 <hseg> especially since this test is giving me ~50% discard rates
23:20:49 <monochrom> I don't know QuickCheck, but I would maybe surrender and handcode my own probability distribution that gives very low probabilities to large sizes.
23:20:59 × dani- quits (sid341953@gateway/web/irccloud.com/x-etuikjdqhtlxnikg) (Ping timeout: 244 seconds)
23:21:15 × graingert quits (sid128301@gateway/web/irccloud.com/x-bjuycxdqgmhotamy) (Ping timeout: 246 seconds)
23:21:26 × kristjansson quits (sid126207@gateway/web/irccloud.com/x-zemoiiyajxcgmkny) (Ping timeout: 258 seconds)
23:21:31 × kyagrd__ quits (sid102627@gateway/web/irccloud.com/x-rqbpporrihbcpahe) (Ping timeout: 268 seconds)
23:21:38 × jackdk quits (sid373013@gateway/web/irccloud.com/x-arnfpemfesqxinsb) (Ping timeout: 260 seconds)
23:21:38 × hazard-pointer quits (sid331723@gateway/web/irccloud.com/x-xwxkfcgpqygcxmpg) (Ping timeout: 264 seconds)
23:21:38 × rslima_____ quits (sid26145@gateway/web/irccloud.com/x-ulbqzbetuoeoivoe) (Ping timeout: 264 seconds)
23:21:39 × kozowu quits (uid44796@gateway/web/irccloud.com/x-ehcrldadbfrqmeyx) (Ping timeout: 260 seconds)
23:22:03 <monochrom> Last year I learned random generation of trees the hard and dumb way.
23:22:14 × ocharles quits (sid30093@musicbrainz/user/ocharles) (Ping timeout: 264 seconds)
23:22:14 <hseg> oh?
23:22:35 × m-renaud quits (sid333785@gateway/web/irccloud.com/x-bvdukrsbucqgcnqd) (Ping timeout: 258 seconds)
23:22:37 <monochrom> I went "with probability 0.5, have no children; with the other 0.5, have 2 children"
23:22:39 × agander_m quits (sid407952@gateway/web/irccloud.com/x-ctyuuwytdqmcprct) (Ping timeout: 246 seconds)
23:22:45 × ghuntley quits (sid16877@gateway/web/irccloud.com/x-bidlwzbzmecvbxqt) (Ping timeout: 268 seconds)
23:22:48 × typetetris quits (sid275937@gateway/web/irccloud.com/x-msdsoshziggpwxpy) (Ping timeout: 260 seconds)
23:22:50 × glowcoil quits (sid3405@gateway/web/irccloud.com/x-lqqmqvcnwcqvjpmg) (Ping timeout: 264 seconds)
23:22:50 × srhb quits (sid400352@NixOS/user/srhb) (Ping timeout: 264 seconds)
23:22:50 × Kamuela quits (sid111576@gateway/web/irccloud.com/x-bphhyywmrokmqdlb) (Ping timeout: 264 seconds)
23:23:07 × milessabin quits (sid86799@gateway/web/irccloud.com/x-movwswjvobpojuzc) (Ping timeout: 260 seconds)
23:23:07 × taktoa[c] quits (sid282096@gateway/web/irccloud.com/x-lvdaposrlneldkme) (Ping timeout: 260 seconds)
23:23:08 <monochrom> So my program took forever because it's generated a neverending tree.
23:23:23 × J_Arcane quits (sid119274@gateway/web/irccloud.com/x-efprusjudjcoflyt) (Ping timeout: 260 seconds)
23:23:41 <monochrom> I talked about it here and someone pointed out the very obvious makes-me-bang-head-at-wall-why-didn't-I-see-it-it's-so-obvious:
23:24:13 <monochrom> So every node has 1 child on average. This is not going to end.
23:24:30 <hseg> oh. oops
23:24:49 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 264 seconds)
23:25:07 <monochrom> The irony is I taught expected values to students, in terms of average case running time.
23:26:09 <hseg> heh
23:26:10 <fuzzypixelz> ski: but how?
23:26:21 <hseg> so how *do* you gen random trees?
23:26:22 <monochrom> Anyway, it motivated me to read a couple of papers on randomly generating trees with a target size, and recalling my knowledge of generating polynomials, combinatorics, etc.
23:27:46 <monochrom> OK, so you can still go: "after generated a node, when deciding whether it is leaf or internal: with probability p, it's a leaf; with probability 1-p, it's internal, has two children" recursively.
23:28:11 <monochrom> But just be careful with p and 1-p. There is even a formula for them if you have a desired global size in mind.
23:28:21 <hseg> and then you pick p so the expected tree size is correct?
23:28:26 <monochrom> Yeah.
23:29:30 <monochrom> I don't have the formula. But I can point you to the paper. Alternatively, don't worry about it, just try some sensible values, check that the expected value is reasonable.
23:30:05 <hseg> hrm... so E[size]=(1-p)E[size]^2 at fixed point, so you'd want 1-p=1/target ?
23:30:35 <monochrom> "Boltzmann samplers for the random generation of combinatorial structures"
23:30:47 → sandy-claws joins (jess@freenode/staff/jess)
23:31:01 <ski> fuzzypixelz : just indent enough. i prefer leading following lines with `.'
23:31:33 <hseg> ty
23:31:37 <monochrom> Yeah I think that's it.
23:32:31 <hseg> back to my quickcheck code, just noticed i can potentially replace a case filter by correct-by-construction generation
23:33:01 <ski> or one can used `sized' to cut-off depth (or number of nodes)
23:33:11 <ski> @type sized
23:33:12 <lambdabot> (Int -> Gen a) -> Gen a
23:33:13 <hseg> except i need to convert a function :: RandomGen g => Int -> g -> (t,g) to Int -> Gen t
23:33:43 <hseg> and these Ints differ (the function accepts target size, I want to accept max size)
23:34:05 <hseg> the latter can be dealt with. how do i do the former?
23:34:23 → mimi_vx joins (~mimi@2a01:490:16:1026:bdf1:c121:9afd:9d42)
23:39:25 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
23:40:10 → heatsink joins (~heatsink@2600:1700:bef1:5e10:7482:9511:22c:1523)
23:40:13 × fresheyeball quits (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com) (Ping timeout: 258 seconds)
23:40:18 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
23:42:14 → fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net)
23:42:40 <hseg> ok, can just explicitly construct it with MkGen and drop the new seed
23:43:48 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
23:44:14 → Melanie joins (~Melanie@192-0-134-138.cpe.teksavvy.com)
23:45:28 × Lowl3v3l quits (~Lowl3v3l@dslb-090-186-057-171.090.186.pools.vodafone-ip.de) (Read error: Connection reset by peer)
23:45:45 → Lowl3v3l joins (~Lowl3v3l@dslb-090-186-057-171.090.186.pools.vodafone-ip.de)
23:46:00 × Vulfe quits (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26) (Remote host closed the connection)
23:47:02 × kam1 quits (~kam1@24.231.108.143) (Read error: Connection reset by peer)
23:47:20 → kam1 joins (~kam1@24.231.108.143)
23:47:25 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
23:47:34 → borne joins (~fritjof@200116b864861500c0a3d285e8e687f4.dip.versatel-1u1.de)
23:48:16 × Melanie quits (~Melanie@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 240 seconds)
23:51:17 <__monty__> > case Data.Map.singleton 1 of Data.Map.empty -> True; _ -> False
23:51:20 <lambdabot> error:
23:51:20 <lambdabot> Qualified name in binding position: Data.Map.empty
23:51:33 <__monty__> Can't pattern match on an empty Map?
23:51:59 × al3x27 quits (~plovs@85.254.75.83) (Ping timeout: 260 seconds)
23:52:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
23:55:19 <ski> __monty__ : you could define a pattern synonym ..
23:55:29 <__monty__> internal library
23:55:46 <__monty__> Woops.
23:55:47 → Vulfe joins (~vulfe@2600:1702:31b0:34e0:2570:8bc6:6048:3a26)
23:56:17 <__monty__> ski: I should look into that. In this case I'm fine with | M.null map though.
23:56:43 <ski> what're you doing, in case of non-empty ?
23:57:15 × pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Remote host closed the connection)
23:58:01 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
23:59:38 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)

All times are in UTC on 2020-12-21.