erotemic.bsky.social @erotemic.bsky.social · 22/09/2026TIL - unlike Python - bash reads scripts incrementally. ``` echo "Starting..." sleep 30 # Change this before the sleep finishes, and the new message will be printed. echo "Finished!" ``` 172
erotemic.bsky.social @erotemic.bsky.social · 05/09/2026So I found out that my thesis reinvented a weak version of recapture debugging. LLM-powered research is quite something. It gives you a real way to sift through this sea of data. 000
erotemic.bsky.social @erotemic.bsky.social · 30/08/2026TFW you run `git submodule add <url> --force` and then realize that you now have a "--force" directory. 000
erotemic.bsky.social @erotemic.bsky.social · 26/08/2026Now that anyone can say a lot about anything, I wonder how we are going to change how we think about what is worth saying. 000
erotemic.bsky.social @erotemic.bsky.social · 20/06/2026OMG, I can't put 6 / 7 into google to evaluate the fraction anymore. Fucking kids, is this what getting old feel like? 000
erotemic.bsky.social @erotemic.bsky.social · 12/06/2026TIL my Erdős number is at most 4. Erdős→Babai→Turán→Berger-Wolf→Crall Random graph isomorphism The Complexity of Defining a Relation on a Finite Graph Balancing the exploration and exploitation in an adaptive diversity guided genetic algorithm HotSpotter - Patterned species instance recognition 010
erotemic.bsky.social @erotemic.bsky.social · 11/06/2026JFC Codex almost gave me a heart attack: > Status shows a lot of preexisting untracked files as well as modified source files. Since you explicitly said to commit all preexisting changes too, I’m treating that as “stage everything in the working tree” once validation finishes. 000
erotemic.bsky.social @erotemic.bsky.social · 04/06/2026How TF is is 2026 and there isn't a way to sign out of one Google account (or reorder them) when you have multiple accounts? 000
erotemic.bsky.social @erotemic.bsky.social · 12/05/2026TFW you type a well thought out prompt into the wrong chat window. 000
erotemic.bsky.social @erotemic.bsky.social · 08/05/2026LLMs be like: "Here's a prompt for your coding agent: I'll also include every random bad idea from our brainstorm as an explicit "do not do this" just to make sure the agent avoids things it never would've considered until I brought them up." 000
erotemic.bsky.social @erotemic.bsky.social · 08/05/2026Agent: Let’s start slow and keep it simple. Me: Great. Now make it robust. Agent: Absolutely. I’ll preserve backward compatibility with all the mistakes we made 30 seconds ago. 151
erotemic.bsky.social @erotemic.bsky.social · 02/05/2026AI coding agent time estimates be like: this features will take 1-2 hours to finish. Then its done in 5 minutes. 000
erotemic.bsky.social @erotemic.bsky.social · 27/04/2026Annoying GPT issue: it seems to have a lot of problems with 4 backtick formatting when writing prompts for agents. 000
erotemic.bsky.social @erotemic.bsky.social · 11/02/2026Removing win32 pyhesaff wheels from my TODO list feels amazing. 100
erotemic.bsky.social @erotemic.bsky.social · 25/01/2026No option to skip sign in? This is so shitty. 001
erotemic.bsky.social @erotemic.bsky.social · 07/01/2026Got 10 hours to kill? www.youtube.com/watch?v=5hfk...youtube.comUltimate Large Numbers List 2024 - The Biggest Numbers Ever!!!YouTube video by Douglas Shamlin Jr. 000
erotemic.bsky.social @erotemic.bsky.social · 06/01/2026@brendonsmall.bsky.social My 12yo pup had hamburger time yesterday. Thanks for helping make it just a little more bearable. 110
erotemic.bsky.social @erotemic.bsky.social · 26/11/2025The 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. 100
erotemic.bsky.social @erotemic.bsky.social · 26/11/2025Ubelt passed the 100k downloads/month marker for the first time. I remember when I was getting excited at hitting 10k! 000
erotemic.bsky.social @erotemic.bsky.social · 15/11/2025We should always be open to reconsidering the stories we tell ourselves: www.youtube.com/watch?v=yEbj...youtube.comIt Can't Happen HereYouTube video by Frank Zappa - Topic 000
erotemic.bsky.social @erotemic.bsky.social · 30/10/2025Had 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. 000
erotemic.bsky.social @erotemic.bsky.social · 30/10/2025I Will Pay Any Amount to Not Pay My Taxes www.mcsweeneys.net/articles/i-w...mcsweeneys.netI Will Pay Any Amount to Not Pay My TaxesI’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... 010
erotemic.bsky.social @erotemic.bsky.social · 29/10/2025LLMs 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. 000
erotemic.bsky.social @erotemic.bsky.social · 12/10/2025I 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. 😠 000
erotemic.bsky.social @erotemic.bsky.social · 07/10/2025It'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. 010
erotemic.bsky.social @erotemic.bsky.social · 01/10/2025It's that time of year when all my commits fail because I need to renew my GPG keys. 000
erotemic.bsky.social @erotemic.bsky.social · 12/09/2025John Cleese on Extremism www.youtube.com/watch?v=HLNh...youtube.comJohn Cleese vs ExtremismYouTube video by eroosters 000
erotemic.bsky.social @erotemic.bsky.social · 04/07/2025For your viewing pleasure: www.youtube.com/watch?v=zSgi...youtube.comCarl Sagan - 'A Glorious Dawn' ft Stephen Hawking (Symphony of Science)YouTube video by melodysheep 000
erotemic.bsky.social @erotemic.bsky.social · 13/06/2025Kinda cool to see a few of my tools in the top 15,000 pypi projects. xdoctest is 3,316 and ubelt is 11,407. 000
erotemic.bsky.social @erotemic.bsky.social · 04/06/2025Pretty upset that Chrome moved tab search to the right side. I really need to get off of Chrome. 100
erotemic.bsky.social @erotemic.bsky.social · 17/05/2025AI for generating doctests is pretty great. 000
erotemic.bsky.social @erotemic.bsky.social · 18/03/2025TFW you realize you probably should have been running your program in tmux. 000
erotemic.bsky.social @erotemic.bsky.social · 09/03/2025Ugg, why are also CLI configuration tools (including my own) such a mess? 000
erotemic.bsky.social @erotemic.bsky.social · 03/03/2025www.youtube.com/watch?v=h1jO...youtube.comHow much progress have we made on climate change?YouTube video by Simon Clark 000
erotemic.bsky.social @erotemic.bsky.social · 01/03/2025A 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 100
erotemic.bsky.social @erotemic.bsky.social · 26/02/2025Why 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. 100
erotemic.bsky.social @erotemic.bsky.social · 20/02/2025Planting 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. 000
erotemic.bsky.social @erotemic.bsky.social · 15/02/2025Legitimate blockchain use: opentimestamps for proving tax documentation was written no later than the claimed date. Just wish OTS used a less energy intensive chain. 000
erotemic.bsky.social @erotemic.bsky.social · 22/01/2025My public GPG key is: `4AC8B478335ED6ED667715F3622BE571405441B4`. 000
erotemic.bsky.social @erotemic.bsky.social · 18/01/2025The Engineering Mindset is a fantastic resource for understanding electrical systems. The explanations are clear and visualizations really drive home the intuition. Paul Evans has made such a huge contribution by putting these out there. www.youtube.com/@Engineering...youtube.comThe Engineering MindsetSubscribe now to gain core Engineering knowledge and skills through mind-blowing tutorials The Engineering Mindset was started in 2015 by its founder, Paul Evans. The mission was to help students, en... 000
erotemic.bsky.social @erotemic.bsky.social · 09/01/2025www.youtube.com/watch?v=zB_O...youtube.comOn These Questions, Smarter People Do WorseYouTube video by Veritasium 000
erotemic.bsky.social @erotemic.bsky.social · 08/01/2025Yesterday my down/up speed fell to 100mpbs/2mbps, and today I woke up to an even worse to 2/0.2. Was it something I did? I call the ISP, and a robot "resets my internet". Now I'm back to 930/37. I really wish I understood what caused the problem in the first place. 000
Reposted by @erotemic.bsky.socialThe Life of Sharks @thelifeofsharks.com · 08/01/2025The comic that got us demonetised on Facebook back in August. (We’re no longer on Facebook). 39584338767
erotemic.bsky.social @erotemic.bsky.social · 01/01/2025New ShitSpotter data drop plus a scientific paper on arxiv: github.com/Erotemic/shi... www.arxiv.org/abs/2412.16473github.comGitHub - Erotemic/shitspotter: An open source algorithm and dataset for finding poop in pictures.An open source algorithm and dataset for finding poop in pictures. - Erotemic/shitspotter 010
erotemic.bsky.social @erotemic.bsky.social · 10/12/2024Interesting Video: How much human power it takes to toast bread www.youtube.com/watch?v=S4O5...youtube.comOlympic Cyclist Vs. Toaster: Can He Power It?YouTube video by The Toaster Challenge 000
erotemic.bsky.social @erotemic.bsky.social · 27/11/2024GPS in phone camera EXIF data seems to be a lot less accurate than I thought it would be. 120
