∫ 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·7h·
Discuss: r/todayilearned
💫Effect Systems
Help
reddit.com·5h·
Discuss: r/C_Programming
∀Quantified Types
Mercedes-Benz Fashion Week NYC
usofarn.com·1d
🏠indieweb
The Case for Compact AI – Communications of the ACM
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal ML
enjoy-digital/litex
github.com·6h
🔍Lens Libraries
Data Preprocessing in Data Mining: A Simple Guide for Beginners
dev.to·2h·
Discuss: DEV
🔤String Algorithms
All the ways I use AI
fredrikmeyer.net·59m·
Discuss: Hacker News
💬Interactive REPLs
The Password That Never Was: How to Access Secrets That Were Always There. Smart Password Library. 🔐
dev.to·12h·
Discuss: DEV
🔗Hash Functions
OpenAI releases new GPT-5-Codex model for autonomous coding and large-scale refactoring
alternativeto.net·15h
🎮Language Ergonomics
MedFact: Benchmarking the Fact-Checking Capabilities of Large Language Models on Chinese Medical Texts
arxiv.org·4h
🌱Minimal ML
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·4h
📋JSON Parsing
JANUS: A Dual-Constraint Generative Framework for Stealthy Node Injection Attacks
arxiv.org·4h
🪜Recursive Descent
ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation
arxiv.org·4h
🌊Loop Invariant Motion
LangChain4j in Action: Building an AI Assistant in Java
dev.to·5h·
Discuss: DEV
🌉Language Bridges
ParaEQsA: Parallel and Asynchronous Embodied Questions Scheduling and Answering
arxiv.org·1d
🔬Nanopasses
Neural cellular automata: applications to biology and beyond classical AI
arxiv.org·1d
🎯Finite Automata
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌊Loop Invariant Motion
Combating headcrabs in the Source SDK codebase
dev.to·20h·
Discuss: DEV
🦀MIR Optimization
Shakespeare makes you a better engineer.
dev.to·10h·
Discuss: DEV
🎮Language Ergonomics