@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
949Media
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,561
these lenses are out of control (and yes the match isn't exhaustive, wanted to keep the code short)
1
8
371
🦋 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,265
🦋 Jared Forsyth retweeted
Sam Jarman@samjarmanOct 22
43
2,364
75
30,680
284,032
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,606
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
282
oh wow the @flowtype folks are still cooking! "It looks like TypeScript now" 😂
5
54
7,448
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
26
1,128
87
🦋 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,049
🦋 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
156
61
1,373
141,103
this is a fun fractal
4
208
experimenting with some fractal flames
4
199
🦋 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
527
15,377
🦋 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,191
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,095
🦋 Jared Forsyth retweeted
Etienne Jacob
@etiennejcbSep 15
9
63
5
494
20,528
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
686
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: 完成
241
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,830
376,581
Load more