Stories by ask-hn-edu

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy

CUDb, a lightweight GPU-native DB Engine

The OWASP MCP Top: A Security Framework for AI Agent Tool Integration

Python JSON SQL DB

Review of the Agent Internet RFCs

Neon is a human-readable structured data format

Show HN: Pacto – A runtime contract for cloud-native services

Show HN: Pacto – OCI-distributed contracts for cloud-native services

Show HN: Vim-Claude-code – Claude CLI integration for AI workflows inside Vim

Agentcli-go – deterministic Go CLI scaffolding with harness engineering built in

Benchmarking 5 concurrent map implementations in Go (incl. sync.Map)

The Alzheimer's Equation

Show HN: Orange Juice Hacker News browser extension

BalatroBench – Benchmarking LLMs' Strategic Performance Through Games

KISS Launcher – fast launcher for Android

Show HN: Luxury Yacht, a Kubernetes management app

Manifesto for AI Software Development: Code Is Cattle, Not Pets

Show HN: LLM-Infra-Lab – A minimal, reproducible lab for LLM systems

Show HN: FT-Lab – Lightweight TinyLlama Fine-Tuning (Full FT / LoRA / QLoRA)

Show HN: FT-Lab – Lightweight TinyLlama Fine-Tuning (Full FT / LoRA / QLoRA)

1 2 3 4 5 6 7 8 9 10