Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 .. 18035
— 1,803,467 events total
2021-07-25 19:52:32 → agua joins (~agua@191.177.175.57)
2021-07-25 19:52:36 <maerwald> distros give you burnout :)
2021-07-25 19:52:36 <drakonis> is it ever
2021-07-25 19:52:52 <drakonis> well, the general experience has been pretty smooth
2021-07-25 19:52:55 × jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-07-25 19:52:56 → alx741 joins (~alx741@186.178.108.3)
2021-07-25 19:53:18 → jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-07-25 19:53:58 → ubert joins (~Thunderbi@91.141.46.134.wireless.dyn.drei.com)
2021-07-25 19:54:25 <drakonis> anyways, life is easier on guix
2021-07-25 19:54:52 <drakonis> it hasnt spired out of control the way nixos has
2021-07-25 19:55:08 <maerwald> does steam work?
2021-07-25 19:55:20 <maerwald> with gpu acceleration
2021-07-25 19:55:26 <drakonis> sure does
2021-07-25 19:55:40 <drakonis> but it requires using nonguix to get the stuff that doesnt go on the mainline repos
2021-07-25 19:55:46 <drakonis> pretty clean affair i suppose?
2021-07-25 19:55:57 × pesada quits (~agua@2804:18:4f:4b5e:1:0:5480:48f9) (Ping timeout: 245 seconds)
2021-07-25 19:56:40 <drakonis> except for nvidia, but that one's because nobody really put a ton of effort on making sure it works seamlessly
2021-07-25 19:56:56 <drakonis> you can install and use it but it has a couple issues that still need ironing out
2021-07-25 19:57:44 <drakonis> the repo is called nonguix
2021-07-25 19:57:56 <drakonis> there's an irc channel with the same name here in libera
2021-07-25 20:00:17 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-07-25 20:05:09 × juhp quits (~juhp@128.106.188.220) (Ping timeout: 258 seconds)
2021-07-25 20:06:45 → juhp joins (~juhp@128.106.188.220)
2021-07-25 20:08:56 × gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection)
2021-07-25 20:09:40 → gehmehgeh joins (~user@user/gehmehgeh)
2021-07-25 20:09:59 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-07-25 20:10:58 × xff0x_ quits (~xff0x@2001:1a81:5200:1d00:bb8d:5843:c31e:244e) (Ping timeout: 268 seconds)
2021-07-25 20:11:43 → xff0x_ joins (~xff0x@port-92-195-69-103.dynamic.as20676.net)
2021-07-25 20:12:42 × ubert quits (~Thunderbi@91.141.46.134.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2021-07-25 20:14:32 × eagleflo quits (~aku@eagleflow.fi) (Remote host closed the connection)
2021-07-25 20:14:37 → ubert joins (~Thunderbi@91.141.46.134.wireless.dyn.drei.com)
2021-07-25 20:14:56 → jeetelongname joins (~jeet@host-89-241-98-229.as13285.net)
2021-07-25 20:16:41 <janus> is there a way in haskell to transform do { x<-receive; send x } into StateT $ \case State0 -> do { x<-receive; pure (State1 x, Nothing); }; State1 x -> (State0, Just x) }
2021-07-25 20:17:45 <janus> i suspect not, unless i add a "yield" between receive and send... but even if i do, how would i generate those state constructors automatically?
2021-07-25 20:18:29 <janus> maybe with templateHaskell there is a way to say "stuff every captured binding of the do into a parameter list" ?
2021-07-25 20:18:56 <janus> or maybe with RebindableSyntax?
2021-07-25 20:19:33 → chomwitt joins (~chomwitt@ppp-94-67-193-120.home.otenet.gr)
2021-07-25 20:20:23 <janus> if do notation is "reprogrammable semicolon", what is the "reprogrammable monadic bind" ?
2021-07-25 20:20:47 → jkachmar[m] joins (~jkachmarm@2001:470:69fc:105::c72d)
2021-07-25 20:21:07 <xerox> oh I know that one
2021-07-25 20:21:35 <xerox> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/rebindable_syntax.html?highlight=rebindable#extension-RebindableSyntax
2021-07-25 20:22:10 <yushyin> QualifiedDo?
2021-07-25 20:22:46 <geekosaur> or in 9.2 https://downloads.haskell.org/ghc/latest/docs/html/users_guide/exts/qualified_do.html
2021-07-25 20:25:28 × _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-25 20:26:17 jkachmar[m] is now known as jkachmar
2021-07-25 20:29:28 × nate3 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-07-25 20:30:40 × jkachmar quits (~jkachmarm@2001:470:69fc:105::c72d) (Quit: Reconnecting)
2021-07-25 20:30:54 → jkachmar joins (~jkachmar@2001:470:69fc:105::c72d)
2021-07-25 20:31:05 × acro quits (~acro@user/acro) (Quit: Bye.)
2021-07-25 20:31:05 × ouroboros quits (~ouroboros@user/ouroboros) (Quit: Bye.)
2021-07-25 20:31:24 → jmorris joins (uid433911@id-433911.stonehaven.irccloud.com)
2021-07-25 20:31:47 → acro joins (~acro@user/acro)
2021-07-25 20:32:47 → ouroboros joins (~ouroboros@user/ouroboros)
2021-07-25 20:33:07 <arkanoid> sm: thanks for the answer, that's exactly what I'm planning. I'm also looking into hlint for the option to restrict type usage (it is just hinted in the readme)
2021-07-25 20:38:16 <arkanoid> I'm also considering Safe Haskell https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/safe-haskell.html
2021-07-25 20:39:15 → chris_ joins (~chris@81.96.113.213)
2021-07-25 20:39:30 → Guest14 joins (~Guest14@2a02:1210:601c:a300:5935:4f81:fbf2:115c)
2021-07-25 20:40:35 <monochrom> Safe Haskell only avoids unsafePerformIO and unchecked type casting, not arithmetic overflow.
2021-07-25 20:40:51 <janus> arkanoid: did you see this? https://libredd.it/r/haskell/comments/msa3oq/safe_haskell/
2021-07-25 20:41:00 <monochrom> Yes one has to eventually realized that everyone defines "safe" differently.
2021-07-25 20:41:18 <janus> yushyin: ooooh i'll check it out.. didn't cross my mind somehow
2021-07-25 20:42:37 <janus> xerox: i think qualifiedDo looks superior to RebindableSyntax.. so i'll check that out first
2021-07-25 20:43:30 → vicfred_ joins (~vicfred@fixed-187-190-192-58.totalplay.net)
2021-07-25 20:45:35 <arkanoid> janus: thanks, I've just met Safe Haskell didn't know about it's background story
2021-07-25 20:45:49 <drakonis> davean: is your issue with nix either technical or social?
2021-07-25 20:45:56 → vicfred__ joins (~vicfred@94.198.42.69)
2021-07-25 20:46:05 × Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-25 20:46:29 <drakonis> just to be sure
2021-07-25 20:46:34 <davean> drakonis: i'm in a meeting ATM, the conversatio nwas right before you joined
2021-07-25 20:46:35 <janus> arkanoid: i like this quote by Cale
2021-07-25 20:46:38 × dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 265 seconds)
2021-07-25 20:46:41 <janus> > Cale: Safe Haskell doesn't mean it's safe to compile the code, it means a bunch of random stuff which has to do with trying to make sure expression evaluation is referentially transparent...
2021-07-25 20:46:42 <lambdabot> <hint>:1:62: error: parse error on input ‘,’
2021-07-25 20:46:45 <drakonis> ah i see
2021-07-25 20:46:46 × vicfred quits (~vicfred@user/vicfred) (Ping timeout: 272 seconds)
2021-07-25 20:47:04 × Null_A quits (~null_a@2601:645:8700:2290:707f:6ddd:516:dcea) (Remote host closed the connection)
2021-07-25 20:47:13 <geekosaur> quick summary of davean's expressed position: both
2021-07-25 20:47:27 <geekosaur> both issues with the language, and issues with QA/procedures
2021-07-25 20:47:51 <davean> The concept is still a great one
2021-07-25 20:48:03 <monochrom> Technical problems have social origins. Humans are the cause of human problems.
2021-07-25 20:48:05 <davean> drakonis: https://ircbrowse.tomsmeding.com/browse/lchaskell is probably useful though
2021-07-25 20:48:27 × vicfred_ quits (~vicfred@fixed-187-190-192-58.totalplay.net) (Ping timeout: 245 seconds)
2021-07-25 20:48:37 × Guest14 quits (~Guest14@2a02:1210:601c:a300:5935:4f81:fbf2:115c) (Quit: Client closed)
2021-07-25 20:48:52 → MorrowM joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-25 20:49:18 <arkanoid> monochrom: I know that Safe Haskell was not covering that, but as I'm studying haskell to improve my control over the complexity. I generally like the options to lockdown the language in that direction, as I tend to do the same with every one
2021-07-25 20:49:32 × jco quits (~jco@213-64-226-9-no542.tbcn.telia.com) (Ping timeout: 265 seconds)
2021-07-25 20:50:01 × Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 265 seconds)
2021-07-25 20:50:16 → ub joins (~Thunderbi@91.141.46.134.wireless.dyn.drei.com)
2021-07-25 20:50:32 → Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-25 20:51:04 → acidjnk joins (~acidjnk@p200300d0c72b9549b83720658b9c4b74.dip0.t-ipconnect.de)
2021-07-25 20:52:02 × vicfred__ quits (~vicfred@94.198.42.69) (Quit: Leaving)
2021-07-25 20:52:12 → vicfred joins (~vicfred@user/vicfred)
2021-07-25 20:52:17 × ubert quits (~Thunderbi@91.141.46.134.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-07-25 20:52:18 ub is now known as ubert
2021-07-25 20:52:28 → nate3 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-25 20:54:34 <drakonis> davean: fair enough
2021-07-25 20:54:40 <drakonis> i checked the logs
2021-07-25 20:54:52 <drakonis> but yes, i think guix can do much better in both regards
2021-07-25 20:55:00 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-07-25 20:55:05 <davean> drakonis: I've love more of a conversation when I have the ability to be present
←Prev  Next→
Page 1 .. 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 .. 18035

All times are in UTC.