Ally
@categorically.me
Dad & Founder at No Discipline. I build technology for humans. I’m obsessed with software engineering, hardware development, category theory, learning and systems thinking.
https://categorically.me
https://elsa.health
https://nodiscipline.org
https://categorically.me
https://elsa.health
https://nodiscipline.org
Reposted by Ally
Someone tried to steal our pressure washer but just gave up and left it in the yard. Burglars of the world, you are never going to make it without a little more grit!
January 1, 2026 at 7:31 PM
Someone tried to steal our pressure washer but just gave up and left it in the yard. Burglars of the world, you are never going to make it without a little more grit!
Reposted by Ally
Published Vector Dot Product - Algebraic Interpretation
blog.sheerluck.dev/p/vector-dot...
#MathSky #Python #Machinelearning
blog.sheerluck.dev/p/vector-dot...
#MathSky #Python #Machinelearning
Vector Dot Product - Algebraic Interpretation
In this article, we are going to learn about the dot product and we will only focus on the algebraic interpretation.
blog.sheerluck.dev
December 31, 2025 at 11:57 AM
Published Vector Dot Product - Algebraic Interpretation
blog.sheerluck.dev/p/vector-dot...
#MathSky #Python #Machinelearning
blog.sheerluck.dev/p/vector-dot...
#MathSky #Python #Machinelearning
Reposted by Ally
> almost unprecedented amounts of economic resources are being directed toward AI rollout. Public messaging in advertising and product development are filled with reminders of how many awesome things AI can do for you. And yet everyone basically hates it.
talkingpointsmemo.com/edblog/the-g...
talkingpointsmemo.com/edblog/the-g...
The Grand AI Disconnect
It’s coming to the surface now. But it’s a marvel in itself...
talkingpointsmemo.com
December 31, 2025 at 12:55 PM
> almost unprecedented amounts of economic resources are being directed toward AI rollout. Public messaging in advertising and product development are filled with reminders of how many awesome things AI can do for you. And yet everyone basically hates it.
talkingpointsmemo.com/edblog/the-g...
talkingpointsmemo.com/edblog/the-g...
Reposted by Ally
The future of vibe coding is here! Banger short by @albertatech.bsky.social
youtube.com/shorts/9693I...
youtube.com/shorts/9693I...
Tricking a vibe coder into learning to code
YouTube video by Alberta Tech
youtube.com
December 13, 2025 at 3:36 AM
The future of vibe coding is here! Banger short by @albertatech.bsky.social
youtube.com/shorts/9693I...
youtube.com/shorts/9693I...
Reposted by Ally
Recording videos for my new C C++ Embedded Secure Coding course for my new academy, DevSec Station.
Sign up to be notified when it opens, here: https://twp.ai/4itwXF
Sign up to be notified when it opens, here: https://twp.ai/4itwXF
December 12, 2025 at 11:54 PM
Recording videos for my new C C++ Embedded Secure Coding course for my new academy, DevSec Station.
Sign up to be notified when it opens, here: https://twp.ai/4itwXF
Sign up to be notified when it opens, here: https://twp.ai/4itwXF
Reposted by Ally
implementing the game Go in Rust seems a lot easier than implementing the game Rust in Go
December 3, 2025 at 7:17 PM
implementing the game Go in Rust seems a lot easier than implementing the game Rust in Go
Reposted by Ally
What coding with an LLM feels like sometimes.
December 3, 2025 at 9:29 AM
What coding with an LLM feels like sometimes.
Reposted by Ally
tempted to troll bluesky by making optimistic posts about AI
November 29, 2025 at 4:31 PM
tempted to troll bluesky by making optimistic posts about AI
Reposted by Ally
Reminds me of this more disgusting analogy.
November 19, 2025 at 6:29 PM
Reminds me of this more disgusting analogy.
It’s settled then! Going to give @ziglang.bsky.social another try!
ziglang.org/news/migrati...
#programming #devsky
ziglang.org/news/migrati...
#programming #devsky
Migrating from GitHub to Codeberg
⚡
Zig Programming Language
ziglang.org
November 27, 2025 at 1:42 PM
It’s settled then! Going to give @ziglang.bsky.social another try!
ziglang.org/news/migrati...
#programming #devsky
ziglang.org/news/migrati...
#programming #devsky
100%
November 27, 2025 at 1:38 PM
100%
Reposted by Ally
Migrating from GitHub to Codeberg
⚡
Zig Programming Language
ziglang.org
November 27, 2025 at 11:23 AM
Reposted by Ally
Migrating from GitHub to Codeberg
⚡
Zig Programming Language
ziglang.org
November 27, 2025 at 4:33 AM
Reposted by Ally
Migrating from GitHub to Codeberg
⚡
Zig Programming Language
ziglang.org
November 27, 2025 at 7:25 AM
Reposted by Ally
** Speaker announcement ** Our next speaker is Alice Ryhl!
Alice is a Tokio maintainer and member of the Rust for Linux core team and Android Rust Team at Google!
Info & tickets: 2026.rustweek.org
Do you also want to give a talk? Our CFP is open.
See you in Utrecht in May!
#rustlang #rustweek2026
Alice is a Tokio maintainer and member of the Rust for Linux core team and Android Rust Team at Google!
Info & tickets: 2026.rustweek.org
Do you also want to give a talk? Our CFP is open.
See you in Utrecht in May!
#rustlang #rustweek2026
November 26, 2025 at 12:30 PM
** Speaker announcement ** Our next speaker is Alice Ryhl!
Alice is a Tokio maintainer and member of the Rust for Linux core team and Android Rust Team at Google!
Info & tickets: 2026.rustweek.org
Do you also want to give a talk? Our CFP is open.
See you in Utrecht in May!
#rustlang #rustweek2026
Alice is a Tokio maintainer and member of the Rust for Linux core team and Android Rust Team at Google!
Info & tickets: 2026.rustweek.org
Do you also want to give a talk? Our CFP is open.
See you in Utrecht in May!
#rustlang #rustweek2026
Reposted by Ally
So excited!
ReScript 12 is here!
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
Announcing ReScript 12 | ReScript Blog
ReScript 12 arrives with a redesigned build toolchain, a modular runtime, and a wave of ergonomic language features.
rescript-lang.org
November 25, 2025 at 7:55 PM
So excited!
Reposted by Ally
Here's an early Christmas gift from the ReScript team!
ReScript 12 is here!
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
Announcing ReScript 12 | ReScript Blog
ReScript 12 arrives with a redesigned build toolchain, a modular runtime, and a wave of ergonomic language features.
rescript-lang.org
November 25, 2025 at 9:12 PM
Here's an early Christmas gift from the ReScript team!
Reposted by Ally
We worked together over 4 years . Reliable, skilled and very competent software engineer. Strong in Rust, React, TypeScript, Svelte, and even embedded Rust. Highly recommended.
#rustlang #typescript #react #svelte
#rustlang #typescript #react #svelte
Welly, my employer didn't even check if I managed to finish the almost impossible goal they set me before they let me go.
Anybody looking for a software developer with experience in among others Rust/C#/React/Svelte.
I've done a lot of embedded Rust for private projects as well
Anybody looking for a software developer with experience in among others Rust/C#/React/Svelte.
I've done a lot of embedded Rust for private projects as well
November 25, 2025 at 3:03 PM
We worked together over 4 years . Reliable, skilled and very competent software engineer. Strong in Rust, React, TypeScript, Svelte, and even embedded Rust. Highly recommended.
#rustlang #typescript #react #svelte
#rustlang #typescript #react #svelte
Reposted by Ally
ReScript 12 is here!
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
Announcing ReScript 12 | ReScript Blog
ReScript 12 arrives with a redesigned build toolchain, a modular runtime, and a wave of ergonomic language features.
rescript-lang.org
November 25, 2025 at 3:04 PM
ReScript 12 is here!
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
A major step toward a leaner, faster, simpler toolchain.
This release refines the language and embraces ReScript’s own identity.
Blog: rescript-lang.org/blog/release...
Notes: github.com/rescript-lan...
Huge thanks to everyone who helped move ReScript forward.
This was known in 1985, see pages.cs.wisc.edu/~remzi/Naur....
TLDR; the things we change, change us. Programming is not only something we do, it does something to us too, and that thing cannot be transferred (even with impeccable docs) - we build a non transferable “thesis” internally.
TLDR; the things we change, change us. Programming is not only something we do, it does something to us too, and that thing cannot be transferred (even with impeccable docs) - we build a non transferable “thesis” internally.
November 24, 2025 at 4:46 PM
This was known in 1985, see pages.cs.wisc.edu/~remzi/Naur....
TLDR; the things we change, change us. Programming is not only something we do, it does something to us too, and that thing cannot be transferred (even with impeccable docs) - we build a non transferable “thesis” internally.
TLDR; the things we change, change us. Programming is not only something we do, it does something to us too, and that thing cannot be transferred (even with impeccable docs) - we build a non transferable “thesis” internally.
Reposted by Ally
"It's really good at summarising code I don't understand".
But, weirdly, it's pretty bad at summarising code I *do* understand.
But, weirdly, it's pretty bad at summarising code I *do* understand.
November 24, 2025 at 7:33 AM
"It's really good at summarising code I don't understand".
But, weirdly, it's pretty bad at summarising code I *do* understand.
But, weirdly, it's pretty bad at summarising code I *do* understand.
Reposted by Ally
Moving From Rust to Zig: Richard Feldman on Lessons Learned Rewriting Roc's Compiler (Compile Times, Ecosystem, Architecture)
#rust #rustlang #programming
www.youtube.com/watch?v=E0n8...
#rust #rustlang #programming
www.youtube.com/watch?v=E0n8...
Roc with Richard Feldman
Building a new programming language from scratch is a monumental undertaking. In this episode, we talk to Richard Feldman, creator of the Roc programming language, about building a functional…
www.youtube.com
November 16, 2025 at 11:06 AM
Moving From Rust to Zig: Richard Feldman on Lessons Learned Rewriting Roc's Compiler (Compile Times, Ecosystem, Architecture)
#rust #rustlang #programming
www.youtube.com/watch?v=E0n8...
#rust #rustlang #programming
www.youtube.com/watch?v=E0n8...
Posts like this are why I open the Bluesky app! You never know what weird new interest you might develop out of nowhere and now are deep in a rabbit hole of papers you don’t understand. Love it!
Yesterday I learnt that mathematical (computational?) neuroscience builds off non-linear dynamical systems via this Reddit thread (which as of writing has two resource/expert recommendations), fascinating!
www.reddit.com/r/mat...
www.reddit.com/r/mat...
November 17, 2025 at 1:01 AM
Posts like this are why I open the Bluesky app! You never know what weird new interest you might develop out of nowhere and now are deep in a rabbit hole of papers you don’t understand. Love it!