Y Hacker News new | ask | show | jobs

user: yamafaktory created: 2012-09-10 karma: 515 https://github.com/yamafaktory submissions: 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 0 points | 0 comments Show HN: Formal – Formal verification for AI-generated code using Lean 4 4 points | 4 comments Show HN: HypergraphZ – Hypergraph Implementation in Zig 1 points | 0 comments Show HN: HypergraphZ – A Hypergraph Implementation in Zig 2 points | 0 comments Show HN: HypergraphZ – A Hypergraph Implementation in Zig 1 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: HypergraphZ – A Hypergraph Implementation in Zig 2 points | 0 comments Show HN: HypergraphZ – A Hypergraph Implementation in Zig 2 points | 0 comments Show HN: HypergraphZ – A Hypergraph Implementation in Zig 65 points | 16 comments Show HN: HyperZig – A Hypergraph Implementation in Zig 1 points | 0 comments 0 points | 0 comments Show HN: HyperZig – A Hypergraph Implementation in Zig 18 points | 2 comments Show HN: HyperZig – A Hypergraph Implementation in Zig 1 points | 0 comments I am not yet ready to switch to Zig from Rust 5 points | 1 comments Unwind Considered Harmful? 2 points | 0 comments Fast-rustup – an experiment with a different architecture for Rustup 2 points | 0 comments