De Bruijn Numerals
λLambda Calculus
Flag this post
From Lossy to Lossless Reasoning
🪜Recursive Descent
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·2d
⚖️Inference Rules
Flag this post
How to Convert Cubic Bézier Curves into Euler Spirals for GPU Optimization
hackernoon.com·2d
🔢Algebraic Datatypes
Flag this post
My first fifteen compilers (2019)
🔬Nanopasses
Flag this post
AI as Mathematical Muse: Unlocking the Universe's Secrets Together
📐Mathematical Computing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
🔗Go Generics
Flag this post
Multi-Splitting Forking Based Modular Security of Signatures in Multivariate Quadratic Setting
eprint.iacr.org·3d
⚡Partial Evaluation
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Category Theory
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·4h
🔄Loop Optimization
Flag this post
SMU knocks off No. 10 Miami in overtime to put Hurricanes' Playoff hopes in peril
nytimes.com·1h
🌸Bloom Indexing
Flag this post
Variance-reduced estimation of Third-order statistics using control variates with splitting
sciencedirect.com·1h
⚡Partial Evaluation
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
🎯Pattern Matching
Flag this post
Issue 496
haskellweekly.news·2d
👑Dependent Haskell
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·3h
🪢Rope Data Structures
Flag this post
Roadmap for Improving the Type Checker
✅Type Checking
Flag this post
Loading...Loading more...