Typechecker Zoo
stephendiehl.com·6d·
Discuss: Lobsters
🔍Type Inference
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.io·1d
🤖AI Curation
Grammarly says its AI agent can predict an A paper
theverge.com·2d·
Discuss: r/technews
⚡Proof Automation
Turning Claude Code into My Best Design Partner
betweentheprompts.com·15h·
Discuss: Hacker News
⚔️Lean Tactics
Writing an LLM from scratch - Tutorial series
gilesthomas.com·6d
💻Local LLMs
Understanding GRU in Deep Learning (Made Simple for Beginners)
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Analyzing Information Sharing and Coordination in Multi-Agent Planning
arxiv.org·2d
⚙️TLA+
Modeling and Detecting Company Risks from News: A Case Study in Bloomberg News
arxiv.org·3d
🧠Intelligence Compression
Logic Unseen: Revealing the Logical Blindspots of Vision-Language Models
arxiv.org·3d
📏Linear Logic
Automated Gradient Elution Optimization for Highly Complex Protein Mixture Resolution in HILIC-HPLC
dev.to·12h·
Discuss: DEV
🧮Algorithmic Cooking
The Rise of Open AI Models: Privacy, Control, and a New Era
dev.to·2h·
Discuss: DEV
🔌Interface Evolution
Active Fault Identification and Robust Control for Unknown Bounded Faults via Volume-Based Costs
arxiv.org·2d
🎯Performance Proofs
I Spent $78 Learning Why Bash Still Matters in the AI Age
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Versatile Video Tokenization with Generative 2D Gaussian Splatting
arxiv.org·3d
📄Document Streaming
Do Large Language Model Agents Exhibit a Survival Instinct? An Empirical Study in a Sugarscape-Style Simulation
arxiv.org·2d
🔲Cellular Automata
A Cost-Effective Framework for Predicting Parking Availability Using Geospatial Data and Machine Learning
arxiv.org·1h
🧠Machine Learning
CoBAD: Modeling Collective Behaviors for Human Mobility Anomaly Detection
arxiv.org·1h
📐Information Geometry
MoE-TTS: Enhancing Out-of-Domain Text Understanding for Description-based TTS via Mixture-of-Experts
arxiv.org·3d
🎙️Whisper
Research on Conversational Recommender System Considering Consumer Types
arxiv.org·1d
🎯Content Recommendation
Fracture Detection and Localisation in Wrist and Hand Radiographs using Detection Transformer Variants
arxiv.org·1h
🤖Advanced OCR