Graphs Are Programs
gdotv.com·23h·
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
Auditing AI
wryco.com·3d·
Discuss: Hacker News
🔗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·4h·
Discuss: r/LocalLLaMA
🤖Sci-Fi
Problem in atmega328p mini project
reddit.com·2h·
Discuss: r/embedded
🔧Compiler Design
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·1d
👐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·13h
⚡Concurrency
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·3d
🔢Mathematical Logic
Adaptive Spectral Deconvolution for Enhanced Exoplanet Transit Detection in Low Signal-to-Noise Data
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·1d
🔄Category Theory
Psychology Aims For A Unified Theory Of Cognition And AI Will Be A Big Help To Get There
forbes.com·10h
🧮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·3d·
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