Why we committed to a zero-bugs policy
cocoweb.frΒ·6h
πŸ”Static Analysis
Jupyter Collaboration has a history slider
blog.jupyter.orgΒ·5hΒ·
Discuss: Hacker News
πŸ”„Operational Transforms
SAT problems are kind of cool
blog.karanjanthe.meΒ·4dΒ·
Discuss: Hacker News
Ξ»Functional Programming
I Built an AI Flood Forecasting System with Next.js 15 &
future.forem.comΒ·18hΒ·
Discuss: DEV
☁️Serverless Rust
Running new applications on old glibc
lightofdawn.orgΒ·4dΒ·
Discuss: Hacker News
πŸ”Static Analysis
Eon – An Effects-Based OCaml Nameserver
ryan.freumh.orgΒ·1dΒ·
πŸ‘¨β€πŸ’»Self-Hosting
Building on vibes: Lessons from three years with LLMs
world.hey.comΒ·3dΒ·
Discuss: Hacker News
🧩Low-code
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.toΒ·58mΒ·
Discuss: DEV
☁️Serverless Rust
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comΒ·5dΒ·
Ξ»Functional Programming
11+ Best All-in-One AI Platforms in 2025
dev.toΒ·4dΒ·
Discuss: DEV
πŸ—οΈAI Infrastructure
How I Built a $10/mo Headless CMS That Competes with $99/mo Solutions
dev.toΒ·4dΒ·
Discuss: DEV
☁️Serverless Rust
Tech With Tim: Cancel Your AI subscriptions | This All-in-one AI is All You Need (ChatLLM Review)
dev.toΒ·4hΒ·
Discuss: DEV
πŸ—οΈAI Infrastructure
InferenceMAX: Open-Source Inference Benchmarking
newsletter.semianalysis.comΒ·3dΒ·
Discuss: Hacker News
πŸ—οΈAI Infrastructure
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.orgΒ·4d
πŸ’»Local LLMs
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.toΒ·2dΒ·
Discuss: DEV
⏱️TimescaleDB
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.orgΒ·5d
πŸ’»Local LLMs
The Rise of the Knowledge Sculptor: A New Archetype for Knowledge Work in the Age of Generative AI
arxiv.orgΒ·3d
πŸ•ΈοΈKnowledge Graphs
IASC: Interactive Agentic System for ConLangs
arxiv.orgΒ·3d
πŸ’¬Language Servers
HiPRAG: Hierarchical Process Rewards for Efficient Agentic Retrieval Augmented Generation
arxiv.orgΒ·3d
πŸ—οΈAI Infrastructure