Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

A Mathematical Model of a Wormhole
blog.adafruit.com·1d
πPi Calculus
Flag this post
The Shadows Lurking in the Equations
gods.art·4d·
Discuss: Hacker News
🔗Graph Rewriting
Flag this post
My Dual MBP setup for offline LLM coding (w/ Qwen3 Coder 30B A3B)
i.imgur.com·1d·
Discuss: r/LocalLLaMA
Tokenizer Optimization
Flag this post
Balancer hack analysis and guidance for the DeFi ecosystem
blog.trailofbits.com·2d
🛡️Taint Analysis
Flag this post
Models Matter
cybadger.com·2d·
Discuss: Hacker News
💫Effect Systems
Flag this post
AI unravels the hidden communication of gut microbes
sciencedaily.com·3h
Effect Inference
Flag this post
Building Community Tech
jeanhsu.substack.com·1d·
Discuss: Substack
🔄Bootstrapping
Flag this post
The pivot ⊗ We should all be Luddites ⊗ What is civil society, and why should we care?
sentiers.media·22h
⚙️Async State Machines
Flag this post
Making MCP Tool Calls Scriptable with mcp_cli
joshbeckman.org·2d·
Discuss: Hacker News
Incremental Parsing
Flag this post
Teach Your AI to Think Like a Senior Engineer
every.to·2d
Live Coding
Flag this post
Stop Debugging Your Bibliography: A Developer’s Guide to Efficient Academic Writing
dev.to·18h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Lost and confused. Any Help?
reddit.com·4d·
🔗Category Theory
Flag this post
Squeezing a few more bytes out
reddit.com·1d·
Discuss: r/embedded
📦Executable Size
Flag this post
Development of a seismic life cycle cost framework for buried pipelines
sciencedirect.com·3d
📦Dependency Analysis
Flag this post
The Transmitter ’s Rising Stars of Neuroscience 2025
thetransmitter.org·4h
Effect Inference
Flag this post
Micah Parsons trade came with 'poison pill' blocking potential deals to NFC East: Source
nytimes.com·17h
Partial Evaluation
Flag this post
The AI Horizon Report: Essential Trends, Developer Insights, and Cultivating Credible Expertise (2025-11-08)
dev.to·2d·
Discuss: DEV
🎭Program Synthesis
Flag this post