HN Explorer

adamnemecek

↗ HN profile [ 116 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Codexia: "IDE" for Codex and Claude Code (github.com)
    2 points 0
  2. Building ML framework with Rust and Category Theory (hghalebi.github.io)
    102 points 14
  3. CUDA-oxide: Nvidia's official Rust to CUDA compiler (nvlabs.github.io)
    424 points 27
  4. Taming Symmetry: A Dive into Lie Groups with Python (2025) (patricknicolas.substack.com)
    1 points 0
  5. Rust should have stable tail calls (trifectatech.org)
    8 points 1
  6. Eviscerated by Rust: Overcoming C++'s 58x Standard Library Handicap (lucisqr.substack.com)
    1 points 0
  7. Apiark: Open-Source Postman Alternative (github.com)
    3 points 0
  8. Woxi: Wolfram Mathematica Reimplementation in Rust (github.com)
    350 points 34
  9. Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
    2 points 0
  10. Fyrox Rust Game Engine 1.0 Release Candidate 2 (fyrox.rs)
    2 points 0
  11. Google Books search is back to normal

    I posted a thread two days ago about how the Google Books search broke on Jan 20 https://news.ycombinator.com/item?id=46769201. It appears that the problem was a bug rather than intentional, it seems that search is back…

    3 points 0
  12. Crabtime, a novel way to write Rust macros (ferrisoft.com)
    5 points 0
  13. Google Books removed all search functions for any books with previews (old.reddit.com)
    225 points 27
  14. Google Books has been effectively killed by the last algorithm update (old.reddit.com)
    1 points 0
  15. RustCast: Free, open-source Raycast-style launcher written in Rust (rustcast.umangsurana.com)
    3 points 1
  16. T * sin (t) ≈ Christmas tree (2013) (github.com)
    3 points 0
  17. Céu: Language for Structured Synchronous Reactive Programming (ceu-lang.org)
    3 points 1
  18. Symbolica 1.0 released: Symbolic mathematics in Rust (symbolica.io)
    3 points 0
  19. Ribir: Non-intrusive GUI framework for Rust/WASM (github.com)
    78 points 4
  20. Shiroa: MdBook for Typst (github.com)
    1 points 0
  21. Fast Forward: macOS window switcher built with Rust and GPUI (github.com)
    3 points 0
  22. Nipdf: PDF Reader in Rust (github.com)
    4 points 1
  23. 2x Perf, $300k Savings: A Case Study in Rewriting a Critical Service in Rust (wxiaoyun.com)
    3 points 1
  24. Functorio: Build Factorio factories in the Lean 4 (github.com)
    2 points 0
  25. GG: GUI for Jujutsu (github.com)
    2 points 0