Gui

@w_s_bitcoin Why should your pay increase? When the hammer was invented hammering people didn't rest 10 minutes after every strike.

I went from full-time programmer to full-time prompt engineer, expected to ship products 10x faster. But my pay didn’t come close to matching that jump in productivity. It didn’t even keep up with inflation. So I quit and became a stay-at-home dad. That only worked because I had saved in bitcoin over the years. Without bitcoin, I would’ve been stuck on the hamster wheel, expected to run faster than ever.

@wordgrammer I keep the tmux session active with '-A -s my-session'

@wordgrammer termux + ngrok + tmux

What are you guys using to SSH into your desktop from your phone nowadays?

Machine are more efficient for every human movements, it is only the lack of intelligence that prevents automation.

Blue collars also sell their intelligence, post agi there is no blue collars, the only remaining thing for humans to sell is their spirit. The human value is otherwise basically zero, only natural resources and the ability to protect its ownership is valuable.

@davidpattersonx The military and police budget is dependent on the capital to protect, it doesn't make sense for 2 individual to pay the same amount if one wants to protect $1B and the other $1M.

If taxes were fair: You earn $100,000 per year and pay $30,000 in tax. Your neighbor earns $1,000,000 and pays $300,000 in tax. Your neighbor is paying 10X more than you. If taxes were fair, you should both pay $30,000, since you both receive the same government services.

@leonardoalt Yeah I think (3) if expressed correctly should imply (2), and (1) is less fundamental

@realize_gui Great answer! Originally I meant (3), but the other properties are great too!

Did anyone spot a property that's as important as solvency but not proven yet here?

@leonardoalt When proof of MEV

Can AI write EVM bytecode + a Lean proof of solvency under arbitrary reentrancy, bypassing the compiler entirely? Yes! In this experiment we create 86 bytes of WETH bytecode plus a sorry-free Lean solvency theorem 👇 (thread + link below)

Software optimization could just live in intermediate representation written by the AI. If a software needs a critical performance this could be written in lean and proven on the generated assembly. Like maybe we can write that this operation takes less than 10B cpu cycle and 10KiB of memory.

@pirapira Software optimization must be a spec (a dedicated from the business logic invariants one). Code must be generated and verified accordingly.

I wrote a blog post: the Final Form of Software Development. Why the assembly + Lean is final in both in the historical and category theoretic sense.

@pirapira What would be the best approach to verify existing program in rust? Rewrite as spec in lean, prove the compiled rust is equivalent?

@DiegoTristain @sorpaas I'm good with the current governance given the current price, I prefer the steer being as concentrated as it is. I don't find it dystopic. You guys just want to copy ethereum model, if we copy it for polkadot the project will simply die. But you already sold so you don't care.

@realize_gui @sorpaas You are right, you must reject all utilities built on polkadot from the same principle.

If you know how OpenGov worked in #Polkadot over the years, you should reject its Proof of Personhood from a principle ground. Governance controlled by one (or let's be generous, a few) figure(s), combined with PoP requirements, we get authoritarian. Dystopian scenario where the authority can give you a credit score and actively punish everyone they don't like. It's not possible to start PoP from a flawed power distribution like the current OpenGov. To make PoP work, $DOT token must be removed from the equation first, but that's ironically the very thing it tries to save. Without PoP, Polkadot is just "flawed". With PoP, Polkadot is dystopianly dangerous. forum.polkadot.network/t/a-critique-o…

@Thein_Sein @sorpaas What is your point?

@realize_gui @sorpaas Unironically you have "freedom" + "Polkadot" on your bio, man respect yourself first if you are to dish others publicly

@hitchhooker @sorpaas Pop is useful by itself, beyond the polkadot agenda.

@sorpaas pop is only required if token is removed. lets keep the token for those who do not want to pay with their individuality

Le biometrique est seulement utilisé pour l'enregistrement, ensuite pour s'authentifier on n'utilise pas l'iris mais la pair de clef associée a l'id de la personne. Le fait qu'on ne puisse pas révoqué est utile pour qu'une personne ne puisse s'enregistrer 2 fois. Ce serait un peu comme dire qu'associer un passeport à un corps est dangereux parce qu'on ne peut pas révoquer son corps.

@realize_gui @epelboin On ne peut pas révoquer un trait biométrique, contrairement à un autre facteur type mail, clef FIDO, TOTP, ...

Sam Altman et OpenAI ont développé des IA capables de générer des deepfakes ultra-réalistes, puis proposent aujourd’hui leur World ID avec scan d’iris obligatoire pour « prouver » qu’on est humain. Tinder, Zoom, DocuSign, Shopify et AWS commencent déjà à l’intégrer. Ce système biométrique centralisé menace directement l’anonymat et la vie privée en ligne. Une fois nos données iris scannées et stockées, il devient très difficile de préserver les libertés individuelles. Est-ce vraiment le prix à payer pour « sécuriser » internet ? x.com/TFTC21/status/…

@KleeneAlgebra Incredible, asking AI they explain 1/0=0 is practical for having total functions. And algebra is still fine, like x/y•y = x is not true, instead the theorem is y!=0 => (x/y)•y = x

The teacher is actually right, I proved it in lean: theorem magic : 1 / 0 = 0 := by rfl

@Xeluss_ @GeminiVirugo @HoldCtopus @mareepgirl It was intentional, not a mistake

@GeminiVirugo @HoldCtopus @mareepgirl And then his evolution is called Palarticho (Paladin + artichoke) which is pronounced the same as Pas l'artichaut (not the artichoke). This is a fun way to make up for what was a translating mistake due to a lack of time in gen 1

@creepydotorg Balanciaga, Winter 27

Chris Evans used fake feet in ‘Captain America: The First Avenger.’ The actor wore boot-shaped prosthetics in the scenes where he needed to run barefoot.