Reposted by David Sainez
Reboosts welcome! Any UK academics able to host me for 1–2 weeks in January while my visa processes?
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
Kiran's home page~ - To Proof Maintenance for all and beyond!!!
kirancodes.me
December 16, 2025 at 10:49 PM
Reboosts welcome! Any UK academics able to host me for 1–2 weeks in January while my visa processes?
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
I am a researcher in programming languages and formal methods, working on proof maintenance on interactive and automated verification tools. Happy to give a talk & collaborate.
kirancodes.me
If it aint broke...
"save systems should dynamically handle object IDs and automatically populate the serialized data of every object that requires save states, and then for dialogue progression it needs to-"
team cherry:
WRONG. 1400 hardcoded fields in PlayerData.cs
team cherry:
WRONG. 1400 hardcoded fields in PlayerData.cs
December 16, 2025 at 9:20 PM
If it aint broke...
Reposted by David Sainez
'Souls Tied'
A deeply personal, and very special, image to me. Taken back in 2021 at the iconic Dark Hedges.
This image won both 'World Landscape Photographer 2022' & the 'UK Landscape Photographer Of The Year - Black & White' category.
#landscapephotography
#northernireland
#darkhedges
A deeply personal, and very special, image to me. Taken back in 2021 at the iconic Dark Hedges.
This image won both 'World Landscape Photographer 2022' & the 'UK Landscape Photographer Of The Year - Black & White' category.
#landscapephotography
#northernireland
#darkhedges
December 14, 2025 at 9:42 AM
'Souls Tied'
A deeply personal, and very special, image to me. Taken back in 2021 at the iconic Dark Hedges.
This image won both 'World Landscape Photographer 2022' & the 'UK Landscape Photographer Of The Year - Black & White' category.
#landscapephotography
#northernireland
#darkhedges
A deeply personal, and very special, image to me. Taken back in 2021 at the iconic Dark Hedges.
This image won both 'World Landscape Photographer 2022' & the 'UK Landscape Photographer Of The Year - Black & White' category.
#landscapephotography
#northernireland
#darkhedges
This is a test @unroll.skywriter.blue
We're doing something new. Going forward, every day we'll have three stories that are completely free to read for everyone. Let's see what we've got today: 🧵
The Verge subscription turns one
Looking back at one year of The Verge’s subscription — and ahead to what’s next.
www.theverge.com
December 10, 2025 at 3:50 PM
This is a test @unroll.skywriter.blue
This is a test @unroll.skywriter.blue
1/ It was the height of the pandemic, but Phoebe Putney Memorial had good news: At 99 years old, Maude Burke was the oldest COVID-19 patient they were discharging.
In a video, staff waved balloons, celebrating Burke beating the disease.
There was one issue: It wasn’t true. 🧵
In a video, staff waved balloons, celebrating Burke beating the disease.
There was one issue: It wasn’t true. 🧵
December 10, 2025 at 3:42 PM
This is a test @unroll.skywriter.blue
Reposted by David Sainez
These Ukrainian girls are risking their lives defending freedom, showing far more courage and “ethos” than self-styled “warriors” whose patriotism peaks in killing defenseless castaways. Let's stand together & support decency! Still €4,300 to go: euromaidanpress.com/lets-support...
December 8, 2025 at 12:44 PM
These Ukrainian girls are risking their lives defending freedom, showing far more courage and “ethos” than self-styled “warriors” whose patriotism peaks in killing defenseless castaways. Let's stand together & support decency! Still €4,300 to go: euromaidanpress.com/lets-support...
Fascinating. Wasn’t there also a recent study about creatine and sleep? I wonder if there is some connection there?
Animals Sleep Because Electrons Leak
The need for sleep likely evolved to get rid of toxic molecules from the mitochondria, a landmark study shows using sleep-deprived flies.
Written byAndrea Lius, PhD
www.the-scientist.com/animals-slee...
#neuroscience #research #sleep #evolution #education 🧪
The need for sleep likely evolved to get rid of toxic molecules from the mitochondria, a landmark study shows using sleep-deprived flies.
Written byAndrea Lius, PhD
www.the-scientist.com/animals-slee...
#neuroscience #research #sleep #evolution #education 🧪
Animals Sleep Because Electrons Leak
The need for sleep likely evolved to get rid of toxic molecules from the mitochondria, a landmark study shows using sleep-deprived flies.
www.the-scientist.com
September 21, 2025 at 1:17 AM
Fascinating. Wasn’t there also a recent study about creatine and sleep? I wonder if there is some connection there?
Reposted by David Sainez
Skywriter is dedicated to accessibility. Explore our keyboard navigation demo for just one of the many benefits available when you share your content with Skywriter.
Did you know that 1 in 4 working-age adults have a dexterity difficulty or impairment? [1] That's why Skywriter is built with keyboard navigation and clear focus indicators. Our design ensures your readers can engage with your long-form writing without barriers.
Skywriter keyboard navigation
YouTube video by David Sainez
www.youtube.com
June 25, 2025 at 9:53 PM
Skywriter is dedicated to accessibility. Explore our keyboard navigation demo for just one of the many benefits available when you share your content with Skywriter.
Reposted by David Sainez
If your response to hearing that a bunch of people died in a flash flood is anything other than heartbreak and compassion I think you might be the baddies
July 5, 2025 at 4:19 PM
If your response to hearing that a bunch of people died in a flash flood is anything other than heartbreak and compassion I think you might be the baddies
Hi did you happen to disable the replies before the bot could reply with the link? You can also use a quote post to unroll if you want to disable replies. @unroll.skywriter.blue
So I went to see if Mike Brock, the author of this, is on Bluesky. He is, but he's blocked by the "very British transphobe" list. Curious. I sought out more info b/c much as I agree with what he says, I noted some glaring blind spots, too. We didn't just suddenly get a fascist gov out of nowhere.
🧵
🧵
"authoritarianism thrives in ambiguity. It requires linguistic fog to operate. It depends on our unwillingness to call things by their proper names. Every euphemism is a small surrender. Every hedge is a tiny collaboration. Every refusal to speak plainly is a gift to those who profit from confusion"
July 3, 2025 at 12:07 AM
Hi did you happen to disable the replies before the bot could reply with the link? You can also use a quote post to unroll if you want to disable replies. @unroll.skywriter.blue
A better Discover algorithm is crucial for Bluesky's success. Anyone have good ideas or know someone willing to take on the role?
🤖🧠 #mlsky
🤖🧠 #mlsky
A couple comments about what I’ve been learning about algo engineering, but first off: if you’re interested in helping us improve Discover and all of our algorithmic systems, we are hiring algo engineers jobs.gem.com/bluesky/am9i...
June 30, 2025 at 4:24 AM
A better Discover algorithm is crucial for Bluesky's success. Anyone have good ideas or know someone willing to take on the role?
🤖🧠 #mlsky
🤖🧠 #mlsky
Reposted by David Sainez
Great and immediately practical piece by @asmartbear.com. A lot of his writing is useful when reasoning about complex/fuzzy systems in general.
longform.asmartbear.com/roi-rubric/
longform.asmartbear.com/roi-rubric/
Fermi ROI: Fixing the ROI rubric
Traditional rubrics fail to reveal the best answers, or how to explain those answers to others. After explaining why, the following system solves both failures.
longform.asmartbear.com
June 29, 2025 at 7:47 PM
Great and immediately practical piece by @asmartbear.com. A lot of his writing is useful when reasoning about complex/fuzzy systems in general.
longform.asmartbear.com/roi-rubric/
longform.asmartbear.com/roi-rubric/
Back in the 1960s and 70s there was a major party candidate who the party establishment & the media thought was too far outside the mainstream. He shockingly won a California election he wasn't supposed to, then 14 years later he became President & fundamentally transformed his party. It was Reagan.
June 26, 2025 at 11:41 PM
Reposted by David Sainez
National Guard members accompany their own mother to her immigration appointment in order to protect her from ICE.
June 19, 2025 at 5:51 PM
National Guard members accompany their own mother to her immigration appointment in order to protect her from ICE.
Reposted by David Sainez
This drum circle is a sacred honor in memory of slain MN State Legislator Melissa Hortman, at the candlelight vigil
June 19, 2025 at 3:06 AM
This drum circle is a sacred honor in memory of slain MN State Legislator Melissa Hortman, at the candlelight vigil
Reposted by David Sainez
"Runner"
vec3 q,p;for(float z,d,i,l;l++<3e1;z+=d,o+=.1*(vec4(4,2,1,0)-tanh(p.y+4.))*d/(1.+z)){p=z*normalize(FC.rgb*2.-r.xyy)-2.;p.xz-=t+3.;for(q=p,d=p.y,i=4e1;i>.01;i*=.2)d=max(d,min(min(q=i*.9-abs(mod(q,i+i)-i),q.y).x,q.z)),q.xz*=rotate2D(9.);}o=tanh(o*o);
vec3 q,p;for(float z,d,i,l;l++<3e1;z+=d,o+=.1*(vec4(4,2,1,0)-tanh(p.y+4.))*d/(1.+z)){p=z*normalize(FC.rgb*2.-r.xyy)-2.;p.xz-=t+3.;for(q=p,d=p.y,i=4e1;i>.01;i*=.2)d=max(d,min(min(q=i*.9-abs(mod(q,i+i)-i),q.y).x,q.z)),q.xz*=rotate2D(9.);}o=tanh(o*o);
June 13, 2025 at 8:34 PM
"Runner"
vec3 q,p;for(float z,d,i,l;l++<3e1;z+=d,o+=.1*(vec4(4,2,1,0)-tanh(p.y+4.))*d/(1.+z)){p=z*normalize(FC.rgb*2.-r.xyy)-2.;p.xz-=t+3.;for(q=p,d=p.y,i=4e1;i>.01;i*=.2)d=max(d,min(min(q=i*.9-abs(mod(q,i+i)-i),q.y).x,q.z)),q.xz*=rotate2D(9.);}o=tanh(o*o);
vec3 q,p;for(float z,d,i,l;l++<3e1;z+=d,o+=.1*(vec4(4,2,1,0)-tanh(p.y+4.))*d/(1.+z)){p=z*normalize(FC.rgb*2.-r.xyy)-2.;p.xz-=t+3.;for(q=p,d=p.y,i=4e1;i>.01;i*=.2)d=max(d,min(min(q=i*.9-abs(mod(q,i+i)-i),q.y).x,q.z)),q.xz*=rotate2D(9.);}o=tanh(o*o);
Reposted by David Sainez
It’s wild when the people who control the only feed most people see accuse us of being the echo chamber. People are scared and in pain—they deserve spaces to talk without top-down interference. That’s what we’re building.
June 12, 2025 at 10:21 PM
It’s wild when the people who control the only feed most people see accuse us of being the echo chamber. People are scared and in pain—they deserve spaces to talk without top-down interference. That’s what we’re building.
We need more waitresses in Congress. secure.actblue.com/donate/cooke...
June 11, 2025 at 10:07 PM
We need more waitresses in Congress. secure.actblue.com/donate/cooke...
Bluesky mentioned! Thanks @codetv.dev and @brookslybrand.bsky.social, really fun format to ease into react router v7.
Learn React Router v7 from the Maintainers
YouTube video by CodeTV (formerly Learn With Jason)
www.youtube.com
June 6, 2025 at 10:21 PM
Bluesky mentioned! Thanks @codetv.dev and @brookslybrand.bsky.social, really fun format to ease into react router v7.
Reposted by David Sainez
If you watch only one video today, let it be this one.
Watch NYU Stern School of Business Professor Scott Galloway’s outstanding commentary on what prosperity and wealth should mean in America.
His words could not be more on point and timely.
Please pass it on.
Watch NYU Stern School of Business Professor Scott Galloway’s outstanding commentary on what prosperity and wealth should mean in America.
His words could not be more on point and timely.
Please pass it on.
June 5, 2025 at 11:25 PM
If you watch only one video today, let it be this one.
Watch NYU Stern School of Business Professor Scott Galloway’s outstanding commentary on what prosperity and wealth should mean in America.
His words could not be more on point and timely.
Please pass it on.
Watch NYU Stern School of Business Professor Scott Galloway’s outstanding commentary on what prosperity and wealth should mean in America.
His words could not be more on point and timely.
Please pass it on.
Reposted by David Sainez
Great strategy, positioning, marketing, and products read as “simple,” because they're born from clear thinking and writing.
The process was likely messy, painful, protracted.
Like an Olympian making it "look easy."
Greatness appears effortless, but never is.
The process was likely messy, painful, protracted.
Like an Olympian making it "look easy."
Greatness appears effortless, but never is.
June 3, 2025 at 8:32 AM
Great strategy, positioning, marketing, and products read as “simple,” because they're born from clear thinking and writing.
The process was likely messy, painful, protracted.
Like an Olympian making it "look easy."
Greatness appears effortless, but never is.
The process was likely messy, painful, protracted.
Like an Olympian making it "look easy."
Greatness appears effortless, but never is.
Reposted by David Sainez
The ability to toggle individual notifications -- push notifs and in-app -- is on the way! 2-3 weeks out
I'm preannouncing this because *this* week we're going to ship notifications for likes on reposts (and for reposts on reposts) and I know some folks will be wondering!
I'm preannouncing this because *this* week we're going to ship notifications for likes on reposts (and for reposts on reposts) and I know some folks will be wondering!
June 2, 2025 at 10:55 PM
The ability to toggle individual notifications -- push notifs and in-app -- is on the way! 2-3 weeks out
I'm preannouncing this because *this* week we're going to ship notifications for likes on reposts (and for reposts on reposts) and I know some folks will be wondering!
I'm preannouncing this because *this* week we're going to ship notifications for likes on reposts (and for reposts on reposts) and I know some folks will be wondering!
Reposted by David Sainez
Initial conditions:
m1=85.7 m2=17.2 m3=0.6 (solar masses)
v1x=2.975 v1y=3.757 v2x=2.769 v2y=-4.583 v3x=-0.791 v3y=1.96 (km/s)
x1=-24.0 y1=-25.0 x2=13.0 y2=-12.0 x3=8.0 y3=20.0 (AU from center)
Music: Prelude in C Major – Bach
m1=85.7 m2=17.2 m3=0.6 (solar masses)
v1x=2.975 v1y=3.757 v2x=2.769 v2y=-4.583 v3x=-0.791 v3y=1.96 (km/s)
x1=-24.0 y1=-25.0 x2=13.0 y2=-12.0 x3=8.0 y3=20.0 (AU from center)
Music: Prelude in C Major – Bach
May 30, 2025 at 6:21 AM
Initial conditions:
m1=85.7 m2=17.2 m3=0.6 (solar masses)
v1x=2.975 v1y=3.757 v2x=2.769 v2y=-4.583 v3x=-0.791 v3y=1.96 (km/s)
x1=-24.0 y1=-25.0 x2=13.0 y2=-12.0 x3=8.0 y3=20.0 (AU from center)
Music: Prelude in C Major – Bach
m1=85.7 m2=17.2 m3=0.6 (solar masses)
v1x=2.975 v1y=3.757 v2x=2.769 v2y=-4.583 v3x=-0.791 v3y=1.96 (km/s)
x1=-24.0 y1=-25.0 x2=13.0 y2=-12.0 x3=8.0 y3=20.0 (AU from center)
Music: Prelude in C Major – Bach
Reposted by David Sainez
i see i’m not getting credited for a scoop again 🤡
May 30, 2025 at 9:00 PM
i see i’m not getting credited for a scoop again 🤡