Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud·9h·
Discuss: r/programming
🐳Containerization
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·3h·
Discuss: Hacker News
❄️Nixified Development
Impersonating Google App Script projects for stealthy persistence
exaforce.com·6h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com·3d·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·14h·
Discuss: Hacker News
🧱Immutable Infrastructure
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·1d·
Discuss: Hacker News
💻CS
Bare Metal STM32: the Various Real Time Clock Flavors
hackaday.com·10h
🐫Embedded OCaml
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai·3d·
Discuss: Hacker News
💎Refinement Types
Introduction to Nyquist and Lisp Programming
manual.audacityteam.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·1d
🧠Automated Reasoning
Show HN: A local first AI engine and orchestrator
krionis.com·2d·
Discuss: Hacker News
👁️System Observability
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·8h·
Discuss: Hacker News
👁️System Observability
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·3h·
Discuss: Substack
📦Unikernel Systems
Visualising Topology Inspired Computing Algorithms
antifold.com·1d·
Discuss: Hacker News
🧩Separation Logic
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·23h·
Discuss: Hacker News
🔤DSLs
Writing Code Is Easy. Reading It Isn't
idiallo.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
1.0 release of the Google Cloud client libraries for Rust
github.com·1d·
Discuss: Hacker News, r/rust
🔄Reproducible Builds