You Shouldn't Use ORMs
🔬Static Analysis
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
📚Automata Learning
Flag this post
Why We Migrated from Python to Node.js
🔧DevOps
Flag this post
I Use AI
🔤Language Design
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·1d
📚Automata Learning
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·1d
⚙️Compiler Design
Flag this post
Using ensemble learning with hybrid graph neural networks and transformers to predict traffic in cities
arxiv.org·6h
🕸️Graph Theory
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Speech-DRAME: A Framework for Human-Aligned Benchmarks in Speech Role-Play
arxiv.org·1d
🧩Parser Combinators
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
🧩Parser Combinators
Flag this post
Belief Dynamics Reveal the Dual Nature of In-Context Learning and Activation Steering
arxiv.org·1d
📚Automata Learning
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
📊Runtime Verification
Flag this post
Aligning LLM agents with human learning and adjustment behavior: a dual agent approach
arxiv.org·1d
📚Automata Learning
Flag this post
A Guide To Being Persuasive About AI Dangers
lesswrong.com·4h
🔲Cellular Automata
Flag this post
Being "Usefully Concrete"
lesswrong.com·13h
➡️Category Theory
Flag this post
Loading...Loading more...