Keep on to blur preview images; turn off to show them clearly
RT @Jose_A_Alonso: Candle: A verified implementation of HOL Light. ~ Oskar Abrahamsson et als. https://t.co/QCwO2mk6KJ #ITP #HOL4 #HOL_Light
Root node of the web of threads: https://t.co/ifH80GcLpo
I stopped doing calls/meetings in business when my first child was born not because I had a perfect productivity system but because I had no other choice when you become a parent, your calendar becomes fiction. every call you schedule is a gamble. so the worst thing you can do as a founder-parent is make a plan you wake up thinking you’ll work on X, Y and Z… and then your kid is sick, your partner needs rest, something unexpected happens - and your day is gone that feeling is horrible. you planned your day - you thought you could control it. and suddenly, you can’t you keep reminding yourself that family comes first - that you need to be there. what worked for me was not having a plan at all - just living day by day when I’d get a 1-hour or 2-hour working window, I’d jump on the computer and start with the most important thing that’s the only way I kept momentum across all my products (image background edited - no showing my home 😅)
Built Tweet Hunter, Taplio (sold $8m) Growing https://t.co/OyNJ8ZUyOh - https://t.co/jS9GQJ5Ps8 - https://t.co/EFUcKeBbpU - https://t.co/JkVOl1O0S1 - https://t.co/KG9PgxJabg Sharing weekly tips about growth: https://t.co/ereQodN3Ov
Yakub will not stand for this “wypipos can't do mafs” bs @DoggyDog1208's slander of Yakub's children must end…
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
Right-wing Americans want Europe to be great again. Left-wing ones want it to atone for being white.
Professor of computer science at UW and author of '2040' and 'The Master Algorithm'. Into machine learning, AI, and anything that makes me curious.
how soon space datacenters come is very hard to tell but I've come to think that if a series of surmountable engineering problems (mainly: Starship; thin film solar; ideally in-orbit manufacturing) are solved, they can rapidly *displace* land-based compute Elon isn't grifting
We're in a race. It's not USA vs China but humans and AGIs vs ape power centralization. @deepseek_ai stan #1, 2023–Deep Time «C’est la guerre.» ®1
RT @WoraWork: Hi everyone! I'm happy to finally share my portfolio!🏝️ This portfolio is an island where you can explore around to get to k…
Photographer & software engineer, prev @Ghost. Loves building w/ Nodejs, React, Rails, Django! DM for collabs. ❤️ @xxxxjiwon