Y Hacker News new | ask | show | jobs

user: yamafaktory created: 2012-09-10 karma: 538 https://github.com/yamafaktory submissions: 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Whetuu – a zero-config cross-shell prompt written in Zig 50 points | 38 comments 0 points | 0 comments Show HN: Whetuu – a zero-config cross-shell prompt written in Zig 2 points | 2 comments 0 points | 0 comments Show HN: Whetuu – a zero-config cross-shell prompt written in Zig 4 points | 1 comments Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms) 2 points | 0 comments Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings 1 points | 0 comments Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings 1 points | 0 comments Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings 2 points | 0 comments Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig 2 points | 0 comments Show HN: HypergraphZ – A Hypergraph Implementation in Zig 2 points | 0 comments Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib 1 points | 0 comments Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib 1 points | 0 comments 0 points | 0 comments