@erotemic.bsky.social
No option to skip sign in? This is so shitty.
January 25, 2026 at 8:24 PM
No option to skip sign in? This is so shitty.
@brendonsmall.bsky.social My 12yo pup had hamburger time yesterday. Thanks for helping make it just a little more bearable.
January 6, 2026 at 2:34 PM
@brendonsmall.bsky.social My 12yo pup had hamburger time yesterday. Thanks for helping make it just a little more bearable.
The proof is done:
```
theorem tendsto_MCC_atTop_eq_FM
{TP FP FN : ℝ}
(hTPFPpos : 0 < TP + FP)
(hTPFNpos : 0 < TP + FN)
(hTP_nonneg : 0 ≤ TP)
(hFP_nonneg : 0 ≤ FP)
(hFN_nonneg : 0 ≤ FN) :
Tendsto (fun TN : ℝ => MCC TP TN FP FN) atTop (𝓝 (FM TP FP FN))
```
is True.
```
theorem tendsto_MCC_atTop_eq_FM
{TP FP FN : ℝ}
(hTPFPpos : 0 < TP + FP)
(hTPFNpos : 0 < TP + FN)
(hTP_nonneg : 0 ≤ TP)
(hFP_nonneg : 0 ≤ FP)
(hFN_nonneg : 0 ≤ FN) :
Tendsto (fun TN : ℝ => MCC TP TN FP FN) atTop (𝓝 (FM TP FP FN))
```
is True.
November 26, 2025 at 11:35 PM
The proof is done:
```
theorem tendsto_MCC_atTop_eq_FM
{TP FP FN : ℝ}
(hTPFPpos : 0 < TP + FP)
(hTPFNpos : 0 < TP + FN)
(hTP_nonneg : 0 ≤ TP)
(hFP_nonneg : 0 ≤ FP)
(hFN_nonneg : 0 ≤ FN) :
Tendsto (fun TN : ℝ => MCC TP TN FP FN) atTop (𝓝 (FM TP FP FN))
```
is True.
```
theorem tendsto_MCC_atTop_eq_FM
{TP FP FN : ℝ}
(hTPFPpos : 0 < TP + FP)
(hTPFNpos : 0 < TP + FN)
(hTP_nonneg : 0 ≤ TP)
(hFP_nonneg : 0 ≤ FP)
(hFN_nonneg : 0 ≤ FN) :
Tendsto (fun TN : ℝ => MCC TP TN FP FN) atTop (𝓝 (FM TP FP FN))
```
is True.
Ubelt passed the 100k downloads/month marker for the first time. I remember when I was getting excited at hitting 10k!
November 26, 2025 at 6:50 PM
Ubelt passed the 100k downloads/month marker for the first time. I remember when I was getting excited at hitting 10k!
We should always be open to reconsidering the stories we tell ourselves:
www.youtube.com/watch?v=yEbj...
www.youtube.com/watch?v=yEbj...
It Can't Happen Here
YouTube video by Frank Zappa - Topic
www.youtube.com
November 15, 2025 at 5:52 PM
We should always be open to reconsidering the stories we tell ourselves:
www.youtube.com/watch?v=yEbj...
www.youtube.com/watch?v=yEbj...
Had a rare instance where if Python was type safe, it would have prevented a bug. Granted, I probably would have spent countless hours maintaining those types at the cost of thinking about the logic, but credit where credit’s due.
October 30, 2025 at 1:00 PM
Had a rare instance where if Python was type safe, it would have prevented a bug. Granted, I probably would have spent countless hours maintaining those types at the cost of thinking about the logic, but credit where credit’s due.
I Will Pay Any Amount to Not Pay My Taxes www.mcsweeneys.net/articles/i-w...
I Will Pay Any Amount to Not Pay My Taxes
I’ve gotten myself into a bit of a jam. A series of natural disasters is barreling towards my home, and there is a severe shortage of resources and...
www.mcsweeneys.net
October 30, 2025 at 10:32 AM
I Will Pay Any Amount to Not Pay My Taxes www.mcsweeneys.net/articles/i-w...
LLMs are an amazing tool when used intentionally and with skepticism, but its also nice to be in a flow where I'm not using them for awhile. Currently in a state where I'm "thinking in code", its beautiful how concisely you can express things when thinking this way.
October 29, 2025 at 12:49 AM
LLMs are an amazing tool when used intentionally and with skepticism, but its also nice to be in a flow where I'm not using them for awhile. Currently in a state where I'm "thinking in code", its beautiful how concisely you can express things when thinking this way.
I am so upset with the windows 10 laptop I bought in 2017. Can't update to windows 11, so I'm stuck without support. I hardly use it. I need it to support cross platform projects. I boot it up, it doesn't let me log in, it needs to "setup my new experience". I want to open vscode and test stuff. 😠
October 12, 2025 at 7:54 PM
I am so upset with the windows 10 laptop I bought in 2017. Can't update to windows 11, so I'm stuck without support. I hardly use it. I need it to support cross platform projects. I boot it up, it doesn't let me log in, it needs to "setup my new experience". I want to open vscode and test stuff. 😠
It's Python 3.14 release day, and I'm excited because it includes a feature I contributed. The CLI option `-c` will now automatically remove leading indentation before running the code, which can help make your bash scripts slightly less ugly.
October 7, 2025 at 2:59 PM
It's Python 3.14 release day, and I'm excited because it includes a feature I contributed. The CLI option `-c` will now automatically remove leading indentation before running the code, which can help make your bash scripts slightly less ugly.
It's that time of year when all my commits fail because I need to renew my GPG keys.
October 1, 2025 at 3:40 PM
It's that time of year when all my commits fail because I need to renew my GPG keys.
John Cleese on Extremism
www.youtube.com/watch?v=HLNh...
www.youtube.com/watch?v=HLNh...
John Cleese vs Extremism
YouTube video by eroosters
www.youtube.com
September 12, 2025 at 2:45 PM
John Cleese on Extremism
www.youtube.com/watch?v=HLNh...
www.youtube.com/watch?v=HLNh...
Kinda cool to see a few of my tools in the top 15,000 pypi projects. xdoctest is 3,316 and ubelt is 11,407.
June 13, 2025 at 2:08 PM
Kinda cool to see a few of my tools in the top 15,000 pypi projects. xdoctest is 3,316 and ubelt is 11,407.
Pretty upset that Chrome moved tab search to the right side. I really need to get off of Chrome.
June 4, 2025 at 4:05 PM
Pretty upset that Chrome moved tab search to the right side. I really need to get off of Chrome.
AI for generating doctests is pretty great.
May 17, 2025 at 10:10 PM
AI for generating doctests is pretty great.
TFW you realize you probably should have been running your program in tmux.
March 18, 2025 at 4:03 PM
TFW you realize you probably should have been running your program in tmux.
Ugg, why are also CLI configuration tools (including my own) such a mess?
March 9, 2025 at 5:40 PM
Ugg, why are also CLI configuration tools (including my own) such a mess?
A dead disk in my BTRFS raid prevented my system from booting. Clearing the /etc/fstab entry did the trick, but a normal degraded,ro mount kept giving superblock errors.
After hours of panicked traditional and AI search, ChatGPT spat out:
sudo mount -o degraded,ro,usebackuproot /dev/sda1 /data
After hours of panicked traditional and AI search, ChatGPT spat out:
sudo mount -o degraded,ro,usebackuproot /dev/sda1 /data
March 1, 2025 at 4:58 PM
A dead disk in my BTRFS raid prevented my system from booting. Clearing the /etc/fstab entry did the trick, but a normal degraded,ro mount kept giving superblock errors.
After hours of panicked traditional and AI search, ChatGPT spat out:
sudo mount -o degraded,ro,usebackuproot /dev/sda1 /data
After hours of panicked traditional and AI search, ChatGPT spat out:
sudo mount -o degraded,ro,usebackuproot /dev/sda1 /data
Why doesn't Ubuntu / Gnome have an easy way to search / organize open windows?
I want to be able to search open windows similar to how I can search tabs in chrome. It should not take a killall to close all windows of the same kind.
I want to be able to search open windows similar to how I can search tabs in chrome. It should not take a killall to close all windows of the same kind.
February 26, 2025 at 1:13 AM
Why doesn't Ubuntu / Gnome have an easy way to search / organize open windows?
I want to be able to search open windows similar to how I can search tabs in chrome. It should not take a killall to close all windows of the same kind.
I want to be able to search open windows similar to how I can search tabs in chrome. It should not take a killall to close all windows of the same kind.
Planting seeds today for a better tomorrow—yet the forest is being cleared before my eyes. Is subtlety a shield or an excuse? The answer feels just out of reach.
February 20, 2025 at 4:21 PM
Planting seeds today for a better tomorrow—yet the forest is being cleared before my eyes. Is subtlety a shield or an excuse? The answer feels just out of reach.
Legitimate blockchain use: opentimestamps for proving tax documentation was written no later than the claimed date.
Just wish OTS used a less energy intensive chain.
Just wish OTS used a less energy intensive chain.
February 15, 2025 at 5:45 PM
Legitimate blockchain use: opentimestamps for proving tax documentation was written no later than the claimed date.
Just wish OTS used a less energy intensive chain.
Just wish OTS used a less energy intensive chain.
My public GPG key is: `4AC8B478335ED6ED667715F3622BE571405441B4`.
January 22, 2025 at 2:59 PM
My public GPG key is: `4AC8B478335ED6ED667715F3622BE571405441B4`.