X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·3d·
Discuss: r/programming
🔤Type Theory
Are daily dreams future insights or past reflections?
aidreamscope.com·12h·
Discuss: Hacker News
📝Log Parsing
AI Leap 2025: Estonia Sets the Global Standard for AI in Education
e-estonia.com·16h·
Discuss: Hacker News
🗺️Competency Maps
15 best flasks and travel mugs that will keep drinks hot (or cold) for hours
the-independent.com·4h
☕Coffee
Add Indexes to Foreign Key Refs in PostgreSQL
rishigoomar.com·3d·
Discuss: Hacker News
🚀Query Optimization
Google says it dropped the energy cost of AI queries by 33x in one year
arstechnica.com·2h
🤖AI Curation
Injection-proof SQL builders in Go
oblique.security·4d·
Discuss: r/golang
✅Format Verification
The Java type system is broken
wouter.coekaerts.be·3d·
Discuss: Hacker News
🔒Type Safety
Best strollers for 2025, as recommended by parents
the-independent.com·44m
🎯Content Recommendation
Problems installing OS on my Dell R510
reddit.com·2h·
Discuss: r/homelab
🔌Operating system internals
Dingdong (Cayman) Limited (DDL) Q2 2025 Earnings Call Transcript
seekingalpha.com·4h
🔗Data Provenance
HEIR: A Universal Compiler for Homomorphic Encryption
arxiv.org·4d
🔐Homomorphic Encryption
Beyond Solving Math Quiz: Evaluating the Ability of Large Reasoning Models to Ask for Information
arxiv.org·4d
🧮SMT Solvers
Miss Manners: I think I’m in trouble with my boss over the business dinner
mercurynews.com·1d
📋PREMIS Events
Toward Practical Equilibrium Propagation: Brain-inspired Recurrent Neural Network with Feedback Regulation and Residual Connections
arxiv.org·3d
🧠Neural Codecs
Let's build a Free Chatbot with Streamlit and Gemini AI (Step-by-Step for Beginners)
dev.to·3d·
Discuss: DEV
🎙️Whisper
UNICON: UNIfied CONtinual Learning for Medical Foundational Models
arxiv.org·2d
🤖Advanced OCR
Combating Homelessness Stigma with LLMs: A New Multi-Modal Dataset for Bias Detection
arxiv.org·2d
🎛️Feed Filtering
A Fully Transformer Based Multimodal Framework for Explainable Cancer Image Segmentation Using Radiology Reports
arxiv.org·2d
🧠Machine Learning
GeMS: Efficient Gaussian Splatting for Extreme Motion Blur
arxiv.org·1d
🏺Computational Archaeology