Alan

Mobile spreadsheets feel wrong. So I built something different. GridCalc: an RPN spreadsheet for iOS. Reverse Polish Notation + a grid that recalculates automatically, designed specifically for mobile modeling. Demo: youtu.be/M0HwzrGGuyc App Store: apps.apple.com/us/app/gridcal…

White smoke seen from Apple Park to signify a new CEO

@ThePrimeagen GridCalc: the best (and only) RPN spreadsheet for iOS tailrecursion.com/~alan/GridCalc…

Hey, you got a cool project that you are building? Link it I want to yap about cool projects

@owickstrom Awesome! Been meaning to ask you, any pointers on prop testing/model checking compilers? Correctness and layered optimizations in particular

Bombadil is on the orange front page.

@unclebobmartin @orfidius Interesting, looks a lot like Howard Carr's Llava to me web.archive.org/web/2016032110…

(module example/prime_factors (imports (java java.lang.Integer) (java java.lang.Object) (java java.lang.String) (java java.lang.reflect.Array)) (export main) (fn main (params (args (Java "[Ljava.lang.String;"))) (returns Int) (effects (Foreign.Throw Stdout.Write)) (requires true) (ensures true) (let ((n0 (java/static-call java.lang.Integer parseInt (signature (String) Int) (java/static-call java.lang.String valueOf (signature ((Java java.lang.Object)) String) (java/static-call java.lang.reflect.Array get (signature ((Java java.lang.Object) Int) (Java java.lang.Object)) (local args) 0))))) (seq (loop ((n (local n0)) (divisor 2) (first true)) (if (int-eq (local n) 1) 0 (if (int-eq (int-mod (local n) (local divisor)) 0) (seq (if (local first) (io/print (int->string (local divisor))) (io/print (string-concat " " (int->string (local divisor))))) (recur (int-div (local n) (local divisor)) (local divisor) false)) (recur (local n) (int-add (local divisor) 1) (local first))))) (io/println "") 0))))

When I first asked Codex to design a language for it to use, it came up with something a lot like Python. Then I told it that the language was not meant to be convenient for humans, only for it. That changed everything. It came up with AIR-J.

Humans invented writing to track debts. The world's first writing system, cuneiform, emerged in Mesopotamia around 3200 BC to record who owed what to whom. Clay tokens for accounting date back as far as 8000 BC. Debt isn't some corruption of a golden age. It's so fundamental to human cooperation that we created literacy because of it. War is even older. At Jebel Sahaba in Sudan, archaeologists found a cemetery dating to 13,000 years ago where half the people buried had been killed by arrows, spears, and clubs. That's thousands of years before the first city, the first farm, or the first written law. And about that beautiful planet of trees and sunshine: for most of human history, roughly half of all children died before age 15. Researchers who studied 17 hunter-gatherer societies found an average child mortality rate of 49%. Even in Sweden in the 1750s, 40% of children didn't survive to 15. Today globally, it's about 4%. In Japan and Iceland, 0.4%. The systems the tweet mourns are the same ones that changed those numbers. In 1820, roughly 84% of all humans lived in extreme poverty (per economic historians at the University of Paris). Today it's about 10%. Between 1990 and 2025, roughly 118,000 people escaped extreme poverty every single day. None of this means that debt or capitalism are without serious flaws. They obviously are. But the "paradise ruined" framing gets the history backwards. The planet was a place where burying your children was normal, and violence was a constant threat. Everything that makes modern life livable was built, imperfectly, by humans figuring out how to cooperate at scale.

We have been working super hard on an AI-native product experience for the last 6 months, rebuilding our entire platform from the ground up to better serve our current and future customers. I am so appreciative of the nonstop Looms, Zooms, Notion docs, and Slack messages happening between our amazing customers and our talented team of Gliders while incubating this experience. The feedback so far makes me very excited for the future of business software! We've learned so much along the way, and I can't wait to learn even more and begin sharing more in the open soon.

GridCalc, my new iOS RPN calculator/spreadsheet, has a new home: gridcalc.app The full manual is also now online: gridcalc.app/manual/

@ID_AA_Carmack Software engineer. Built an RPN spreadsheet for iOS backed by Constructive Reals. Thought you might find it interesting. crowncompass.tech/gridcalc/

I moved all my Clojure courses off Podia and onto a platform I built myself. In Clojure, obviously. clojure.stream is live 🧵

"A calculator app? Anyone could make that." Not true. A calculator should show you the result of the mathematical expression you entered. That's much, much harder than it sounds. What I'm about to tell you is the greatest calculator app development story ever told.

codex when it messes up my parens

Short demo of the stack driving the grid and automatic recalculation.

Mobile spreadsheets feel wrong. So I built something different. GridCalc: an RPN spreadsheet for iOS. Reverse Polish Notation + a grid that recalculates automatically, designed specifically for mobile modeling. Demo: youtu.be/M0HwzrGGuyc App Store: apps.apple.com/us/app/gridcal…

Coding agents as an accelerator of my own craft are of interest to me. Mainstream agents are moving away from this idea with their one shot flexes, but I intend for std::slop to stay this course. Today I shipped a feature in that direction. 🧵

@hsaliak Very nice thank you for sharing. I’ll definitely try it. Seems great for code I need maintain understanding of

Before mail-mode, my workflow would have been to plan => implement => review (maybe, self or agent) and commit. With mail mode, I get descrete, bisectable units of change to review independently and explicitly approve.

please enjoy another #clojure data DSL github.com/tailrecursion/…

it’s so random and badass that these ruminant hoofed quadripeds, sheep, just straight up grow one of the best materials you can wear. Respect

tired: what is AI? wired: what am I?

Thanks for the helpful auto-complete, Gmail.