Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud·13h·
Discuss: r/programming
🐳Containerization
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
The Impact of AI on Engineering Teams
newsletter.eng-leadership.com·3h·
Discuss: r/programming
👁️System Observability
Show HN: Flox – Nvidia CUDA available for the Nix ecosystem
flox.dev·7h·
Discuss: Hacker News
❄️Nixified Development
Show HN: Claude-Powered Survival Analysis with One-Click Models (Onco-Insight)
dataize.me·1d·
Discuss: Hacker News
👁️System Observability
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·6h·
Discuss: Hacker News
🐫OCaml
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·12h·
Discuss: Hacker News
👁️System Observability
AI-Personalized Welcome Messages for Website Visitors
peteallport.substack.com·6h·
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·1d·
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
How OpenAI Operator Works with AI Agents
anchorbrowser.io·9h·
Discuss: Hacker News
🧠Automated Reasoning
Building Privacy-First AI Agents on Ollama: Complete Guide
nativemind.app·2d·
Discuss: Hacker News
🐳Containerization
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·1d
🤖Program Synthesis
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·2d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
The State of AI Gross Margins in 2025
tanayj.com·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Widespread NPM Supply Chain Attack: Breaking Down Impact and Scope Across Debug
wiz.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Is this the end of hand-written Java? Building an app with AI-generated code (OpenXava + Vibe Coding)
reddit.com·8h·
Discuss: r/programming
🤖Program Synthesis