Graphs Are Programs
gdotv.com·11h·
Discuss: Hacker News
🧮Programming Language Theory
Carbon and Modernizing C++ with Chandler Carruth
softwareengineeringdaily.com·20h
🧮Programming Language Theory
Mbodi AI (YC X25) Is Hiring a Founding Research Engineer (Robotics)
ycombinator.com·17h·
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
Software on Demand: from IDEs to Intent
metrics.blogg.gu.se·21h
👐Open Source Software
WeirdML Benchmark v2
htihle.github.io·3d·
Discuss: Hacker News
🔍Static Analysis
Why MCP Uses JSON-RPC Instead of REST or gRPC
dev.to·20h·
Discuss: DEV
🤝Protocol Design
From Black Box to Transparency: Enhancing Automated Interpreting Assessment with Explainable AI in College Classrooms
arxiv.org·1h
🔗Parser Combinators
impuTMAE: Multi-modal Transformer with Masked Pre-training for Missing Modalities Imputation in Cancer Survival Prediction
arxiv.org·1d
🔢Mathematical Logic
Dual Signal Decomposition of Stochastic Time Series
arxiv.org·4d
📊Information Theory
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·3d
🧭SMT Solvers
Deep Learning in Classical and Quantum Physics
arxiv.org·1h
🔐Cryptography
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·1h
⚡Concurrency
FNBT: Full Negation Belief Transformation for Open-World Information Fusion Based on Dempster-Shafer Theory of Evidence
arxiv.org·3d
🔢Mathematical Logic
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
LEAVES: Learning Views for Time-Series Biobehavioral Data in Contrastive Learning
arxiv.org·1d
🔄Category Theory
How I Explained Vector Embeddings to My Mom (And She Got It)
dev.to·1d·
Discuss: DEV
🔗Parser Combinators