Postgres in 2025: No managed service required?
docs.codefloe.com·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·2d
🤖Program Synthesis
SPL Lightweight Multisource Mixed Computation Practices
github.com·3h·
Discuss: Hacker News, r/programming
⚙️PL Implementation
Minimalist Mastro Framework Offers Modern Take on MPAs
thenewstack.io·18h
⚙️PL Implementation
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
From Monolith to Cloud: Automating Your Migration Journey
blog.qaware.de·2d·
Discuss: Hacker News
🔄Reproducible Builds
Micro Lab! Self-contained cluster for Air-gapped Platform Engineering
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Running .NET in the browser without Blazor
andrewlock.net·17h·
Discuss: Hacker News
👁️System Observability
Building a Blog from Scratch in 90 Minutes with 233 LOC
elliotbonneville.com·19h·
Discuss: Hacker News
🔄Reproducible Builds
The Great Refactor
ifp.org·41m·
Discuss: Hacker News
🤖Program Synthesis
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·8h
🐫OCaml
Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
🔍Formal Verification
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
vitaliihonchar.com·1d·
Discuss: r/golang, r/programming
🔄Reproducible Builds
How to Give Your RTX 4090 Nearly Infinite Memory for LLM Inference
medium.com·18h·
Discuss: Hacker News
👁️System Observability
Anno 1800 Frame Analysis
blog.thomaspoulet.fr·13h·
Discuss: Hacker News
🎮Verification Games
Lisp in 99 Lines of C With TinyLisp
hackaday.com·10h
⚙️PL Implementation
Introducing Rusted Firmware-A (RF-A) - A Rust-Based reimagination of Trusted Firmware-A
trustedfirmware.org·1d·
Discuss: r/rust
❄️Nixified Development
Vibe Coding vs. Agentic Coding: defining 2 patterns in AI-assisted development
blog.nseldeib.com·20h·
Discuss: Hacker News
🔄Reproducible Builds
Immutable Turtles All the Way Down (froscon2025)
cdn.media.ccc.de·3d
⎈Kubernetes
Constructor Best Practices in Rust
blog.cuongle.dev·20h·
Discuss: Hacker News
🐫OCaml