I found a tool for comparing two lists, which has complete functions
list-difference.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
How to Build a Smart RGB LED Strip Controller with a Raspberry Pi Zero W
blog.michaelrbparker.com·3d·
Discuss: r/programming
💾Retro Computing
Mute-by-default is why your video calls suck
caseyavila.com·1d·
Discuss: Hacker News
👁️System Observability
Perfect is the enemy of good - Wikipedia
en.wikipedia.org·23h·
Discuss: Lobsters, Hacker News
🎮Verification Games
Why Dictionaries Still Define Us
nytimes.com·1d·
Discuss: Hacker News
🔬Unikernels
Linux Distros for Gaming: CachyOS Takes Over, According to ProtonDB
boilingsteam.com·23h·
Discuss: Hacker News
❄️Nix
Launching RustMailer – My Journey to a Fast, Self-Hosted Email API in Rust
indiehackers.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
JavaScript Microtasks: A Comprehensive Guide the Event Loop
codedynasty.dev·5d·
Discuss: Hacker News
🔄Finite State Machines
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·4d·
Discuss: Hacker News
🛡️seL4
Call Me a Jerk: Persuading AI to Comply with Objectionable Requests (2025)
papers.ssrn.com·17h·
Discuss: Hacker News
✓Automated Theorem Proving
Tokens: The New Oil or Engineering in Spite of Scarcity
tidyfirst.substack.com·2d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Writing Is Thinking
nature.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·3d·
Discuss: Hacker News
🛡️seL4
Getting past LLM "day one" problem with MIRIX
fujimon.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Replit Wiped Production Database, Faked Data to Cover Bugs, SaaStr Founder Says
developers.slashdot.org·20h·
Discuss: Hacker News
🔄Reproducible Builds
Used micro PC buying guide for the win10 EOL
reddit.com·1d·
Discuss: r/homelab
💾Retro Computing
Quantitative Risk Management in Volatile Markets with an Expectile-Based Framework for the FTSE Index
arxiv.org·1d
🐫OCaml
An Evaluation of DUSt3R/MASt3R/VGGT 3D Reconstruction on Photogrammetric Aerial Blocks
arxiv.org·6h
🔬Unikernels
Mixture of Autoencoder Experts Guidance using Unlabeled and Incomplete Data for Exploration in Reinforcement Learning
arxiv.org·6h
🎮Verification Games
It Would Be Good if the AI Bubble Burst
stephendiehl.com·4d·
Discuss: Hacker News
💾Retro Computing