Balance between refactoring and inheritance in your code
github.com·9h·
Discuss: Hacker News
🧪Compiler Testing
Paul's Online Math Notes
tutorial.math.lamar.edu·3d·
Discuss: Hacker News
∫Mathematical DSLs
25 Tricky SQL Query Interview Questions with Answers [2025]
mygreatlearning.com·21h
📊Query Optimizers
Identifying Divergences in HW Designs For High Performance Computing Workloads (LBNL et al.)
semiengineering.com·5h
⚡Performance
Gauss, an Agent for Autoformalization
math.inc·4d·
Discuss: Hacker News, Hacker News, Hacker News
∫Mathematical DSLs
Python for Artists Cohort starts soon - DIGITAL PRODUCTION
digitalproduction.com·13h
🌊Dataflow Languages
The Quest to Find the Longest-Running Simple Computer Program
wired.com·1d·
Discuss: Hacker News, Hacker News
📏Linear Scanning
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·2d·
Discuss: Hacker News
∫Symbolic Math
Florida Poly professor's powerful new tool brings higher accuracy to nuclear physics
prnewswire.com·1h
🌱Minimal ML
A comprehensive review of lithium-ion battery modelling research and prospects: in-depth analysis of current research and future directions
sciencedirect.com·4h
🧠Memory Models
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🔍Fuzzy Indexing
The Story of How Calculators Were Invented: Pocket-Sized Math Wizards
inventorspot.com·7h
🔬Nanopasses
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·12h·
Discuss: DEV
🧩SAT Solvers
X-ray Astronomy Mission Concepts Workshop (Dec 2011)
science.nasa.gov·4h
🔗Concatenative
The Gauntlet
thegauntlet.ca·14h
🌱Forth Kernels
AI Agent Development Trends 2025: Insights from 542 Projects
greenice.net·5h·
Discuss: Hacker News
🔄Subinterpreters
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·1d·
Discuss: DEV
🔄Copy Propagation
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·6h
🎭Erlang OTP
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·8h·
Discuss: Hacker News
🌱Minimal Lisps