Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,803,912 events total
2021-07-31 15:10:53 <phaazon> I’ve been there for ~10 years but don’t often partake, but lately I’ve been doing lots of PureScript and Haskell so I look at what’s happening here more often, so yes, just hl me :)
2021-07-31 15:11:14 peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi)
2021-07-31 15:11:37 <phaazon> I actually injured my foot lately while wakeboarding so I have time on the computer, don’t worry about that lol
2021-07-31 15:12:24 <Guest1599> funny that you mentioned wakeboarding, yesterday I tried it for the first time
2021-07-31 15:12:37 <Guest1599> I thought that it's rather injury-free
2021-07-31 15:13:04 × MoC quits (~moc@user/moc) (Quit: Konversation terminated!)
2021-07-31 15:13:05 <phaazon> :)
2021-07-31 15:13:09 <phaazon> depends on what you do
2021-07-31 15:13:28 <phaazon> I’m at the intermediary / advanced skill level so I throw… interesting tricks
2021-07-31 15:13:38 <Guest1599> :D that's cool!
2021-07-31 15:14:10 <phaazon> on Wednesday I fall off a high jump off the kicker after a flip that ended badly, where I caught my back edge on the way down and got partially ejected of my bindings but not completely, resulting in both the feet stuck in the bindings, bent
2021-07-31 15:14:30 <phaazon> I have nice rainbow colors on the right foot, probably a ligament partially torn or something like that, cool times :D
2021-07-31 15:15:04 <phaazon> but yeah, it’s definitely less risky than snowboarding (I just completely broke a radius in half two years ago there, so yeah, injuries are worse :D)
2021-07-31 15:16:15 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Read error: Connection reset by peer)
2021-07-31 15:16:44 coot joins (~coot@46.204.69.82.nat.umts.dynamic.t-mobile.pl)
2021-07-31 15:16:44 × coot quits (~coot@46.204.69.82.nat.umts.dynamic.t-mobile.pl) (Read error: Connection reset by peer)
2021-07-31 15:17:22 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 15:17:35 danso joins (~danso@23-233-111-52.cpe.pppoe.ca)
2021-07-31 15:17:42 <Guest1599> I hope you'll get better soon. and yeah, injuries are what puts me off from snowboarding
2021-07-31 15:18:02 fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 15:19:22 <phaazon> did you enjoy wakeboarding? :)
2021-07-31 15:19:29 pavonia joins (~user@user/siracusa)
2021-07-31 15:19:30 <phaazon> were you able to stand up? balance is hard at first
2021-07-31 15:20:26 Pickchea joins (~private@user/pickchea)
2021-07-31 15:21:12 × jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-31 15:22:06 <Guest1599> i definitely enjoyed it
2021-07-31 15:22:33 <Guest1599> I was able to stand up - we had a wakeboarding session with a line/rope over a like rather than a boat. I think it's better-suited for beginners
2021-07-31 15:22:48 <Guest1599> over a lake*
2021-07-31 15:27:46 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 15:28:40 fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 15:30:24 × fendor quits (~fendor@178.165.178.92.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-31 15:30:26 nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-31 15:37:01 <phaazon> cable? yeah I don’t do boats either
2021-07-31 15:37:08 <phaazon> it’s two completely different sports anyway :)
2021-07-31 15:38:34 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 15:39:42 fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 15:42:27 lavaman joins (~lavaman@98.38.249.169)
2021-07-31 15:43:41 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-31 15:45:51 Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-31 15:47:12 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-31 15:51:46 × fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds)
2021-07-31 15:52:26 × funsafe quits (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) (Ping timeout: 250 seconds)
2021-07-31 15:52:43 fossdd joins (~fossdd@sourcehut/user/fossdd)
2021-07-31 15:54:01 funsafe joins (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea)
2021-07-31 15:57:27 HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-31 15:58:12 neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-07-31 16:00:19 × HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Remote host closed the connection)
2021-07-31 16:00:49 HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06)
2021-07-31 16:04:23 nuncanada joins (~dude@179.235.162.215)
2021-07-31 16:08:06 × ubert quits (~Thunderbi@77.119.201.127.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2021-07-31 16:09:47 markpythonicbitc joins (~textual@50.228.44.6)
2021-07-31 16:10:29 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-07-31 16:14:28 × mattil quits (~mattilinn@78-27-98-194.bb.dnainternet.fi) (Remote host closed the connection)
2021-07-31 16:16:16 × kilolympus quits (~kilolympu@cpc92710-cmbg20-2-0-cust265.5-4.cable.virginm.net) (Read error: Connection reset by peer)
2021-07-31 16:17:47 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-31 16:18:06 eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-07-31 16:18:16 erisco joins (~erisco@d24-57-249-233.home.cgocable.net)
2021-07-31 16:21:13 cheater joins (~Username@user/cheater)
2021-07-31 16:22:40 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-31 16:23:03 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-31 16:27:09 burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk)
2021-07-31 16:27:22 × betelgeuse quits (~john2gb@94-225-47-8.access.telenet.be) (Ping timeout: 258 seconds)
2021-07-31 16:28:48 Guest608 joins (~Guest60@187.83.249.216.dyn.smithville.net)
2021-07-31 16:30:29 × lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-07-31 16:30:59 <Guest608> is there an easy way to get stack to reinstall/relink a package? I'm having issues which I think are linking problems but I don't know how to get stack to reinstall things without just doing rm -rf ~/.stack
2021-07-31 16:33:00 betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be)
2021-07-31 16:33:12 <maerwald> haha
2021-07-31 16:36:14 <maerwald> now you wished sandboxes were still a thing
2021-07-31 16:36:21 <maerwald> but everyone wanted this nix-style stuff
2021-07-31 16:37:35 mattil joins (~mattilinn@78-27-98-194.bb.dnainternet.fi)
2021-07-31 16:37:49 berberman joins (~berberman@user/berberman)
2021-07-31 16:38:22 × berberman_ quits (~berberman@user/berberman) (Ping timeout: 250 seconds)
2021-07-31 16:39:47 × mattil quits (~mattilinn@78-27-98-194.bb.dnainternet.fi) (Client Quit)
2021-07-31 16:40:30 × burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection)
2021-07-31 16:41:22 × Kaiepi quits (~Kaiepi@156.34.44.192) (Remote host closed the connection)
2021-07-31 16:41:46 Kaiepi joins (~Kaiepi@156.34.44.192)
2021-07-31 16:44:03 phma_ joins (~phma@host-67-44-208-68.hnremote.net)
2021-07-31 16:44:27 × phma quits (phma@2001:5b0:210d:748:6bd3:69b4:5bd0:5d7a) (Read error: Connection reset by peer)
2021-07-31 16:44:44 Guest9 joins (~Guest9@103.240.169.29)
2021-07-31 16:47:42 mattil joins (~mattilinn@78-27-98-194.bb.dnainternet.fi)
2021-07-31 16:50:35 × zebrag quits (~chris@user/zebrag) (Ping timeout: 252 seconds)
2021-07-31 16:51:12 zebrag joins (~chris@user/zebrag)
2021-07-31 16:52:27 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-31 16:53:32 geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-07-31 16:55:21 <monochrom> There is a way to do surgical removal, but it requires knowing how stack organizes things.
2021-07-31 16:55:48 <monochrom> I happen to know how to do it for cabal-install.
2021-07-31 16:59:31 × Guest608 quits (~Guest60@187.83.249.216.dyn.smithville.net) (Ping timeout: 246 seconds)
2021-07-31 17:01:36 <maerwald> anyone knows this stack error? https://paste.tomsmeding.com/Z1KZsYpu
2021-07-31 17:02:20 <maerwald> "createProcess: runInteractiveProcess: exec: does not exist (No such file or directory)"... ok, yeah, what?
2021-07-31 17:02:29 <maerwald> useless haskell errors...
2021-07-31 17:06:32 aegon joins (~mike@174.127.249.180)
2021-07-31 17:07:08 <aegon> feels bad to have so many questions lately but I'm running off the edge of a cliff trying to understand my first need to mess with the DataKind and TypeApplication world
2021-07-31 17:07:46 <aegon> I'm using Frames and its incorrectly guessing the type of some of my csv columns sometimes, I want to modify the universe of possible types for the guessing to remove the option of Bool
2021-07-31 17:07:46 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-07-31 17:08:01 tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-07-31 17:08:02 <aegon> but the examples on the repo are all using a function that doesn't exist anymore
2021-07-31 17:08:55 <aegon> https://hackage.haskell.org/package/Frames-0.6.1/docs/Frames-TH.html I need to construct a column universe which is off type proxy a , the examples i see are just a list of types
2021-07-31 17:09:10 <aegon> but i can't seem to figure out how to construct one on my own
2021-07-31 17:09:57 <aegon> this might be template haskell land not type land now that I'm reading it with fresh eyes
2021-07-31 17:12:32 burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk)

All times are in UTC.