Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·11h
🪢Rope Data Structures
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·5h
📝Editor Buffers
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
20+ Beautiful Dover Publications Vintage Math Textbook Covers
abakcus.com·16h
∫Mathematical DSLs
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·1h·
Discuss: Hacker News
🔗Lexical Scoping
Simple-looking math problem divides people as they struggle to solve sum - can you remember the 'golden rule'?
dailymail.co.uk·1d
∫Symbolic Math
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·22h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Show HN: Semlib – Semantic Data Processing
github.com·5h·
Discuss: Hacker News
🔍ML Language
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·7h
🌱Minimal ML
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
πPi Calculus
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·15h
🧠Semantic Parsing
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.com·13h·
Discuss: www.blogger.com
∫Mathematical DSLs
Folks, we have the best π
lcamtuf.substack.com·12h·
Discuss: Substack
🧮Combinator Calculus
Systematic fraud uncovered in mathematics publications
phys.org·2h
∫Symbolic Math
The Gauntlet
thegauntlet.ca·13h
🌱Forth Kernels
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·3d·
Discuss: Lobsters, Hacker News
∫Mathematical DSLs
[CS 2881r] Some Generalizations of Emergent Misalignment
lesswrong.com·1d
🔍ML Language