HN Explorer

mrathi12

↗ HN profile [ 3504 ms ] full profile
Karma
95
Created
September 20, 2018 (7y ago)
Submissions
0
  1. Habitcrafting and Tool-Making (thesephist.com)
    3 points 0
  2. Introduction to Federated Learning (Research and Frameworks) (youtube.com)
    1 points 0
  3. A full website in 1.7 KB (all assets included) (minwiz.com)
    2 points 0
  4. What's Next? (graydon2.dreamwidth.org)
    1 points 0
  5. An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk)
    5 points 1
  6. An accessible introduction to type theory and implementing a type-checker (mukulrathi.co.uk)
    7 points 3
  7. AI is not a magic sauce (mukulrathi.co.uk)
    1 points 0
  8. Backpropagation through, well, anything (2018) (mukulrathi.co.uk)
    2 points 0
  9. React from First Principles (mukulrathi.co.uk)
    1 points 0
  10. Do technical mechanisms for building ‘trust’ help people trust systems? (mukulrathi.co.uk)
    2 points 0
  11. Regulation Entrenches Incumbents (mukulrathi.co.uk)
    1 points 0
  12. No, AI can’t predict the outcome of the election (mukulrathi.co.uk)
    2 points 0
  13. 17 Tips to Convert an Internship to a Full-Time Offer from a Former FB Intern (mukulrathi.co.uk)
    1 points 0
  14. 17 Tips for Converting Your Internship at FAANG to a Full-Time Offer (mukulrathi.co.uk)
    2 points 0
  15. A Protobuf tutorial for OCaml and C++ (mukulrathi.co.uk)
    2 points 0
  16. Evan Czaplicki's ICFP20 Keynote – Thread (twitter.com)
    1 points 0
  17. Deep learning from first principles: Gradient Descent (mukulrathi.co.uk)
    1 points 0
  18. Git Good – The Ultimate Beginner Reference with Diagrams and Code GIFs (mukulrathi.co.uk)
    3 points 0
  19. Creating our own language part 6: desugaring high-level language features (mukulrathi.co.uk)
    1 points 0
  20. Implementing Our Own Version of Rust's Non-Lexical Lifetimes in Bolt (mukulrathi.co.uk)
    3 points 0
  21. An accessible introduction to type-checkers (mukulrathi.netlify.app)
    1 points 0
  22. Writing your own type-checker doesn't have to be hard (mukulrathi.netlify.app)
    1 points 0
  23. How to use OCamllex and Menhir for your language parser (mukulrathi.netlify.app)
    2 points 0
  24. So how do you structure a compiler project? (mukulrathi.netlify.app)
    1 points 0
  25. Show HN: Bolt: A research language with finer-grained concurrency than Rust (github.com)
    103 points 25