Optical Tweezers: Principles and Applications (2015)
opticaltweezers.org·11h·
Discuss: Hacker News
📡Network Protocol Design
Ashen-wow, pure Vanilla World of Warcraft server
ashen-wow.space·1d·
Discuss: Hacker News
❄️Nix
I Gained 25 Pounds. Why Are People Acting Like I've Committed a Crime?
glamour.com·13h·
Discuss: Hacker News
🏔️climbing
Performant Embedded Analytics at Scale
embeddable.com·21h·
Discuss: Hacker News
👁️System Observability
Show HN: OSS SDK for Digital Identity
ssi-sdk.blockialabs.com·20h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Will Financial Modeling in Excel Be Dead Soon?
unvritt.com·14h·
Discuss: Hacker News
🔄Finite State Machines
Introducing the Constexpr Debugger
blog.jetbrains.com·1d·
🐫OCaml
The move from Blue Systems to TechPaladin
akselmo.dev·15h·
Discuss: Hacker News
Kubernetes
I've been reading Ghostty's agent-generated bug fixes
ampcode.com·4d·
Discuss: Hacker News
🍎Apple
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
GLP-1s claim the longevity stage at ARDD
longevity.technology·1d·
Discuss: Hacker News
🐫OCaml
Reverse-Engineering the LCD Display Interface of the Nest 2nd Gen Thermostat
sett.homes·1d·
Discuss: Hacker News
💾Retro Computing
A Word about Complexity
dillo-browser.github.io·2d·
Discuss: Hacker News
🐳Containerization
Gauss, an Agent for Autoformalization
math.inc·5d·
Automated Theorem Proving
Science is not Complex, just consider it as chain-of-thoughts
lightcapai.medium.com·6d·
Discuss: Hacker News
🧮Lambda Calculus
TypeScript MCP-MQTT SDK: Extending AI Agents from Web to IoT and Edge
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
OpenAI Model Spec
model-spec.openai.com·2d·
Discuss: Hacker News
🔍Formal Verification
Fifty Years Requests for Startups
lesswrong.com·1d
Kubernetes
Monthly Roundup #34: September 2025
lesswrong.com·1d
🩹Self-Healing Systems
Show HN: Universal single-letter project commands to speed up your CLI workflow
github.com·15h·
Discuss: Hacker News
🐳Containerization