Why we committed to a zero-bugs policy
cocoweb.frΒ·13h
πŸ”Static Analysis
Jupyter Collaboration has a history slider
blog.jupyter.orgΒ·12hΒ·
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Β·1dΒ·
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Β·2dΒ·
Discuss: Lobsters, Hacker News
πŸ‘¨β€πŸ’»Self-Hosting
More on Mu
micro.muΒ·2hΒ·
Discuss: Hacker News
πŸ”„p2p
SMB vs. NFS: Why I switched for Home Lab file sharing
xda-developers.comΒ·47m
🏒Self-hosting
Show HN: CrossRun – An Open Standard to Make Software Run on Any Platform
github.comΒ·19mΒ·
Discuss: Hacker News
πŸ¦‹Tauri
PR-03 at Hacktoberfest: Implementing a Credit Card Validator for Terraform Provider
dev.toΒ·7hΒ·
Discuss: DEV
☁️Serverless Rust
Building on vibes: Lessons from three years with LLMs
world.hey.comΒ·4dΒ·
Discuss: Hacker News
🧩Low-code
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.comΒ·5dΒ·
Discuss: Hacker News, r/neovim
Ξ»Functional Programming
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
Data Liberation: Training AI Without Sacrificing Privacy
dev.toΒ·9hΒ·
Discuss: DEV
🀝Federated Learning
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