Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 .. 5022
— 502,152 events total
2020-11-06 14:52:17 → Wojciech_K joins (~wojciechk@2001:41d0:a:5be4::449)
2020-11-06 14:53:07 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 14:54:29 × marble_visions quits (~user@68.183.79.8) (Quit: bye)
2020-11-06 14:55:05 × mmohammadi9812 quits (~mmohammad@188.210.99.150) (Ping timeout: 240 seconds)
2020-11-06 14:55:21 → marble_visions joins (~user@68.183.79.8)
2020-11-06 14:56:54 → kritzefitz_ joins (~kritzefit@212.86.56.80)
2020-11-06 14:59:39 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-11-06 15:00:01 × avdb quits (~avdb@ip-83-134-202-202.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-06 15:00:23 → avdb joins (~avdb@ip-83-134-202-202.dsl.scarlet.be)
2020-11-06 15:02:18 → mmohammadi9812 joins (~mmohammad@188.210.99.150)
2020-11-06 15:02:54 → cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-06 15:03:52 × britva quits (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0) (Quit: This computer has gone to sleep)
2020-11-06 15:03:58 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit)
2020-11-06 15:04:29 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-06 15:05:15 → alx741 joins (~alx741@186.178.110.222)
2020-11-06 15:05:27 → isBEKaml joins (~isBEKaml@unaffiliated/isbekaml)
2020-11-06 15:05:31 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-06 15:05:38 × bqv quits (~bqv@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Quit: WeeChat 2.9)
2020-11-06 15:05:57 <isBEKaml> Hello, I was looking for ghcup and was a little surprised to _not_ see it listed among the Downloads on haskell.org
2020-11-06 15:06:00 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-06 15:06:05 <isBEKaml> Is that not officially supported anymore?
2020-11-06 15:06:22 <isBEKaml> https://www.haskell.org/downloads/
2020-11-06 15:06:34 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 15:07:12 → aldessa joins (~hugh@host-92-21-7-179.as13285.net)
2020-11-06 15:07:12 <merijn> Define officially supported
2020-11-06 15:07:33 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-06 15:07:35 <merijn> I'm not sure it ever was on there?
2020-11-06 15:07:40 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-06 15:07:55 <merijn> https://www.haskell.org/ghcup/
2020-11-06 15:08:01 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 15:08:01 <isBEKaml> merijn: if it's listed on https://www.haskell.org/ghcup/ under the domain haskell.org - it is :-)
2020-11-06 15:08:04 <merijn> Probably someone should updat ethe downloads page
2020-11-06 15:08:46 × todda7 quits (~torstein@ppp-2-84-30-242.home.otenet.gr) (Remote host closed the connection)
2020-11-06 15:09:11 → todda7 joins (~torstein@ppp-2-84-30-242.home.otenet.gr)
2020-11-06 15:09:39 <aldessa> Hi, when programming FPGAs in Clash what would be the best way to formally verify properties of the thing you compile?
2020-11-06 15:10:02 <merijn> aldessa: Whiskey and crying are my favourite methods :>
2020-11-06 15:10:14 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-06 15:10:22 × gilbertw1_ quits (~gilbertw1@ec2-52-91-154-1.compute-1.amazonaws.com) (Ping timeout: 256 seconds)
2020-11-06 15:10:34 <aldessa> merijn, lockdown is hitting hard I see
2020-11-06 15:10:41 <isBEKaml> also, ghcup pollutes my home dir. It doesn't respect XDG_HOME_DIR :-(
2020-11-06 15:10:51 <merijn> aldessa: You might wanna try #clash-lang
2020-11-06 15:11:03 <aldessa> thanks merijn
2020-11-06 15:11:03 <int-e> merijn: 90% proof spirit?
2020-11-06 15:11:25 <merijn> isBEKaml: If you are super pedantic about how you organise your environment you can just grab the GHC bin dists and cabal yourself and leave them wherever you want
2020-11-06 15:11:26 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-06 15:11:46 <merijn> isBEKaml: https://www.haskell.org/ghc/download_ghc_8_10_2.html#binaries
2020-11-06 15:11:55 <aldessa> ghcup auto installs haskell language server which is pretty great
2020-11-06 15:12:54 <merijn> isBEKaml: Both GHC and cabal are "good citizens" in terms of multiple versions playing nicely together
2020-11-06 15:13:38 <merijn> isBEKaml: Personally I just manually install multiple GHC bin dists in $HOME myself, because I'm a grumpy curmudgeon who dislikes tools dictating my environment :p
2020-11-06 15:14:30 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 258 seconds)
2020-11-06 15:14:41 × toorevitimirp quits (~tooreviti@117.182.183.132) (Remote host closed the connection)
2020-11-06 15:14:43 <isBEKaml> merijn: I install compiled tools into ~/bin myself and don't want to go searching for tools where I don't look in
2020-11-06 15:15:52 <aldessa> why not .bin?
2020-11-06 15:16:01 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 15:16:55 × alp quits (~alp@2a01:e0a:58b:4920:9450:d534:53a8:2e84) (Ping timeout: 272 seconds)
2020-11-06 15:16:59 <isBEKaml> just my preference
2020-11-06 15:18:41 → Gunni1 joins (~Gunni@154.13.1.56)
2020-11-06 15:18:53 × FreeBird_ quits (~freebirdl@101.228.42.108) (Remote host closed the connection)
2020-11-06 15:19:21 <aldessa> that's fair
2020-11-06 15:20:07 → Bergle_2 joins (~Bergle_4@101.165.90.119)
2020-11-06 15:20:30 → conal joins (~conal@64.71.133.70)
2020-11-06 15:22:05 × Bergle_3 quits (~Bergle_4@101.165.90.119) (Ping timeout: 240 seconds)
2020-11-06 15:22:31 × Codaraxis quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Remote host closed the connection)
2020-11-06 15:22:32 → twopoint718 joins (~cjw@fsf/member/twopoint718)
2020-11-06 15:22:59 → Codaraxis joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-06 15:23:02 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-06 15:23:42 <merijn> You'd at least need a corresponding /lib directory too
2020-11-06 15:23:49 <merijn> GHC isn't just an exectuable
2020-11-06 15:24:29 <isBEKaml> I dump everything into a separate pkgs directory and symlink the bins into ~/bin
2020-11-06 15:24:50 <isBEKaml> so pkgs/ghc/bin/ghc gets symlinked into ~/bin/ghc
2020-11-06 15:25:05 <isBEKaml> no more fudging with paths
2020-11-06 15:25:39 → oioi6912730 joins (~raz1828@8afbda67.st-andrews.ac.uk)
2020-11-06 15:29:02 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-11-06 15:29:25 × da39a3ee5e6b4b0d quits (~textual@cm-171-98-73-201.revip7.asianet.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-06 15:30:07 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-06 15:31:10 × avdb quits (~avdb@ip-83-134-202-202.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-06 15:31:26 × oioi6912730 quits (~raz1828@8afbda67.st-andrews.ac.uk) (Quit: Leaving)
2020-11-06 15:31:29 × joaj quits (~joaj@2001:690:2100:110:cceb:227c:edbc:592c) (Ping timeout: 272 seconds)
2020-11-06 15:31:57 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-06 15:33:15 × obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Remote host closed the connection)
2020-11-06 15:33:22 → joaj joins (~joaj@2001:690:2100:110:cceb:227c:edbc:592c)
2020-11-06 15:34:27 → obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl)
2020-11-06 15:35:26 × Kaivo quits (~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 264 seconds)
2020-11-06 15:36:24 × zariuq quits (~zar@fw1.ciirc.cvut.cz) (Quit: Leaving)
2020-11-06 15:36:51 <merijn> Anyone know if the hackage matrix builder has an RSS feed somewhere? I suspect not?
2020-11-06 15:37:59 → Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com)
2020-11-06 15:38:37 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-06 15:38:51 → oioi6912730 joins (~raz@8afbda67.st-andrews.ac.uk)
2020-11-06 15:38:55 × Sanchayan quits (~Sanchayan@223.226.118.59) (Quit: leaving)
2020-11-06 15:39:43 ← jcowan parts (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy) ()
2020-11-06 15:39:50 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-06 15:40:30 hackage reflex 0.8.0.0 - Higher-order Functional Reactive Programming https://hackage.haskell.org/package/reflex-0.8.0.0 (abrar)
2020-11-06 15:40:34 vevercak is now known as veverak
2020-11-06 15:43:04 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-06 15:43:33 <oioi6912730> hi! small qn about mail libraries
2020-11-06 15:44:04 <oioi6912730> would anybody know of any libs to fetch with IMAP and/or interact with maildir folders
2020-11-06 15:44:45 <oioi6912730> I haven't been able to find anything still maintained for IMAP from google/hackage
2020-11-06 15:45:06 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-06 15:46:15 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-06 15:46:23 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
←Prev  Next→
Page 1 .. 1094 1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 .. 5022

All times are in UTC.