Graphs Are Programs
gdotv.com·1d·
Discuss: Hacker News
🧮Programming Language Theory
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·1d·
Discuss: Hacker News
🤖Sci-Fi
Scaling the Tülu 3 post-training recipes to surpass the performance of DeepSeek V3
allenai.org·1d
🔗Parser Combinators
We Fixed AI's Broken Promise
understoryai.substack.com·4d·
Discuss: Substack
🧭SMT Solvers
How can we train an open-source AI model with a 760-page machine manual to quickly diagnose issues?
reddit.com·6h·
Discuss: r/LocalLLaMA
🤖Sci-Fi
Problem in atmega328p mini project
reddit.com·4h·
Discuss: r/embedded
🔧Compiler Design
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·1d
👐Open Source Software
I built a CLI tool to turn natural language into shell commands (and made my first AUR package) and i would like some honest feedback
reddit.com·5h·
Discuss: r/LLM
👐Open Source Software
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
arxiv.org·3d
📈Complexity Theory
Searching for Privacy Risks in LLM Agents via Simulation
arxiv.org·15h
⚡Concurrency
Psychology Aims For A Unified Theory Of Cognition And AI Will Be A Big Help To Get There
forbes.com·12h
🧮Programming Language Theory
Your RAG is Basic. Here's the KG-RAG Pattern We Used to Build a Real AI Agent.
dev.to·1d·
Discuss: DEV
⚖️Logic Programming
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·2d·
Discuss: DEV
🔗Parser Combinators
Predictive Driver Behavior Modeling via Bayesian Dynamic Hypergraphs
dev.to·4d·
Discuss: DEV
🔢Mathematical Logic
GoViG: Goal-Conditioned Visual Navigation Instruction Generation
arxiv.org·1d
🔧Compiler Design
Automated Dynamic Load Balancing in Heavy-Lift Crane Operations via Reinforcement Learning
dev.to·3d·
Discuss: DEV
🤖Sci-Fi
NegFaceDiff: The Power of Negative Context in Identity-Conditioned Diffusion for Synthetic Face Generation
arxiv.org·1d
🧫Cellular Automata
Automated Proficiency Assessment via Dynamic Bayesian Network Inference and Adaptive Item Response Theory
dev.to·4d·
Discuss: DEV
📈Complexity Theory
Context Misleads LLMs: The Role of Context Filtering in Maintaining Safe Alignment of LLMs
arxiv.org·15h
🔗Parser Combinators
Adaptive Beamforming Optimization for Low-Earth Orbit Satellite Constellations via Reinforcement Learning
dev.to·13h·
Discuss: DEV
📊Information Theory