A security model for systemd
lwn.net·2h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Building a P2P Rental Marketplace - Full-Stack Architecture with Flutter & Express.js
revolvo.tech·3h·
Discuss: DEV
🌐Axum
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🧮SMT Solvers
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·7h·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Why Multi-Validator Hosts Break Traditional Security Scanning
dev.to·3h·
Discuss: DEV
🔍eBPF
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·23h·
Discuss: DEV
🦀Rust
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
I've created a leetcode for system design
reddit.com·5h·
Discuss: r/programming
🎨Design Systems
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·6h·
Discuss: r/C_Programming
🦀Rust
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·3d·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·5h·
Discuss: DEV
⏭️Skip Lists
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·2h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3d·
Discuss: Hacker News
📐TLA+
Flag this post
Building our geospatial database in production
radar.com·2h·
Discuss: Hacker News
📋Columnar Storage
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
📐TLA+
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·13h
🔍eBPF
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·1d
⚙️JIT Compilation
Flag this post