Frank Noirot @franknoirot.co · 28/09/2026ppl at the top of orgs like to think that LLMs are replacing interns but for juniors they're mostly filling in for the lack of mentorship that's always been there. 000
Frank Noirot @franknoirot.co · 28/09/2026I spent my time mostly not coding at our Maine van camp, but I cracked a couple beers and hammock camped one night and worked by the fire “for fun”, and I must say it felt rad. 010
Frank Noirot @franknoirot.co · 28/09/2026“While we cannot discuss the specific allegations during pending litigation, we take this matter seriously.” Wouldn’t it be great if we collectively set an automation so that as soon as litigation ended we could get notified to go follow up with cowards that use this fig leaf? 000
Frank Noirot @franknoirot.co · 27/09/2026I never want to start loudly musing that the apocalypse is approaching as weird cope for the fact that I am aging and will someday die. That would be incredibly embarrassing. 000
Frank Noirot @franknoirot.co · 27/09/2026“Secularization, it turns out, does not automatically remove the human instincts for religion and liturgy, it just repurposes their worship.” Highly recommend this whole Hedgehog Review issue for more on this: hedgehogreview.com/issues/re-en...hedgehogreview.comWe Have Never Been DisenchantedCapitalism has been a form of enchantment, a metamorphosis of the sacred in the raiment of secularity. With money as its ontological marrow, it represents a moral and metaphysical imagination as well ... 020
Reposted by Frank NoirotAdam Chalmers @adamchalmers.com · 25/09/2026Fillets are _much_ better in KCL 3.0 (try it now by setting your version to "3.0-preview"). We added a new feature where fillets will continue around your model, following tangent edges (defaults to true, but can be toggled off). This makes it _much_ easier to apply fillets to your whole model! 091
Frank Noirot @franknoirot.co · 24/09/2026Crossbikes is an interesting idea I’ve never seen before! 000
Frank Noirot @franknoirot.co · 24/09/2026To write again or just remove “writing at franknoirot.co” from my bio, that is the question 000
Frank Noirot @franknoirot.co · 18/09/2026Behold ```lean def zip {α β: Type} (xs: List α) (ys: List β): List (α × β) := match xs with | [] => [] | x' :: xs' => match ys with | [] => [] | y' :: ys' => [(x', y')].append (zip xs' ys') def words := ["oof", "that", "was", "hard"] def nums := [1, 2, 3] #eval zip words nums ``` 000
Frank Noirot @franknoirot.co · 18/09/2026More proud than I ought to be figuring out how to write a zip function in Lean. 100
Frank Noirot @franknoirot.co · 16/09/2026Saw it in Ohio last weekend visiting my folks, they were just watching a football game wtf these should be illegal 000
Reposted by Frank Noirotdwarf fortress bugs @dwarffortressbugs.bsky.social · 15/09/2026[0006531] Crash when greeting God 04020
Frank Noirot @franknoirot.co · 14/09/2026Unintentionally funny tagline for the birthplace of white flight suburbs 000
Frank Noirot @franknoirot.co · 12/09/2026Ohio has a terrible ground game but its skies are still the best 000
Frank Noirot @franknoirot.co · 11/09/20269/11 docs shake me down deep now that I'm here and want to raise my family here. I can't fathom the fear. 000
Frank Noirot @franknoirot.co · 11/09/2026$10 to get 1000 of the worst people you know’s business card 030
Frank Noirot @franknoirot.co · 10/09/2026I feel like I'm able to implement really hard software just by alternating between saying "wow, good idea, do it" or "boo, too specific, generalize it" these days 000
Frank Noirot @franknoirot.co · 09/09/2026Tell the republicans that the great experimentation through states’ rights they claim to love has worked: the results are in and we can legalize abortion now with high confidence it’s the right move. 130
Frank Noirot @franknoirot.co · 09/09/2026Executable proofs are gonna be the prefrontal cortex I’m calling it 000
Frank Noirot @franknoirot.co · 08/09/2026As a design engineer in the middle of some hefty refactors I’ve never successfully designed anything with it but I’ve had amazing architecture outcomes 011
Frank Noirot @franknoirot.co · 06/09/2026My colleagues just don’t worry about merge conflicts anymore, that’s a good thing. 000
Frank Noirot @franknoirot.co · 06/09/2026Gotta turn off autocomplete, disable all hotkeys, and you can’t google anything either. 000
Frank Noirot @franknoirot.co · 05/09/2026And the theft of that collective intelligence (theft here only meaning rent-seeking on the commons, they haven't isolated the sources of that intelligence merely created a chokepoint on the most compelling interface to it yet) has been unfathomably undervalued. 000
Frank Noirot @franknoirot.co · 05/09/2026I think one of the frustrations that I may share with some LLM bears out there is that, as a humanist, I've taken for granted that people are brilliant and our collective intelligence is sublime, so there's something cursed about LLM marketing being like "look how smart it is". duh humanity smart 100
Frank Noirot @franknoirot.co · 02/09/2026Gonna start all my Slack threads for refactor proposals with clickbait thumbnails like a GTA6 streamer 030
Frank Noirot @franknoirot.co · 02/09/2026Literally just learning that my registry package in ZDS is partially “we have Effect at home” lol 000
Frank Noirot @franknoirot.co · 01/09/2026Sometimes I'm still surprised anew with just how low an opinion of Americans the American government has. 000
Frank Noirot @franknoirot.co · 01/09/2026There is a gulf between "the people do not have a right to knock down my door with pitchforks after every decision they dislike" and "the people cannot be trusted to even see my inner reasoning notes to learn lessons from". 100
Frank Noirot @franknoirot.co · 01/09/2026Alright, cool, I get it: democracy can put too much pressure on legal experts to remain clear-headed, let's keep that sacrosanct or whatever. But if you shield yourself from all consequence or even the *hint* of consequence for your actions, guess what? That's just as poisoning to impartiality. 100
