Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·15h·
Discuss: Lobsters, Hacker News
🗣️Language Servers
You Are the Bios Now: Building a Hypervisor in Rust with KVM
yeet.cx·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔒Hardware Security
Our first outage from LLM-written code
sketch.dev·1d·
Discuss: Lobsters, Hacker News
🏗️LLVM
From Frustration to Power: What We Learned at Nixcademy
niteo.co·1d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Writing memory efficient structs in C
tomscheers.github.io·3d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🧠Memory Allocators
KernelScript eBPF-centric programming language
github.com·3d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
dson: A delta-based CRDT implementation in Rust
github.com·3d·
Discuss: Hacker News
🌍Distributed Systems
AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.com·12h
🎮Game Engines
Linux 6.16 brings faster file systems, improved confidential memory, & more Rust
zdnet.com·3d·
Discuss: Hacker News, r/programming
📊Profiling Tools
When Flatpak’s Sandbox Cracks: Real‑Life Security Issues Beyond the Ideal
linuxjournal.com·1d·
Discuss: Lobsters, Hacker News
🔒Hardware Security
Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·3d·
Discuss: Hacker News, r/programming
⚡Async Rust
Modelling Arbitrary Computations in the Symbolic Model using an Equational Theory for Bounded Binary Circuits
arxiv.org·3d
📦Binary Formats
I built my blog with C preprocessor macros
wheybags.com·2d·
Discuss: Lobsters, Hacker News
🎭Proc Macros
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·3d
⚡Async Rust
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
📦Binary Formats
Senior Rust Engineer
news.ycombinator.com·2d·
Discuss: Hacker News
🏗️LLVM
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·4d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Long Term Support(SQLite)
sqlite.org·17h·
Discuss: Lobsters, Hacker News
💾Database Engines
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·21h
🔒Hardware Security
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·1d·
Discuss: Lobsters, Hacker News
🤖AI