Programming Leftovers

posted by Roy Schestowitz on Nov 30, 2025

• Philip Zucker ☛ Primitive, Leveled, and Quantifier Union Finds

  There is an interesting and simple union find variation that allows primitives into the union find.

  I think this could make for a nicer experience possibly in egg or egglog, where you don’t need functions to transfer between primitives and uninterpreted sorts. SMT does not require such a distinction and it is a small inelegance IMO to require it. eclass-like entities should behave more like SMT constants (like smt.Int("x")) and primitive entities should be like SMT values (like smt.IntVal(1)). SMT allows these things to be equated.

  There is also a concept called levels I’ve seen in Hindley Milner type checking which I think can be reified as a union find variation.

  If you combine these two things, you get a union find that works for atomic equational problems under a quantifier prefix.

• [Repeat] Daniel Lemire ☛ Antifragile Programming and Why AI Won’t Steal Your Job

  In my view, the inability to produce antifragile code explains the extreme power-law distribution in programming: most of the code we rely on daily was written by a tiny fraction of all programmers who have mastered antifragility.

• Shell/Bash/Zsh/Ksh

  • Nushell ☛ Nushell 0.109.0

    Today, we're releasing version 0.109.0 of Nu. This release adds the option to use regex in the explore command and a bunch of bug fixes and other small tweaks.

  • ! Avi Alkalay ¡: Small System Monitoring Script

    Here is a short shell script to show last logins from SSH, XRDP, SUDO and Cockpit. In addition it show potential disk problems from S.M.A.R.T.

• Java/Golang

  • YottaDB ☛ Go+YottaDB - A Perfect Platform for Fintech

    As a result, the Placid team is able to combine the high performance, robustness, and scalability to large numbers of concurrent users with YottaDB, which matches the high performance that Go is known for. On an average day, the banking application handles one million customers.