DeepInfer: High-performance inference framework for DeepSeek models

Show HN: Linkit – AI bookmark manager, 100% free and open source

ZGC: v0.1.0 release of my library

leanin: A Tokio-inspired concurrency library for Lean 4, with machine-checked proofs

Parsing EDIFACT in Python with syntax trees

Mull: note-taking with a language server / vscode extension

json2dir: Directory archives, made human-readable

awesome-console-services: curated list of services reachable via HTTP

OpenAI releases 722 math manuscripts

Show HN: Omnara – Open-source alternative to Claude Managed Agents

No new Ghostty updates since March

Native Rust Sampling Memory Profiler Which Tracks Retained Memory and Allocations

Five Qwen3.8-27B models match Fable 5 Using GVS5H Harness

I built a neural network using DOOM games

I built a small app that scours the internet to create a daily personolized news briefing

Show HN: Farol – A risk map of a pull request for the person who approves it

Nordwand Mono – A monospace font for coders and adventurers

Show HN: Open-source early-reading reader with phonics help

Componyx.UI: 25+ UI components and data binding for plain HTML, no build step

24x faster Rust compilation with rust-analyzer

Show HN: Penmentor – Claude marks up your handwritten math like a teacher

zig microbenchmarking harness - updated to 0.17, cpu pinning, better gnuplot, etc.

Symbolic Learning in Python and Julia

CleanFrame: A quieter home screen for Samsung The Frame

mitmproxy adds --emudhra option

Show HN: Agentsh – A Decentralized, Scalable Multiagent Harness

Partial Evaluation in Truffle - Dynamic Meta-Compilation Tutorial

Comprinly 1.2.1

OBS Studio 33

OpenShell – A safe, private runtime for fleets of autonomous AI agents

More →