follower of Christ. feminist. mormon. type theory, building kipos https://nitter.cf/t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on ๐ฆ
St Louis
Joined February 2008
- Tweets10.6K
- Following2.1K
- Followers5.8K
- Likes62.9K
Pinned Tweet
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 ๐
To make linear-flow/lenses easier to understand, I've developed an intermediate representation that compiles out the lenses, leaving (relatively) straightforward linear code.
I think the only two things that need explaining are:
- swap(pat,val) returns the current value of pat
Some more lens fun. Assign to the `head` of a list. Get a view of a variable shifted 2 to the right.
๐ฆ Jared Forsyth retweeted
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 โค๏ธ
New post: Papers We Love: Flow Typing, A New Lens on Linearity.
An intro to the new paper by Sky Wilshaw and @haskellhutt
oh wow the @flowtype folks are still cooking! "It looks like TypeScript now" ๐
Got royally nerd sniped by this paper. Current status: implementing a compiler for a linear/flow language to JavaScript ๐
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
๐ฆ Jared Forsyth retweeted
Delighted that "Flow Typing: A New Lens on Linearity" has been (conditionally) accepted for POPL 2027. Fantastic work by Sky Wilshaw! tinyurl.com/2j26dyyn
๐ฆ Jared Forsyth retweeted
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/
๐ฆ Jared Forsyth retweeted
fun text effect I made: letterpress
letters press into the page and cast shadows as you move around
maybe for our next blog post
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 :)
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.