iiinova — where your digital self keeps evolving

Reposted by Damien

rev. howard arson @theophite.bsky.social · 05/10/2026

this literally is not true

Reposted by Damien

hikikomorphism @hikikomorphism.bsky.social · 04/10/2026

real answer: so you understand the formal model at a deep and intuitive level granting you the ability to compose the right formal concepts into clear descriptions that LLM agents can productively act on

725417

Damien @damienstanton.com · 03/10/2026

Swift and Rust are the best general purpose languages out there, and further adoption is to be celebrated!

010

Damien @damienstanton.com · 01/10/2026

As someone who's an odd duck of both musician and AI engineer, I think the main disconnect for me is that while instruments evolve (DAWs, etc). music is 1. physical 2. a conversational act of emotions, between people. So however nice it sounds, generative music forms a one-sided, forgettable convo.

010

Damien @damienstanton.com · 18/09/2026

Yes, but this isn't a new thing. Moggi (I think) talked about it in papers in the late 80s or early 90s. Well-typed programs are already this way; the code is a static artifact of the program's behavior at runtime.

000

Damien @damienstanton.com · 11/09/2026

After a few months of use, I am happy to share this little agentic coding tool. Goal is slop reduction by integrating a fast, portable model of code quality. Within SLDC flow, it uses Rust’s type checker to validate modules, resulting in memory-safe, well-structured code. github.com/damienstanto...

github.com

GitHub - damienstanton/veneer: Help your agents write small, sound, modular code in any language.

Help your agents write small, sound, modular code in any language. - damienstanton/veneer

000

Reposted by Damien

Steve Klabnik @steveklabnik.com · 09/09/2026

Rust: when empty isn't Bottom ettolrach.com/blog/rust_wh...

ettolrach.com

Rust: When Empty Isn't Bottom | ettolrach

4372

Damien @damienstanton.com · 07/09/2026

Many things are true. The technical reality here is that the transformer kicked off a fundamental shift towards a before-unknown inherent computational aspect of writing/language itself; we may be in Sumer now. With that said, we can choose to maximize or minimize the humanity of its application.

010

Damien @damienstanton.com · 03/09/2026

We've lost the benevolent utility of real, justified, physical shame. It's actually good to be able to ostracize people when they are clearly hurting others. Kicking racists out of shows, banning shoplifters, bouncing bar fighters. No wonder moderating digital spaces is so hard and demoralizing.

010

Damien @damienstanton.com · 28/08/2026

We can even use this to learn a bit of type theory. A solved maze yields a dependent pair of disconnected sum types: (left + right) The unsolved maze glues them across a bridge constructor: (left <-> right) The geometry of the wall fabric is a type family indexed by the specific solving path!

000

Damien @damienstanton.com · 28/08/2026

Seriously, I'm shocked any adult responds like this.. I have a 7YO with a lot more tact and good will. It's pathetic.

140

Damien @damienstanton.com · 28/08/2026

Lean is also a functional programming language (just one that uses a dependent type system which makes it suitable as a theorem prover). So you can build those kinds of things with e.g. lean-lang.org/doc/api/Std/... and reservoir.lean-lang.org/@palladin/le...

lean-lang.org

Std.Http

000

Damien @damienstanton.com · 27/08/2026

The funny thing is even Ant engineers and PMs don't seem to be pausing to ask: Do any well-defined, real problems that are solvable with software even require or benefit from this insane tradeoff of quality vs quantity? Like seriously -- with this kind of velocity, where are the useful products?

000

Damien @damienstanton.com · 26/08/2026

Oh wow, I'm going to use this from now on to explain topology to people. Beautiful!

2360

Reposted by Damien

Gasper Begus @begus.bsky.social · 26/08/2026

How to approach an unknown language in the ocean? Here’s one of the first cases of AI interpretability leading to a scientific discovery -- in whales.

222051

Reposted by Damien

rev. howard arson @theophite.bsky.social · 24/08/2026

i cannot fathom why people are so incredibly focused on what are either falsehoods or equivocal and preliminary studies about the buildings which AI runs in, rather than the White Collar Proletarianizing Machine

1226314

Reposted by Damien

Abel @abeliansoup.bsky.social · 23/08/2026

have you ever seen a visual shepherd tone anon? courtesy of @bleuje.com

1431063

Damien @damienstanton.com · 19/08/2026

Type theory changed how I understand what computation is, i.e. what it's for. The philosophical implications of constructive mathematics à la Altenkirch or Bauer also totally rewired how I examine proofs, even truth itself. Taken together this radically improved how I think of software systems & AI.

010

Damien @damienstanton.com · 18/08/2026

I think biofuels (especially jet A), the swap from 100LL to mogas and other sustainability efforts will have a bigger impact on aviation's evolution, but hybrids and electrics are still really interesting and will allow totally new modalities that weren't previously possible.

000

Damien @damienstanton.com · 15/08/2026

Congratulations! Really looking forward to the talk.

110

Reposted by Damien

Andy Craig @andycraig.bsky.social · 14/08/2026

In 1924, the son of the president of the United States, with access to the best medical treatment, got a blister on his foot playing tennis, it got infected, there were no antibiotics, and he died of sepsis.

613035702

Reposted by Damien

Ed BooOOooOOmila @edburmila.bsky.social · 10/08/2026

You don’t have to like this guy‘s politics to recognize that everyone who has insisted for decades that The Issues are almost all too complicated and too nuanced to explain to voters let alone address was lying to you.

75123763000

Damien @damienstanton.com · 09/08/2026

Swift is especially nice in this regard because you can use explicit ownership to enable Rust/C type memory semantics and use of pointers. It's the only mainstream language (besides Haskell) that I know of that has the best of both worlds like this.

020

Damien @damienstanton.com · 08/08/2026

Excited to watch the PLDI talk: opt-in lifetimes are one of the nicest ergonomics in modern Swift.

000

Damien @damienstanton.com · 08/08/2026

I mean only in the vaguest sense; you can model any quantitative type system in the language of coeffects or comonads. That *does* include the affine types in Rust, but it's not clear to me how this links to the quoted poster's (incomprehensible) syntax/idea.

000

Reposted by Damien

lauren @lauren.rotatingsandwiches.com · 02/08/2026

current feelings around AI: the CEOs shoveling slop into everything should be in jail but the guys spending upwards of $60,000 on elaborate, janky home rigs to run local models for no reason other than to see if it works are engaging in a long and semi-honorable tradition of computer toucher shit

Reddit post from r/localllama of a user "Setting up of a 16xGB10 (DGX Spark) cluster

Preparing this to be able to run locally frontier level open models.

It's 16 boxes stacked around a widescreen monitor. There is no art on the walls

693157321

Damien @damienstanton.com · 02/08/2026

You'd do fine with any of them. I syntactically prefer Lean these days; but it depends on what kind of thing you need to verify & in what context/ecosystem. For example, if the model you want can be expressed in contract-style separation logic, the best thing might be Dafny, or even lemmascript.org

lemmascript.org

LemmaScript — agent-first contracts for TypeScript

LemmaScript adds contracts to TypeScript so your agents build code that's correct by construction — and you can review it at a glance. No new language, no runtime cost.

030

Reposted by Damien

ceej @ceej.online · 31/07/2026

ANTHROPIC: Our son loves humanity and for the low price of trillions and trillions of dollars will usher in an era of unprecedented peace and prosperity! OPENAI: Our horrible oafish son is hacking web sites without our permission. ANTHROPIC: (eyes narrowing) Our son is also evil

3666151247

Reposted by Damien

Hillel @hillelwayne.com · 29/07/2026

I am delighted to announce that after 5 years of work, 15 early releases, 50,000 words written, and 100,000 more deleted, *Logic for Programmers* is now complete and available in print! Blog post announcement: www.hillelwayne.com/post/lfp/ Website: logicforprogrammers.com

logicforprogrammers.com

Logic for Programmers

Practical math for the working programmer.

1020348

Damien @damienstanton.com · 29/07/2026

Very unlikely, but a nonzero chance. Disasterous AI is on the level of an ecological event (like famine, disease, nuclear war, etc.) that there isn't much most of us could do anything about, other than think about plans for how to survive. I'm more concerned about what AI society means for my 7YO.

000

Reposted by Damien

Game Maker's Toolkit @gamemakerstoolkit.com · 27/07/2026

Well, it finally happened! After 9 years of Unity dominance, Godot was the most used game engine for GMTK Game Jam 2026 submissions. 🤖 Godot - 47% 🎮 Unity - 34% 🛠️GameMaker - 5% 🚀 Unreal Engine - 3% ✨ Other - 11%

Pie chart showing game engines used to create 10,511 GMTK Game Jam games in 2026. Godot has the largest slice with 47%. Then Unity with 34%. Other with 11%. Game Maker with 5%. And Unreal Engine with 3%.

9356211233

Reposted by Damien

Bailey Townsend 🦀 @pds.dad · 27/07/2026

I’ve been working on an Exaclidraw fork for about a week that syncs your drawings to your Atmosphere account as well as uses Iroh for realtime encrypted end to end collaborative work. I feel like it’s at a stage where I can share it. Meet lexidraw.app!

lexidraw.app

Lexidraw, an Excalidraw fork where your drawings follow you

Lexidraw is an Excalidraw fork where your drawings follow you. Share publicly with the Atmosphere or privately with iroh.

2336463

Reposted by Damien

Haskell programming language @haskell.org · 26/07/2026

Haskell is particularly resilient to lone apostrophes in the middle of identifiers! You can have a function that is literally called "don't" and it's perfectly fine (although your colleagues might object…)

1163

Reposted by Damien

stellz @piss.beauty · 23/07/2026

"make no mistakes" negative, unrealistic, anxiety inducing, process focused "do a breakthrough" positive, incredible, aspirational, goal oriented

1146068

Reposted by Damien

Grace @gracekind.net · 11/07/2026

Prompt engineering in 2026:

829034

Damien @damienstanton.com · 22/07/2026

This is the best quaternion visualization I've seen!

010

Reposted by Damien

Conor Titania Mc Bride @pigworker.bsky.social · 21/07/2026

I told a tall story about type inference via effects and handlers, this morning in Bristol. Thanks to my lovely hosts! www.youtube.com/watch?v=Vc2n...

youtube.com

Effing W

YouTube video by PLRG :: Bristol

4276

Damien @damienstanton.com · 21/07/2026

I try to remind myself that connections with other people, based on what we find meaningful, are the only drivers of happiness in life. Comfort, success, & everything else is a side-effect. We see at a societal level the mental illness (ultra wealth) that comes from focusing only on the side-effect

010

Damien @damienstanton.com · 21/07/2026

I think this is the crux of the issue. However incomplete one might find affine TT or the implementations of Rust or OxCaml or etc., there's *also* a serious problem when people just aren't willing to accept formalized definitions of memory safety itself. It just becomes hubris at some point, right?

000

Damien @damienstanton.com · 21/07/2026

This is the truth. It's the same people who seem to have an abject rejection of theorem provers & dependent types too -- literally hubris against a machine. Wild mentality.

021

Reposted by Damien

Andrew Lilley Brinker @alilleybrinker.com · 20/07/2026

Memory safety is good, and I will never argue against a language pursuing it. That said, Andrew going for a memory safety model with a substantial runtime cost, seemingly out of social animus toward Rust, is extraordinarily petty.

4915

Damien @damienstanton.com · 21/07/2026

I find it interesting that the despair seems to be more prominent in mathematicians who did not or will not adopt constructionist views. That mathematicians in the future will absolutely use superhuman theorem provers *feels* less doomer to me as a CS/non-purist/non-platonist theorist kinda person.

010

Reposted by Damien

womensartbluesky.bsky.social @womensartbluesky.bsky.social · 19/07/2026

Before Sister Rosetta Tharpe, it was guitarist, bassist and vocalist Memphis Minnie (1897-1973) who helped shape the sound of modern pop music and recorded around 200 songs #WomensArt

Monochrome photograph featuring a sitting Black woman playing the guitar next to a microphone wearing a light dress

103938750