Just released a new side project
productapi.dev·8h·
Discuss: Hacker News
🔤type system theory and implementation
Flag this post
The (near) Future of AI in Math
blog.georgeshakan.com·1d
🔤type system theory and implementation
Flag this post
Where Explanations End
kill-the-newsletter.com·14h
🔤type system theory and implementation
Flag this post
Prediction-based evaluation of back-four defense with spatial control in soccer
arxiv.org·2h
🔤type system theory and implementation
Flag this post
The Open Strategy Dictator Game: An Experiment in Transparent Cooperation
lesswrong.com·8h
🔤type system theory and implementation
Flag this post
Experimental Results on Goldbach's Conjecture
dev.to·2d·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Slashing CI Wait Times: How Pinterest Cut Android Testing Build Times by 36%+
medium.com·8h
🗄databases and optimization
Flag this post
Robust Linear Design for Flight Control Systems with Operational Constraints
arxiv.org·2h
🔤type system theory and implementation
Flag this post
Categorical Emotions or Appraisals - Which Emotion Model Explains Argument Convincingness Better?
arxiv.org·2h
🗄databases and optimization
Flag this post
I built a tool to automate your JSON translations for i18next / next-intl / vue-i18n
reddit.com·17h·
Discuss: r/node
🗄databases and optimization
Flag this post
A fault-tolerant neutral-atom architecture for universal quantum computation
nature.com·15h
🔤type system theory and implementation
Flag this post
The ultimate guide to Open Source Observability in 2025: From silos to stacks
dev.to·2d·
Discuss: DEV
🗄databases and optimization
Flag this post
MedVoiceBias: A Controlled Study of Audio LLM Behavior in Clinical Decision-Making
arxiv.org·2h
🔤type system theory and implementation
Flag this post
Foundational Automatic Evaluators: Scaling Multi-Task Generative EvaluatorTraining for Reasoning-Centric Domains
paperium.net·6h·
Discuss: DEV
🗄databases and optimization
Flag this post
Book review: “Build a DeepSeek Model (From Scratch)”
dev.to·2d·
Discuss: DEV
🔤type system theory and implementation
Flag this post
Predictive Maintenance Optimization via Multi-Modal Anomaly Scoring and Dynamic Resource Allocation
dev.to·1d·
Discuss: DEV
🗄databases and optimization
Flag this post