Thinking About Simplification
kevquirk.com·12h
🎯Gradual Typing
Thinking Thursday: Oliver Wendell Holmes, Jr.
denisegaskins.com·3d
📐Mathematical Art
Migrating to TanStack Start
catalins.tech·1d·
Discuss: Hacker News
🦋Format Metamorphosis
History of the Gem Desktop Environment
nemanjatrifunovic.substack.com·1d·
Discuss: Substack
🖥️Vintage Macintosh
Debian Upgrade Marathon: 3.1 Sarge
wrongthink.link·2d·
🕸️WASM Archives
What's new in Kotlin 2.2.20
kotlinlang.org·4d·
🔬Refinement Types
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·4d·
Discuss: Hacker News
🌀Brotli Internals
An ER Trip in Ireland Taught Me Why Convex Is Saving Startups from Themselves
hackerpug.ghost.io·3d·
Discuss: Hacker News
🌀Brotli Internals
Show HN: Sentrilite: a hybrid-cloud control plane for observability and security
news.ycombinator.com·18h·
Discuss: Hacker News
📦Container Security
mpaland/printf
github.com·2d
Format Verification
Why OpenAI’s solution to AI hallucinations would kill ChatGPT tomorrow
theconversation.com·2d·
Discuss: Hacker News
💻Local LLMs
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·3d·
Discuss: r/davia_ai
📄PostScript
Giving LLMs actual memory instead of fake “RAG memory”
reddit.com·1d·
Discuss: r/artificial
💻Local LLMs
Dissecting Batching Effects in GPT Inference
le.qun.ch·3d·
Discuss: Hacker News
🌊Streaming Algorithms
Rethinking Tool Calling: Towards a Scalable Standard
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
Automated Liability Assessment for Marine Microplastic Pollution: A Hybrid Bayesian Network & Agent-Based System
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Collecting my thoughts about notation and user interfaces
interconnected.org·3d·
Discuss: Hacker News
📟CLI Design
TDD and AI-enabled engineering
dev.to·4d·
Discuss: DEV
Proof Automation
Merge-of-Thought Distillation
arxiv.org·3d
🧠Machine Learning
Meet Embedible: AI-Powered Hardware Prototyping in Seconds
vibe.forem.com·2d·
Discuss: DEV
Homebrew CPUs