Post-Quantum Cryptography in Kubernetes
kubernetes.io·3d
🌐NetworkProtocols
Make Map Icons with Orthographic Projections
esri.com·2h·
Discuss: Hacker News
🐫OCaml
ROOST Announces “Coop” and “Osprey”: Free, Open-Source Trust and Safety Infrastructure for the AI Era
discord.com·19h·
Discuss: Hacker News
🧗Climbing Tech
Using AI to make lower-carbon, faster-curing concrete
engineering.fb.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Finally a real job offer
job-boards.greenhouse.io·3d·
Discuss: r/programming
💻CS
Introducing XMLUI
blog.jonudell.net·2d·
Discuss: Lobsters, Hacker News, Hacker News
🧱Immutable Infrastructure
What async communication patterns lead to better outcomes for engineers?
rdel.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
Self-hosting CI runners is a trap
shipfox.io·4d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Asymmetry of Verification and Verifier's Law
jasonwei.net·5d·
Discuss: Hacker News, Hacker News
🎮Verification Games
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·6d·
Discuss: Hacker News
🔠Type-Level Programming
Why LangGraph Overcomplicates AI Agents (And My Go Alternative)
vitaliihonchar.com·6d·
Discuss: r/golang, r/programming
🐫OCaml
Bare-Metal Kubernetes: The Performance Advantage Is Almost Gone
thenewstack.io·2h
⎈Kubernetes
Show HN: I made MediaManager, a modern alternative to the *ARR ecosystem
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Perfect is the enemy of good - Wikipedia
en.wikipedia.org·8h·
Discuss: Lobsters, Hacker News
🎮Verification Games
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·4d
🎮Verification Games
Edsger W. Dijkstra on IPW's
cs.utexas.edu·5d·
Discuss: Hacker News
💾Retro Computing
Effects of Cognitive Distraction and Driving Environment Complexity on Adaptive Cruise Control Use and Its Impact on Driving Performance: A Simulator Study
arxiv.org·15h
🏹Effect Systems
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·4d·
Discuss: Hacker News
🔬Unikernels
The Boom Is in Data
medium.com·3d·
Discuss: Hacker News
👁️System Observability
Neural Co-state Regulator: A Data-Driven Paradigm for Real-time Optimal Control with Input Constraints
arxiv.org·4d
🔄Finite State Machines