iiinova — where your digital self keeps evolving

Kevin Kuhl @kevinrkuhl.com · 23/07/2026

I only recently clued in that he's got a picture of the hallway for a hat, and it wasn't just weird sci-fi fashion.

110

Reposted by Kevin Kuhl

Norm Charlatan @normcharlatan.bsky.social · 19/07/2026

🎶 It’s been a long day, without you, my friend. And I’ll tell you all about it when I see you again. 🎶

Fast and Furious “see you again” meme but with Pausa de Hidratación instead of Paul Walker

92140517

Kevin Kuhl @kevinrkuhl.com · 02/07/2026

Yeah instagram and mailing lists for the artists are not a replacement

000

Kevin Kuhl @kevinrkuhl.com · 01/07/2026

With a title like that I was expecting something on unrestricted quantification. Smh.

1110

Kevin Kuhl @kevinrkuhl.com · 29/06/2026

Just explained #CanadaDay to some colleagues, including that Glass Tiger is headlining in my city and now I'm wondering: if we were going to release an "Oh What A Feeling" compilation for the 2000s to now, what would you put on it? #canada #ohwhatafeeling #canadianmusic

030

Reposted by Kevin Kuhl

Piccalilli @piccalil.li · 25/06/2026

It's the summer of Standard.site and overwhelmingly, we've heard folks find the process complicated so Declan Chidlow is here to break the process down into something rather straightforward for you. piccalil.li/blog/publish...

piccalil.li

Publishing on the Atmosphere with Standard.site

It's the summer of Standard.site and overwhelmingly, we've heard folks find the process complicated so Declan Chidlow is here to break the process down into something rather straightforward for you.

47620

Kevin Kuhl @kevinrkuhl.com · 25/06/2026

Getting @sequoia.pub up and running with my Hugo site was pretty smooth. Thanks for making it easy to get started with the standard.site lexicon! Looking forward to continuing to build on how my personal site connects with the ATmosphere.

000

Reposted by Kevin Kuhl

Katharine Hayhoe @katharinehayhoe.com · 23/06/2026

Climate.us is officially live! After NOAA ended Climate.gov’s day-to-day operations in 2025, former team members built Climate.us to carry that work forward. Their explanations and graphics have always stood out to me as clear, accessible, and transparent. I’m really looking forward to this reboot.

climate.us

Climate.us Home

independent, nonprofit, and immune to politics

3925801219

Reposted by Kevin Kuhl

Vidman 📺 Dan Lauckner @vidman.bsky.social · 20/06/2026

Happy Neighbours Day #Kitchener! 😀🎙️🪕🎵🎹🎸🎷🎺

282

Kevin Kuhl @kevinrkuhl.com · 01/06/2026

Agreed on the pronoun point - Tilly is like a fictional character, no point in agonizing about it any more than using he/him pronouns for Hamlet. At best, "Tilly is a computer" is short hand for "Tilly is a fiction maintained by a bunch of processes happening on a bunch of computers".

180

Kevin Kuhl @kevinrkuhl.com · 28/05/2026

Since starting a new gig, blogs have taken a backseat but it's rewarding seeing my posts mentioned in the State of the Docs. I think it's pretty important to talk about what you d, and why it matters. There's lots of other good takes from other tech writers too: www.stateofdocs.com/2026/contrib...

stateofdocs.com

The State of Docs Report 2026 – Contributors

The 2026 State of Docs report was produced by the GitBook team with support from the wider documentation community.

010

Reposted by Kevin Kuhl

dame @dame.is · 25/05/2026

I’m reading the Pope’s 83-page manifesto on AI. Notes/quotes 🧵 “Technology should not be considered, in itself, as a force antagonistic to humanity. On the contrary, it has formed part of our history since the beginning as ‘a profoundly human reality, linked to the autonomy & freedom of man.’” 🔥

vatican.va

Encyclical Letter of His Holiness Leo XIV Magnifica Humanitas (15 May 2026)

ENCYCLICAL LETTER MAGNIFICA HUMANITAS OF HIS HOLINESS POPE LEO XIV ON SAFEGUARDING THE HUMAN PERSON IN THE TIME OF ARTIFICIAL INTELLIGENCE [ Multimedia ] ___________________________

413218

Reposted by Kevin Kuhl

Data Bear 🏳️‍🌈 @dataandpolitics.net · 23/05/2026

Tech engineering normalized transparency (status pages, postmortems, bug disclosures) partly to encourage other industries to do the same. Decades later it’s backfired: people hear our issues but not their own industry’s, so they assume engineering is worse rather than more transparent.

523344

Kevin Kuhl @kevinrkuhl.com · 23/05/2026

Love this album, it just explores the emotional spaces shoegaze is pretty well equipped to expertly:

youtu.be

Sungaze - I'm No Longer Afraid of Heights (Official Music Video)

YouTube video by Sungaze

020

Kevin Kuhl @kevinrkuhl.com · 23/05/2026

Uggh. Because I engaged with some logic stuff on LinkedIn, I'm now seeing people think that the undefinability of truth stuff from Tarski is important for LLMs and I just want it all to stop.

000

Kevin Kuhl @kevinrkuhl.com · 18/05/2026

Tikz can be cool if they need complicated visuals, Mermaid.js is great for simple diagrams.

010

Kevin Kuhl @kevinrkuhl.com · 18/05/2026

Basic git/GitHub for version control? Single branches, can use the GitHub UI.

110

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

A pretty direct result is that their formalizations are on the incomplete side of the fence. But whether *logic* needs to be complete is a different question. This is cool and subtle stuff. It takes a bit of care, but it's not that hard to explain.14/14

000

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

Neo-logicists think that logic is more rich, and includes things that let you quantify over predicates (think sets). What they discovered, and it's genuinely cool is that if you add a statement defining same number you can prove basic arithmetic follows from their concept of logical truth. 13/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

That's pretty easy, because we teach logic through teaching formal models of it. Basically every undergrad philosophy student is dragged through formal first order logic. First order logic is kind of a nice system, because it's complete in the Godelian sense. But it's not that expressive. 12/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

So this kills the idea of proving things about the formal systems you build to model mathematics. What this poster conflated is formal logic, with logic more broadly. 11/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

What's cool about Godel is he went on to prove that under a range of assumptions about the expressive resources of your formal system, it turns out that the sentence that expresses the consistency of that system isn't provable in that system (and as a fun twist any system equally expressive) 10/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

So this is what Godel showed. For any (consistent) system that lets us do enough math, it's going to leave something out. Sorry formalists, this is a hard stop on provability given the expressive resources necessary to do math. This is the first incompleteness theorem. 9/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

So the thought is, who cares about this laws of truth stuff, let's come up with definition of what's true according to our formalisms, and see if we can build a system that can demonstrate that it won't ever prove something false, and can do the math we want it to do. 8/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

There was a closely related group of mathematicians and philosophers who though that what was going with math was that really, we don't even need this laws of thought stuff. We're just manipulating symbols on paper. 7/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

But really what this amounts to is the distinction between being true in virtue of logical form (like If Kevin is posting, then Kevin is posting) and true in virtue of some fact in the world (Kevin is logic-posting on Bluesky). 6/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

A logicist thinks that the truths of mathematics are just truths that we get from logic. But this kind of raises the question, what is logic? Usually, they'll say something like "laws of truth"... 5/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

The other one: Godel's incompleteness theorems were a problem for logicism and work by neo-logicists got around this. This is more of a thing to explain, but since it came from a public philosopher, let's talk about foundations of mathematics. 4/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

It would be a pretty weird road to go from readings about what it means to determine whether a sentence is decidable, in the sense of "can we determine whether there's a series of sentences that constitutes a proof of it" to the questions that really matter about what's going on with AI. 3/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

First, from LinkedIn: If you're reading about AI safety, you should read Godel, Church, and Turing. This would be a mistake. The formal definition of computability is pretty cool, you'd be better served looking at the social stuff going on, and work from the last ten years. 2/14

100

Kevin Kuhl @kevinrkuhl.com · 02/05/2026

Two bad Godel takes I've seen recently, one from LinkedIn, and one from a philosopher who should know better. 1/14

100

Reposted by Kevin Kuhl

SE Gyges @segyges.bsky.social · 29/04/2026

i store prompts in my repo it's called "documentation" and any of it that's unfit for human eyes is also bad for the bot

4491

Kevin Kuhl @kevinrkuhl.com · 18/02/2026

I think what's really interesting is *which* problems randomness allows us to solve for. And it's cool to know why it solves some problems but struggles with others. It's fascinating, but it gets rushed over so quickly in this discussion.

000

Kevin Kuhl @kevinrkuhl.com · 10/02/2026

More building with #hugo, it's not just for docs-sites, blogs and portfolios! I've been working on a project where I want to use Hugo to post a feed of in person events, so that people can add individual events to a calendar, learn about new events with RSS, etc. #events #docsascode #ss...

kevinrkuhl.com

Generating Event Feeds with Hugo

000

Kevin Kuhl @kevinrkuhl.com · 04/02/2026

Watch ski-mountaineering this year. It combines head to head uphill skiing, the drama of F1 pit stops (they have to transition from having skins that help them stick on snow to downhill mode), and skiercross. It's such a good addition.

140

Kevin Kuhl @kevinrkuhl.com · 03/02/2026

I feel like this fact, plus the way my brain responds to opportunities to create spreadsheets for adding and tracking ideas has doomed me. Just waiting until finances line up.

010

Reposted by Kevin Kuhl

e.w. niedermeyer @niedermeyer.online · 03/02/2026

it's so messed up that the human brain is wired in a way where it's impossible to only get one tattoo

8866

Kevin Kuhl @kevinrkuhl.com · 17/01/2026

Nice. This highlights something else I think kind of falls away as we smooth everything out: the crunchy stuff encourages expertise and community. Formats and constraints shape creative outputs, build common practices, and end up defining genres, and that's actually cool and desirable.

000

Kevin Kuhl @kevinrkuhl.com · 17/01/2026

To be fair the point is to do stuff outside of the computer (which is the point the critics are making), but I want to engage with the complexity. And I think this is something generative AI/agentic approaches get wrong, it really smooths over the crunchy bits.

000

Kevin Kuhl @kevinrkuhl.com · 17/01/2026

I want computers full of things like Obsidian, Hugo, Ableton, OBS, or Photoshop. I want apps that encourage expertise and empower us to do things.

110

Kevin Kuhl @kevinrkuhl.com · 17/01/2026

I've been seeing people say that the point of computers/apps is to not notice them. I think that's wrong. Give me crunchy and functional apps with lots of things to understand and deep capabilities. I want tools that open up possibilities and have points of friction that encourage me to explore.

110

Kevin Kuhl @kevinrkuhl.com · 16/01/2026

I think Guards! Guards!, Mort and Equal Rites/Wyrd Sisters are all a bit easier and more human, depending on what you like (detectives, city, and politics; cosmic outsider viewing humanity; and folktales, literature, and psychology).

040

Kevin Kuhl @kevinrkuhl.com · 16/01/2026

I feel like Colour of Magic is actually kind of a hard point of entry. He's still finding the humanistic voice, and it's mostly tropes. There's definitely rough patches throughout the entire series. But I get it not connecting, because it certainly doesn't feel restrained or subtle.

150

Kevin Kuhl @kevinrkuhl.com · 14/01/2026

They rather famously blew their animation budget in the first part of the season, but it was incredible. I haven't watched the rework, but supposedly they cleaned it up for the blueray release, though the lack of budget still shaped the way they sequenced things.

020

Kevin Kuhl @kevinrkuhl.com · 12/01/2026

This history of Markdown by @anildash.com is a really nice little read on how culture and technology interact in ways that we might otherwise miss, and the kinds of ways enduring tools are built: www.anildash.com/2026/01/09/h...

anildash.com

How Markdown took over the world - Anil Dash

A blog about making culture. Since 1999.

010

Kevin Kuhl @kevinrkuhl.com · 12/01/2026

Thoughts on Designing Automation My latest: Automation isn't just a technical challenge, it's a social one. This post explores how we can build better systems of trust and craft by focusing on legibility and intrusion. Inspired by Cory Doctorow and Ursula Franklin. Let's build `squires...

kevinrkuhl.com

Thoughts on Designing Automation

My latest: Automation isn't just a technical challenge, it's a social one. This post explores how we can build better systems of trust and craft by focusing on legibility and intrusion. Inspired by Co

020