🦀 Rust Borrowing

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

Behind the Scenes of Pingoo: Slashing allocations in Rust with mimalloc and heapless to build the fastest reverse proxy
kerkour.com·3d·
Discuss: Hacker News, r/programming
🔒Linear Types
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·1d·
Discuss: Substack
🔲Cellular Automata
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·1d·
Discuss: Hacker News
🔩Systems Programming
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
Accelerated Cold Tolerance Breeding via Multi-Modal Phenotyping and Genome-Wide Predictive Modeling
dev.to·54m·
Discuss: DEV
☕Precision Brewing
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
Discuss: Hacker News, Hacker News
🔗Static Linking
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·2d·
Discuss: Hacker News
🔗Lisp
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Operable Software
ferd.ca·1d·
Discuss: Hacker News
👁️System Observability
Stryker Mutator
github.com·6h·
Discuss: Hacker News
🔧Binary Parsers
Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Scriptable mutating admission hook?
reddit.com·1d·
Discuss: r/kubernetes
🎯Gradual Typing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·7h·
Discuss: DEV
📊Multi-vector RAG
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog·3d
📜Proof Carrying Code
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
🎯Performance Proofs
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·11h·
Discuss: DEV
📊Multi-vector RAG