∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Faculty Positions Starting 2025
stat.columbia.edu·2d
🧮Linear Algebra
Lennar Corporation (LEN) Q3 2025 Earnings Call Transcript
seekingalpha.com·3h
🔥Flamegraphs
Lomuto's Comeback for Quicksort Partitions
dlang.org·2d·
Discuss: Hacker News
⏭️Skip Lists
Show HN: Vicoa – Code with Claude and Codex Anywhere (Laptop + Mobile + Tablet)
vibecodeanywhere.com·1d·
Discuss: Hacker News
🔄Incremental Lexing
Fantasy Football Week 3 Sleepers: Marcus Mariota steps in for Jayden Daniels and emerges as a sleeper QB
cbssports.com·3h
⚡Partial Evaluation
This $60 notebook saved me from buying paper (and another tablet)
makeuseof.com·3h
📖Literate Programming
Malware Classification TryHackMe — Complete Write-Up
infosecwriteups.com·1d
🔐Security Types
Mi propio procesador de textos en ZX Sinclair BASIC
dev.to·2d·
Discuss: DEV
📝Lexer Generators
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·3d
🌱Minimal ML
TAI #170: Why Are So Many of the AI Success Stories AI for Coding?
pub.towardsai.net·3d
💬Interactive REPLs
Portable C++ Guideline
github.com·2d·
Discuss: Hacker News
📚Stack Data Structures
Has Gemini 3.0 been secretly released? A look at the latest truth & forecast
dev.to·1d·
Discuss: DEV
🔮Metacircular Evaluators
ICPC medals for OpenAI and Gemini
simonwillison.net·2d
🎯Constraint Solving
Is Artificial Intelligence Worth the Investment?
foreignpolicy.com·3h
💫Effect Systems
Enhanced Flow Control via Adaptive Vortex Generator Placement using Bayesian Optimization
dev.to·1d·
Discuss: DEV
🌪️V8 TurboFan
Making LLMs more accurate by using all of their layers
research.google·2d·
Discuss: Hacker News, r/LocalLLaMA
📊LR Parsing
Chronon: A data platform for serving for AI/ML applications
github.com·3d·
Discuss: Hacker News
📋JSON Parsing
Same named methods in Java. Part 1: Don’t Underestimate Overloading
dev.to·1d·
Discuss: DEV
🔧API Design
FSR-VLN: Fast and Slow Reasoning for Vision-Language Navigation with Hierarchical Multi-modal Scene Graph
arxiv.org·1d
🔍Lens Libraries
Ship Your AI Model to Production in Minutes with Replicate
dev.to·2h·
Discuss: DEV
✨Gleam