We Need to Talk About Observation (Swift/SwiftUI)
jaredsinclair.com·1d·
Discuss: Hacker News
📊Runtime Verification
Safe Chain: Stopping Malicious NPM Packages Before They Wreck Your Project
aikido.dev·5h·
Discuss: Hacker News
🔬Unikernels
Operational Intelligence – the new horizon of observability
squaredup.com·3d·
Discuss: Hacker News
🩹Self-Healing Systems
AI for FinOps: Fix Cloud Cost Issues 10x Faster
infracost.io·22h·
Discuss: Hacker News
📊Runtime Verification
Machine Scheduler in LLVM
myhsu.xyz·1d·
Discuss: Hacker News, r/programming
⚙️PL Implementation
CodeRabbit Competitors for Bug-Free, Faster AI Code Reviews
codeant.ai·21h·
Discuss: Hacker News
🔄Reproducible Builds
Senior DevOps Engineer Interview at Uber..
medium.com·5h·
Discuss: r/programming
⎈Kubernetes
R MCP Server
github.com·16h·
Discuss: Hacker News
✓Automated Theorem Proving
How to Review Code That Deals with Money
news.alvaroduran.com·6h·
Discuss: Hacker News
🔬Static Analysis
So you have your data, but how does it relate to the physical world?
blog.mapped.com·1d·
Discuss: Hacker News
🧩Separation Logic
A deep dive into Apache Kafka's KRaft protocol
developers.redhat.com·3h·
Discuss: Hacker News
🩹Self-Healing Systems
AI App Builders: From Demos to Durability. The Case for Code Quality
blog.withwoz.com·2h·
Discuss: Hacker News
🔄Reproducible Builds
Digging into the OCI Image Specification (2022)
blog.quarkslab.com·4h·
Discuss: Hacker News
🐳Containerization
Supply chain attacks are the new big thing (2022)
cryptologie.net·20h·
Discuss: Hacker News
📦Unikernel Systems
Reworking Memory Management in CRuby
railsatscale.com·13h·
Discuss: Hacker News
🔧Unikernel Development
I tested the speed of popular tunneling services, pretty shocking
localcan.com·4h·
Discuss: Hacker News
📡Network Protocol Design
Securing and Scaling AI-Powered APIs
capestart.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SQL performance improvements: finding the right queries to fix
ohdear.app·19h·
Discuss: Hacker News
📊Runtime Verification
[ARC-AGI-2 SoTA] Efficient Evolutionary Program Synthesis
ctpang.substack.com·10h·
Discuss: Substack
🤖Program Synthesis
Visual Exploration of Gradient Descent (many images)
lesswrong.com·3h
🧩Separation Logic