Viewing profile — rachitnigam

You can express full CPU designs in Calyx (in fact, we have) because it is a superset of a hardware description language. However, Calyx will probably not provide any substantial b…

Yeah, we've been able to compile entire neural networks like GoogleNet etc. through Calyx. See: https://calebmkim.github.io/files/pubs/src.pdf HLS-like languages are an input to Ca…

All of those things. Most HLS tools use the CDFG to generate optimized resource bindings and area-aware optimizations.

Author of Calyx here. Good question! Usually, you can use OpenCL based drivers to interface with standard memory interfaces on FPGAs. ASICs require a lot more work by either packag…

But again, this notion of "outsiders" is very gatekeepy. There have been substaintial successes in using high-level programming models for hardware design. The Google VCU paper exp…

Odd, it works correctly for me: https://rachit.pl/files/pubs/calyx.pdf What platform/browser has this problem?

Author of Calyx here. I always find these arguments quite reductive but will nonetheless entertain them. "Developing Hardware is a solved problem" For which audience specifically? …

TLDR: We're two programming languages PhDs and are starting a new podcast/twitch stream to go in-depth about various topics. Hi HN! Me (https://rachit.pl) and my friend Oliver (htt…

You’re thinking of 6110 (advanced programming languages) not 6120

Not quite. This also has the type ‘a -> ‘a: def nitpick(x): throw “foo”

i have never personally called out anyone anywhere ever

[OP] Yup, that was the intent. I've seen a lot of academic and industrial hand wringing about not wanting to build a compiler because it's an overkill for the solution only to have…

[OP] Ah, I've just seen a bunch of people showcase "amazing new tools" that are just bad compilers in disguise. State of the art Database query optimizers are good examples of this…

Racket is often heralded as the "programming language programming language" and comes with tons of features to build full blown languages: https://racket-lang.org/ The most complet…