Robins Tharakan: Managing PostgreSQL Buildfarm Members: A status update
thatguyfromdelhi.com·9h
📡Erlang BEAM
Flag this post
💥 Tech Talks Weekly #83
techtalksweekly.io·2d
🏗️Minimal Compilers
Flag this post
No Deus ex Machina
📚Forth Compilers
Flag this post
The Hidden Tax You Are Paying Every Day: A Dev's Journey into Ops Automation
🔄Go Scheduler
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
🎮Language Ergonomics
Flag this post
Modern X86 Assembly Language Programming • Daniel Kusswurm & Matt Godbolt • GOTO 2025
youtube.com·2d
🔧Assembly DSLs
Flag this post
Automating Documentation Maintenance with Prodigy: A Real-World Case Study
📚Self-Documenting Code
Flag this post
[Product] I built 4 tools to supercharge Claude - Now available for purchase (code search, extended reasoning, more)
🌪️V8 Pipeline
Flag this post
Zig in 30 Minutes
🦀MIR Optimization
Flag this post
Writing Airflow Dags with Excel and Minecraft
📋Tablegen
Flag this post
Python Distributions for Bazel
beza1e1.tuxen.de·1d
🏗️Build Systems
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
🚂Cranelift IR
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·1d
⚖️Inference Rules
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🚚Code Migration
Flag this post
Web Developer Travis McCracken on Debugging Distributed Systems Like a Human
🔧API Design
Flag this post
SoX_ng
🌱Forth Kernels
Flag this post
Loading...Loading more...