Jared Forsyth
@jaredforsyth.com
trying to be christian. feminist. mormon. type theory, PLT
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Mobile dev @KhanAcademy
building kipos https://github.com/kipos-lang/kipos
@jaredforsyth on the dead bird site
Pinned
Jared Forsyth
@jaredforsyth.com
· Nov 30
10 years ago, I thought "programming is too hard, I'll make tools to make it easier"
5 years ago, I thought "I'll make a new language to make it easier"
now I'm working on tools to make "making new languages" easier 😂
5 years ago, I thought "I'll make a new language to make it easier"
now I'm working on tools to make "making new languages" easier 😂
Reposted by Jared Forsyth
Every language has an effects system if you're brave enough (to rewrite the compiler)
couldn't read this without constantly thinking about how much nicer it would be with an effect system
We are excited to announce that we can successfully use Rust's standard library from the GPU. This has never been done before.
www.vectorware.com/blog/rust-st...
Supporting Rust's standard library enables existing Rust code to work on the GPU and makes GPU programming feel normal.
www.vectorware.com/blog/rust-st...
Supporting Rust's standard library enables existing Rust code to work on the GPU and makes GPU programming feel normal.
January 21, 2026 at 1:54 AM
Every language has an effects system if you're brave enough (to rewrite the compiler)
I guess I'm 🤖 writing a type checker for gleam? in gleam ✨ because we need more educational examples of real-world type checkers!
I'm calling it "gloat" 🐐
github.com/jaredly/gloat
I'm calling it "gloat" 🐐
github.com/jaredly/gloat
GitHub - jaredly/gloat
Contribute to jaredly/gloat development by creating an account on GitHub.
github.com
January 17, 2026 at 4:27 AM
I guess I'm 🤖 writing a type checker for gleam? in gleam ✨ because we need more educational examples of real-world type checkers!
I'm calling it "gloat" 🐐
github.com/jaredly/gloat
I'm calling it "gloat" 🐐
github.com/jaredly/gloat
Reposted by Jared Forsyth
/6 ICE is a monument to totalitarianism, lawlessness, and bigotry. It should be ripped out and woodchippered root and branch and replaced with something focused on the concept that you can’t defend the rule of law by burning it down.
January 14, 2026 at 6:27 PM
/6 ICE is a monument to totalitarianism, lawlessness, and bigotry. It should be ripped out and woodchippered root and branch and replaced with something focused on the concept that you can’t defend the rule of law by burning it down.
just saw a "why this matters" heading in a blog post and immediately skipped the rest of it. it's so surreal to be increasingly encountering people who are fine publishing LLM output as their own writing.
I would love for there to be a social norm that if you're going to publish some LLM-output, 1/4
I would love for there to be a social norm that if you're going to publish some LLM-output, 1/4
January 14, 2026 at 7:07 PM
just saw a "why this matters" heading in a blog post and immediately skipped the rest of it. it's so surreal to be increasingly encountering people who are fine publishing LLM output as their own writing.
I would love for there to be a social norm that if you're going to publish some LLM-output, 1/4
I would love for there to be a social norm that if you're going to publish some LLM-output, 1/4
Reposted by Jared Forsyth
I don't think this made it into my Bob Weir profile a few years ago.
"If you don't you're in trouble."
"If you don't you're in trouble."
January 11, 2026 at 1:22 AM
I don't think this made it into my Bob Weir profile a few years ago.
"If you don't you're in trouble."
"If you don't you're in trouble."
who wore it better (pattern from the Alcázar of Seville in Spain)
January 9, 2026 at 3:23 AM
who wore it better (pattern from the Alcázar of Seville in Spain)
Reposted by Jared Forsyth
added a draft of a compass + paint toy today and played with it.
inquiries.link/tools/geomet...
#mathart #mtbos
inquiries.link/tools/geomet...
#mathart #mtbos
January 5, 2026 at 4:09 AM
added a draft of a compass + paint toy today and played with it.
inquiries.link/tools/geomet...
#mathart #mtbos
inquiries.link/tools/geomet...
#mathart #mtbos
Reposted by Jared Forsyth
State of React 2025 - The survey is still open
Don't forget to answer it before it's too late
survey.devographics.com/en-US/survey...
Don't forget to answer it before it's too late
survey.devographics.com/en-US/survey...
State of React 2025
Take the State of React survey
survey.devographics.com
December 16, 2025 at 10:25 AM
State of React 2025 - The survey is still open
Don't forget to answer it before it's too late
survey.devographics.com/en-US/survey...
Don't forget to answer it before it's too late
survey.devographics.com/en-US/survey...
ok I can't get enough of these
December 16, 2025 at 4:33 AM
ok I can't get enough of these
Heyy anyone in my network want to join @khanacademy.org on the Khan Kids team? Fullstack, SE II, remote (US/Canada). It's a super fun team building amazing things for kids, with a strong emphasis on helping under-resourced kids reach their full potential. (RT for reach 🙏)
Sr. Fullstack Engineer II, Khan Kids
San Mateo, CA / Remote friendly (Continental US + Hawaii + Canada)
job-boards.greenhouse.io
December 10, 2025 at 8:21 PM
Heyy anyone in my network want to join @khanacademy.org on the Khan Kids team? Fullstack, SE II, remote (US/Canada). It's a super fun team building amazing things for kids, with a strong emphasis on helping under-resourced kids reach their full potential. (RT for reach 🙏)
doin some animatings. This pattern is from the Minbar of Saladin in Al Aqsa Mosque in Jerusalem
November 30, 2025 at 4:41 AM
doin some animatings. This pattern is from the Minbar of Saladin in Al Aqsa Mosque in Jerusalem
typescript really was like "stringly typed? I'll give you stringly typed!" and now we suddenly have all this insane magic
November 21, 2025 at 3:20 PM
typescript really was like "stringly typed? I'll give you stringly typed!" and now we suddenly have all this insane magic
Reposted by Jared Forsyth
Me: Do you want to have dinner now?
3 yo: No. I'm busy
(10 minutes later)
3 yo: Mama. You didn't get me food. You NEVER get me food. It's been FOREVER
I had already prepped their dinner and it was on the dining table
😭😂
3 yo: No. I'm busy
(10 minutes later)
3 yo: Mama. You didn't get me food. You NEVER get me food. It's been FOREVER
I had already prepped their dinner and it was on the dining table
😭😂
November 8, 2025 at 10:47 PM
Me: Do you want to have dinner now?
3 yo: No. I'm busy
(10 minutes later)
3 yo: Mama. You didn't get me food. You NEVER get me food. It's been FOREVER
I had already prepped their dinner and it was on the dining table
😭😂
3 yo: No. I'm busy
(10 minutes later)
3 yo: Mama. You didn't get me food. You NEVER get me food. It's been FOREVER
I had already prepped their dinner and it was on the dining table
😭😂
pattern from the Alhambra in Granada, Spain
October 31, 2025 at 3:55 AM
pattern from the Alhambra in Granada, Spain
Reposted by Jared Forsyth
an art
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
September 3, 2025 at 3:11 AM
an art
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
based on a macro-pattern from the Mirador de Lindaraja in the Alhambra
Reposted by Jared Forsyth
Yep. Prestige podcasting is dying for the same reason as the rest of the media: Pontificating is cheap and reporting is expensive.
August 26, 2025 at 7:15 PM
Yep. Prestige podcasting is dying for the same reason as the rest of the media: Pontificating is cheap and reporting is expensive.
Reposted by Jared Forsyth
I really hate the term "sideloading". I preferred the original term, which was "installing software on a computer that you own"
August 25, 2025 at 9:43 PM
I really hate the term "sideloading". I preferred the original term, which was "installing software on a computer that you own"
Is somebody training an LLM to turn CS Paper algorithm descriptions into runnable code? That would be so cool.
August 20, 2025 at 4:06 PM
Is somebody training an LLM to turn CS Paper algorithm descriptions into runnable code? That would be so cool.
Reposted by Jared Forsyth
AI is for writers who don’t like to write but want to have written, and readers who don’t like to read but want to have read.
Into the sea with the whole miserable joyless fucking lot of them.
Into the sea with the whole miserable joyless fucking lot of them.
People are reading AI-generated synopses of books and then claiming they read 100 books in a week. This is how the abolition of books began in Fahrenheit 451: classics were condensed into five-minute summaries for those too busy to do the reading. Later came the burnings.
August 16, 2025 at 9:45 PM
AI is for writers who don’t like to write but want to have written, and readers who don’t like to read but want to have read.
Into the sea with the whole miserable joyless fucking lot of them.
Into the sea with the whole miserable joyless fucking lot of them.
Reposted by Jared Forsyth
My least popular (and most correct) view is that cars should be automatically limited to the local speed limit. Put the pedal to the floor and you still can't go over 25mph in a residential area.
(15 in Manhattan btw)
(15 in Manhattan btw)
There is no possible justification for limiting e-bikes to 15mph but not cars.
New York Has a New E-Bike Speed Limit—and No Way to Enforce It
August 9, 2025 at 4:47 PM
My least popular (and most correct) view is that cars should be automatically limited to the local speed limit. Put the pedal to the floor and you still can't go over 25mph in a residential area.
(15 in Manhattan btw)
(15 in Manhattan btw)
Reposted by Jared Forsyth
By now, you know that LLMs take TEXT and turn them into NUMBERS...somehow.
But how does it actually work?
youtu.be/4A_nfXyBD08
But how does it actually work?
youtu.be/4A_nfXyBD08
TOKENIZATION: How AI models turn text into numbers | Byte-Pair Encoding
YouTube video by Annie Sexton
youtu.be
August 7, 2025 at 2:51 PM
By now, you know that LLMs take TEXT and turn them into NUMBERS...somehow.
But how does it actually work?
youtu.be/4A_nfXyBD08
But how does it actually work?
youtu.be/4A_nfXyBD08
Reposted by Jared Forsyth
Intent to ship for sibling-index() & sibling-count()!
You won't need to itemize nth-child to style things like staggered animations anymore 🥳
For example, I'd be able to clean up the angle position and animation delays in this demo: codepen.io/una/pen/Qwwz...
Explainer: github.com/w3c/csswg-dr...
You won't need to itemize nth-child to style things like staggered animations anymore 🥳
For example, I'd be able to clean up the angle position and animation delays in this demo: codepen.io/una/pen/Qwwz...
Explainer: github.com/w3c/csswg-dr...
May 12, 2025 at 6:26 PM
Intent to ship for sibling-index() & sibling-count()!
You won't need to itemize nth-child to style things like staggered animations anymore 🥳
For example, I'd be able to clean up the angle position and animation delays in this demo: codepen.io/una/pen/Qwwz...
Explainer: github.com/w3c/csswg-dr...
You won't need to itemize nth-child to style things like staggered animations anymore 🥳
For example, I'd be able to clean up the angle position and animation delays in this demo: codepen.io/una/pen/Qwwz...
Explainer: github.com/w3c/csswg-dr...
Reposted by Jared Forsyth
The Grace programming language now natively supports a Key type for managing API credentials. The benefit of a distinct type is:
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
July 29, 2025 at 9:19 PM
The Grace programming language now natively supports a Key type for managing API credentials. The benefit of a distinct type is:
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
- Grace guarantees that values of this type are never rendered
- The Grace browser obscures form inputs of this type
Reposted by Jared Forsyth
IN CONCLUSION (finally) a desert or dry prairie grassland does not need to be made into trees! It’s pulling its carbon weight just fine! Respect the grassland! Respect the desert! It is not a slacker! It is doing big shit on way less water, and we should work with it, not against it.
July 26, 2025 at 1:18 AM
IN CONCLUSION (finally) a desert or dry prairie grassland does not need to be made into trees! It’s pulling its carbon weight just fine! Respect the grassland! Respect the desert! It is not a slacker! It is doing big shit on way less water, and we should work with it, not against it.