iiinova — where your digital self keeps evolving

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 · 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 · 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 · 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 · 27/09/2025

I 😍 love this. This is 🤩 amazing. Drop down acess to the dependents. I.e. the locations answering the question on where is this currently viewed function used/called from?

132

Reposted by @mechadense.bsky.social

Chris Penner @chrispenner.ca · 27/09/2025

New blog post! #Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better? What's the big deal with Applicatives and Selective Applicatives? Read on! chrispenner.ca/posts/expres...

chrispenner.ca

Monads are too powerful: The Expressiveness Spectrum

Monads are a useful tool, but what costs do we pay for their expressive power?

5297

mechadense.bsky.social @mechadense.bsky.social · 31/08/2025

🚨 Do not adopt the harmful newspeak of "sideloading"! It is called installing an app of your free choice on your own computer. youtu.be/QBEKlIV_70E?...

youtu.be

Google: 'Your $1000 phone needs our permission to install apps now'". Android users are screwed

YouTube video by Louis Rossmann

110

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

🪢Periodic table of interlocking overhand knots.

110

Reposted by @mechadense.bsky.social

Unison @unison-lang.org · 28/04/2025

💝 We encourage everyone to take inspiration from Unison's core ideas and practices. The more programming languages and tools challenge the status quo, the faster "outlandish" becomes "obviously better." Here's @chrispenner.ca on three things other languages should steal from Unison:

chrispenner.ca

3 things other languages should steal from Unison

Some things other languages should steal from Unison

1136

mechadense.bsky.social @mechadense.bsky.social · 28/03/2025

λ — Lambda Diagrams by John Tromp. Someone alias 2swap made an awesome video about them. youtu.be/RcVA8Nj6HEo Worth a watch.

youtu.be

What is PLUS times PLUS?

YouTube video by 2swap

000

mechadense.bsky.social @mechadense.bsky.social · 31/01/2025

Some #future_of_coding thoughts on mending the rift between … — GUI enduser ~vs~ — code programmer

010

Reposted by @mechadense.bsky.social

Unison @unison-lang.org · 09/01/2025

🌟 The the first official release of the UCM Desktop app is here! Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨ github.com/unisonweb/uc...

02311

mechadense.bsky.social @mechadense.bsky.social · 25/12/2024

They are throwing me for a loop. Bad news: Lilium (my favorite "flying car" company) is filing for bancrupcy. 😭😭😭 On no no no already outdated info. It's already saved again. 😮‍💨 www.finanzen.net/nachricht/ak...

finanzen.net

000

mechadense.bsky.social @mechadense.bsky.social · 12/12/2024

Here are some lists I made (not all ot them) that I could eventually make into feeds if there's interest.

000

mechadense.bsky.social @mechadense.bsky.social · 10/12/2024

Random weird scary thought: Talking/texting an excessive amount with LLMs may make one evenually sound like an LLM. I.e. make one adopt LLM like speech/writing patterns. This then may increase chances of one getting misclassified as LLM bot and banned/canceled.

110

mechadense.bsky.social @mechadense.bsky.social · 08/12/2024

reCaptcha is spyware. Very much what I already believed. Try getting through reCaptchas using Tor network. Rarely works. youtu.be/VTsBP21-XpI?...

youtu.be

Why reCAPTCHA is Spyware

YouTube video by CHUPPL

353

mechadense.bsky.social @mechadense.bsky.social · 25/11/2024

Some thoughts on lists(sets) and feeds here.

110

mechadense.bsky.social @mechadense.bsky.social · 25/11/2024

I started an APM feed. Atomically precise manufacturing and technology. Still quite empty and sparse as not may of that area came over from X-platform yet. bsky.app/profile/did:...

110

mechadense.bsky.social @mechadense.bsky.social · 24/11/2024

First standalone post-n-thread 🧵 on Bluesky 💙🦋. 💪 Algorithmic freedom FTW. I was occasionally preaching about the immense importance of that freedom back on X-platform. Here's my first feed I made. ("Future of Coding" since most came over from here as of yet.) …

130