Thinking Thursday: A Good Teacher
denisegaskins.comยท2h
๐Ÿ“Mathematical Art
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท23h
๐Ÿ“Concrete Syntax
Why physicists think geometry is the path to a theory of everything
newscientist.comยท3d
๐Ÿ“Mathematical Art
Space Emerges From Time? Groundbreaking Theory Upends Einstein
scitechdaily.comยท4h
๐ŸงฎTheoretical Computer Science
Problem-solving is fundamental to human nature
freethink.comยท21h
๐Ÿ”ฒCellular Automata
Programming as Theory Building: Why Senior Developers Are More Valuable Than Ever
cekrem.github.ioยท4hยท
Discuss: r/node, r/programming, r/reactjs, r/typescript
๐Ÿ’ปProgramming languages
Show HN: AI-gent Workflows โ€“ locally reasoning AI Agents
ai-gents.workยท3hยท
Discuss: Hacker News
โšกProof Automation
Causal Operator Discovery in Partial Differential Equations via Counterfactual Physics-Informed Neural Networks
arxiv.orgยท11h
๐ŸŒ€Differential Geometry
Mapped: Theories of Everything
quantamagazine.orgยท22hยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
Monolith: Your New Best Friend for Offline Web Archiving
dev.toยท1dยท
Discuss: DEV
๐ŸบZIP Archaeology
Flame Graph Performance Truth Analysis๏ผˆ1750918443851900๏ผ‰
dev.toยท9hยท
Discuss: DEV
โšกPerformance Tools
Beyond Static Models: Hypernetworks for Adaptive and Generalizable Forecasting in Complex Parametric Dynamical Systems
arxiv.orgยท1d
๐Ÿ“ˆTime Series
DigitalOcean Fundamentals: API
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
Nedials, Nedians, and some related triangles and some properties
pballew.blogspot.comยท1dยท
Discuss: www.blogger.com
๐Ÿ“ŠComputational Geometry
Distribution of codewords on the faces of a hypercube and new combinatorial identities
arxiv.orgยท2d
โšฝSphere Packing
Double Maths First Thing: Issue 2A
aperiodical.comยท1d
๐Ÿ‘‘Isabelle
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท11h
๐Ÿง Intelligence Compression
AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data
arxiv.orgยท1d
๐Ÿค–Advanced OCR
OctoThinker: Mid-training Incentivizes Reinforcement Learning Scaling
arxiv.orgยท11h
๐Ÿ”ฒCellular Automata
CCRS: A Zero-Shot LLM-as-a-Judge Framework for Comprehensive RAG Evaluation
arxiv.orgยท11h
๐Ÿ“Linear Logic