@erotemic.bsky.social
Be careful if you add too much data. Unless there's a major re-architecture, it has scaling issues. But the core idea is fantastic.
January 7, 2026 at 4:52 PM
Be careful if you add too much data. Unless there's a major re-architecture, it has scaling issues. But the core idea is fantastic.
IPFS CID of the proof: bafkreiaz6a7cdl7ben2imotjefvwnnk66s7ddojtlramghyzwy72kqaoi4
which is in some sense an encoding of the proof.
which is in some sense an encoding of the proof.
November 28, 2025 at 2:48 AM
IPFS CID of the proof: bafkreiaz6a7cdl7ben2imotjefvwnnk66s7ddojtlramghyzwy72kqaoi4
which is in some sense an encoding of the proof.
which is in some sense an encoding of the proof.
proof: github.com/Erotemic/pap...
Probably not the cleanest, but it works. GPT 5.1 did most of the work.
Probably not the cleanest, but it works. GPT 5.1 did most of the work.
paper-g1-and-mcc/attempt6/Attemp6/Basic.lean at main · Erotemic/paper-g1-and-mcc
This is a short paper that proves the G1 measure is equivalent to the limit of the MCC as the number of true negatives approaches infinity. - Erotemic/paper-g1-and-mcc
github.com
November 28, 2025 at 2:35 AM
proof: github.com/Erotemic/pap...
Probably not the cleanest, but it works. GPT 5.1 did most of the work.
Probably not the cleanest, but it works. GPT 5.1 did most of the work.
You can at least put it back in the tab bar with chrome://flags/#tabstrip-combo-button but no option to put it back on the left
June 4, 2025 at 4:08 PM
You can at least put it back in the tab bar with chrome://flags/#tabstrip-combo-button but no option to put it back on the left
I really should have smartctl run in the background and send me emails before things get this bad.
My previous btrfs recovery experience was easy, but this was a nightmare.
Not sure where the superblock errors came from; if that is normal / common, but the recovery UX could have been better.
My previous btrfs recovery experience was easy, but this was a nightmare.
Not sure where the superblock errors came from; if that is normal / common, but the recovery UX could have been better.
March 1, 2025 at 5:02 PM
I really should have smartctl run in the background and send me emails before things get this bad.
My previous btrfs recovery experience was easy, but this was a nightmare.
Not sure where the superblock errors came from; if that is normal / common, but the recovery UX could have been better.
My previous btrfs recovery experience was easy, but this was a nightmare.
Not sure where the superblock errors came from; if that is normal / common, but the recovery UX could have been better.