We Built a Conspiracy Mapping Tool Inspired by the Artist Who Had the FBI Knock
whalehunting.projectbrazen.com·22m·
Discuss: Hacker News
🍎Apple
Show HN: LinkMonster – Share multiple links easily
link-monster.com·23h·
Discuss: Hacker News
🔄Reproducible Builds
Typogram Studio: A New Tool for Beautiful Typography Design
typogram.co·1d·
Discuss: Hacker News
🍎Apple
How to Build a Crew
tasshin.com·2h·
Discuss: Hacker News
⎈Kubernetes
From Prompt to Plant Shutdown: Agent Context Contamination in MCP
veganmosfet.github.io·3d·
Discuss: Hacker News
🛡️seL4
A Practical Framework for Managing Performance
kb.buildingbetterteams.de·1d·
Discuss: Hacker News
👁️System Observability
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·3d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
Imperative vs declarative
github.com·2d·
Discuss: r/programming
🔬Static Analysis
Tracing the Path to Grokking: Embeddings, Dropout, and Network Activation
arxiv.org·20h
🎮Verification Games
Neurosymbolic Reasoning Shortcuts under the Independence Assumption
arxiv.org·1d
✓Automated Theorem Proving
Sysbox Container Runtime
github.com·3d·
Discuss: Hacker News
⎈Kubernetes
New Lenovo P330 tiny server build I'm standardizing on that networks like a real server should
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Modern webapp to write, run and learn M68K, MIPS, RISC-V, x86 assembly code
github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
What is the Best Coding Agent?
dolthub.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: WordPress Without PHP – Build Apps and CLI Tools in TypeScript
github.com·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·9h·
Discuss: Hacker News
🎮Verification Games
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·1d
🐫OCaml
A Bayesian Incentive Mechanism for Poison-Resilient Federated Learning
arxiv.org·20h
✓Automated Theorem Proving
Stop Building Products Nobody Wants: The Validation Method That Works
news.ycombinator.com·1d·
Discuss: Hacker News
🍎Apple