The Chip That Spoke Lisp
jxself.org·2d
🤖Lisp Machines
ksmbd - Exploiting CVE-2025-37947 (3/3)
blog.doyensec.com·1d
📦Container Security
Running new applications on old glibc
lightofdawn.org·12h·
Discuss: Hacker News
🔗Static Linking
Alias and references as localized macros
gustedt.wordpress.com·2d·
Discuss: Hacker News
🦀Rust Macros
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·4h·
Discuss: Hacker News
🔐Hash Functions
What's new in Python 3.14
docs.python.org·1d·
Discuss: Hacker News, Hacker News
🌳Incremental Parsing
A Proof of the Riemann Hypothesis
dev.to·15h·
Discuss: DEV
⚔️Lean Theorem
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·13h
🔨Compilers
I/O Multiplexing (select vs. poll vs. epoll/kqueue)
nima101.github.io·13h·
Discuss: Hacker News
🌊Stream Processing
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·10h
🧬Functional Programming
Building your MCP server with Laravel
sevalla.com·7h·
Discuss: Hacker News
🔗Constraint Handling
Preventing Invalid Database Access at Compile Time
svix.com·2d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·1d·
Discuss: Hacker News
🧬Functional Programming
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·3d·
Discuss: DEV
📏Code Metrics
Is Odin Just a More Boring C?
dayvster.com·3d·
Discuss: Hacker News
🔩Systems Programming
A Month Debugging AI Agents: How I Built a 10-Agents and Why I Had to Delete It
news.ycombinator.com·6h·
Discuss: Hacker News
👑Isabelle
Replacing the Type Checker for the Swift Compiler
forums.swift.org·15h·
Discuss: Hacker News
💧Liquid Types
We Bet on Rust to Supercharge Feature Store at Agoda
medium.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Fast Matrix Multiply on an Apple GPU
percisely.xyz·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Control Codegen Spend
oreilly.com·6h
⚔️Lean Tactics