iiinova — where your digital self keeps evolving

Reposted by @mechadense.bsky.social

Unison @unison-lang.org · 09/10/2026

Unison Cloud, our distributed computing platform, is now open source: www.unison-lang.org/blog/unison-... ✅ Service deploys in seconds. ✅ Fast, typed, inter-service communication ✅ High level, multi-node structured concurrency programming model ✅ Typed storage ...and more

unison-lang.org

Unison Cloud is now open source · Unison programming language

Unison Cloud is open source, MIT licensed.

12415

mechadense.bsky.social @mechadense.bsky.social · 22/09/2026

Next one may be per function/closure hash-addressing. Seeing how it obliterates conservation of misrey left, right, and center in the one language we have so far that is fully going for it.

100

mechadense.bsky.social @mechadense.bsky.social · 29/07/2026

And it would last. All/most modern concret has the problem of rusting concrete, giving it a few 100 years at best. Often more like decades. Except basalt fiber based rebar but that's rarely used.

010

mechadense.bsky.social @mechadense.bsky.social · 28/06/2026

Visually interesting but I feel it also has some unpleasant body horror vibes. Probably cross cultural genetically based instinctal ones.

110

mechadense.bsky.social @mechadense.bsky.social · 19/06/2026

Speaker: Theo Browne We spent decades building awesome tools for developers. Languages, frameworks, clouds, and more. They're great for humans. They're not so great for devs. What happens if we throw it all away and start from scratch? youtu.be/TV6f2weVgCI

youtu.be

It's Time To Rethink Everything by @t3dotgg

YouTube video by CascadiaJS

020

Reposted by @mechadense.bsky.social

Damian Allis @somewhereville.bsky.social · 15/06/2026

The next paper in the CBNNT #mechanosynthesis series is now available at arxiv.org/abs/2606.13876 - a demonstration of reliable Main Group subtractive mechanosynthesis - removal of surface Si atoms from depassivated Si(100).

141

mechadense.bsky.social @mechadense.bsky.social · 07/06/2026

I just stumbled over a really 😎 ISRU related video about DIY electromining (& more) using DIY ion exchange membranes: youtu.be/eq7fR9ISuCw

youtu.be

Electricity Does Not "Split" H₂O. And That's VERY Useful.

YouTube video by NightHawkInLight

010

mechadense.bsky.social @mechadense.bsky.social · 03/05/2026

🤔 When showing the live data in call context too then it's different variants of the same base closure though. Not the exact same visual element but more or less differing variants of the dead code baseline.

000

mechadense.bsky.social @mechadense.bsky.social · 03/05/2026

Beside translations & rotations: Is relative differing continuous scaling supported too? Not referring to different font sizes. That'd may make it suitable for the zooming UI proglang projection that I am thinking about.

200

mechadense.bsky.social @mechadense.bsky.social · 10/03/2026

Reminder that google is about to "sunset" the right to install any app you want by an draconian lockdown targeting/bullying the developers. They called it sideloading to make you feel normal installing is shady. Now they wanna end it for good. Ahem bad. VERY bad consequences.

120

mechadense.bsky.social @mechadense.bsky.social · 05/03/2026

Cool. Bit far from Vienna though. Maybe I'll manage some time.

010

mechadense.bsky.social @mechadense.bsky.social · 14/02/2026

Fun with the ball but I think the hand-shaking one was a better balance between sillyfun & practical.

110

mechadense.bsky.social @mechadense.bsky.social · 22/01/2026

And I also mean: Avoiding the less effort option that nowadays more people take. I.e. building upon one of the few in the end ephemeral (big tech) platforms that do that en💩ification and eventual sunsetting for you.

010

mechadense.bsky.social @mechadense.bsky.social · 22/01/2026

With "becoming possible" I mean there'll be no need to: Make one huge life decision investment (perhaps even start a company) to put it together maintain it and then eventually be forced to fund it by growing ad integration that in the end only en💩ifies it to oblivion.

110

mechadense.bsky.social @mechadense.bsky.social · 22/01/2026

I.e. no more growing cost with growing user base as everyone brings more than sufficient amount of their own resources.

110

mechadense.bsky.social @mechadense.bsky.social · 22/01/2026

Maybe an infinitely scalable P2P pong (as MVP for whatever other old arcade game classic or also serious work tool) is now becoming finally possible with this. I.e. …

110

mechadense.bsky.social @mechadense.bsky.social · 22/01/2026

This could seriously squash a big part of the cause of the "if you don't pay you are the product" false dilemma.

120

mechadense.bsky.social @mechadense.bsky.social · 11/12/2025

Here's a fitting mnemonic acronym for claims regarding AI that are not backed by anything of substance. And that dangerously divert attention from actually pressing issues. youtu.be/4lKyNdZz3Vw?...

youtu.be

Your Favorite Science YouTubers Are Wrong About AI, (e.g. SciShow, Kurzgesagt, and Kyle Hill )

YouTube video by Internet of Bugs

010

mechadense.bsky.social @mechadense.bsky.social · 14/10/2025

That one just dropped 38 min ago. "Stand: 14.10.2025 18:11 Uhr"

110

mechadense.bsky.social @mechadense.bsky.social · 14/10/2025

That's about the only article that pops up with a quick websearch. Images reference say Deutsche Bahn and Tf KD. Didn't help me finding more info. AI found nothing either. Not saying not real, saying IDK. I lack sufficient consillience here. And 😱ed everyone is taking it at face value.

220

mechadense.bsky.social @mechadense.bsky.social · 14/10/2025

This was the second of two image that nanobanana spat out. First try one shot. Zero cherry picking.

000

mechadense.bsky.social @mechadense.bsky.social · 14/10/2025

🤨🤨🤨 want it with a cow? bsky.app/profile/mech...

100

mechadense.bsky.social @mechadense.bsky.social · 14/10/2025

Source? Anyone can make that image with things like nanobanana these days. Here with under a minute of effort I asked "change the chickens to a cow" and it spit back this waay to realistic fake:

AI edited image (nanobanana).
Looks real but is not.

4193

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

I had only barely skimmed over the intro. Analogy may not go beyond cell based async parallel evaluated purely functional live coding. Will read in more detail one I find some more time.

000

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

Coming to mind: Where would one put algepraic effects in the Currry Howard Lambeck correspondence/isomorphism? It might not be possible. Ok, not that this mapping is easy for monads and applicative beyond simple stuff like monoids. Darn. Deep rabbithole.

100

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

Maybe algebraic effects could be a viable alternative to monads & applicatives in your case. Maybe these would be easier to implement in your setting? (+) They removes the often arbitrary lifting hierarchy. (-) They feel less discovered and more invented though. Not so sure on these points yet.

100

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

As for monads for better understanding their structural essence (not their varied use cases) what helped me the most was sketching them out as annotated lambda diagrams. apm.bplaced.net/w/index.php?... Maybe this could help in implementing them in other settings such as yours @joshuahhh.com too?

apm.bplaced.net

File:MonadsInAnnotatedLambdaDiagrams.jpeg - apm

100

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

Stumbled over the topic of reactive programming glitches twice just recently. One case in Jonathan Edwards @jonathoda.bsky.social retrospective on his closed subtext project. www.subtext-lang.org/retrospectiv... (now fresh start with fresh title baseline) www.subtext-lang.org/baseline.html …

subtext-lang.org

Subtext Retrospective

110

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

As soon as it comes to usage of monads or applicatives for effectful computations. Reactive programming glitches become of concern. en.wikipedia.org/wiki/Reactiv... => Only execute preassembeld imperative seqience once rective system fully settled down on new changes? …

en.wikipedia.org

Reactive programming - Wikipedia

100

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

Since NbE supposedly makes things more explicit & tracked. www.pls-lab.org/en/Normaliza... en.wikipedia.org/wiki/Normali... Though in my particular model I'd only map lists like e.g. [(a,b,…)] to spreadsheets. "Cell" is more about distibuted parallel cellular automata like evaluation. Also …

pls-lab.org

Normalization by Evaluation (NbE)

100

mechadense.bsky.social @mechadense.bsky.social · 06/10/2025

If anyting only loosely related: I was recently thinking about live coding using a DAG of slightly generalized lambda expessions (which could be seen as cells for one kind of code projection). I have a strong hunch that the NbE (Normalization by Evaluation) approach could help a lot with evaluation…

100

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

Subtext ~> Baseline Jonathan Edwards programming language exploration journey in pursuit of escaping the current local maxima we've found ourselves fallen into. Yes-code, but pleasant please.

021

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

@jonathoda.bsky.social — I've also seen you use "Version Control for Structural Editing" and I think that "… for Projectional Editing" would fit here too and be/feel more general. Particularly I am thinking about advertising applicability to (semi)visual code projections too.

000

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

… I take "operational" here does not refer to the language actally version managed but the edit calculus atop only.

100

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

Regarding the name: I guess it is ★ "differencing" as it operates on an explicit edit calculus that sort of represents the first derivative of the cosebase structure. ★ "operational" as it is operating imperatively on it (disregaring eventual dumb undo list details ~ crude second derivative) …

210

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

New project name "Baseline" building on top of the new theory for finegrained semantic version management you came up with "Operational Differencing" www.subtext-lang.org/baseline.html

subtext-lang.org

Baseline

100

mechadense.bsky.social @mechadense.bsky.social · 30/09/2025

The async eval glitch thing for spreadsheet like live coding is interesting. I think this applies to pure code too. But there in the end it converges back to correctness when all async evaluation threads finish. I guess the glitch issues were mostly from imperative parts as you stated effect systems

problem.as

000