∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·1d
🧠Semantic Parsing
TIL the defunding of the $11bn Superconducting Super Collider caused huge growth in the field of quantitative finance, as the theoretical physics job market col...
blog.oup.com·5h·
Discuss: r/todayilearned
💫Effect Systems
Help
reddit.com·2h·
Discuss: r/C_Programming
∀Quantified Types
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
💬Error Message Design
How to Use AI Without Becoming Stupid
commoncog.com·19h·
Discuss: Hacker News
⚖️Inference Rules
OpenAI releases new GPT-5-Codex model for autonomous coding and large-scale refactoring
alternativeto.net·13h
🎮Language Ergonomics
enjoy-digital/litex
github.com·3h
🔍Lens Libraries
The Password That Never Was: How to Access Secrets That Were Always There. Smart Password Library. 🔐
dev.to·9h·
Discuss: DEV
🔗Hash Functions
Automated Sentiment-Driven Campaign Optimization for Targeted Cancer Awareness
dev.to·1d·
Discuss: DEV
✨Effect Inference
Agentic AI for Financial Crime Compliance
arxiv.org·2h
🎭Racket
Building a Legal Document Intelligence Platform with BigQuery AI: 99% Efficiency Implementation Guide
dev.to·21h·
Discuss: DEV
🔄Incremental Lexing
Spatiotemporal graph neural process for reconstruction, extrapolation, and classification of cardiac trajectories
arxiv.org·2h
🔍ML Language
Transformer Architecture
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
Claude Code vs Codex My Own experience
reddit.com·18h·
Discuss: r/ClaudeAI
📚Self-Documenting Code
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·2h
🌳Tree Algorithms
Modular, On-Site Solutions with Lightweight Anomaly Detection for Sustainable Nutrient Management in Agriculture
arxiv.org·2h
✨Effect Inference
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·2h
🪜Recursive Descent
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·2h
🌱Minimal ML
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·2h
📋JSON Parsing
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌊Loop Invariant Motion