HN Explorer

yamafaktory

↗ HN profile [ 69.3 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Whetuu – An opinionated, zero-config status line and history picker (github.com)
    2 points 1
  2. Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (yamafaktory.github.io)
    50 points 13
  3. Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com)
    2 points 2
  4. Show HN: Whetuu – a zero-config cross-shell prompt written in Zig (github.com)
    4 points 1
  5. Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms) (github.com)
    2 points 0
  6. Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com)
    1 points 0
  7. Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com)
    1 points 0
  8. Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings (github.com)
    2 points 0
  9. Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig (github.com)
    2 points 0
  10. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    2 points 0
  11. Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib (github.com)
    1 points 0
  12. Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib (github.com)
    1 points 0
  13. Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com)
    4 points 2
  14. Show HN: HypergraphZ – Hypergraph Implementation in Zig (github.com)
    1 points 0
  15. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    2 points 0
  16. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    1 points 0
  17. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    2 points 0
  18. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    2 points 0
  19. Show HN: HypergraphZ – A Hypergraph Implementation in Zig (github.com)
    65 points 16
  20. Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com)
    1 points 0
  21. Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com)
    18 points 2
  22. Show HN: HyperZig – A Hypergraph Implementation in Zig (github.com)
    1 points 0
  23. I am not yet ready to switch to Zig from Rust (turso.tech)
    4 points 0
  24. Unwind Considered Harmful? (smallcultfollowing.com)
    2 points 0
  25. Fast-rustup – an experiment with a different architecture for Rustup (github.com)
    2 points 0