Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·20h·
Discuss: r/programming
🌐NetworkProtocols
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Ask HN: Experience automating E2E manual testing with AI
news.ycombinator.com·2d·
Discuss: Hacker News
📊Runtime Verification
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·20h·
Discuss: r/programming
📊Runtime Verification
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·16h·
Discuss: Hacker News
🛡️seL4
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·2d·
Discuss: Hacker News
🧮Lambda Calculus
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·21h
🧠Automated Reasoning
Rootly joins Groq OpenBench with an SRE-focused benchmark
rootly.com·1d·
Discuss: Hacker News
👁️System Observability
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
New parametric CAD BREP kernel attempt
github.com·1d·
Discuss: Hacker News
🐫OCaml
A Short Introduction to Tor
spec.torproject.org·21h·
Discuss: Hacker News
🌐NetworkProtocols
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·1d·
Discuss: Hacker News
🐳Containerization
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·22h·
Discuss: Substack
🎮Verification Games
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
Scaffolding for production vibe coding
interjectedfuture.com·17h·
Discuss: Hacker News
🔬Static Analysis
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
Kerberoasting
blog.cryptographyengineering.com·31m·
Discuss: Hacker News
🛡️seL4