Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·17h·
Discuss: r/rust
❄️Nixified Development
Show HN: Claude-Powered Survival Analysis with One-Click Models (Onco-Insight)
dataize.me·2h·
Discuss: Hacker News
👁️System Observability
Using Haskell in Production
agentultra.com·10h·
Discuss: Hacker News
🔠Type-Level Programming
Isolating CSS Inheritance
blog.dwac.dev·1d·
Discuss: Hacker News
💎Refinement Types
Rust's Enterprise Breakthrough Year
rust-trends.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Attackers hijacked popular NPM packages to replace crypto wallet addresses
exaforce.com·12h·
Discuss: Hacker News
🌐NetworkProtocols
Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
I built an interactive bloom filter visual simulator so you can understand this data structure better
coffeebytes.dev·12h·
Discuss: r/programming
📊Runtime Verification
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
📐Denotational Semantics
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·2d·
Discuss: r/programming
🛡️seL4
The OSS code that powers Claude and the maintainer they didn't hire
agenticweb.nearestnabors.com·3h·
Discuss: Hacker News
🔬Unikernels
Minimal HMAC-SHA256 Commitment Verification Skeleton (Python)
github.com·13h·
Discuss: r/programming
🌐NetworkProtocols
Adventures in C++ Game Architecture
hoboker.substack.com·1d·
Discuss: Substack, r/programming
🔬Static Analysis
The Unseen Cost of Custom Domains: Why Manual SSL Management Is Hurting You
vanitycert.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Ask HN: Experience automating E2E manual testing with AI
news.ycombinator.com·1d·
Discuss: Hacker News
📊Runtime Verification
Weird CPU architectures, the MOV only CPU (2020)
justanotherelectronicsblog.com·18h·
Discuss: Hacker News
🐫Embedded OCaml
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·1d·
Discuss: Lobsters, Hacker News, r/hardware
🐫Embedded OCaml
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·2d·
Discuss: Hacker News
🧮Lambda Calculus
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·9h·
Discuss: Hacker News
🛡️seL4
Decision Theory Guarding is Sufficient for Scheming
lesswrong.com·14h
🧠Automated Reasoning