Categorical systems theory
topos.institute·1d
🔀Category Theory
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·1d·
Discuss: Substack
🎯Proof Tactics
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·3d
📺VT100
Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·9h·
Discuss: Hacker News
🎯Proof Tactics
AWS RDS Data API Deep Dive
proactiveops.io·5h·
Discuss: Hacker News
🌊Streaming Databases
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·19h·
Discuss: Lobsters, Hacker News
🔌Interface Evolution
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Refactoring: A way to write better Code
dev.to·17h·
Discuss: DEV
⚙️Operational Semantics
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Certifiable Safe RLHF: Fixed-Penalty Constraint Optimization for Safer Language Models
arxiv.org·4d
🔗Parser Combinators
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Complete Guide to Audio Processing in Python: From Spectrograms to Real-Time Applications
dev.to·6h·
Discuss: DEV
📊Spectral Analysis
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
Programmer in Wonderland
binaryigor.com·2d·
Discuss: Hacker News
🔩Systems Programming
The Trillion Dollar AI Software Development Stack
a16z.com·22h·
Discuss: Hacker News
⚡Proof Automation