rachitnigam

9 ms·

31.
Commoditize the Complement of Your Research(rachitnigam.com)
1 points by rachitnigam 6y ago|0 comments
32.
Oxide: Building a Formalized Rust for great good(github.com)
2 points by rachitnigam 6y ago|0 comments
33.
Compiling for the Reconfigurable Future(rachitnigam.com)
5 points by rachitnigam 6y ago|0 comments
34.
by rachitnigam 7y ago
Author here. CS does progress remotely—the publishing model in CS allows authors to easily and openly distribute our papers by putting them up on arvix and our webpages which doesn’t seem to be true of physics journals. The post is direct
35.
by rachitnigam 7y ago
Author here. - not really. I have a bunch of experience writing ocaml. I wouldn’t ascribe any good technical reason to this. A lot of research prototyping is finding something you enjoy writing rather than finding the optimal thing to use.
36.
The first two years of my PhD(rachitnigam.com)
85 points by rachitnigam 7y ago|17 comments
37.
The cost of virtualizing CS conferences(rachitnigam.com)
1 points by rachitnigam 7y ago|0 comments
38.
Great Instruction Set Architectures(cs.cornell.edu)
2 points by rachitnigam 7y ago|0 comments
39.
Beating Decades of Optimized C with 80 Lines of Haskell(chrispenner.ca)
162 points by rachitnigam 7y ago|185 comments
40.
Operation Plumbbob(en.wikipedia.org)
3 points by rachitnigam 7y ago|0 comments
41.
Rekursiv(en.wikipedia.org)
143 points by rachitnigam 7y ago|31 comments
42.
GitHub Intermittently Retuning 504(github.com)
3 points by rachitnigam 7y ago|0 comments
43.
Programming Languages Ranked by Expressiveness(redmonk.com)
7 points by rachitnigam 7y ago|1 comments
44.
Rant against Rust for game programming(m.youtube.com)
1 points by rachitnigam 7y ago|0 comments
45.
Open Source Hardware is the next big thing(mobile.twitter.com)
3 points by rachitnigam 7y ago|0 comments
46.
Great Works in Programming Languages(cs.cornell.edu)
4 points by rachitnigam 7y ago|0 comments
47.
by rachitnigam 7y ago
The part you quoted is a part of a thought experiment. The author is explicitly saying that Verilog is _not_ an ISA: > By way of contradiction, let’s imagine what it would look like if RTL were playing each of these roles well. The point
48.
PhD Research: Learning to Fail(rachitnigam.com)
2 points by rachitnigam 8y ago|0 comments
49.
ElementaryJS: A Sane Subset of JavaScript(github.com)
1 points by rachitnigam 8y ago|0 comments
50.
by rachitnigam 8y ago
Author here. Acceptance criteria are hard to lock down, especially in new projects. The whole point of research is to explore domains and to expect a lot of dead ends. I’m unsure what a concrete acceptance criteria will look like given that
51.
by rachitnigam 8y ago
Author here. I do recognize that slack has thread by that doesn’t make it easy to refer to an exact thread like email does. I’m looking for something like a “named thread” which the Twist Chat app has, but is unfortunately not the preferred
52.
Project Management for PhDs(rachitnigam.com)
79 points by rachitnigam 8y ago|28 comments
53.
Oxide: A Formal Semantics for Rust(arxiv.org)
223 points by rachitnigam 8y ago|30 comments
54.
by rachitnigam 8y ago
Question as a Verilog novice. The timescales for execution vs compilation of large-ish programs seem quite different (you’d have multiple simulations done by the time you finish compiling). If this is the case then I’d probably would like t
55.
John “Totalbiscuit” Bain has died(google.com)
2 points by rachitnigam 8y ago|1 comments
56.
by rachitnigam 8y ago
Several universities still teach racket as an intro language. Ex: Brown, Northeastern, Northwestern, etc. The authors of Racket specially avoid arguments about teaching language X in introductory CS. The pedagogy and curriculum are signific
57.
by rachitnigam 8y ago
Both promises and generators can be used to implement delimited continuations. Furthermore, there is already a compiler that implements first class delimited continuations in JavaScript: http://stopify.org The project implements
58.
by rachitnigam 9y ago
Take a look at https://github.com/plasma-umass/stopify We can do it for general JS programs. If you are willing to compile Python to JS, you can transparently use our compiler to get heap bounded stacks.
59.
by rachitnigam 9y ago
This is a cool hack. Our project (Stopify.org) can do this transformation on source JS programs and automatically give you heap bounded stacks transparently. A cool result of doing this in JavaScript is that any language that compiles to
60.
by rachitnigam 9y ago
Not really. Naively doing something like that will kill performance, not to mention that you have to be really careful not to mess up inserting setTimeout calls. Stopify reifies the runtime stack and occasionally yields to the browser throu

More ›