My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
AWK technical notes (2023)
🔀Brzozowski Derivatives
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
🩹Self-Healing Systems
Flag this post
Parsing Validation
lesswrong.com·8h
🔀Brzozowski Derivatives
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
📚Automata Learning
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
POSESTITCH-SLT: Linguistically Inspired Pose-Stitching for End-to-End Sign Language Translation
arxiv.org·1d
📦Module Systems
Flag this post
Functional embeddings enable Aggregation of multi-area SEEG recordings over subjects and sessions
arxiv.org·2d
📐Linear Algebra
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·23m
📚Automata Learning
Flag this post
Bridging Vision, Language, and Mathematics: Pictographic Character Reconstruction with B\'ezier Curves
arxiv.org·1d
📚Automata Learning
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Loading...Loading more...