Pavel Repin
@paxan.net
I am writing computer programs at the undisclosed bee's knees, and previously at Amazon Lightsail (part of AWS EC2), Upworthy, AWS CloudFront and Route53, Cozi, aQuantive, etc. My posts are just my opinions, and should be accorded zero gravitas.
Reposted by Pavel Repin
“How can we make it so that all human beings have enough?”
Superhuman intelligence: well the people who have way too much need to give something up
Techbros: no no no CHANGE THE ALGORITHM
Superhuman intelligence: well the people who have way too much need to give something up
Techbros: no no no CHANGE THE ALGORITHM
November 7, 2025 at 3:05 PM
“How can we make it so that all human beings have enough?”
Superhuman intelligence: well the people who have way too much need to give something up
Techbros: no no no CHANGE THE ALGORITHM
Superhuman intelligence: well the people who have way too much need to give something up
Techbros: no no no CHANGE THE ALGORITHM
Reposted by Pavel Repin
New blog post: I'm Independently Verifying Go's Reproducible Builds: www.agwa.name/blog/post/ve...
I'm Independently Verifying Go's Reproducible Builds
Introducing Source Spotter, a Go Checksum Database auditor and Go toolchain reproducer
www.agwa.name
October 29, 2025 at 6:06 PM
New blog post: I'm Independently Verifying Go's Reproducible Builds: www.agwa.name/blog/post/ve...
Reposted by Pavel Repin
BREAKING: The Ninth Circuit has restored the block on Trump’s National Guard deployment in Portland. The appeals court voted to rehear the case and vacate an earlier extreme ruling that let him seize Oregon’s troops.
Ninth Circuit Restores Block on Trump’s Portland Guard Deployment
Read more here.
www.democracydocket.com
October 29, 2025 at 12:46 AM
BREAKING: The Ninth Circuit has restored the block on Trump’s National Guard deployment in Portland. The appeals court voted to rehear the case and vacate an earlier extreme ruling that let him seize Oregon’s troops.
Reposted by Pavel Repin
The dream of safe C/C++ code is here.
I have been following this development, and I am in awe at how much has been achieved, now available as a package:
github.com/pizlonator/f...
You can get drunk on the details here: fil-c.org
I have been following this development, and I am in awe at how much has been achieved, now available as a package:
github.com/pizlonator/f...
You can get drunk on the details here: fil-c.org
Release Fil-C Linux/x86_64 version 0.673 · pizlonator/fil-c
The biggest change in this release is support for the /opt/fil distribution, which allows you to install Fil-C and a collection of useful programs compiled with Fil-C in /opt/fil.
Other changes inc...
github.com
October 18, 2025 at 1:54 AM
The dream of safe C/C++ code is here.
I have been following this development, and I am in awe at how much has been achieved, now available as a package:
github.com/pizlonator/f...
You can get drunk on the details here: fil-c.org
I have been following this development, and I am in awe at how much has been achieved, now available as a package:
github.com/pizlonator/f...
You can get drunk on the details here: fil-c.org
Reposted by Pavel Repin
A good post by Bruce Schneier: digital threat modeling under authoritarianism www.schneier.com/blog/archive...
Digital Threat Modeling Under Authoritarianism - Schneier on Security
Today’s world requires us to make complex and nuanced decisions about our digital security. Evaluating when to use a secure messaging app like Signal or WhatsApp, which passwords to store on your smar...
www.schneier.com
September 29, 2025 at 10:23 AM
A good post by Bruce Schneier: digital threat modeling under authoritarianism www.schneier.com/blog/archive...
Reposted by Pavel Repin
🚨New Preprint: We develop a novel task that probes counterfactual thinking without using counterfactual language, and that teases apart genuine counterfactual thinking from related forms of thinking. Using this task, we find that the ability for counterfactual thinking emerges around 5 years of age.
October 13, 2025 at 7:58 PM
🚨New Preprint: We develop a novel task that probes counterfactual thinking without using counterfactual language, and that teases apart genuine counterfactual thinking from related forms of thinking. Using this task, we find that the ability for counterfactual thinking emerges around 5 years of age.
Reposted by Pavel Repin
A cartoonist's review of AI art - The Oatmeal
This is a comic about AI art.
theoatmeal.com
October 7, 2025 at 4:51 PM
Reposted by Pavel Repin
Way past its prime: how did Amazon get so rubbish?
Way past its prime: how did Amazon get so rubbish?
Sick of scrolling through junk results, AI-generated ads and links to lookalike products? The author and activist behind the term ‘enshittification’ explains what’s gone wrong with the internet – and what we can do about it
www.theguardian.com
October 5, 2025 at 5:25 AM
Way past its prime: how did Amazon get so rubbish?
Reposted by Pavel Repin
Spent a couple evenings reverse engineering how Gerrit auth works, concluded it's OAuth2, started building a proxy to replace the long-lived ~/.gitcookies file...
Then found github.com/hickford/git... which works beautifully out of the box. Oh well.
Then found github.com/hickford/git... which works beautifully out of the box. Oh well.
GitHub - hickford/git-credential-oauth: A Git credential helper that securely authenticates to GitHub, GitLab and BitBucket using OAuth.
A Git credential helper that securely authenticates to GitHub, GitLab and BitBucket using OAuth. - hickford/git-credential-oauth
github.com
September 30, 2025 at 12:22 AM
Spent a couple evenings reverse engineering how Gerrit auth works, concluded it's OAuth2, started building a proxy to replace the long-lived ~/.gitcookies file...
Then found github.com/hickford/git... which works beautifully out of the box. Oh well.
Then found github.com/hickford/git... which works beautifully out of the box. Oh well.
Reposted by Pavel Repin
When Tramell Tillman wins an Emmy
a man with a lanyard around his neck is running in a room with purple lights
Alt: Mr. Milchick dances
media.tenor.com
September 15, 2025 at 12:30 AM
When Tramell Tillman wins an Emmy
Reposted by Pavel Repin
We’re quite deep within the Singularity right now, though it’s turned out be the Singularity of Stupid (SoS), which effectively prevents the original concept of the Singularity from happening.
September 8, 2025 at 2:20 AM
We’re quite deep within the Singularity right now, though it’s turned out be the Singularity of Stupid (SoS), which effectively prevents the original concept of the Singularity from happening.
Reposted by Pavel Repin
It’s a party at Lumen Field!
September 1, 2025 at 2:53 AM
It’s a party at Lumen Field!
Reposted by Pavel Repin
RV (something like Python's UV, but for #Ruby) looks pretty cool andre.arko.net/2025/08/25/r...
I liked using UV with Python and I'm guessing the experience with RV would be similar as well. It's a bit said that all such tools have to be rewritten in #Rust (or similar), but nothing's perfect.
I liked using UV with Python and I'm guessing the experience with RV would be similar as well. It's a bit said that all such tools have to be rewritten in #Rust (or similar), but nothing's perfect.
rv, a new kind of Ruby management tool
For the last ten years or so of working on Bundler, I’ve had a wish rattling around: I want a better dependency manager. It doesn’t just manage your gems, it manages your ruby versions, too. It doesn’...
andre.arko.net
August 28, 2025 at 6:07 AM
RV (something like Python's UV, but for #Ruby) looks pretty cool andre.arko.net/2025/08/25/r...
I liked using UV with Python and I'm guessing the experience with RV would be similar as well. It's a bit said that all such tools have to be rewritten in #Rust (or similar), but nothing's perfect.
I liked using UV with Python and I'm guessing the experience with RV would be similar as well. It's a bit said that all such tools have to be rewritten in #Rust (or similar), but nothing's perfect.
Reposted by Pavel Repin
Reposted by Pavel Repin
Not just art. Talking. Writing. Editing. Designing. Coding. Thinking.
Doing well at anything takes years of practice. Ceding that to a machine defeats the whole purpose of taking pleasure from one's chosen path in life.
Doing well at anything takes years of practice. Ceding that to a machine defeats the whole purpose of taking pleasure from one's chosen path in life.
just saw someone sincerely arguing that they need AI bc they don't have "natural" artistic talent and idk how to make you understand that nobody comes by this shit naturally. it's just...work. it's being bad at it for a really, really, really long time. it's intention, pursued over time! wtf!!!
August 18, 2025 at 10:09 PM
Not just art. Talking. Writing. Editing. Designing. Coding. Thinking.
Doing well at anything takes years of practice. Ceding that to a machine defeats the whole purpose of taking pleasure from one's chosen path in life.
Doing well at anything takes years of practice. Ceding that to a machine defeats the whole purpose of taking pleasure from one's chosen path in life.
Reposted by Pavel Repin
The Ice alert app founder sparking fury in Trump officials: ‘Pam Bondi said I better watch out? Please.’
The Ice alert app founder sparking fury in Trump officials: ‘Pam Bondi said I better watch out? Please.’
After IceBlock’s launch in April, Kristi Noem attacked developer Joshua Aaron and his wife was fired from the DoJ. The attention has only led to more raids being reported
www.theguardian.com
August 13, 2025 at 6:22 PM
The Ice alert app founder sparking fury in Trump officials: ‘Pam Bondi said I better watch out? Please.’
Reposted by Pavel Repin
The Go 1.25 change I am most excited about is the new synctest package.
How I think about it is as a way to deflake tests by simulating an infinitely fast processor (because time doesn’t move until all work is done), and then shorten them by compressing time (because time jumps once it moves).
How I think about it is as a way to deflake tests by simulating an infinitely fast processor (because time doesn’t move until all work is done), and then shorten them by compressing time (because time jumps once it moves).
🎊 Go 1.25.0 is released!
📝 Release notes: https://go.dev/doc/go1.25
⬇️ Download: https://go.dev/dl/#go1.25.0
#golang
📝 Release notes: https://go.dev/doc/go1.25
⬇️ Download: https://go.dev/dl/#go1.25.0
#golang
August 12, 2025 at 10:14 PM
The Go 1.25 change I am most excited about is the new synctest package.
How I think about it is as a way to deflake tests by simulating an infinitely fast processor (because time doesn’t move until all work is done), and then shorten them by compressing time (because time jumps once it moves).
How I think about it is as a way to deflake tests by simulating an infinitely fast processor (because time doesn’t move until all work is done), and then shorten them by compressing time (because time jumps once it moves).
Reposted by Pavel Repin
I edited my Cross-Site Request Forgery countermeasures research into a stand-alone article, including recommendations reusable by other projects.
tl;dr: no need for tokens or keys, modern browsers tell you if a request is cross-origin!
words.filippo.io/csrf
tl;dr: no need for tokens or keys, modern browsers tell you if a request is cross-origin!
words.filippo.io/csrf
Cross-Site Request Forgery
Cross-Site Request Forgery countermeasures can be greatly simplified using request metadata provided by modern browsers.
words.filippo.io
August 13, 2025 at 4:06 PM
I edited my Cross-Site Request Forgery countermeasures research into a stand-alone article, including recommendations reusable by other projects.
tl;dr: no need for tokens or keys, modern browsers tell you if a request is cross-origin!
words.filippo.io/csrf
tl;dr: no need for tokens or keys, modern browsers tell you if a request is cross-origin!
words.filippo.io/csrf
Reposted by Pavel Repin
I Deleted My Second Brain
Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save
https://www.joanwestenberg.com/p/i-deleted-my-second-brain
Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save
https://www.joanwestenberg.com/p/i-deleted-my-second-brain
I Deleted My Second Brain
Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save
www.joanwestenberg.com
August 4, 2025 at 3:45 AM
I Deleted My Second Brain
Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save
https://www.joanwestenberg.com/p/i-deleted-my-second-brain
Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save
https://www.joanwestenberg.com/p/i-deleted-my-second-brain
Reposted by Pavel Repin
"AI companies used what amounts to the collective history of our species to create software that obscures its very richness and complexity."
www.wired.com/story/chatgp...
www.wired.com/story/chatgp...
The Real Demon Inside ChatGPT
AI chatbots strip language of its historical and cultural context. Sometimes what looks like a satanic bloodletting ritual may actually be lifted from Warhammer 40,000.
www.wired.com
July 29, 2025 at 1:40 PM
"AI companies used what amounts to the collective history of our species to create software that obscures its very richness and complexity."
www.wired.com/story/chatgp...
www.wired.com/story/chatgp...
Reposted by Pavel Repin
I just wanted to say, I’m probably more proud of this Ted talk than just about anything I’ve ever done so I’m gonna be absolutely useless for the next couple of weeks as I promote the shit out of this because I want you to watch it because it matters in the moment we are in youtu.be/dVG8W-0p6vg
Tech Promised Everything. Did it deliver? | Scott Hanselman | TEDxPortland
YouTube video by TEDx Talks
youtu.be
July 17, 2025 at 8:37 PM
I just wanted to say, I’m probably more proud of this Ted talk than just about anything I’ve ever done so I’m gonna be absolutely useless for the next couple of weeks as I promote the shit out of this because I want you to watch it because it matters in the moment we are in youtu.be/dVG8W-0p6vg
Reposted by Pavel Repin
Incredibly humbled by the ZX Spectrum Next Issue 3 Kickstarter being fully funded in mere 7 minutes (!)
The team behind the project, all of them members of the Speccy community, are just the best.
Now, stretch goals! Let's make some new games!!!
www.kickstarter.com/projects/spe...
The team behind the project, all of them members of the Speccy community, are just the best.
Now, stretch goals! Let's make some new games!!!
www.kickstarter.com/projects/spe...
ZX Spectrum Next Issue 3
The Sinclair ZX Spectrum Next: the evolution of the Speccy computer, now expanded into the world of the Sinclair QL, C64 and... More!
www.kickstarter.com
July 19, 2025 at 8:48 AM
Incredibly humbled by the ZX Spectrum Next Issue 3 Kickstarter being fully funded in mere 7 minutes (!)
The team behind the project, all of them members of the Speccy community, are just the best.
Now, stretch goals! Let's make some new games!!!
www.kickstarter.com/projects/spe...
The team behind the project, all of them members of the Speccy community, are just the best.
Now, stretch goals! Let's make some new games!!!
www.kickstarter.com/projects/spe...
The new gen ZX Spectrum kickstarter escalated fast, wow!
July 19, 2025 at 8:11 AM
The new gen ZX Spectrum kickstarter escalated fast, wow!