Tetrahedral analog of the Pythagorean theorem
johndcook.comยท9h
๐Ÿ“Error Bounds
Flag this post
Dissecting my MiniBanners program โ€“ part 1
subethasoftware.comยท7h
๐Ÿ“บVT100
Flag this post
Gprxy: Go based SSO-first, psql-compatible proxy
github.comยท7h
๐Ÿ—„๏ธPostgreSQL WAL
Flag this post
Ansible Release 12: the Windows Vista Moment
blog.ipspace.netยท19hยท
Discuss: Hacker News
๐Ÿค–Network Automation
Flag this post
Programming for Computations: Matlab/Octave
link.springer.comยท21hยท
Discuss: Hacker News
๐Ÿ“Error Bounds
Flag this post
Altman and Nadella need more power for AI, but theyโ€™re not sure how much
techcrunch.comยท3h
๐Ÿ–ฅ๏ธModern Terminals
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท1dยท
Discuss: Hacker News
๐Ÿ” Type-Level Programming
Flag this post
A Close Look at a FastAPI Example Application
realpython.comยท11h
๐Ÿ”ŒArchive APIs
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.orgยท19hยท
Discuss: Hacker News
๐ŸŽฏThreat Hunting
Flag this post
Federal Agencies May Move to Ban These Popular Wifi Routers
lifehacker.comยท7h
๐Ÿ“กNetwork Monitoring
Flag this post
Trust in the Machine: Building Reputable Service Networks for AI Agents
dev.toยท10hยท
Discuss: DEV
๐ŸคDistributed Consensus
Flag this post
HardenedBSD October 2025 status update
discoverbsd.comยท1d
๐Ÿ”ŒOperating system internals
Flag this post
Getting started NAS/GPU/Workstation rack
reddit.comยท8hยท
Discuss: r/homelab
๐Ÿ HomeLab
Flag this post
Show HN: I built a Raspberry Pi webcam to train my dog (using Claude)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
Flag this post
Engineering a Trillion-Parameter Architecture on Consumer Hardware
hackernoon.comยท20h
๐Ÿ Homelab Archaeology
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.comยท1dยท
Discuss: Substack
๐Ÿ“ŠQuantization
Flag this post
Building Syllabi โ€“ Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.toยท23hยท
Discuss: DEV
โšกProof Automation
Flag this post
Real-Time Process Optimization via Adaptive Bayesian Reinforcement Learning and Multi-Objective Genetic Algorithms
dev.toยท1hยท
Discuss: DEV
๐ŸงฎAlgorithmic Cooking
Flag this post
Show HN: Extrai โ€“ An open-source tool to fight LLM randomness in data extraction
github.comยท6hยท
Discuss: Hacker News
๐Ÿ“‹Document Grammar
Flag this post