NPM Tricks I Wish I Knew Sooner
ksridhar.dev·2d·
Discuss: r/programming
🔄Reproducible Builds
What happened to XProtect this week?
eclecticlight.co·3d·
Discuss: Hacker News
🍎Apple
Strap In, Vision Pro Owners
spiral.spyglass.org·19h·
Discuss: Hacker News
🍎Apple
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·3d·
Discuss: r/programming
🔬Static Analysis
Pure Rust cryptography is better than raw performance
kerkour.com·4d·
Discuss: Hacker News
🔬Static Analysis
Icechunk 1.0: Production-Grade Cloud-Native Array Storage Is Here
earthmover.io·3d·
Discuss: Hacker News
📦Unikernel Systems
Perfetto: Debugging scheduling blockages with tracing and callstack sampling
perfetto.dev·2d·
Discuss: Hacker News
👁️System Observability
Programming Affordances That Invite Mistakes
thetechenabler.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
Adapting Teaching and Assessment Strategies in the Age of LLMs
kstan.gitlab.io·12h·
Discuss: Hacker News
🎮Verification Games
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·6h·
Discuss: Hacker News
🍎Apple
LLDB's TypeSystems Part 2: PDB
walnut356.github.io·6d·
Discuss: r/programming
🐫OCaml
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·5d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Python Hackathon Backend for rapid development and Feedback-Driven shipping
github.com·5d·
Discuss: r/programming
🖥️Self-hosted Infrastructure
Ever looked at an MCP server and wondered why we’re running a whole wrapper just to pass JSON through? So I scrapped the wrapper entirely and let agents call th...
reddit.com·3d·
Discuss: r/programming
🌐NetworkProtocols
Thunderbird: Fluent Windows 11 Design
github.com·1d·
Discuss: Hacker News
🍎Apple
RadiomicsRetrieval: A Customizable Framework for Medical Image Retrieval Using Radiomics Features
arxiv.org·9h
🧱Immutable Infrastructure
Lightweight Safety Guardrails via Synthetic Data and RL-guided Adversarial Training
arxiv.org·9h
🤖Program Synthesis
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3d·
Discuss: Substack
🔍Formal Verification
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·3d
🔍Formal Verification
Improvements to Media Server, and advice for backups?
reddit.com·21h·
Discuss: r/homelab
🏠HomeLab