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
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!
Reposted by Ally
The International Criminal Court is ditching Microsoft Office, saying it’s too dependent on US tech, in favor of Open Desk, a German open source alternative.
The move comes after Microsoft revoked ICC head Karim Khan’s email access when he was sanctioned by the US for the warrant against Netanyahu.
The move comes after Microsoft revoked ICC head Karim Khan’s email access when he was sanctioned by the US for the warrant against Netanyahu.
International Criminal Court to ditch Microsoft Office for European open source alternative | Euractiv
The court will move its internal work environment to Open Desk, a German-developed open source software
www.euractiv.com
November 13, 2025 at 12:36 PM
The International Criminal Court is ditching Microsoft Office, saying it’s too dependent on US tech, in favor of Open Desk, a German open source alternative.
The move comes after Microsoft revoked ICC head Karim Khan’s email access when he was sanctioned by the US for the warrant against Netanyahu.
The move comes after Microsoft revoked ICC head Karim Khan’s email access when he was sanctioned by the US for the warrant against Netanyahu.
Reposted by Ally
Hello, not only do we not use AI we would rather cut off our own arms than do so. Demonschool is 100% human made.
“It’s important to assume every game company is now using AI.” Nexon CEO comments on role of human creativity as AI tools become the norm
automaton-media.com/en/news/its-...
automaton-media.com/en/news/its-...
“It’s important to assume every game company is now using AI.” Nexon CEO comments on role of human creativity as AI tools become the norm - AUTOMATON WEST
In an interview following the launch of ARC Raiders, the CEO of Embark Studios' parent company Nexon shares his views on AI.
automaton-media.com
November 12, 2025 at 3:36 AM
Hello, not only do we not use AI we would rather cut off our own arms than do so. Demonschool is 100% human made.
Reposted by Ally
Announcing our Interfacing Single-Threaded C++ with Multi-Threaded Rust track at #RustNYC Unconf 2025!
Join Shuxian Wang and Michael Gibson to explore this common #RustLang challenge. Share tips, tricks, and lessons learned for a seamless experience.
Join the waitlist: rust.nyc/unconf
Join Shuxian Wang and Michael Gibson to explore this common #RustLang challenge. Share tips, tricks, and lessons learned for a seamless experience.
Join the waitlist: rust.nyc/unconf
November 10, 2025 at 12:32 AM
Announcing our Interfacing Single-Threaded C++ with Multi-Threaded Rust track at #RustNYC Unconf 2025!
Join Shuxian Wang and Michael Gibson to explore this common #RustLang challenge. Share tips, tricks, and lessons learned for a seamless experience.
Join the waitlist: rust.nyc/unconf
Join Shuxian Wang and Michael Gibson to explore this common #RustLang challenge. Share tips, tricks, and lessons learned for a seamless experience.
Join the waitlist: rust.nyc/unconf
