Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·35m
🎯Proof Tactics
Open Lineage
usenix.org·1d
🔌Interface Evolution
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·2d
🔲Cellular Automata
Preference-aware routing for Claude Code 2.0
archgw.com·2d·
Discuss: Hacker News
🔗Topological Sorting
Letting Claude make art with code
nuudeli.com·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Code Tours as Code
dundalek.com·2d·
Discuss: Hacker News
⚙️Build Archaeology
7x faster JSON in SQL: a deep dive into Variant data type
e6data.com·9h·
Discuss: Hacker News
📋DFDL
Moving on from XML? A teaser for a possible alternative
genodians.org·8h·
Discuss: Hacker News
📝Concrete Syntax
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·1d·
Discuss: Hacker News
🛡️RISC-V Security
6 AI Models vs. 3 Advanced Security Vulnerabilities
codelens.ai·3h·
Discuss: r/programming
🏠Homelab Pentesting
2025-10-10 # LLMs Are Transpilers
alloc.dev·2d·
Discuss: Hacker News
🔄Language Evolution
Building Repo Bench
repoprompt.com·2d·
Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
📊Multi-vector RAG
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·4h·
Discuss: DEV
📊Multi-vector RAG
Rustfmt is effectively unmaintained
reddit.com·3d·
Discuss: r/rust
🦀Rust Macros
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·6h·
Discuss: DEV
📊Multi-vector RAG
Building on vibes: Lessons from three years with LLMs
world.hey.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·2d
🧬Functional Programming
Four years, Five failures, One compiler
daymare.net·6d·
🏗️Compiler Archaeology