Hacker News: yamafaktory

New comment by yamafaktory in "Show HN: Whetuu – a zero-config cross-shell prompt written in Zig"

yamafaktory — Tue, 21 Jul 2026 12:23:56 +0000

Hey folks. I made this tool that I now use on a daily basis. My goal was to have a zero-configuration cross-shell prompt written in Zig (v0.17) that replaces tools like atuin & starship at the same time. This has been implemented using Claude and should be fast. It should also work on a Mac - though I can't test it myself.

Show HN: Whetuu – a zero-config cross-shell prompt written in Zig

yamafaktory — Tue, 21 Jul 2026 12:23:40 +0000

Article URL: https://github.com/yamafaktory/whetuu

Comments URL: https://news.ycombinator.com/item?id=48991361

Points: 2

# Comments: 2

New comment by yamafaktory in "Show HN: Whetuu – a zero-config cross-shell prompt written in Zig"

yamafaktory — Mon, 20 Jul 2026 17:10:04 +0000

Show HN: Whetuu – a zero-config cross-shell prompt written in Zig

yamafaktory — Mon, 20 Jul 2026 17:03:24 +0000

Article URL: https://github.com/yamafaktory/whetuu

Comments URL: https://news.ycombinator.com/item?id=48981557

Points: 4

# Comments: 1

Show HN: Hypergraph – directed hypergraph library in Rust (40 graph algorithms)

yamafaktory — Mon, 25 May 2026 19:04:18 +0000

Article URL: https://github.com/yamafaktory/hypergraph

Comments URL: https://news.ycombinator.com/item?id=48270418

Points: 2

# Comments: 0

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

yamafaktory — Tue, 19 May 2026 19:52:40 +0000

Article URL: https://github.com/yamafaktory/hypergraphz

Comments URL: https://news.ycombinator.com/item?id=48198548

Points: 1

# Comments: 0

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

yamafaktory — Mon, 18 May 2026 13:15:13 +0000

Article URL: https://github.com/yamafaktory/hypergraphz

Comments URL: https://news.ycombinator.com/item?id=48179393

Points: 1

# Comments: 0

Show HN: HypergraphZ – directed hypergraph library in Zig with Python bindings

yamafaktory — Sun, 17 May 2026 19:08:51 +0000

Article URL: https://github.com/yamafaktory/hypergraphz

Comments URL: https://news.ycombinator.com/item?id=48172202

Points: 2

# Comments: 0

Show HN: HypergraphZ – Hypergraphs, PageRank, Laplacians, and More in Zig

yamafaktory — Mon, 04 May 2026 13:06:18 +0000

Article URL: https://github.com/yamafaktory/hypergraphz

Comments URL: https://news.ycombinator.com/item?id=48008244

Points: 2

# Comments: 0

Show HN: HypergraphZ – A Hypergraph Implementation in Zig

yamafaktory — Sun, 03 May 2026 20:18:08 +0000

Article URL: https://github.com/yamafaktory/hypergraphz

Comments URL: https://news.ycombinator.com/item?id=48000977

Points: 2

# Comments: 0

Show HN: Formal – LLM-driven property checker backed by Lean 4 and Mathlib

yamafaktory — Thu, 16 Apr 2026 12:26:01 +0000

Article URL: https://github.com/yamafaktory/formal

Comments URL: https://news.ycombinator.com/item?id=47791980

Points: 1

# Comments: 0

Show HN: Formal – LLM-driven property checker, backed by Lean 4 and Mathlib

yamafaktory — Mon, 13 Apr 2026 12:11:43 +0000

Article URL: https://github.com/yamafaktory/formal

Comments URL: https://news.ycombinator.com/item?id=47750866

Points: 1

# Comments: 0

New comment by yamafaktory in "Show HN: Formal – Formal verification for AI-generated code using Lean 4"

yamafaktory — Sun, 12 Apr 2026 17:34:03 +0000

I'm sorry if it was unclear. My comment was just a validation of your assertion. It does use Claude - or any openai compatible LLM - to perform the extraction.

New comment by yamafaktory in "Show HN: Formal – Formal verification for AI-generated code using Lean 4"

yamafaktory — Sun, 12 Apr 2026 17:26:49 +0000

Well, I can understand your frustration, but this is basically a pipeline that takes some code written by an LLM and attempts to prove its correctness using the Lean 4 theorem prover.