Tableplot Tutorial: Customizing Plots with Parameter Substitution
clojurecivitas.github.io·18h
📇Symbol Tables
Flag this post
What’s Special about Life? Bulk Orchestration and the Rulial Ensemble in Biology and Beyond
λLambda Calculus
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·1d
⚖️Inference Rules
Flag this post
I wrote a "from first principles" guide to building an HTTP/1.1 client in Rust (and C/C++/Python) to compare performance and safety
🔧API Design
Flag this post
Scaling HNSWs
🔄Copy Propagation
Flag this post
Intro to Clean Architecture in Android. Example with independent features.
🌉Cross-Platform FFI
Flag this post
Model Counting for Dependency Quantified Boolean Formulas
arxiv.org·13h
📈Monotonic Logic
Flag this post
Chef who discovers recipes that don’t just feed the body, but awaken hidden talents in anyone who tastes them.
🔗Lexical Scoping
Flag this post
Designing Blockchain #1: Introduction
🔗Hash Functions
Flag this post
I Read Sam Bhagwat's AI Agents Bible So You Don't Have to (But Probably Should)
🎭Program Synthesis
Flag this post
Simulating Clifford Circuits with Gaussian Elimination
arxiv.org·13h
🎯Bit-Vector Algorithms
Flag this post
spectral flow
ncatlab.org·1d
🔗Category Theory
Flag this post
The Implication of Malloy in Analytics
🔍ML Language
Flag this post
Getting the Model Right
🎮Language Ergonomics
Flag this post
Where Explanations End
kill-the-newsletter.com·1d
🪞Metaprogramming
Flag this post
Automatic C to Rust translation technology provides accuracy beyond AI
techxplore.com·9h
🏗️Cranelift
Flag this post
Loading...Loading more...