Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Family
damiennoir.co.uk·17h
🔗Concatenative Theory
Flag this post
Limitations of a two-pass assembler
boston.conman.org·1d
⚙️Assembly
Flag this post
Scala vs. F#
alexn.org·2d·
Discuss: Hacker News
🔧Nickel
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·7h·
Discuss: Hacker News
🌙Lua
Flag this post
Beginner’s Guide to .NET Development
dev.to·19h·
Discuss: DEV
🎭Racket
Flag this post
Performance Analysis of NOMA-Assisted Optical OFDM ISAC Systems with Clipping Distortion
arxiv.org·1h
🔍Peephole Optimization
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·15h·
Discuss: Hacker News
🧩Constraint Logic
Flag this post
Deep Value Benchmark: Measuring Whether Models Generalize Deep values or Shallow Preferences
arxiv.org·1h
Quantified Types
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·2d·
🗑️Garbage Collection
Flag this post
Dynamic Estimates of Displacement in Disaster Regions: A Policy-driven framework triangulating data
arxiv.org·1h
🗺️Region Types
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🔮Metacircular Evaluators
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.org·1d
🔄Incremental Parsers
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·2h·
Discuss: DEV
🔄Incremental Lexing
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1h
🌱Minimal Interpreters
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·1h
Control Synthesis
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·1d
💫Effect Systems
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🎭Program Synthesis
Flag this post