Logs: liberachat/#haskell
| 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.