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
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
Reposted by Ally
If you'd never seen the definitions for the dot product and the cross product, how might you have invented them for yourself?
Who took two vectors, thought "I wonder how I multiply these", and came up with ... those?
I've been toying with this since yesterday and would love to hear other thoughts.
Who took two vectors, thought "I wonder how I multiply these", and came up with ... those?
I've been toying with this since yesterday and would love to hear other thoughts.
November 7, 2025 at 1:05 PM
If you'd never seen the definitions for the dot product and the cross product, how might you have invented them for yourself?
Who took two vectors, thought "I wonder how I multiply these", and came up with ... those?
I've been toying with this since yesterday and would love to hear other thoughts.
Who took two vectors, thought "I wonder how I multiply these", and came up with ... those?
I've been toying with this since yesterday and would love to hear other thoughts.
Reposted by Ally
The extensive acoustic monitoring efforts of the summer of 2025 leave no doubt that #vaquita now occur well north of the ZTA in the Refuge, but during the visual survey there were only two days with optimal calm Beaufort conditions for searches there & none were seen
November 3, 2025 at 11:27 AM
The extensive acoustic monitoring efforts of the summer of 2025 leave no doubt that #vaquita now occur well north of the ZTA in the Refuge, but during the visual survey there were only two days with optimal calm Beaufort conditions for searches there & none were seen
Reposted by Ally
Yes I fully agree and we planned that already for after launch of v12.
If you have any concrete ideas, please suggest them here: github.com/rescript-lan...
If you have any concrete ideas, please suggest them here: github.com/rescript-lan...
Build software better, together
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
github.com
November 5, 2025 at 12:09 AM
Yes I fully agree and we planned that already for after launch of v12.
If you have any concrete ideas, please suggest them here: github.com/rescript-lan...
If you have any concrete ideas, please suggest them here: github.com/rescript-lan...
Reposted by Ally
“So much of physics comes down to understanding geometry. And often in surprising ways.” —Jonathan Sorce, a theoretical physicist at Princeton University
What Is a Manifold? | Quanta Magazine
In the mid-19th century, Bernhard Riemann conceived of a new way to think about mathematical spaces, providing the foundation for modern geometry and physics.
www.quantamagazine.org
November 4, 2025 at 9:45 PM
“So much of physics comes down to understanding geometry. And often in surprising ways.” —Jonathan Sorce, a theoretical physicist at Princeton University
Reposted by Ally
I've been thinking about how we collaborate with LLMs. In an ideal partnership, each plays to their strengths. So I made a handy visual guide.
November 3, 2025 at 5:58 AM
I've been thinking about how we collaborate with LLMs. In an ideal partnership, each plays to their strengths. So I made a handy visual guide.
Reposted by Ally
I will be presenting at @rustlab.it on how to stop fighting with coherence and start writing context-generic programs with @contextgeneric.dev. Use the discount code SP20FR to attend the conference with 20% discount!
rustlab.it/talks/how-to...
rustlab.it/talks/how-to...
RustLab | How to Stop Fighting with Coherence and Start Writing Context-Generic Trait Impls
Soares Chen at RustLab 2025
rustlab.it
August 23, 2025 at 10:51 AM
I will be presenting at @rustlab.it on how to stop fighting with coherence and start writing context-generic programs with @contextgeneric.dev. Use the discount code SP20FR to attend the conference with 20% discount!
rustlab.it/talks/how-to...
rustlab.it/talks/how-to...
Reposted by Ally
Is there a podcast like Catalyst, Volts, or Odd Lots (read: smart, detail-oriented, outside the scope of pop sci) about wildlife/biodiversity/conservation issues? 🧪🌎
November 3, 2025 at 2:59 PM
Is there a podcast like Catalyst, Volts, or Odd Lots (read: smart, detail-oriented, outside the scope of pop sci) about wildlife/biodiversity/conservation issues? 🧪🌎
Reposted by Ally
Fire, Not Deforestation, Is Now the Amazon’s Biggest Carbon Emitter
In 2010 and 2015, the Amazon endured record-breaking droughts and heat. Again in 2024, records were topped and the fire season was the worst in 20 yrs, with fires emitting more carbon than deforestation.
🧪
eos.org/articles/fir...
In 2010 and 2015, the Amazon endured record-breaking droughts and heat. Again in 2024, records were topped and the fire season was the worst in 20 yrs, with fires emitting more carbon than deforestation.
🧪
eos.org/articles/fir...
Fire, Not Deforestation, Is Now the Amazon’s Biggest Carbon Emitter - Eos
Forest degradation in the Amazon increased by 400% in 2024. It was largely driven by wildfires during the forest’s worst fire season in more than 20 years.
eos.org
November 3, 2025 at 3:02 PM
Fire, Not Deforestation, Is Now the Amazon’s Biggest Carbon Emitter
In 2010 and 2015, the Amazon endured record-breaking droughts and heat. Again in 2024, records were topped and the fire season was the worst in 20 yrs, with fires emitting more carbon than deforestation.
🧪
eos.org/articles/fir...
In 2010 and 2015, the Amazon endured record-breaking droughts and heat. Again in 2024, records were topped and the fire season was the worst in 20 yrs, with fires emitting more carbon than deforestation.
🧪
eos.org/articles/fir...
Reposted by Ally
Psychopath: The only way to ensure my answer is correct is to answer "FALSE" and then set fire to it myself.
November 3, 2025 at 2:09 PM
Psychopath: The only way to ensure my answer is correct is to answer "FALSE" and then set fire to it myself.
Reposted by Ally
Science is about observing the new. Algorithms can help identify new patterns in the old, which is good, even amazing - but until they can predict the future, that's the limit of it.
What is lost if we stopped adding to the "training data" a thousand years ago, or a hundred, or ten, or even just last year? What new thing is missed in our urge to more efficiently produce endless old things?
November 3, 2025 at 6:58 AM
Science is about observing the new. Algorithms can help identify new patterns in the old, which is good, even amazing - but until they can predict the future, that's the limit of it.
Reposted by Ally
I haven't been diagnosed with being on the autistic spectrum or ADHD, but I must say this channel about life tools with AuDHD is really hitting home
www.youtube.com/@Auticate
www.youtube.com/@Auticate
November 1, 2025 at 3:42 PM
I haven't been diagnosed with being on the autistic spectrum or ADHD, but I must say this channel about life tools with AuDHD is really hitting home
www.youtube.com/@Auticate
www.youtube.com/@Auticate
Reposted by Ally
my knowledge of Hume has unexpectedly come in handy for my fire safety training test
October 31, 2025 at 10:25 AM
my knowledge of Hume has unexpectedly come in handy for my fire safety training test
Reposted by Ally
Safely landed in very good company
October 30, 2025 at 10:01 AM
Safely landed in very good company
Reposted by Ally
I’m pretty sure I’ve read all but one of Allen’s books. I’ve *loved* and learned from all of them. The online versions were so good I got the physical copies just to show my support (and feed my book addiction).
One of my favorite authors and teachers.
One of my favorite authors and teachers.
The newest chapter of Think Linear Algebra is up now!
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
October 29, 2025 at 4:06 PM
I’m pretty sure I’ve read all but one of Allen’s books. I’ve *loved* and learned from all of them. The online versions were so good I got the physical copies just to show my support (and feed my book addiction).
One of my favorite authors and teachers.
One of my favorite authors and teachers.
Reposted by Ally
The newest chapter of Think Linear Algebra is up now!
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
October 29, 2025 at 2:30 PM
The newest chapter of Think Linear Algebra is up now!
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
It is about least squares regression, QR decomposition, and orthogonality:
allendowney.github.io/ThinkLinearA...
Reposted by Ally
On Netstack.FM 🎙Ep.10: “Zerocopy Magic” with Joshua Liebow-Feeser (Google / #FuchsiaOS)
Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
Netstack.FM — A Podcast About Networking and Rust
Interviews, monologues, and deep dives into Rust and modern networking systems.
netstack.fm
October 21, 2025 at 1:07 PM
On Netstack.FM 🎙Ep.10: “Zerocopy Magic” with Joshua Liebow-Feeser (Google / #FuchsiaOS)
Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
Creator of #Zerocopy & dev behind Netstack3 (400+ projects and 300M downloads).
How Rust’s type system & formal verification (Kani) enable safe “unsafe” code.
🎧Listen→ netstack.fm#episode-10
#RustLang #OpenSource
Nothing makes me give up on a conversation more than hearing the phrase: “So I asked ChatGPT …”
I just resign from the entire conversation.
I just resign from the entire conversation.
If we're having a debate, and at any point you say, "let's ask ChatGPT", then you lose by default.
October 21, 2025 at 9:53 PM
Nothing makes me give up on a conversation more than hearing the phrase: “So I asked ChatGPT …”
I just resign from the entire conversation.
I just resign from the entire conversation.
Reposted by Ally
Some of the most unexpected fallouts of an AWS outage:
1. Postman stopped working: an API development tool built to be an alternative to simple tools like curl.
2. Eight Sleep customers couldn’t use their beds to change positions / set or keep temperature
1. Postman stopped working: an API development tool built to be an alternative to simple tools like curl.
2. Eight Sleep customers couldn’t use their beds to change positions / set or keep temperature
October 21, 2025 at 9:02 AM
Some of the most unexpected fallouts of an AWS outage:
1. Postman stopped working: an API development tool built to be an alternative to simple tools like curl.
2. Eight Sleep customers couldn’t use their beds to change positions / set or keep temperature
1. Postman stopped working: an API development tool built to be an alternative to simple tools like curl.
2. Eight Sleep customers couldn’t use their beds to change positions / set or keep temperature
Reposted by Ally
Read our latest issue
🦀 The Story of the Rust Foundation
Today’s Issue: Renaming Rust’s Default Branch, Hating on Acrobat, and Learning When *Not* To Panic
#rust #rustlang #programming
open.substack.com/pub/weeklyru...
🦀 The Story of the Rust Foundation
Today’s Issue: Renaming Rust’s Default Branch, Hating on Acrobat, and Learning When *Not* To Panic
#rust #rustlang #programming
open.substack.com/pub/weeklyru...
🦀 The Story of the Rust Foundation
Today’s Issue: Renaming Rust’s Default Branch, Hating on Acrobat, and Learning When *Not* To Panic
open.substack.com
October 20, 2025 at 6:46 AM
Read our latest issue
🦀 The Story of the Rust Foundation
Today’s Issue: Renaming Rust’s Default Branch, Hating on Acrobat, and Learning When *Not* To Panic
#rust #rustlang #programming
open.substack.com/pub/weeklyru...
🦀 The Story of the Rust Foundation
Today’s Issue: Renaming Rust’s Default Branch, Hating on Acrobat, and Learning When *Not* To Panic
#rust #rustlang #programming
open.substack.com/pub/weeklyru...
I’ve discovered that AI tools (LLMs) effectively lower the barriers to entry for many things. For better or worse.
The productivity boost for those already over the barrier is minimal, sometimes negative.
For those below the barrier, they “produce more”, quality is a separate thing. 1/2
The productivity boost for those already over the barrier is minimal, sometimes negative.
For those below the barrier, they “produce more”, quality is a separate thing. 1/2
October 17, 2025 at 4:18 PM
I’ve discovered that AI tools (LLMs) effectively lower the barriers to entry for many things. For better or worse.
The productivity boost for those already over the barrier is minimal, sometimes negative.
For those below the barrier, they “produce more”, quality is a separate thing. 1/2
The productivity boost for those already over the barrier is minimal, sometimes negative.
For those below the barrier, they “produce more”, quality is a separate thing. 1/2