Math that feels good: creating learning resources for blind students
aimath.org·2d
∫Mathematical DSLs
Flag this post
Inverting matrices and bilinear functions
🧮Linear Algebra
Flag this post
TRIP: Coercion-resistant Registration for E-Voting with Verifiability and Usability in Votegral
bford.info·2d
🌱Forth Kernels
Flag this post
Building Naia in the Cloud
atomslab.dev·10h
🎯Finite Automata
Flag this post
Pure Functional Stream processing in Scala [1]
blog.mihaisafta.com·2d
🔧API Design
Flag this post
Functions are Asymmetric
😴Lazy Evaluation
Flag this post
A Hundred-Year-Old Pedagogical Theory That Elevates AI as a Thinking Partner
anders.thoresson.se·1d
🪜Recursive Descent
Flag this post
Day 9 of My 100 Days of Web Dev — CSS Gradients, Backgrounds & Parent-Child Magic!
✨Code Formatting
Flag this post
No Magic: How Spring, Lombok, and Mockito Actually Work Under the JVM Hood
📜Bytecode Interpreters
Flag this post
We're building a small site to help students who get stuck on programming problems
💬Error Message Design
Flag this post
Think as a Doctor: An Interpretable AI Approach for ICU Mortality Prediction
arxiv.org·1h
🌱Minimal ML
Flag this post
My Rust Beginner's Video Guide / Code
🚂Cranelift IR
Flag this post
AI Isn't Weak-It's Underused: How PromptNova Unlocks Its True Potential
🎭Program Synthesis
Flag this post
Identifying and Quantifying Financial Bubbles with the Hyped Log-Periodic Power Law Model
arxiv.org·1d
🔢Algebraic Datatypes
Flag this post
Ordinal Scale Traffic Congestion Classification with Multi-Modal Vision-Language and Motion Analysis
arxiv.org·1d
🌊Dataflow Languages
Flag this post
Knowledge-Decoupled Functionally Invariant Path with Synthetic Personal Data for Personalized ASR
arxiv.org·1d
🪜Recursive Descent
Flag this post
Loading...Loading more...