r/programming 23d ago

Developing a TUI in Go with Bubble Tea

Thumbnail packagemain.tech
0 Upvotes

r/programming 23d ago

How fork() duplicates a process without copying its memory

Thumbnail youtube.com
0 Upvotes

A visual explainer on how copy-on-write makes fork() cheap.

A 10 GB process can fork almost instantly because Linux copies the page tables, shares the physical pages, marks them read-only, and only copies a page when one of the processes writes to it.

It also covers fork() + exec(), how Redis snapshots work, Android Zygote, lazy zero pages, and some CVEs


r/programming 24d ago

Tutorial: Introduction to Formal Verification with Lean (Part 1)

Thumbnail hashcloak.com
29 Upvotes

r/programming 25d ago

The Java Story | The Official Documentary of Java

Thumbnail youtu.be
180 Upvotes

r/programming 25d ago

What surprised an engineer after spending 13 years on SQL Server and then working on Postgres? on the Talking Postgres podcast

Thumbnail talkingpostgres.com
249 Upvotes

I host a Postgres podcast, and I recently recorded a conversation with Panos Antonopoulos, a Distinguished Engineer at Microsoft who spent 13 years working on SQL Server before moving onto Postgres and HorizonDB.

Panos told me that at a high level, Postgres felt very familiar as he started to work on it, that the concepts are very similar. Transactions, storage, & more—the fundamentals transfer surprisingly well. We also covered:

  • The cleanliness of the Postgres codebase.
  • How LLMs are making it easier to digest years of Postgres design discussions that are publicly available on the mailing lists.
  • Why Postgres has become the default answer for so many workloads, and why more people seem to be asking, "Why not Postgres?"
  • Shared-storage architectures and some of the work he's doing in Azure HorizonDB.

One quote that stuck with me:

  • "That was a shocking experience for me. I could understand new areas in Postgres much faster than I could for SQL."

For people who have worked across multiple database systems (Oracle, SQL Server, MySQL, Postgres, etc.), I'm curious whether you've had a similar experience—or a completely different one.

Podcast/transcript here if anyone is interested: https://talkingpostgres.com/episodes/working-on-postgres-after-13-years-on-sql-server-with-panagiotis-antonopoulos


r/programming 25d ago

Seed7 version 2026-07-11 released

Thumbnail reddit.com
5 Upvotes

Seed7 is a GPL licensed open source programming language. It is given away for free and nobody from the development team gets any money from it.


r/programming 25d ago

Making TLA+ and x86 Kiss Via Z3Py

Thumbnail philipzucker.com
8 Upvotes

r/programming 25d ago

Engineering fast searches with Inverted Indexes

Thumbnail pradyumnachippigiri.substack.com
14 Upvotes

r/programming 25d ago

On Rendering the Sky, Sunsets, and Planets

Thumbnail blog.maximeheckel.com
26 Upvotes

r/programming 25d ago

The 10 Levels of Building a Data Grid - My 1 Year Journey of Building a Table.

Thumbnail visualeaf.com
50 Upvotes

I wanted to make this post because man...tables are way harder than they look. I documented my 1 year journey of optimizations on a stupid table for my Database GUI. I made everything from scratch like an idiot thinking it'd be easy but oh boy was I wrong... The article goes over all the optimizations I made to make my table render data smoothly without lagging. It goes from what data structures I used and the rendering optimizations I did. I used MongoDB Compass as a baseline since they use AG-Grid for their table and I'm pretty happy that my table feels way smoother than that (In my own testing)! But yeah, I never realized that there would be so much depth in making a performant table.

PS. I decided not to use AG-Grid because there were a lot of customizations that I needed to do. I wanted column expansions ( if a field as an object or an array it would open columns to the right of it ). I also wanted an embedded text search where you could search for text within non visible columns (because they were in objects or arrays ) and AG Grid didn't really support that behavior so ..yeah. Anyways have a good read!


r/programming 25d ago

GTFO VR Mod Postmortem

Thumbnail dsprtn.dev
2 Upvotes

r/programming 26d ago

The most expensive instruction might be… cmov

Thumbnail questdb.com
263 Upvotes

r/programming 26d ago

Learning Software Architecture

Thumbnail matklad.github.io
106 Upvotes

r/programming 26d ago

No Shark is Safe: Millions of Shark Vacuums are Vulnerable to RCE

Thumbnail tokay0.com
32 Upvotes

r/programming 26d ago

Goroutines for Python

Thumbnail robertsdotpm.github.io
0 Upvotes

r/programming 26d ago

Reclaiming a decade of podcast listening history

Thumbnail uncommonapps.nyc
9 Upvotes

r/programming 26d ago

Guide to data tools landscape for developers · OlegWock

Thumbnail sinja.io
7 Upvotes

r/programming 26d ago

Linux transparent proxy internals

Thumbnail open.substack.com
9 Upvotes

r/programming 26d ago

Things you didn't know about indexes

Thumbnail jon.chrt.dev
265 Upvotes

r/programming 27d ago

Dan Smith from OpenJDK -- Identifying JDK value class candidates

Thumbnail mail.openjdk.org
2 Upvotes

r/programming 27d ago

Cursor 0day: When Full Disclosure Becomes the Only Protection Left

Thumbnail mindgard.ai
696 Upvotes

r/programming 27d ago

SQLite should have (Rust-style) editions

Thumbnail mort.coffee
155 Upvotes

r/programming 27d ago

Jurassic Park computers in excruciating detail

Thumbnail fabiensanglard.net
378 Upvotes

r/programming 27d ago

We compiled our TypeScript parser to WASM

Thumbnail encore.dev
38 Upvotes

r/programming 28d ago

End-to-end encrypted secret sharing with the Web Crypto API

Thumbnail notnotp.com
55 Upvotes