Dev Stack 2025, Part V: VSCode and Copilot
loufranco.comยท1d
๐Language Evolution
Flag this post
DOTS from double theories
topos.instituteยท4d
๐Category Theory
Flag this post
Token-Optimized Notation Language
โ
Format Verification
Flag this post
Matrix Arcade
๐Linear Algebra
Flag this post
2 Years of ML vs. 1 Month of Prompting
๐งชBinary Fuzzing
Flag this post
A hypothetical search service on S3 with Tantivy and warm cache on NVMe
๐Sync Engine
Flag this post
Sysadmins take note
bitfieldconsulting.comยท20h
๐ง Personal Knowledge Base
Flag this post
This Startup Is Racing Duolingo To Replace Human Language Tutors With AI
forbes.comยท1d
๐๏ธWhisper
Flag this post
Epstein-Docs.github.io
๐คArchive Automation
Flag this post
Fish 4.2.0
๐Terminals
Flag this post
Emerging climate impact on carbon sinks in a consolidated carbon budget
nature.comยท13h
๐งArctic Storage
Flag this post
Want a WhatsApp Emacs client? Will you fund it?
xenodium.comยท1d
๐Terminals
Flag this post
Consecutive Preferential Bayesian Optimization
arxiv.orgยท3d
โกIncremental Computation
Flag this post
Selective Diabetic Retinopathy Screening with Accuracy-Weighted Deep Ensembles and Entropy-Guided Abstention
arxiv.orgยท2d
๐ง Machine Learning
Flag this post