@mechadense.bsky.social
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?...
Some thoughts on lists(sets) and feeds here.
I'll use lists(actually sets) to replace what needs multiple accounts on X-Platform for seperating follows into fields of interests / disjoint communities.
All lists organic (beyond migration) & part overlapping.
For me e.g.:
AP-Nanotech, CompSci, Space, Crypto, …
All lists organic (beyond migration) & part overlapping.
For me e.g.:
AP-Nanotech, CompSci, Space, Crypto, …
November 25, 2024 at 8:06 PM
Some thoughts on lists(sets) and feeds here.
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:...
bsky.app/profile/did:...
November 25, 2024 at 1:04 PM
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:...
bsky.app/profile/did:...
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.) …
💪 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.) …
November 24, 2024 at 6:33 PM
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.) …
💪 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.) …