Categorical systems theory
topos.institute·1d
🔀Category Theory
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·4h
🎯Proof Tactics
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
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·1d·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
The Mondrian introduction to functional optics
marcosh.github.io·4d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
A gentle introduction to Generative AI: Historical perspective
medium.com·14h·
Discuss: Hacker News
🧠Learned Codecs
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
We found a bug in Go's ARM64 compiler
blog.cloudflare.com·3d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
📜Proof Carrying Code
Padding
reddit.com·10h·
Discuss: r/golang
🔧KAITAI
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
✨Effect Handlers
The Trillion Dollar AI Software Development Stack
a16z.com·17h·
Discuss: Hacker News
⚡Proof Automation
rust-lang/rustfmt
github.com·1d
🦀Rust Macros
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Refactoring: A way to write better Code
dev.to·13h·
Discuss: DEV
⚙️Operational Semantics
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation