We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·23h·
Discuss: Lobsters, Hacker News
🤖AI
Debugging the Pixel 8 kernel via KGDB
xairy.io·3d·
Discuss: Lobsters, Hacker News, r/programming
💽Firmware
Security practices in AI development
arxiv.org·2d
🤖AI
Make Your Own Backup System – Part 2: Forging the FreeBSD Backup Stronghold
it-notes.dragas.net·3d·
Discuss: Lobsters, Hacker News
📁File Systems
Certificate Transparency - Part 1
ipng.ch·6d·
Discuss: Lobsters, Hacker News, r/programming
📁File Systems
AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.com·5h
🎮Game Engines
PyPI Phishing Attack: Incident Report
blog.pypi.org·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
'Hello world' in Bismuth
enikofox.com·13h·
Discuss: Lobsters, Hacker News, r/programming
🎭Proc Macros
Blog series on creating an OS in Rust
os.phil-opp.com·2d·
Discuss: Hacker News
🔧Embedded Rust
“Opponent shaping” as a model for manipulation and cooperation
lesswrong.com·15h
🧮Linear Algebra
Sploitlight: Analyzing a Spotlight-based macOS TCC vulnerability
microsoft.com·4d·
Discuss: Lobsters, Hacker News
📁File Systems
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·2d·
Discuss: Lobsters, Hacker News
🏗️LLVM
Secure Integrated Sensing and Communication Networks: Stochastic Performance Analysis
arxiv.org·20h
🌍Distributed Systems
From Frustration to Power: What We Learned at Nixcademy
niteo.co·1d·
Discuss: Lobsters, Hacker News
🔧Embedded Rust
Lobsters Interview with Icefox
lobste.rs·7h·
Discuss: Lobsters
🗣️Language Servers
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·2d
🏗️LLVM
Long Term Support(SQLite)
sqlite.org·9h·
Discuss: Lobsters, Hacker News
💾Database Engines
Schematra: Sinatra inspired Chicken web framework
github.com·1d·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
Research Areas in Benchmark Design and Evaluation (The Alignment Project by UK AISI)
lesswrong.com·13h
⏱️Real-time Systems
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·20h
📦Binary Formats