Graphs Are Programs
gdotv.com·14h·
Discuss: Hacker News
🧮Programming Language Theory
Carbon and Modernizing C++ with Chandler Carruth
softwareengineeringdaily.com·22h
🧮Programming Language Theory
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·19h·
Discuss: Hacker News
🤖Sci-Fi
Auditing AI
wryco.com·3d·
Discuss: Hacker News
🔗Parser Combinators
Open Source Sustainability for fastn - FifthTry Launches Rust Consultancy
fastn.com·20h·
Discuss: Lobsters, Hacker News
🔌Network Programming
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·1d
👐Open Source Software
WeirdML Benchmark v2
htihle.github.io·4d·
Discuss: Hacker News
🔍Static Analysis
The AI tool that could make manufacturing faster and more efficient—by using Lego bricks
techxplore.com·18h·
Discuss: Hacker News
🤖Sci-Fi
Why MCP Uses JSON-RPC Instead of REST or gRPC
dev.to·22h·
Discuss: DEV
🤝Protocol Design
FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks
arxiv.org·3d
📈Complexity Theory
GS4Buildings: Prior-Guided Gaussian Splatting for 3D Building Reconstruction
arxiv.org·3d
🧫Cellular Automata
Searching for Privacy Risks in LLM Agents via Simulation
arxiv.org·3h
⚡Concurrency
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·3d
🔢Mathematical Logic
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·22h·
Discuss: DEV
⚖️Logic Programming
Automated Feasibility Assessment via Dynamic Bayesian Network Optimization
dev.to·2d·
Discuss: DEV
⚖️Logic Programming
Adaptive Spectral Deconvolution for Enhanced Exoplanet Transit Detection in Low Signal-to-Noise Data
dev.to·2d·
Discuss: DEV
🏗️Software Architecture
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
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·1d·
Discuss: DEV
🔗Parser Combinators