HN Explorer

rachitnigam

↗ HN profile [ 108 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Defining Safe Hardware Design [pdf] (people.csail.mit.edu)
    41 points 4
  2. Formally Speaking, "Transpiler" Is a Useless Word (people.csail.mit.edu)
    5 points 0
  3. An Introduction to Filament (gabizon103.github.io)
    2 points 0
  4. GitHub-Centric Research Management (rachit.pl)
    2 points 0
  5. Transpiler, a Meaningless Word (rachit.pl)
    2 points 0
  6. Tell HN: TheForkJoin, a CS research twitch stream/podcast

    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 (https://www.oflatt.com/) are starting a…

    7 points 1
  7. Constrain – Interactive figures using declarative constraint solving (github.com)
    48 points 11
  8. Why Study Programming Languages (rachitnigam.com)
    2 points 0
  9. Lies Academics Believe (rachitnigam.com)
    37 points 21
  10. The Problem with the Problem [video] (youtube.com)
    1 points 0
  11. Dear sir, you have built a compiler (rachitnigam.com)
    355 points 177
  12. Personal Infrastructure for PhD Students (rachitnigam.com)
    2 points 0
  13. Tez Bio – Create a personal page in seconds (tez.bio)
    2 points 0
  14. Growing an Open-Source Hardware Infrastructure (calyxir.org)
    1 points 0
  15. Show HN: A parallel snapshot testing framework in Rust (github.com)
    4 points 0
  16. From Hardware Description Languages to Accelerator Design Languages (sigarch.org)
    3 points 0
  17. Commoditize the Complement of Your Research (rachitnigam.com)
    1 points 0
  18. Oxide: Building a Formalized Rust for great good (github.com)
    2 points 0
  19. Compiling for the Reconfigurable Future (rachitnigam.com)
    5 points 0
  20. The first two years of my PhD (rachitnigam.com)
    85 points 17
  21. The cost of virtualizing CS conferences (rachitnigam.com)
    1 points 0
  22. Great Instruction Set Architectures (cs.cornell.edu)
    2 points 0
  23. Beating Decades of Optimized C with 80 Lines of Haskell (chrispenner.ca)
    162 points 187
  24. Operation Plumbbob (en.wikipedia.org)
    3 points 0
  25. Rekursiv (en.wikipedia.org)
    143 points 31