Song recommendations from F# combinators
blog.ploeh.dkยท3d
๐Ÿ”—Functional Compilers
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท18hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.shยท22hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Simulating a neural operating system with Gemini 2.5 Flash-Lite
developers.googleblog.comยท14h
๐ŸŽฏEmulator Accuracy
Human Learning No Longer Exists - Enter Human Meaning
hackernoon.comยท12h
๐Ÿ›๏ธPhilosophy
libai: A C library for embedding Apple Intelligence on-device Foundation models in any application with full support for native tool calling and MCP.
github.comยท2dยท
Discuss: Hacker News, r/programming
๐ŸŒ€Brotli Internals
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.orgยท5h
๐Ÿง Intelligence Compression
Learning Lineage Constraints for Data Science Operations
arxiv.orgยท2d
๐ŸบDatabase Archaeology
LongWriter-Zero: Mastering Ultra-Long Text Generation via Reinforcement Learning
arxiv.orgยท2d
๐Ÿ“Concrete Syntax
Improving Student-AI Interaction Through Pedagogical Prompting: An Example in Computer Science Education
arxiv.orgยท1d
๐Ÿ—บ๏ธCompetency Maps
Flame Graph Performance Truth Analysis๏ผˆ1750918443851900๏ผ‰
dev.toยท2hยท
Discuss: DEV
โšกPerformance Tools
Gen AI & Langchain Master Class
dev.toยท1dยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
AViLA: Asynchronous Vision-Language Agent for Streaming Multimodal Data Interaction
arxiv.orgยท2d
๐Ÿ“„Document Streaming
Learnings from two years of using AI tools for software engineering
newsletter.pragmaticengineer.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Machine Learning Fundamentals: active learning
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Grammar Induction
Agentic AI: Implementing Long-Term Memory
towardsdatascience.comยท1d
๐Ÿ’พPersistence Strategies
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท19h
๐Ÿ“ŠGraph Databases
A Unifying Theory for Runge-Kutta-like Time Integrators: Convergence and Stability
arxiv.orgยท5h
๐Ÿ“Error Bounds
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.orgยท5h
๐Ÿ’ปLocal LLMs
Machine Learning Fundamentals: active learning tutorial
dev.toยท16hยท
Discuss: DEV
๐ŸŽ›๏ธFeed Filtering