⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·12h
🧮Kolmogorov Complexity
The Palms: Mark of the Hummingbird
bluerenga.blog·2h
📺Retrogaming
Hardening systemd services via system call filter
paperless.blog·4d
📦Container Security
What constitutes debugging? Empirical findings from live-coding streams
tzanko.substack.com·14h·
Discuss: Substack
👁️System Observability
SentinelOne to Acquire Prompt Security
prompt.security·17h·
Discuss: Hacker News
⚡Proof Automation
No Comment
prog21.dadgum.com·14h·
Discuss: Hacker News
🔓Hacking
Who here runs async-first teams? What surprised you the most?
businessofsoftware.org·16h·
Discuss: Hacker News
🌊Stream Processing
Lessons from writing a Kubernetes Security book
medium.com·1d·
Discuss: DEV, Hacker News
📦Container Security
We spent weeks debugging a Kubernetes issue that ended up being a “default” config
reddit.com·15h·
Discuss: r/kubernetes
📦Container Security
Fly.io Distributed Systems Challenge solutions (again I guess)
reddit.com·1d·
Discuss: r/golang
🏛️Byzantine Archives
Chaining NVIDIA’s Triton Server flaws exposes AI systems to remote takeover
securityaffairs.com·21h
🔓Hacking
GITEX GLOBAL 2025
darkreading.com·4d
🛡Cybersecurity
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·5d·
Discuss: Hacker News
🧪Binary Fuzzing
A Message Passing Realization of Expected Free Energy Minimization
arxiv.org·1d
🔲Cellular Automata
LT-Gaussian: Long-Term Map Update Using 3D Gaussian Splatting for Autonomous Driving
arxiv.org·1d
📊Computational Geometry
The Evolution of DevOps Continues: How 2,000 Token-Per-Second AI Code Generation Changes Everything
devops.com·1d
🌊Stream Processing
Slack-GitHub Threads – Post Slack Thread Replies as GitHub Comments
github.com·16h·
Discuss: Hacker News
🔓Open Source Software
Novice homelabber looking for advice on another build after getting roasted
reddit.com·12h·
Discuss: r/homelab
🎬Video Codecs
Coding Agents are here: Is your team ready for AI devs?
dev.to·10h·
Discuss: DEV
🔄Language Evolution
Robust Single-Stage Fully Sparse 3D Object Detection via Detachable Latent Diffusion
arxiv.org·57m
🌀Riemannian Computing