Two Number Theory Items (and Woody Allen)
math.columbia.edu·1d
🔶Lattice Theory
TIL that our current year 2025 is the sum of the first 9 cubes; 1³+2³+3³+4³+5³+6³+7³+8³+9³=2025
activityworkshop.net·17h·
Discuss: r/todayilearned
📋Copy GC
A First Course in Quantitative Economics with Python
intro.quantecon.org·2d
🔢Algebraic Datatypes
Who (or what) could have written a better book?
noncommutativeanalysis.wordpress.com·3d
🔬programming language theory
GHC Developer Blog: GHC 9.12.3-rc1 is now available
haskell.org·10h
📏Linear Haskell
AI Notes: Using LLM + Perplexity from the terminal
balaskas.gr·15h
💬Interactive REPLs
ChatGPT Surprises Scientists By Solving Plato’s Ancient Math Test In A New Way
studyfinds.org·8h
🌱Minimal ML
Studying the number sense seriously?
reddit.com·11h·
Discuss: r/compsci
📐Mathematical Computing
Turn Any LLM into a Powerful Assistant (All About Tools)
bittere.substack.com·19h·
Discuss: Substack
✨Gleam
Cactus Language • Discussion 3
inquiryintoinquiry.com·1d
📋Backus-Naur Form
My AI Journey: A Java Developer's First Dive into the Python Ocean
dev.to·2d·
Discuss: DEV
💬Interactive REPLs
The Case Against DRY
reddit.com·1d·
Discuss: r/webdev
🌳Tree Shaking
My experience with AI as a front end developer
frontendundefined.com·2h·
Discuss: Hacker News
🎮Language Ergonomics
On-Device LLM
dev.to·6h·
Discuss: DEV
🗺️Region Inference
Numerical Discretization Methods for Seismic Response Analysis of SDOF Systems: A Unified Perspective
arxiv.org·6h
∫Mathematical DSLs
HelixDB - An open-source graph-vector database built in Rust
reddit.com·11h·
Discuss: r/opensource
🌳Persistent Data
Understanding Python’s LEGB rule, closures, and why variables sometimes behave like shadows.
dev.to·1d·
Discuss: DEV
🔗Lexical Scoping
mucAI at BAREC Shared Task 2025: Towards Uncertainty Aware Arabic Readability Assessment
arxiv.org·6h
⚖️Weighted Automata
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·6h
📊LR Parsing
Issue 490
haskellweekly.news·3d
⚡functional programming