@mechadense.bsky.social
3D wormholes in 2D
youtu.be/9JbYDDjhnx4
youtu.be/9JbYDDjhnx4
How does a 2D creature see CURVED SPACE?
YouTube video by Artem Yashin
youtu.be
December 29, 2025 at 7:44 AM
3D wormholes in 2D
youtu.be/9JbYDDjhnx4
youtu.be/9JbYDDjhnx4
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?...
And that dangerously divert attention from actually pressing issues.
youtu.be/4lKyNdZz3Vw?...
Your Favorite Science YouTubers Are Wrong About AI, (e.g. SciShow, Kurzgesagt, and Kyle Hill )
YouTube video by Internet of Bugs
youtu.be
December 11, 2025 at 12:00 PM
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?...
And that dangerously divert attention from actually pressing issues.
youtu.be/4lKyNdZz3Vw?...
Hank Green Video: "Wikipedia and the Destruction of Trust"
youtu.be/9zi0ogvPfCA?...
youtu.be/9zi0ogvPfCA?...
Wikipedia and the Destruction of Trust
YouTube video by Hank Green
youtu.be
November 17, 2025 at 12:22 PM
Hank Green Video: "Wikipedia and the Destruction of Trust"
youtu.be/9zi0ogvPfCA?...
youtu.be/9zi0ogvPfCA?...
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.
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.
Subtext Retrospective www.subtext-lang.org/retrospectiv...
Subtext Retrospective
www.subtext-lang.org
September 30, 2025 at 2:13 PM
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.
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.
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?
Drop down acess to the dependents. I.e. the locations answering the question on where is this currently viewed function used/called from?
✨ The new dependents view shows everywhere a definition is used, broken down by category, as a separate card in Unison Share and the Unison Desktop app.
Your codebase is a bidirectional graph! You should be able to walk it as such.
Your codebase is a bidirectional graph! You should be able to walk it as such.
September 27, 2025 at 10:23 AM
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?
Drop down acess to the dependents. I.e. the locations answering the question on where is this currently viewed function used/called from?
Reposted
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...
#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...
Monads are too powerful: The Expressiveness Spectrum
Monads are a useful tool, but what costs do we pay for their expressive
power?
chrispenner.ca
September 27, 2025 at 4:02 AM
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...
#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...
For my EU readers:
fightchatcontrol.eu#contact-tool
fightchatcontrol.eu#contact-tool
Fight Chat Control - Protect Digital Privacy in the EU
Learn about the EU Chat Control proposal and contact your representatives to protect digital privacy and encryption.
fightchatcontrol.eu
September 11, 2025 at 6:48 PM
For my EU readers:
fightchatcontrol.eu#contact-tool
fightchatcontrol.eu#contact-tool
There are little universes hidden in klotski puzzles: 🤯
Video from @twoswap
www.youtube.com/watch?v=YGLN...
Video from @twoswap
www.youtube.com/watch?v=YGLN...
Post from 2swap - YouTube
The Wolfram Institute has kindly invited me to give a talk about some of my material on a livestream! It will be streamed Monday, 6:00 PM (UTC) on their chan...
youtube.com
August 31, 2025 at 12:16 PM
There are little universes hidden in klotski puzzles: 🤯
Video from @twoswap
www.youtube.com/watch?v=YGLN...
Video from @twoswap
www.youtube.com/watch?v=YGLN...
🚨 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/QBEKlIV_70E?...
Google: 'Your $1000 phone needs our permission to install apps now'". Android users are screwed
YouTube video by Louis Rossmann
youtu.be
August 31, 2025 at 6:25 AM
🚨 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/QBEKlIV_70E?...
Ubuntu linux snap infestation wake up call.
youtu.be/K3eSWSy93qk?...
youtu.be/K3eSWSy93qk?...
UBUNTU is a CANCER
YouTube video by YouTux Channel
youtu.be
July 10, 2025 at 6:11 AM
Ubuntu linux snap infestation wake up call.
youtu.be/K3eSWSy93qk?...
youtu.be/K3eSWSy93qk?...
Quickly whipped up bellow design for sidways FFF 3D printing. (And perhaps future mechanosynthesis of nanoscale superelastic gemstone crystolecules?)
www.printables.com/model/129822...
www.printables.com/model/129822...
Square Bellow Chamfered by mechadense | Download free STL model | Printables.com
Just an experimental bellow for sideaways printing.
Some notes on (co)-design-for-nanoscale in the description. | Download free 3D printable STL models
www.printables.com
May 17, 2025 at 8:44 AM
Quickly whipped up bellow design for sidways FFF 3D printing. (And perhaps future mechanosynthesis of nanoscale superelastic gemstone crystolecules?)
www.printables.com/model/129822...
www.printables.com/model/129822...
📈 Moores law on steroids:
apm.bplaced.net/w/index.php?...
apm.bplaced.net/w/index.php?...
Doubly declining learning curve - apm
apm.bplaced.net
May 12, 2025 at 7:15 AM
📈 Moores law on steroids:
apm.bplaced.net/w/index.php?...
apm.bplaced.net/w/index.php?...
🪢Periodic table of interlocking overhand knots.
May 11, 2025 at 3:06 PM
🪢Periodic table of interlocking overhand knots.
Reposted
💝 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:
3 things other languages should steal from Unison
Some things other languages should steal from Unison
chrispenner.ca
April 28, 2025 at 6:00 PM
💝 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:
So cool 😎 getting-shorter-when-pulled mechanism.
youtu.be/KxtkcL0z5j0?...
youtu.be/KxtkcL0z5j0?...
These structures shrink when pulled: Counter-snapping instabilities
YouTube video by AMOLF
youtu.be
April 18, 2025 at 12:34 AM
So cool 😎 getting-shorter-when-pulled mechanism.
youtu.be/KxtkcL0z5j0?...
youtu.be/KxtkcL0z5j0?...
Jeremy Barton | The Path to Functional Nanomachines @ Vision Weekend US 2024
youtu.be/3RpHeIUMf9I?...
youtu.be/3RpHeIUMf9I?...
Jeremy Barton | The Path to Functional Nanomachines @ Vision Weekend US 2024
YouTube video by Foresight Institute
youtu.be
March 28, 2025 at 7:11 PM
Jeremy Barton | The Path to Functional Nanomachines @ Vision Weekend US 2024
youtu.be/3RpHeIUMf9I?...
youtu.be/3RpHeIUMf9I?...
λ — Lambda Diagrams by John Tromp. Someone alias 2swap made an awesome video about them.
youtu.be/RcVA8Nj6HEo
Worth a watch.
youtu.be/RcVA8Nj6HEo
Worth a watch.
What is PLUS times PLUS?
YouTube video by 2swap
youtu.be
March 28, 2025 at 7:07 PM
λ — Lambda Diagrams by John Tromp. Someone alias 2swap made an awesome video about them.
youtu.be/RcVA8Nj6HEo
Worth a watch.
youtu.be/RcVA8Nj6HEo
Worth a watch.
GUI & box-n-wire side I really like two ideas that I think deserve combining but AFAIK have never been combined so far:
— Conal Elliotts Tangible Values demo: "Eros"
— Ensos (former Luna) choice of boxes being identical to and mere annotations of outgoing wires that carry functions as values too.
— Conal Elliotts Tangible Values demo: "Eros"
— Ensos (former Luna) choice of boxes being identical to and mere annotations of outgoing wires that carry functions as values too.
January 31, 2025 at 10:06 AM
Reposted
🌟 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...
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
January 9, 2025 at 7:54 PM
🌟 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...
Browse your local codebase, click through to source definitions, and read the docs, all in a sleek new UI. ✨
github.com/unisonweb/uc...
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...
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...
www.finanzen.net
December 25, 2024 at 9:26 AM
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...
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...
Here are some lists I made (not all ot them) that I could eventually make into feeds if there's interest.
December 12, 2024 at 6:31 AM
Here are some lists I made (not all ot them) that I could eventually make into feeds if there's interest.
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.
December 10, 2024 at 9:49 AM
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.
reCaptcha is spyware.
Very much what I already believed. Try getting through reCaptchas using Tor network. Rarely works.
youtu.be/VTsBP21-XpI?...
Very much what I already believed. Try getting through reCaptchas using Tor network. Rarely works.
youtu.be/VTsBP21-XpI?...
Why reCAPTCHA is Spyware
YouTube video by CHUPPL
youtu.be
December 8, 2024 at 8:23 PM
reCaptcha is spyware.
Very much what I already believed. Try getting through reCaptchas using Tor network. Rarely works.
youtu.be/VTsBP21-XpI?...
Very much what I already believed. Try getting through reCaptchas using Tor network. Rarely works.
youtu.be/VTsBP21-XpI?...