FIPS certified vs. FIPS compliant: What’s the real difference?
yubico.com·20h
🛡️Security Type Systems
Simplifying Package Submission Progress (15 August – 22 August) – GSoC ’25
communityblog.fedoraproject.org·1h
📦Package Managers
Releasing v 1.0 of Administrate LIVE at thoughtbot Open Summit
feed.thoughtbot.com·11h
🎮Language Ergonomics
Sysinternals
learn.microsoft.com·7h·
Discuss: Hacker News
🛡️Capability VMs
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·1d·
Discuss: Hacker News, r/programming
🛡️Capability Security
Bash a newline: Exploiting SSH via ProxyCommand, again (CVE-2025-61984)
dgl.cx·8h·
Discuss: Hacker News
💻Terminal Control
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Foreign adversaries are using multiple AI tools to power hacks: OpenAI - Axios
news.google.com·1h
🎲Parser Fuzzing
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·4d
🪆Embedded DSLs
The Price of Cyberattacks: Why the Real Damage Goes Beyond the Ransom
blogger.com·3d
🛡️Error Boundaries
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·1d·
Discuss: DEV
🎭Program Synthesis
Weak Points and Vulnerabilities of GPT-5 Thinking: Academic Mapping of Security Failures and Bypass Techniques
reddit.com·2d·
Discuss: r/persona_AI
🛡️Security Type Systems
Clop Ransomware Hits Oracle Customers Via Zero-Day Flaw
darkreading.com·16h
🛡️Parser Security
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·15h·
Discuss: DEV
📦Monorepos
The Outbox Pattern: A Love Letter to Eventual Consistency
dev.to·1d·
Discuss: DEV
📮Message Queues
Critical appraisal of artificial intelligence for rare-event recognition: principles and pharmacovigilance case studies
arxiv.org·7h
✨Effect Inference
C2|Q>: A Robust Framework for Bridging Classical and Quantum Software Development
arxiv.org·1d
🔬Nanopasses
Pull request for issue #845
github.com·3d
💬Interactive REPLs
Causal Abstractions, Categorically Unified
arxiv.org·7h
💫Effect Systems
Level-10 vuln lurking in Redis source code for 13 years could allow remote code execution
theregister.com·18h·
Discuss: Hacker News
🛡️Parser Security