iiinova — where your digital self keeps evolving

Frank Noirot @franknoirot.co · 28/09/2026

ppl 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/2026

I 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.

Reviewing a PR on GitHub from a hammock by a fire under a full moon.

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/2026

I 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.com

We Have Never Been Disenchanted

Capitalism 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 Noirot

Adam Chalmers @adamchalmers.com · 25/09/2026

Fillets 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!

The same part, but with a single `fillet` call that fillets all the top edges.

The same part, but all edges have been filletted.

091

Frank Noirot @franknoirot.co · 24/09/2026

To write again or just remove “writing at franknoirot.co” from my bio, that is the question

000

Frank Noirot @franknoirot.co · 23/09/2026

Rewrite It In Rust Already

010

Frank Noirot @franknoirot.co · 18/09/2026

More proud than I ought to be figuring out how to write a zip function in Lean.

100

Reposted by Frank Noirot

dwarf fortress bugs @dwarffortressbugs.bsky.social · 15/09/2026

[0006531] Crash when greeting God

04020

Frank Noirot @franknoirot.co · 14/09/2026

Unintentionally funny tagline for the birthplace of white flight suburbs

Cleveland promotional hat vending machine in the airport, with a graphic accent that reads “the Land of redefining city limits”

000

Frank Noirot @franknoirot.co · 12/09/2026

Ohio has a terrible ground game but its skies are still the best

A soulless strip mall under a wonderful sunset

000

Frank Noirot @franknoirot.co · 11/09/2026

Lived in NYC long enough to need my second license

000

Frank Noirot @franknoirot.co · 11/09/2026

9/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 · 10/09/2026

I 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/2026

category theory is wickedly powerful nowadays

000

Frank Noirot @franknoirot.co · 09/09/2026

Executable proofs are gonna be the prefrontal cortex I’m calling it

000

Frank Noirot @franknoirot.co · 05/09/2026

I 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/2026

bsky.app/profile/fran...

100

Frank Noirot @franknoirot.co · 02/09/2026

Gonna start all my Slack threads for refactor proposals with clickbait thumbnails like a GTA6 streamer

030

Frank Noirot @franknoirot.co · 02/09/2026

Literally just learning that my registry package in ZDS is partially “we have Effect at home” lol

000

Frank Noirot @franknoirot.co · 01/09/2026

I know people laud RBG but WTF is this?

Quote from NYT, “Still, the death of Justice Ruth Bader Ginsburg, just a few years later, provides a clue: Her Supreme Court papers went, a her direction, to the Library of Congress on the condition that no case file would be opened until every justice involved in the matter had died, a restriction that could lock away many documents for decades.”

100

Frank Noirot @franknoirot.co · 01/09/2026

ppl who play albums on shuffle should have to watch movies cut together at random like a haphazard Memento.

000

Frank Noirot @franknoirot.co · 01/09/2026

Hey, both E2E-encrypted messaging and public-private key identity exist. Why can’t we vote for every level of government from our phones, like weekly?

000

Frank Noirot @franknoirot.co · 29/08/2026

I agree, module shadowing is crazy, python must be stopped.

000

Frank Noirot @franknoirot.co · 28/08/2026

I’m not sure I know what a code base is anymore

000

Frank Noirot @franknoirot.co · 26/08/2026

Napped so hard I had a era change

000

Frank Noirot @franknoirot.co · 25/08/2026

Merging stacked PRs feels great, thanks for adding that @github.com

000

Frank Noirot @franknoirot.co · 24/08/2026

Sometimes it's your job to ask stupid questions.

000

Frank Noirot @franknoirot.co · 24/08/2026

Symbiosis, from my memory, is introduced like way too late in school. It’s not some quirk of sharks and remoras: mutualism is lowkey a foundation of ecosystem interaction and any myths to the contrary do damage to us.

020

Frank Noirot @franknoirot.co · 24/08/2026

But for more recent prior (better) art, see catala-lang.org/en/examples/..., which my colleague just put me on to.

catala-lang.org

001

Frank Noirot @franknoirot.co · 23/08/2026

Realizing I’m late to regulation-as-proof by not 2 or 3 but 419 million years en.wikipedia.org/wiki/MHC_cla...

en.wikipedia.org

MHC class I - Wikipedia

100

Frank Noirot @franknoirot.co · 23/08/2026

You can punch 99 seconds into a microwave but not 100

000

Frank Noirot @franknoirot.co · 23/08/2026

I always forget key words in my posts like “not”, done it since I was a kid it’s so frustrating

000

Frank Noirot @franknoirot.co · 23/08/2026

Looks like I missed a wild after party @atproto.nyc

0400

Frank Noirot @franknoirot.co · 23/08/2026

I gave a lightning talk, that was scary! If anyone got a photo or video I’d love to see it, I had that on my 6mo work goals 😅

150

Frank Noirot @franknoirot.co · 22/08/2026

Yooooo does this work????

000

Frank Noirot @franknoirot.co · 21/08/2026

I joined Zoo thinking that GPU software principles had progressed enough to change the CAD industry, but as big as those developments are, I think the real sea change that has unlocked our future is the advancements in programming language design.

010

Frank Noirot @franknoirot.co · 09/08/2026

“You can avoid the universe command by providing the universe parameters when defining F…” But who would want to forego the chance to write the word “universe” in their code??

000

Frank Noirot @franknoirot.co · 02/08/2026

So it turns out LLMs are pretty solid at dependent types, which are pretty good at constructing provably correct domain algebras.

000

Frank Noirot @franknoirot.co · 31/07/2026

You don't know what a monad is? Just tell an LLM "make sure these are all monads pls" and have it write some Lean.

000

Frank Noirot @franknoirot.co · 30/07/2026

I think this correct even in the more rigorous technical definition of bad faith.

000

Frank Noirot @franknoirot.co · 30/07/2026

I'm using Haskell to build a free monadic, church-encoded `HighHorse` to look down on you all from.

100

Frank Noirot @franknoirot.co · 29/07/2026

I feel like it's not a hot take that if you could count all unprosecuted crimes, motor vehicle drivers would be the biggest source of crime, right? Like it wouldn't be close.

000