Stories by modinfo

Show HN: AURcade – A tiny self-hosted Git service using cgit and SSH

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean

The Vampire Theorem Prover

Show HN: Zero-token memory retrieval for Pi

Show HN: I asked an LLM what it would say to God, then made it a website

Superfile – Pretty fancy and modern terminal file manager

Plan like an adult, believe like a child, ask clearly

ASD-STE100 Simplified Technical English for LLMs

Verse – functional logic programming in Unreal Engine 6 [video]

OpenSpectra: a Rust CLI for managing specs, changes, and implementation tasks

Show HN: A local, extensible session viewer for Pi and Codex

Apollo 11 Guidance Computer (AGC) source code

Quickly rewrite Git repository history

Retrotvs – Channel-surf the past now by choosing any of the TV sets

An uroboros program with 100 programming languages

Strange loops: from autological words and quines to consciousness

Show HN: Find someone in the dark – light them or light yourself? (Three.js)

My justfile to quick bootstrap and start journey with Odin

Show HN: A multi-location vending machine operations portal

Show HN: Rudo - A small, elegant dock for Wayland

1 2 3 4 5 6 7 8 9 10