Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 876 877 878 879 880 881 882 883 884 885 886 .. 18027
— 1,802,607 events total
2021-07-10 05:39:11 × favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds)
2021-07-10 05:39:55 <DigitalKiwi> also maybe windows; i'm pretty sure i've had smaller static binaries on linux
2021-07-10 05:40:37 <c_wraith> Last time I actually paid attention to binary sizes, I was still using 32-bit GHC. That was a long time ago now.
2021-07-10 05:40:59 <sm> many many people do though.. tis a haskell FAQ
2021-07-10 05:42:15 × wei2912 quits (~wei2912@112.199.250.21) (Ping timeout: 252 seconds)
2021-07-10 05:44:44 <StayHungry> thank you for in-depth replies, comrades
2021-07-10 05:50:22 → yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-10 05:50:28 ← StayHungry parts (~StayHungr@gateway/tor-sasl/stayhungry) (-)
2021-07-10 05:52:28 → favonia joins (~favonia@user/favonia)
2021-07-10 05:54:17 × yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-07-10 05:54:17 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-10 05:54:30 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-10 05:59:09 <arahael> I've forgotten some syntax... How do I specify multiple restrictions on a type? Eg, `foo :: A a, B b => a -> b -> a
2021-07-10 05:59:26 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 255 seconds)
2021-07-10 05:59:44 <arahael> I want to have `a` be an instance of `A`, and `b` be an instance of `B`.
2021-07-10 06:00:20 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-10 06:01:03 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-07-10 06:02:01 × scrazen quits (~scrazen@user/scrazen) (Quit: Konversation terminated!)
2021-07-10 06:08:22 → Pickchea joins (~private@user/pickchea)
2021-07-10 06:10:52 <arahael> Found it - in the haskell report. I was missing ()'s.
2021-07-10 06:11:07 <DigitalKiwi> oh good i was thinking it's ()'s
2021-07-10 06:13:40 <arahael> Yep, except I was trying `:: (A a), (B b) =>`, and that didn't work, but the report is clear - it's `:: (A a, B b) =>`
2021-07-10 06:14:14 <sm> github actions are horribly complex
2021-07-10 06:14:19 × zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-10 06:15:18 → zaquest joins (~notzaques@5.128.210.178)
2021-07-10 06:16:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-10 06:21:18 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-10 06:23:08 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-07-10 06:24:37 × cheater quits (~Username@user/cheater) (*.net *.split)
2021-07-10 06:24:37 × emergence quits (~emergence@vm0.max-p.me) (*.net *.split)
2021-07-10 06:24:37 × ding quits (~ding@commie.space) (*.net *.split)
2021-07-10 06:24:37 × smtnet3 quits (~asdfasdfa@202.36.244.28) (*.net *.split)
2021-07-10 06:24:37 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
2021-07-10 06:24:37 × awth13 quits (~user@user/awth13) (*.net *.split)
2021-07-10 06:24:37 × Megant quits (megant@user/megant) (*.net *.split)
2021-07-10 06:24:37 × alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (*.net *.split)
2021-07-10 06:24:37 × sander quits (~sander@user/sander) (*.net *.split)
2021-07-10 06:24:37 × darklambda quits (~whateverg@111.65.56.40) (*.net *.split)
2021-07-10 06:24:37 × MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (*.net *.split)
2021-07-10 06:24:38 × AlexZenon quits (~alzenon@178.34.162.146) (*.net *.split)
2021-07-10 06:24:38 × peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (*.net *.split)
2021-07-10 06:24:38 × terrorjack quits (~terrorjac@ec2-54-95-39-30.ap-northeast-1.compute.amazonaws.com) (*.net *.split)
2021-07-10 06:24:38 × ablutor quits (~quassel@wasscher.com) (*.net *.split)
2021-07-10 06:24:38 × Adran quits (~adran@botters/adran) (*.net *.split)
2021-07-10 06:24:38 × orzo quits (joe@lasker.childrenofmay.org) (*.net *.split)
2021-07-10 06:24:38 × chkno_ quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (*.net *.split)
2021-07-10 06:24:38 × jjhoo quits (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (*.net *.split)
2021-07-10 06:24:38 × dsf_ quits (~dsf@cpe-66-75-56-205.san.res.rr.com) (*.net *.split)
2021-07-10 06:24:38 × shailangsa quits (~shailangs@host86-186-196-229.range86-186.btcentralplus.com) (*.net *.split)
2021-07-10 06:24:38 × gawen quits (~gawen@user/gawen) (*.net *.split)
2021-07-10 06:24:38 × Firedancer quits (sid336191@stonehaven.irccloud.com) (*.net *.split)
2021-07-10 06:24:38 × L29Ah quits (~L29Ah@user/l29ah) (*.net *.split)
2021-07-10 06:24:38 × lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
2021-07-10 06:24:38 × bollu quits (~bollu@139.59.46.74) (*.net *.split)
2021-07-10 06:24:38 × sm2n quits (~sm2n@user/sm2n) (*.net *.split)
2021-07-10 06:24:38 × dustinm quits (~dustinm@static.38.6.217.95.clients.your-server.de) (*.net *.split)
2021-07-10 06:24:38 × yahb quits (xsbot@user/mniip/bot/yahb) (*.net *.split)
2021-07-10 06:24:39 × Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (*.net *.split)
2021-07-10 06:24:39 × smitop quits (~smitop@user/smitop) (*.net *.split)
2021-07-10 06:24:39 × ChanServ quits (ChanServ@services.libera.chat) (*.net *.split)
2021-07-10 06:24:39 × haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (*.net *.split)
2021-07-10 06:24:39 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (*.net *.split)
2021-07-10 06:24:39 × ishutin quits (~ishutin@87-97-88-250.pool.digikabel.hu) (*.net *.split)
2021-07-10 06:24:39 × pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (*.net *.split)
2021-07-10 06:24:39 × s__ quits (~s@50.34.81.185) (*.net *.split)
2021-07-10 06:24:39 × nerdypepper quits (~nerdypepp@user/nerdypepper) (*.net *.split)
2021-07-10 06:24:39 × artagnon quits (sid7560@id-7560.tooting.irccloud.com) (*.net *.split)
2021-07-10 06:24:39 × shredder quits (~user@user/shredder) (*.net *.split)
2021-07-10 06:24:39 × justache quits (~justache@user/justache) (*.net *.split)
2021-07-10 06:24:39 × jol quits (~jol@jol.dev) (*.net *.split)
2021-07-10 06:24:39 × acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split)
2021-07-10 06:24:39 × NinjaTrappeur quits (~ninja@user/ninjatrappeur) (*.net *.split)
2021-07-10 06:24:39 × eight quits (~eight@user/eight) (*.net *.split)
2021-07-10 06:24:39 × trufas quits (~trufas@177.240.218.218) (*.net *.split)
2021-07-10 06:24:39 × thelounge9230681 quits (~thelounge@cpe-75-85-161-60.san.res.rr.com) (*.net *.split)
2021-07-10 06:24:39 × tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (*.net *.split)
2021-07-10 06:24:39 × canta quits (~canta@user/canta) (*.net *.split)
2021-07-10 06:24:39 × ephemient quits (uid407513@id-407513.tooting.irccloud.com) (*.net *.split)
2021-07-10 06:24:39 × haskl quits (~haskl@user/haskl) (*.net *.split)
2021-07-10 06:24:39 × GIANTWORLDKEEPER quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (*.net *.split)
2021-07-10 06:24:39 × dispater quits (~dispater@user/brprice) (*.net *.split)
2021-07-10 06:24:39 × rawles quits (~o@user/rawles) (*.net *.split)
2021-07-10 06:24:39 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (*.net *.split)
2021-07-10 06:24:40 × ozzymcduff quits (~mathieu@81-234-151-21-no94.tbcn.telia.com) (*.net *.split)
2021-07-10 06:24:40 × thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split)
2021-07-10 06:24:40 × Techcable quits (~Techcable@168.235.93.147) (*.net *.split)
2021-07-10 06:24:40 × hrdl quits (~hrdl@mail.hrdl.eu) (*.net *.split)
2021-07-10 06:24:40 × eldritch_ quits (~eldritch@134.209.221.71) (*.net *.split)
2021-07-10 06:24:40 × haasn quits (~nand@haasn.dev) (*.net *.split)
2021-07-10 06:24:40 × connrs quits (~connrs@user/connrs) (*.net *.split)
2021-07-10 06:24:40 × cfebs quits (~cfebs@user/cfebs) (*.net *.split)
2021-07-10 06:24:40 × xff0x quits (~xff0x@2001:1a81:525a:ea00:a07c:46ec:2ccb:d36d) (*.net *.split)
2021-07-10 06:24:40 × justsomeguy quits (~justsomeg@user/justsomeguy) (*.net *.split)
2021-07-10 06:24:40 × jakalx quits (~jakalx@base.jakalx.net) (*.net *.split)
2021-07-10 06:24:40 × beka quits (~beka@104-244-27-23.static.monkeybrains.net) (*.net *.split)
2021-07-10 06:24:40 × Feuermagier quits (~Feuermagi@user/feuermagier) (*.net *.split)
2021-07-10 06:24:40 × geekosaur quits (~geekosaur@xmonad/geekosaur) (*.net *.split)
2021-07-10 06:24:40 × juhp quits (~juhp@128.106.188.66) (*.net *.split)
2021-07-10 06:24:40 × acid quits (~acid@user/acid) (*.net *.split)
2021-07-10 06:24:40 × edwtjo quits (~edwtjo@user/edwtjo) (*.net *.split)
←Prev  Next→
Page 1 .. 876 877 878 879 880 881 882 883 884 885 886 .. 18027

All times are in UTC.