@jaredforsyth

follower of Christ. feminist. mormon. type theory, building kipos https://xitter.cf/t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on 🦋

 St Louis
jaredforsyth.com
Joined February 2008
  • Tweets10.6K
  • Following2.1K
  • Followers5.8K
948Media
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 😂
36
2,554
🦋 Jared Forsyth retweeted
Matt Zatorski
@matzatorskiOct 22
who’s hiring? not asking for a friend. DMs are open. if you know me or we’ve worked together, a RT would mean a lot ❤️
9
15
3
69
6,253
🦋 Jared Forsyth retweeted
Sam Jarman@samjarmanOct 22
43
2,365
75
30,682
283,723
New post: Papers We Love: Flow Typing, A New Lens on Linearity. An intro to the new paper by Sky Wilshaw and @haskellhutt
2
3
42
1,600
jaredforsyth.com/posts/paper…

Papers We Love: Flow Typing, A New Lens on Linearity | Jared Forsyth.com

Thoughts about programming, mostly

jaredforsyth.com
1
7
281
oh wow the @flowtype folks are still cooking! "It looks like TypeScript now" 😂
5
54
7,446
Got royally nerd sniped by this paper. Current status: implementing a compiler for a linear/flow language to JavaScript 😂
Graham Hutton@haskellhuttOct 6
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
1
27
1,127
85
🦋 Jared Forsyth retweeted
Graham Hutton@haskellhuttOct 6
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
12
29
5
152
14,024
🦋 Jared Forsyth retweeted
Wouter van Oortmerssen@wvoOct 7
Goose: my latest programming language. Safer, faster and less memory than Rust/C++ for algorithms where tightly packed, flat data structures matter. It can represent more kinds of data structures as flat, pointer-free bytes than any language I know. github.com/aardappel/goose 1/
111
155
61
1,367
140,559
this is a fun fractal
4
206
experimenting with some fractal flames
4
197
🦋 Jared Forsyth retweeted
Azlen
@azlenelzaSep 30
Experimenting with dynamic annotations Normally it's difficult to annotate text with a digital pen because the words can reflow- but what if your annotations could reflow with it?
19
37
3
526
15,361
🦋 Jared Forsyth retweeted
James Long
@jlongsterSep 24
fun text effect I made: letterpress letters press into the page and cast shadows as you move around maybe for our next blog post
3
1
1
27
5,184
who do I know on here that's hiring CS interns for summer 2027? My brother is a rising junior and is working on applications right now :)
1
2
3
1,094
🦋 Jared Forsyth retweeted
Etienne Jacob
@etiennejcbSep 15
9
63
5
494
20,524
I'm been playing with running nemotron-3.5-lightning:30b-mlx locally on my MBP and had some very promising results! Gets things done 2-3x as fast as gemma4:31b-mlx or qwen3.8:27b-mlx, with similar quality in the tests I've run.
1
3
685
had a funny thing happen with gemma4:31b-mlx; one session I asked it to implement a simple cli tictactoe game in typescript, and it spent 6 minutes, 31 tool calls, producing 8kb of "thinking" text (all in english), but the only user-facing text it output was at the end: 完成
240
AI recipe websites are a plague
1
4
305
🦋 Jared Forsyth retweeted
Alex Muresianu@ahardtospell19 Nov 2025
Here at Galadriel, we are building a different kind of AI. Instead of a Dark Lord, it will be a queen. Not dark but beautiful and terrible as the dawn! Tempestuous as the sea, and stronger than the foundations of the earth! All shall love it and despair!
81
2,040
68
14,831
376,562
🦋 Jared Forsyth retweeted
Armin Ronacher ⇌
@mitsuhikoSep 9
Astra is really, really cool but I cannot current trust it for my present day engineering. At least until I have adjusted. Some random thoughts including code samples of what I recovered from my traces. lucumr.pocoo.org/2026/9/7/as…

Astra for Coding: Why Are We Doing This Again?

Some thoughts on Astra and newfangled long-horizon models.

lucumr.pocoo.org
75
103
60
1,365
327,400
Load more