sai
@texoport.in
I've only charged my oneplus phone twice in the last week, this is insane
My iPhone could never
My iPhone could never
February 8, 2026 at 9:06 AM
I've only charged my oneplus phone twice in the last week, this is insane
My iPhone could never
My iPhone could never
Reposted by sai
As someone with a dyslexic daughter, I have to say I’m not a fan of the current discourse.
It’s like making fun of Trump for his weight.
There are so many legitimate issues with that man. We don’t have to use the one that will hurt other people.
It’s like making fun of Trump for his weight.
There are so many legitimate issues with that man. We don’t have to use the one that will hurt other people.
February 8, 2026 at 5:42 AM
As someone with a dyslexic daughter, I have to say I’m not a fan of the current discourse.
It’s like making fun of Trump for his weight.
There are so many legitimate issues with that man. We don’t have to use the one that will hurt other people.
It’s like making fun of Trump for his weight.
There are so many legitimate issues with that man. We don’t have to use the one that will hurt other people.
i spent some time playing around with an ipad mini at the apple store and feel like i should've gotten that instead of the 11" a16
wonder if it's worth it to sell my ipad and get the mini (even though imo it's still a lot of $ for a device that i'm not yet sure i will use a lot of)
wonder if it's worth it to sell my ipad and get the mini (even though imo it's still a lot of $ for a device that i'm not yet sure i will use a lot of)
February 6, 2026 at 7:34 PM
i spent some time playing around with an ipad mini at the apple store and feel like i should've gotten that instead of the 11" a16
wonder if it's worth it to sell my ipad and get the mini (even though imo it's still a lot of $ for a device that i'm not yet sure i will use a lot of)
wonder if it's worth it to sell my ipad and get the mini (even though imo it's still a lot of $ for a device that i'm not yet sure i will use a lot of)
solving chreke's weekly puzzles in type level ts might probably be the only AI-free activity in my life at this point
this one legit took me a while. i didn't bother to do the final output format because i need to get back to work. kinda surprised tsserver could handle the brute force solution
www.typescriptlang.org/play/#code/C...
www.typescriptlang.org/play/#code/C...
February 6, 2026 at 4:14 PM
solving chreke's weekly puzzles in type level ts might probably be the only AI-free activity in my life at this point
pog, new safety third episode
February 5, 2026 at 9:31 PM
pog, new safety third episode
Reposted by sai
The hardest part about talking about anything AI-related is that the discussion is full of grifters, doomsayers, fanboys and haters, which makes it so hard to have a thoughtful conversation about both the useful applications and the material harms of AI
February 5, 2026 at 8:21 PM
The hardest part about talking about anything AI-related is that the discussion is full of grifters, doomsayers, fanboys and haters, which makes it so hard to have a thoughtful conversation about both the useful applications and the material harms of AI
do i break his spirit, chat
February 5, 2026 at 7:17 PM
do i break his spirit, chat
i worked all day yesterday so i get to lie in bed and watch william osman 2 for an hour
February 5, 2026 at 9:22 AM
i worked all day yesterday so i get to lie in bed and watch william osman 2 for an hour
> I’ve been so good with money this month, barely spent anything
> looks at calendar
> 5th feb
> there’s still time 🥲
> looks at calendar
> 5th feb
> there’s still time 🥲
February 5, 2026 at 7:24 AM
> I’ve been so good with money this month, barely spent anything
> looks at calendar
> 5th feb
> there’s still time 🥲
> looks at calendar
> 5th feb
> there’s still time 🥲
Reposted by sai
I am once again begging people to learn anything about governments east of western europe
Every fascist movement has been majority Christian.
February 4, 2026 at 12:46 PM
I am once again begging people to learn anything about governments east of western europe
Reposted by sai
opencode has 2.5 (i'm the 0.5) people working on the core + tui
we all use AI but nothing crazy, no skills, no plugins, etc
we'll add one more person to takeover for me
isn't it weird the companies claiming to have solved software need 10x than this
we all use AI but nothing crazy, no skills, no plugins, etc
we'll add one more person to takeover for me
isn't it weird the companies claiming to have solved software need 10x than this
February 3, 2026 at 2:55 PM
opencode has 2.5 (i'm the 0.5) people working on the core + tui
we all use AI but nothing crazy, no skills, no plugins, etc
we'll add one more person to takeover for me
isn't it weird the companies claiming to have solved software need 10x than this
we all use AI but nothing crazy, no skills, no plugins, etc
we'll add one more person to takeover for me
isn't it weird the companies claiming to have solved software need 10x than this
i got a monitor arm for my second monitor but i really need to figure out how to make this space cozier
February 3, 2026 at 8:32 PM
i got a monitor arm for my second monitor but i really need to figure out how to make this space cozier
ok no i don't need this domain _that_ much
February 3, 2026 at 7:04 PM
ok no i don't need this domain _that_ much
got an android phone yesterday and goddamn the battery life on this is something else. i'm still unsure about letting go of my little iphone 13 but this oneplus nord 5 is just an objectively better phone in every way that matters to me
February 3, 2026 at 12:49 PM
got an android phone yesterday and goddamn the battery life on this is something else. i'm still unsure about letting go of my little iphone 13 but this oneplus nord 5 is just an objectively better phone in every way that matters to me
Reposted by sai
Every formal verification tool guide:
“So this is how you can prove add_one”
“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”
“So this is how you can prove add_one”
“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”
February 2, 2026 at 6:58 AM
Every formal verification tool guide:
“So this is how you can prove add_one”
“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”
“So this is how you can prove add_one”
“A̵͈̜̪͓͆n̸͔͉̦̐͋̌̾ḑ̶̬̥̬̐ ̵̺̲̬̆̀t̸̻̲̋͒͑͠h̵̤̤͎̮̎͝í̴̱͖ͅs̷͈̫̖̰̒̅ ̶̝̭͎̼̌̌i̷͖̱̰͋̾͛͝s̸̛͖͔̈̍ ̸̛̗̗̙̣h̴̟͒o̷̭̤̮͙̅w̴͈̭̄ͅ ̷͔̹̬͋̈́̒̾w̵̞̺͚̓͑͘ē̸̢̟͙̯ ̴͉̅̆̈́s̷̗̺̙̰̍̎̀ű̸͖͉̩̲̍̍͝m̵̢͍̲̉ḿ̸̱̍̄ȯ̵̹̙̗̥n̷̛̞̾̃̔ ̶̰̳̹̒̚t̴̖̺̉̒̎͝ḧ̸̨̯̥̘́͝e̸͚̲̻̘̾̓ ̷̼̮͙̘̑̋͑͌d̸̤̩̘̯̋̕̕͘ä̶͈͆͜r̶̢̛͈͖̻͐͌́k̴̬̑͋ ̶̛̻͈̐l̴͙̹̎̕o̷̤̔̔͘ŕ̶̥͒̇̕d̷͐ͅ”
Reposted by sai
bringing up evolutionary psychology continues to be one of the biggest red flags ever.
istg every time i've seen a non-psychologist bring up evolutionary psychology to support an argument, if i get them talking long enough they will ALSO bring up eugenics.
istg every time i've seen a non-psychologist bring up evolutionary psychology to support an argument, if i get them talking long enough they will ALSO bring up eugenics.
February 1, 2026 at 5:05 AM
bringing up evolutionary psychology continues to be one of the biggest red flags ever.
istg every time i've seen a non-psychologist bring up evolutionary psychology to support an argument, if i get them talking long enough they will ALSO bring up eugenics.
istg every time i've seen a non-psychologist bring up evolutionary psychology to support an argument, if i get them talking long enough they will ALSO bring up eugenics.
unreasonably excited about this even though i'm unlikely to buy a nothing phone for the foreseeable future nothing.community/d/52026-firs...
First Flagship Store in India - Opens 14 Feb
We’re pleased to announce that our first flagship store in India will officially open on Saturday, 14 February 2026, in Bengaluru. This flagship store wil...
nothing.community
February 1, 2026 at 7:40 AM
unreasonably excited about this even though i'm unlikely to buy a nothing phone for the foreseeable future nothing.community/d/52026-firs...
Reposted by sai
beautiful women named Type instantiation is excessively deep and possibly infinite
January 31, 2026 at 3:30 PM
beautiful women named Type instantiation is excessively deep and possibly infinite
Reposted by sai
type level ts is so well suited for problems like this www.typescriptlang.org/play/#code/C...
January 31, 2026 at 1:04 PM
type level ts is so well suited for problems like this www.typescriptlang.org/play/#code/C...
why does the pixel 8a cost more than the 9a
January 31, 2026 at 1:10 PM
why does the pixel 8a cost more than the 9a
what i'll be calling this type going forward
January 31, 2026 at 12:59 PM
what i'll be calling this type going forward