Logs: liberachat/#haskell
| 2021-06-14 20:27:03 | <bor0> | to yours* |
| 2021-06-14 20:27:07 | <geekosaur> | I think the community is maturing, not dying |
| 2021-06-14 20:27:16 | <geekosaur> | mid 20s instead of mid teens |
| 2021-06-14 20:27:43 | <DigitalKiwi> | "the community doesn't seem to have the vitality it did 5-10 years ago" stack was released 6 years ago; highly sus |
| 2021-06-14 20:27:47 | <Schrostfutz_> | [exa]: Thanks! I'll look into it |
| 2021-06-14 20:28:08 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 2021-06-14 20:28:21 | <[exa]> | Schrostfutz_: generally, just make an array (or whatever) for caching the results, and update it with small systematic steps until it contains the final result |
| 2021-06-14 20:28:31 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-14 20:28:46 | <[exa]> | Schrostfutz_: nice illustrating algorithm is the Floyd-Warshall massive shortest path finder |
| 2021-06-14 20:28:46 | <DigitalKiwi> | dibblego: https://twitter.com/dibblego/status/816424706316189696 |
| 2021-06-14 20:29:16 | <Schrostfutz_> | [exa]: Yeah, that's what I thought was gonna be the solution but naive me assumed the compiler would "just figure it out"... |
| 2021-06-14 20:29:31 | <eflister> | wz1000: well i mean at the level of talks explaining amazing new ideas. bor0: thanks for the vid, definitely what i'm asking! i'll watch. DigitalKiwi: heh :) |
| 2021-06-14 20:29:33 | <maerwald> | eflister: there certainly are some community issues, but I'm not sure how big those effects really are |
| 2021-06-14 20:29:50 | <DigitalKiwi> | geekosaur: am i too old for haskell now ;( (just turned 33 ;( ) |
| 2021-06-14 20:29:57 | <eflister> | maerwald: any examples? |
| 2021-06-14 20:30:07 | <[exa]> | Schrostfutz_: it might tbh, but needs some technique to get it out properly |
| 2021-06-14 20:30:07 | <geekosaur> | if you are, I'm definitely over the hill (56) |
| 2021-06-14 20:30:48 | <DigitalKiwi> | was first interested in it in my early 20s though does that count |
| 2021-06-14 20:31:02 | <wz1000> | eflister: SPJ does have a couple of talks at the major conferences every year. |
| 2021-06-14 20:31:37 | <maerwald> | eflister: I'd rather not engage in gossip. But comparing with the rust community I feel there's definitely more tension... some of it technical disagreements others not |
| 2021-06-14 20:31:41 | <[exa]> | Schrostfutz_: but something like this should do the memoization kinda right: `solutions = map (\i -> createSolution i (take i solutions)) [0..]` |
| 2021-06-14 20:31:58 | <DigitalKiwi> | eflister: just the other day i noticed tony has a bunch of youtube videos i haven't seen yet he's usually fun |
| 2021-06-14 20:33:17 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 2021-06-14 20:33:31 | <DigitalKiwi> | this by pufffnfresh is good too https://www.youtube.com/watch?v=NzIZzvbplSM&list=PLly9WMAVMrayYo2c-1E_rIRwBXG_FbLBW |
| 2021-06-14 20:33:43 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-14 20:33:47 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 252 seconds) |
| 2021-06-14 20:34:03 | <Schrostfutz_> | [exa]: That makes sense, I'm working on an array solution right now, let's see whether that get's me somewhere |
| 2021-06-14 20:34:50 | <eflister> | DigitalKiwi: who's tony i haven't heard of him? maerwald: yeah it seems rust has the energy haskell had a few years ago. i've only quickly looked at it and i don't get the big deal? |
| 2021-06-14 20:35:00 | <[exa]> | Schrostfutz_: with mutable vectors it should be even pretty fast |
| 2021-06-14 20:35:20 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-14 20:36:25 | <DigitalKiwi> | https://www.youtube.com/watch?v=mit3KBw2Amw&t=929s |
| 2021-06-14 20:37:16 | <DigitalKiwi> | eflister: tony = dibblego |
| 2021-06-14 20:37:58 | <DigitalKiwi> | also voldemort |
| 2021-06-14 20:38:28 | <DigitalKiwi> | https://twitter.com/ArchKiwi/status/1079560165333045248?s=20 |
| 2021-06-14 20:38:38 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-14 20:38:47 | → | zeenk joins (~zeenk@188.26.30.39) |
| 2021-06-14 20:39:25 | → | fluffyballoon joins (~fluffybal@2620:72:0:6480::10f7) |
| 2021-06-14 20:39:44 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-14 20:39:50 | × | xprlgjf quits (~gavin@60.27.93.209.dyn.plus.net) (Remote host closed the connection) |
| 2021-06-14 20:41:38 | × | cheater quits (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2021-06-14 20:42:17 | → | cheater joins (~Username@user/cheater) |
| 2021-06-14 20:42:48 | <Schrostfutz_> | [exa]: Hm, even with memoization my solution is too slow, I guess I'm doing it wrong |
| 2021-06-14 20:43:06 | <Schrostfutz_> | `it` being the approach, not the memoization |
| 2021-06-14 20:43:18 | × | kspalaiologos quits (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2021-06-14 20:45:47 | × | Guest995 quits (~Guest9@103.249.234.176) (Quit: Connection closed) |
| 2021-06-14 20:45:47 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-14 20:46:06 | <eflister> | DigitalKiwi: quick look at that mckenna playlist seems like intro stuff, not big new research developments becoming practically applicable, that was what seemed to be so exciting a few years ago. maybe most of the implications of categorical structure have played out? |
| 2021-06-14 20:46:48 | <DigitalKiwi> | how much do you know about holes |
| 2021-06-14 20:46:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-14 20:47:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 244 seconds) |
| 2021-06-14 20:47:42 | → | cheater joins (~Username@user/cheater) |
| 2021-06-14 20:49:16 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-14 20:49:16 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-14 20:49:16 | → | Deide joins (~Deide@user/deide) |
| 2021-06-14 20:50:36 | <eflister> | DigitalKiwi: only vague familiarity :) |
| 2021-06-14 20:50:41 | <DigitalKiwi> | you're right that it's mostly intro stuff yeah i didn't mean to imply that it was revolutionary ideas (but puffnfresh is a joy to learn from and i really like those videos and he does a good intro to type holes at some point during it that i hadn't known about before) |
| 2021-06-14 20:52:06 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-14 20:52:21 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-14 20:52:28 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-14 20:52:34 | → | pe200012_ joins (~pe200012@120.236.161.38) |
| 2021-06-14 20:53:18 | × | pe200012 quits (~pe200012@183.63.73.36) (Ping timeout: 272 seconds) |
| 2021-06-14 20:53:34 | <DigitalKiwi> | https://github.com/system-f/fp-course/commit/9fda35854f048fbf65de737b9850f8a416f05843# |
| 2021-06-14 20:55:36 | <DigitalKiwi> | https://twitter.com/puffnfresh/status/1270573845695455234 |
| 2021-06-14 20:59:08 | → | chisui joins (~chisui@200116b8662d980089ca00d34d7b3df6.dip.versatel-1u1.de) |
| 2021-06-14 21:00:02 | <chisui> | Hey, Is there a way to have fundeps on closed type families? |
| 2021-06-14 21:00:04 | <DigitalKiwi> | eflister: also keep in mind that there's been a bit of an ongoing event that's thrown wrenches in everything lol; like eg. earlier when i was mentioning the art i made for the people who were going to zuirhac ;) |
| 2021-06-14 21:01:57 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-14 21:02:50 | → | muto joins (~muto@d75-159-225-7.abhsia.telus.net) |
| 2021-06-14 21:03:22 | <chisui> | never mind, I was looking for injective type families again. |
| 2021-06-14 21:04:14 | → | bilegeek joins (~bilegeek@2600:1008:b041:5047:48ad:ae3d:d2ea:7d42) |
| 2021-06-14 21:04:22 | × | ddellacosta quits (~ddellacos@86.106.121.242) (Ping timeout: 244 seconds) |
| 2021-06-14 21:04:22 | × | paolinoZ quits (~paolo@84.33.156.246) (Ping timeout: 244 seconds) |
| 2021-06-14 21:04:22 | × | paolino quits (~paolo@84.33.156.246) (Ping timeout: 244 seconds) |
| 2021-06-14 21:04:43 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2021-06-14 21:05:47 | <DigitalKiwi> | https://zfoh.ch/zurihac2020/#program i started the art in february; good thing it was canceled though because the post took a month to get it to hecate ...several days too late heh |
| 2021-06-14 21:07:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) |
| 2021-06-14 21:07:43 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-14 21:08:45 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:4db:4b63:b94f:d66e) (Quit: Leaving) |
| 2021-06-14 21:10:53 | → | warnz joins (~warnz@2600:1700:77c0:5610:210a:ba95:5325:60a6) |
| 2021-06-14 21:12:18 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Ping timeout: 272 seconds) |
| 2021-06-14 21:13:33 | → | fresheyeball joins (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-06-14 21:20:02 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-06-14 21:20:52 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-14 21:21:20 | → | ystael joins (~ystael@user/ystael) |
| 2021-06-14 21:23:10 | → | abarbu joins (~user@c-66-31-23-28.hsd1.ma.comcast.net) |
| 2021-06-14 21:23:15 | ← | abarbu parts (~user@c-66-31-23-28.hsd1.ma.comcast.net) () |
| 2021-06-14 21:23:18 | <maerwald> | @hoogle a -> m (Maybe a) -> m a |
| 2021-06-14 21:23:19 | <lambdabot> | Network.AWS.Prelude (.! |
| 2021-06-14 21:23:47 | <maerwald> | @hoogle m a -> m (Maybe a) -> m a |
| 2021-06-14 21:23:48 | <lambdabot> | Control.Monad.Extra fromMaybeM :: Monad m => m a -> m (Maybe a) -> m a |
| 2021-06-14 21:23:48 | <lambdabot> | Extra fromMaybeM :: Monad m => m a -> m (Maybe a) -> m a |
| 2021-06-14 21:23:48 | <lambdabot> | Control.Conditional (<<|) :: Monad m => m a -> m (Maybe a) -> m a |
| 2021-06-14 21:24:21 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-06-14 21:24:26 | <maerwald> | not worth a dependency |
| 2021-06-14 21:24:29 | → | tonyday joins (~user@202-65-93-249.ip4.superloop.com) |
| 2021-06-14 21:25:01 | → | a6a45081-2b83 joins (~aditya@27.58.175.254) |
| 2021-06-14 21:26:22 | <tonyday> | hi haskell, on ghcup-0.1.15.2, I'm trying ghc 9.0.1 and hls 1.2.0, and it doesn't seem to create haskell-language-server-9.0.1~1.2.0 in ~/.ghcup/bin Is this right? If so, what would be the recommendation? Locally build the hls project and place the binary in the ghcup directory with this naming convention? |
| 2021-06-14 21:27:31 | <geekosaur> | I don''t see "hls-powered" on 9.0.1 yet |
| 2021-06-14 21:27:38 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-14 21:27:58 | <maerwald> | yes, because it's not in the tar.gz archive |
All times are in UTC.