I found a tool for comparing two lists, which has complete functions
list-difference.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Cybersecurity agency issues warning about end-of-train device vulnerability
trains.com·4d·
Discuss: Hacker News
🔍Formal Verification
Running NetBSD on my Amiga 4000
sandervanderburg.blogspot.com·4d·
Discuss: Hacker News
🔬Unikernels
Show HN: AI Technical Discovery for Non-Tech Founders
varstatt.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Don't Trust Machines
campbellramble.ai·1d·
Discuss: Hacker News
✓Automated Theorem Proving
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·3d·
Discuss: Hacker News
🎮Verification Games
How my manager tricked us team into doing things: The Experiment Framework
danielsada.tech·16h·
Discuss: Hacker News
❄️Nixified Development
Project Servfail: One Year In
sdomi.pl·5d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Generative AI is not the new Internet
eloidereynal.com·1d·
Discuss: Hacker News, r/Economics
🖥️Self-hosted Infrastructure
How and where will agents ship software?
instantdb.com·5d·
Discuss: Hacker News
🧱Immutable Infrastructure
Streamline Global Client Communication with 20 Secure Accounts
news.ycombinator.com·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Rust: Clippy performance status update
blog.goose.love·2d·
Discuss: Lobsters, r/programming
🔬Static Analysis
How I Found Myself In the Game Industry
nothings.org·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·4d
🔠Type-Level Programming
Diffusion Beats Autoregressive in Data-Constrained Settings
arxiv.org·6h·
Discuss: Hacker News
➡️Category Theory
Show HN: I built a video meet app integrated with AI voice and avatar agents
github.com·2d·
Discuss: Hacker News
🍎Apple
Smart fault detection in satellite electrical power system
arxiv.org·1d
👁️System Observability
Enhancing Spatial Reasoning in Vision-Language Models via Chain-of-Thought Prompting and Reinforcement Learning
arxiv.org·1d
✓Automated Theorem Proving
State Space Models Naturally Produce Traveling Waves, Time Cells, and Scale to Abstract Cognitive Functions
arxiv.org·1d
🔄Finite State Machines
Any concerns? Supermicro X11SPW
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab