Show HN: Dev Null News, a daily paper so you don't have to read every merged PR
if you want to keep up with the merged PRs : https://github.com/dev-null-sh/dev-null.sh , read https://dnn.sh
youio
Re:Rewrite Bun in Rust has been merged
on Thursday May 14, 2026 @12:45PM (#48137866)
9 days to review +1million LOC in Rust is enough? wow..
Re:I made MCP cheaper
on Thursday February 26, 2026 @01:28AM (#47162601)
clihub link is broken
Show HN: I Made an AI Skill to Help Write Tlaps Proofs
https://github.com/younes-io/agent-skills/blob/main/skills/tlaps-workbench/SKILL.md
One-shot prompt: "$tlaps-workbench Model simplified Raft leader election (terms, votes). Prove leader uniqueness per term and monotonic term growth."TLAPS Proof: https://github.com/younes-io/tlaplus-workbench-examples/blob...
Re:Show HN: TLA+ Workbench skill for coding agents (compat. with Verce...
on Sunday February 22, 2026 @08:52AM (#47111002)
I built a TLA+ skill for coding-agent workflows.
This repo currently focuses on one skill: tlaplus-workbench. It helps convert natural-language designs into .tla/.cfg files, run TLC, and summarize counterexamples.
Quick try: npx -y skills add younes-io/agent-skills --skill tlaplus-workbench
List skills from a local checkout: npx -y skills add . --list
TLA+ spec examples (generated from one-shot prompts): https://github.com/younes-io/tlaplus-workbench-examples
Feedback I'd value: 1. Is this useful for real protocol/state-machine modeling? 2. What features should I add next for this TLA+ skill?
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
Re:Show HN: Microgpt is a GPT you can visualize in the browser
on Monday February 16, 2026 @06:08AM (#47033632)
really well done
Looking for an official extension of Temporal Prolog
I'm looking for an official extension of prolog that has temporal logic
Re:Show HN (YC S25): Well – MCP AI-Based Collection of Invoices
on Sunday May 04, 2025 @02:26PM (#43888435)
How can this app possibly work across different countries when each has completely different accounting rules? What's your actual plan for handling the vastly different invoice requirements, tax systems, and accounting standards around the world?
Re:How to Track Your Engineering Work
on Saturday October 19, 2024 @12:45PM (#41888868)
have you tried taskwarrior?