derived set
ncatlab.org·8h
🧮Algebraic Archives
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·18h
📐Compression Bounds
Hypercubical manifolds in homotopy type theory
arxiv.org·18h
🔶Cubical Type Theory
BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·16h
📝Concrete Syntax
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·7h·
Discuss: Substack
🦀Rust Macros
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·18h
🔍Type Inference
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·16h·
Discuss: DEV
λLambda Formalization
Self-referential structs that can actually move in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750671065382000）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·18h
🔍Concolic Testing
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·2d·
Discuss: r/golang
⬆️Lambda Lifting
Focus Your Attention: Towards Data-Intuitive Lightweight Vision Transformers
arxiv.org·1d
🔄Lens Laws
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
Returning Iterators from Functions
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Rust Web Framework Analysis Deep Dive Safety Features（1750734074777000）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing
Memory Safety in Web Rust System Zero Cost Secure（1750644757028200）
dev.to·2d·
Discuss: DEV
🦀Rust Borrowing
Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes
github.com·1d·
Discuss: Hacker News
📦Container Security