pchiusano

9 ms·

31.
by pchiusano 5y ago
That was a fun one! Thanks for sharing.
32.
by pchiusano 5y ago
I enjoyed your post and it resonated with me. Dumping cheap skepticism on a someone who is working hard to do something new is something I wish people would be more thoughtful about. It’s almost a reflex, but is it actually helpful? The res
33.
by pchiusano 5y ago
I’d love to see this as well.
34.
by pchiusano 5y ago
> As I said, HVM spawns threads on to-be-evaluated redexes closes to the root of the program's normal form. So, either there is a significant speedup, or the program is sequential (or too small), and there is no speedup, but the ove
35.
by pchiusano 5y ago
> My reasoning was to just benchmark identical programs. I would just report the results of a parallel Haskell program as well, and let people decide what programs they think are comparable. I don’t really think you come off well making
36.
by pchiusano 5y ago
This is very cool research that I’ve been loosely following for a while but I feel the benchmarks you’ve presented are very misleading. They are comparing parallelized code to sequential code and then making a big deal that it’s faster. Of
37.
by pchiusano 5y ago
So what we were going for with the core API is that it should be expressive enough for all kinds of distributed programming tasks, not just Spark-like or batch computing stuff. We’re planning on doing several of these articles to show diffe
38.
by pchiusano 5y ago
Recommend starting with part 1 of the article if you want more of an overview: https://www.unison-lang.org/articles/distributed-datasets/
39.
by pchiusano 5y ago
One of the authors of the article here, happy to answer any questions about it!
40.
by pchiusano 5y ago
https://rodneybrooks.com/a-better-lesson/ is an interesting retort to the Sutton post.
41.
by pchiusano 5y ago
Cool. How does Twain compare to Scotty? We just started on a project and Servant felt like overkill, but this is the first I’ve heard of Twain.
42.
by pchiusano 5y ago
FYI you can do ‘ucm -codebase /someplace/else init’ to initialize a codebase in another directory. And then ‘ucm -codebase /somewhere/else’ to launch ucm. Also I’m not sure what Unison the file sync tool stashes in .unis
43.
by pchiusano 6y ago
Cool. Related question - how has been your experience working with firecracker VMs, and what led you to that decision? (I’ve been eyeing them for a while to get faster startup times for autoscaling).
44.
by pchiusano 6y ago
GA-style search isn't actually taking multiple samples to decide on a new point to move to - it's taking multiple samples to decide on a smaller region to focus on. This can be more efficient than backprop, depending on how &quo
45.
by pchiusano 6y ago
You might be interested in "compact GA" which only requires keeping the % of 1s (or 0s) at each bit position. I suspect that with some more engineering and attention from people doing ML stuff, GA-style algorithms can be made just
46.
by pchiusano 6y ago
Here’s a link that works I think: https://mobile.twitter.com/andrejbauer/status/12599019719910... The supposed selling point of HoTT wrt to formalizing mathematics is higher level proofs that are more general and
47.
by pchiusano 6y ago
People find it interesting and fun so IMO that’s the only bar that needs to be cleared to justify the attention it gets. If your pet areas of mathematics are more exciting to you, then share that with people and/or post here and maybe
48.
by pchiusano 6y ago
Switching speed is very fast with silicon, but we seem to be nowhere near the computing power of the brain, which incidentally runs on an absurdly low 20W. I think this power usage aspect is quite underappreciated. You might like this artic
49.
by pchiusano 7y ago
I’d read through the link and see what you think, but TL;DR is that you can still propagate a change everywhere in Unison (and Unison tracks this for you), but even if you’ve partially propagated, you can run all the code that you’ve upgrad
50.
by pchiusano 7y ago
It’s true that with static typing, you are usually forced to propagate your changes to “your whole codebase” to get it compiling before you can run any of it. That stinks. However, it turns out you can lift this restriction in static langua
51.
by pchiusano 7y ago
Also maybe of interest: “The advantages of static typing, simply stated” https://pchiusano.github.io/2016-09-15/static-vs-dynamic.htm...
52.
by pchiusano 7y ago
I don’t know if you feel this way, but my complaint about the more hyped cloud services is that not only can they be expensive (fine) but the promised time-savings and simplicity of operating the system often doesn’t really materialize eith
53.
by pchiusano 7y ago
I think you are making a hidden assumption. Here is a good question to tease it out: why does it make sense to ask why a coin flip came up heads but not make sense to ask why we observe one QM outcome? With the coin flip, it’s understood th
54.
by pchiusano 7y ago
The thing missing is an explanation for why we find ourselves in a particular branch. Insisting that this doesn’t require an explanation is never going to be satisfying for some people. I’ll try to explain why, using your random variable sa
55.
Levin’s critique of possibility of quantum computing(cs.bu.edu)
2 points by pchiusano 7y ago|0 comments
56.
A Better Lesson(rodneybrooks.com)
55 points by pchiusano 7y ago|7 comments
57.
by pchiusano 7y ago
It’s not much different. That doesn’t mean DM is wrong, though! Logically, there’s two possibilities: laws of gravitation are 100% correct at all scales and the discrepancies we see at level of galaxy rotations, etc, are due to matter we ca
58.
by pchiusano 7y ago
Wow, I had the exact same experience. Would never bother with it again.
59.
by pchiusano 7y ago
Ok, so epistemologically we can’t know what reality “really” is, only what we observe, and we can come up with models that fit our observations. Your (I’d say vacuous) point is that my model of reality that includes a chair is epistemologic
60.
by pchiusano 8y ago
I think your response makes sense (neutrinos are another example where the theory predicted an as yet undetected particle and it was eventually found). But the other reply to your comment is good too - at what point, after failing to detect

More ›