Graphs Are Programs
gdotv.com·15h·
Discuss: Hacker News
🧮Programming Language Theory
Carbon and Modernizing C++ with Chandler Carruth
softwareengineeringdaily.com·1d
🧮Programming Language Theory
Beyond billion-parameter burdens: Unlocking data synthesis with a conditional generator
research.google·14h
🔗Parser Combinators
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·12h·
Discuss: Lobsters, Hacker News
🔧Compiler Design
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·21h·
Discuss: Hacker News
🤖Sci-Fi
Eclipse Atlas, YouTube, AI-Assisted Web Search, More: Thursday Afternoon ResearchBuzz, August 14, 2025
researchbuzz.me·14h
💾Retrocomputing
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·22h·
Discuss: Lobsters, Hacker News
🔌Network Programming
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·1d
👐Open Source Software
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·20h·
Discuss: Hacker News
🤖Sci-Fi
We Fixed AI's Broken Promise
understoryai.substack.com·3d·
Discuss: Substack
🧭SMT Solvers
Why MCP Uses JSON-RPC Instead of REST or gRPC
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Searching for Privacy Risks in LLM Agents via Simulation
arxiv.org·5h
⚡Concurrency
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·1d
🔄Category 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·1d·
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
Automated Proficiency Assessment via Dynamic Bayesian Network Inference and Adaptive Item Response Theory
dev.to·4d·
Discuss: DEV
📈Complexity Theory