Alan

6.6K posts

Alan banner
Alan

Alan

@alandipert

Katılım Mayıs 2009
397 Takip Edilen2.4K Takipçiler
Sabitlenmiş Tweet
Alan
Alan@alandipert·
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…
YouTube video
YouTube
English
1
0
3
449
Alan retweetledi
Aaron
Aaron@aaronp613·
White smoke seen from Apple Park to signify a new CEO
Aaron tweet media
English
1.1K
8.6K
139.5K
5.5M
ThePrimeagen
ThePrimeagen@ThePrimeagen·
Hey, you got a cool project that you are building? Link it I want to yap about cool projects
English
1.7K
39
2.5K
216.6K
Alan
Alan@alandipert·
@owickstrom Awesome! Been meaning to ask you, any pointers on prop testing/model checking compilers? Correctness and layered optimizations in particular
English
1
0
1
100
Alan retweetledi
Oskar Wickström
Oskar Wickström@owickstrom·
Bombadil is on the orange front page.
English
3
1
28
1.5K
Uncle Bob Martin
Uncle Bob Martin@unclebobmartin·
(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))))
Català
8
0
12
7.6K
Uncle Bob Martin
Uncle Bob Martin@unclebobmartin·
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.
English
35
5
264
97.3K
Alan retweetledi
Anish Moonka
Anish Moonka@anishmoonka·
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.
le.hl@0xleegenz

I can't believe human were gifted a planet with full of trees, fruit, water, animals and sunshine and then they invented debt, capitalism and war

English
119
1.1K
7.6K
435.5K
Alan retweetledi
Shay Frendt
Shay Frendt@shayfrendt·
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.
Glide@glideapps

Introducing a new Glide, built for the AI age. The new Glide combines the power of generative AI with the visibility and control of spreadsheets and no-code. We're doubling down on our core spreadsheet to app functionality, and making it 100X more powerful. But that's not all... Join the waitlist to be one of the first to experience the new Glide: glideapps.com/new

English
0
1
5
559
Alan retweetledi
ClojureStream
ClojureStream@ClojureStream·
I moved all my Clojure courses off Podia and onto a platform I built myself. In Clojure, obviously. clojure.stream is live 🧵
English
1
3
5
305
Alan retweetledi
Nauseam (in sf!)
Nauseam (in sf!)@ChadNauseam·
"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.
Nauseam (in sf!) tweet media
English
570
4K
33.2K
4.5M
Alan
Alan@alandipert·
codex when it messes up my parens
Alan tweet media
English
0
0
1
118
Alan
Alan@alandipert·
Short demo of the stack driving the grid and automatic recalculation.
English
0
0
1
71
Alan
Alan@alandipert·
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…
YouTube video
YouTube
English
1
0
3
449
kailash
kailash@hsaliak·
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. 🧵
English
1
1
0
490
Alan
Alan@alandipert·
@hsaliak Very nice thank you for sharing. I’ll definitely try it. Seems great for code I need maintain understanding of
English
1
0
0
27
kailash
kailash@hsaliak·
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.
English
1
0
0
57
Alan
Alan@alandipert·
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
English
0
0
1
127
Alan
Alan@alandipert·
tired: what is AI? wired: what am I?
English
0
0
0
120