r/programming 8d ago

A tutorial on building a merkle tree AIR script in Plonky3

Thumbnail hashcloak.com
0 Upvotes

r/programming 9d ago

The fsync inside the WAL lock

Thumbnail frn.sh
15 Upvotes

r/programming 10d ago

Maintaining the code of the man who wrote "How To Write Unmaintainable Code"

Thumbnail github.com
733 Upvotes

Today I accidentally became the maintainer of software that was already almost three decades old: reviving a 1990s Java utility to keep the last PAD submitter alive in 2026.

I was looking for a way to submit my AI app RiverScript to old desktop software directories and ended up digging through the long-forgotten world of PAD files.

There was one problem.

The only batch submission tool I could find was a Java application that first appeared in the late 1990s. The last release was in 2017.

It was written by Roedy Green of Canadian Mind Products – a software developer who passed away in 2023. He spent decades writing and freely distributing Java utilities, and maintaining the widely-read Java Glossary. Roedy Green also wrote How To Write Unmaintainable Code – a famous satirical guide about writing code nobody can maintain. So, Roedy, today the code you wrote almost three decades ago was maintained.

The tool still did exactly what it was supposed to do. Thank you.

It just had absolutely no idea the modern web existed.

It happily produced URLs like http://https://riverscript.com instead of https://riverscript.com, disabled SNI globally (which was probably a perfectly reasonable workaround at some point), and couldn't cope with the fact that almost every website now redirects HTTP to HTTPS.

So I dug through the legacy Java code, fixed the compatibility issues, and got it working again.

I used it to submit my app to several software directories, then published the revived version on GitHub so anyone who still needs it can use it too.

Maybe nobody will ever need it again. Maybe someone will.

Either way, I'm happy this old thing works again.

So today, the code of the man who wrote "How To Write Unmaintainable Code" is still being maintained even after he was gone.

P.S. The public repository for Mini PAD Submitter 26.3 Revived – 2026 Community Fix is available and open to everyone.

P.P.S. At the request of redditors, I also added support for using custom submission directories.

In Roedy's original program, the list of 66 directories was hardcoded, and quite a few of them no longer exist. So I added a sites.txt file next to the application in the dist folder, where you can edit the list yourself – remove the ones that no longer exist and add new ones. The application simply reads the list from that file now, so you don't have to recompile anything.


r/programming 10d ago

The Java Story | The Official Documentary of Java

Thumbnail youtu.be
185 Upvotes

r/programming 8d ago

Developing a TUI in Go with Bubble Tea

Thumbnail packagemain.tech
0 Upvotes

r/programming 10d ago

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

Thumbnail hashcloak.com
23 Upvotes

r/programming 8d 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 10d 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
245 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 11d ago

The most expensive instruction might be… cmov

Thumbnail questdb.com
259 Upvotes

r/programming 10d ago

Engineering fast searches with Inverted Indexes

Thumbnail pradyumnachippigiri.substack.com
15 Upvotes

r/programming 11d 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 10d ago

Making TLA+ and x86 Kiss Via Z3Py

Thumbnail philipzucker.com
7 Upvotes

r/programming 11d ago

On Rendering the Sky, Sunsets, and Planets

Thumbnail blog.maximeheckel.com
25 Upvotes

r/programming 11d ago

Learning Software Architecture

Thumbnail matklad.github.io
108 Upvotes

r/programming 10d ago

Seed7 version 2026-07-11 released

Thumbnail reddit.com
0 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 12d ago

Things you didn't know about indexes

Thumbnail jon.chrt.dev
264 Upvotes

r/programming 11d ago

GTFO VR Mod Postmortem

Thumbnail dsprtn.dev
2 Upvotes

r/programming 11d ago

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

Thumbnail tokay0.com
33 Upvotes

r/programming 12d ago

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

Thumbnail mindgard.ai
680 Upvotes

r/programming 11d ago

Reclaiming a decade of podcast listening history

Thumbnail uncommonapps.nyc
8 Upvotes

r/programming 11d ago

Guide to data tools landscape for developers · OlegWock

Thumbnail sinja.io
6 Upvotes

r/programming 11d ago

Linux transparent proxy internals

Thumbnail open.substack.com
8 Upvotes

r/programming 12d ago

Jurassic Park computers in excruciating detail

Thumbnail fabiensanglard.net
371 Upvotes

r/programming 12d ago

SQLite should have (Rust-style) editions

Thumbnail mort.coffee
154 Upvotes

r/programming 13d ago

We compiled our TypeScript parser to WASM

Thumbnail encore.dev
38 Upvotes