Code Cookbook: Ideal Time
doscher.com·20h
📡RSS Automation
Cactus Language • Stylistics 3
inquiryintoinquiry.com·2d
🔲Proof Irrelevance
Ente web - State of the Union 2025
ente.io·4d
🎯Gradual Typing
Five Years After
isonomiaquarterly.com·12h·
Discuss: Hacker News
📡Information theory
Bypassing Google's big anti-adblock update
0x44.xyz·1d·
Discuss: Lobsters, Hacker News
🛡️WASM Security
Programming = proving? The Curry-Howard correspondence today
xavierleroy.org·6d·
Discuss: Hacker News
🔤Type Theory
How I do it
daniel.haxx.se·12h·
Discuss: Hacker News
📰RSS Archaeology
Types are Transforming Python
spin.atomicobject.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Measuring the Impact of LLMs on Experienced Developer Productivity
hackaday.com·1d
👁️System Observability
I don't think LLM's are making us stupider
news.ycombinator.com·2d·
Discuss: Hacker News
📏Code Metrics
AGI Is Mathematically Impossible (3): Kolmogorov Complexity
news.ycombinator.com·12h·
Discuss: Hacker News
🧠Intelligence Compression
(Attempting to) Engineer the chaos out of AI agents
dev.to·2d·
Discuss: DEV
⚔️Lean Tactics
🚀 Just Built "TypeMaster" in 45 Minutes Using AI – Feedback Welcome!
dev.to·1d·
Discuss: DEV
🎙️Whisper
zkSDK: Streamlining zero-knowledge proof development through automated trace-driven ZK-backend selection
arxiv.org·4d
🧮Z3 Solver
Introduction Koca - A universal and OS-agnostic build, package, and publishing tool
reddit.com·1d·
Discuss: r/linux
🔓Open Source Software
Advancing Artificial Intelligence: Key Themes, Methods, and Implications from Recent cs.AI Research on arXiv (2023-2024)
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Building UsagePilot: Why I'm Creating an AI Token Metering SDK for Multi-Tenant SaaS
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
Enhanced Paperless-NGX with Paddle OCR + LLM Pipeline
dev.to·1d·
Discuss: DEV
📄Document Streaming
Why Golang Belongs in Your AI Stack—Especially for Preprocessing Pipelines
hackernoon.com·3d
🌊Stream Processing
Ancient Hero Dossier | Nonanyt
dev.to·3d·
Discuss: DEV
⚡Proof Automation