What Is Occult Grammar?
📝Parsing
Flag this post
Do I want Coders to Code?
🌳Git
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·13h
🔢NumPy
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
📊Dynamic Programming
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post
Learning C As An Intermediate
🦀Rust
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
Automated Cost-Benefit Analysis for Synthetic Biology Gene Synthesis Services
🎭Program Synthesis
Flag this post
Perl 🐪 Weekly #745 - Perl IDE Survey
🌳Tree-sitter
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
📝NLP
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🌳Tree-sitter
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·1d
📝Parser Combinators
Flag this post
Loading...Loading more...