Large Language Model enabled Mathematical Modeling
arxiv.org·8h
🔢Denotational Semantics
Flag this post
AI and Intro Theory
🎯Performance Proofs
Flag this post
Automata Alchemists: Transmuting Reinforcement Learning into State Machines by Arvind Sundararajan
⚙Automata Theory
Flag this post
An Introduction to JavaScript Expressions
css-tricks.com·1d
🔗Concatenative Programming
Flag this post
A Proof of the Riemann Hypothesis
⚔️Lean Theorem
Flag this post
Note
hsu.cy·22h
📜Text Collation
Flag this post
Hacking the Color BASIC PRINT command – part 3
subethasoftware.com·6h
📺VT100
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·1d
📊Quantization
Flag this post
Solving Regex Crosswords with Z3
🧮Z3 Solver
Flag this post
Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·1d
🔬Lean
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·1d
🎯Performance Proofs
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·8h
🔗Parser Combinators
Flag this post
The Dog the Cat Chased Stumped the Model: Measuring When Language Models Abandon Structure for Shortcuts
arxiv.org·8h
🔗Monadic Parsing
Flag this post
Handling Time
⏱️SMPTE Timecode
Flag this post
The Road to Flux 1.0
✨Effect Handlers
Flag this post
When the VIBEs Start to Fade
🏗️Compiler Archaeology
Flag this post
Loading...Loading more...