US Needs to Triple EV Sales to Start Reducing ICE Vehicle Fleet
cleantechnica.comยท3h
๐Ÿ˜PostgreSQL
Flag this post
Just released a new side project
productapi.devยท6hยท
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
AWS Weekly Roundup: Amazon S3, Amazon EC2, and more (November 10, 2025)
aws.amazon.comยท12h
๐Ÿ—„databases and optimization
Flag this post
Build better software to build software better
slack.engineeringยท18h
๐Ÿ—„databases and optimization
Flag this post
Prediction-based evaluation of back-four defense with spatial control in soccer
arxiv.orgยท22m
๐Ÿ”ค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
Build systems and package management in 2024
cbarrete.comยท6h
๐Ÿ”คtype system theory and implementation
Flag this post
Building Scalable, Fault-Tolerant, and Highly Available Cloud Architectures with AWS Best Practices.
dev.toยท4hยท
Discuss: DEV
๐Ÿ—„databases and optimization
Flag this post
Slashing CI Wait Times: How Pinterest Cut Android Testing Build Times by 36%+
medium.comยท6h
๐Ÿ—„databases and optimization
Flag this post
Robust Linear Design for Flight Control Systems with Operational Constraints
arxiv.orgยท22m
๐Ÿ”คtype system theory and implementation
Flag this post
I built a tool to automate your JSON translations for i18next / next-intl / vue-i18n
reddit.comยท14hยท
Discuss: r/node
๐Ÿ—„databases and optimization
Flag this post
The Art of Deception: How AI is Redefining Strategic Warfare by Arvind Sundararajan
dev.toยท20mยท
Discuss: DEV
๐Ÿ—„databases and optimization
Flag this post
A fault-tolerant neutral-atom architecture for universal quantum computation
nature.comยท12h
๐Ÿ”คtype system theory and implementation
Flag this post
Why Your AI Agent Will Fail Without Human Oversight
pub.towardsai.netยท16h
๐Ÿ—„databases and optimization
Flag this post
Spilling the Beans: Teaching LLMs to Self-Report Their Hidden Objectives
arxiv.orgยท22m
๐Ÿ—„databases and optimization
Flag this post
On the gradient of the coefficient of the characteristic polynomial
arxiv.orgยท1d
๐Ÿ”คtype system theory and implementation
Flag this post
Meta Omnilingual ASR: Advancing Automatic Speech Recognition for 1600 Languages
ai.meta.comยท11hยท
๐Ÿ”คtype system theory and implementation
Flag this post
Categorical Emotions or Appraisals - Which Emotion Model Explains Argument Convincingness Better?
arxiv.orgยท22m
๐Ÿ—„databases and optimization
Flag this post