@aaroneline

Working on programming languages, systems, and security, or the hard problem of specification. he/him.

aaronjeline.github.io
Joined March 2021
  • Tweets1K
  • Following397
  • Followers308
235Media
The buried lede is that this paper cites a paper entitled “My Cat Is Object Oriented”, which is wonderful to have found.
Alexis King@lexi_lambdaOct 18
ok new week new topic. what’s everyone’s favorite joke ever made in a PL publication? I think mine is this one (from “The Myths of Object-Orientation” by James Noble)
3
186
Aaron Eline retweeted
Alexis King@lexi_lambdaOct 18
ok new week new topic. what’s everyone’s favorite joke ever made in a PL publication? I think mine is this one (from “The Myths of Object-Orientation” by James Noble)
21
75
15
575
42,736
Pleased to announce shplait/liquid, a liquid-typed version of shplait, the language of my book PLAI. This version adds liquid-typing, a form of refinement types. It's primarily meant to be a small language for pedagogic purposes to induce people to try grown-up ones later. ↵
4
20
1
95
4,080
We’re gonna have some really great talks this month! Please stop by if you’d like here about either the designs and historical trade offs that prevented STM from catching on, or large scale caching at Figma. nycsystems.xyz/2026/october.…
1
1
11
912
54
Instantly on my list
Simon Willison
@simonwOct 3
Replying to @thorstenball
Go straight to the Museum of the City of New York to see the scale model of the city currently on display, it's only there until 12th October, it's absolutely stunning mcny.org/exhibition/he-built…
67
Aaron Eline retweeted
rune sword@runesword1Oct 1
infected bread for breakfast this morning
4
28
1,208
Aaron Eline retweeted
Angelo 🇵🇷
@ngeloxyzAug 22
Then: Presenting FlowLog by Zhenghong Yu youtu.be/t0rUyI9BiD4

Presenting Flowlog by Zhenghong Yu

Datalog is a natural fit for static analysis: write down the recurs...

youtube.com
1
1
3
499
Aaron Eline retweeted
Angelo 🇵🇷
@ngeloxyzAug 22
...and our closer for the evening... @ssougou presenting Multigres youtu.be/ExxWdCUPBUA

Scaling Postgres with Multigres by Sugu Sougoumarane

Postgres has become the default choice for a very large number of n...

youtube.com
1
1
1
5
422
This talk ruled!
Manya Bansal
@314BansalAug 26
Gave a talk at NYC systems! Thanks for having me @eatonphil @ngeloxyz @aaroneline :)
106
Aaron Eline retweeted
Manya Bansal
@314BansalAug 26
Gave a talk at NYC systems! Thanks for having me @eatonphil @ngeloxyz @aaroneline :)
Angelo 🇵🇷
@ngeloxyzAug 22
We have recordings up from NYC Systems event in August at @trailofbits First up: Modular GPU Programming with Typed Perspectives by @314Bansal youtu.be/ne13ajXcNhs

Modular GPU Programming with Typed Perspectives by Manya Bansal

To achieve peak performance on modern GPUs, one must balance two fr...

youtube.com
1
2
1
27
2,718
To ICFP ‘26!
4
420
Tape IS a snack my cat loves to consume, I must prevent him from gluttonously gobbling kilometer after kilometer of fresh sticky tape
donald boat
@laserboat999Aug 21
Tape feels like a snack a robot would love to consume, you can just imagine them gluttonously gobbling kilometer after kilometer of fresh sticky tape
3
481
Aaron Eline retweeted
Phil Eaton
@eatonphilAug 21
The man's a legend. Thank you for sharing your experience, @ssougou.
5
4
130
6,166
Our lightning talk at NYC systems is Zhenghong Yu presenting Fast, Flexible Datalog for Real World Systems!
1
7
364
Aaron Eline retweeted
Phil Eaton
@eatonphilAug 20
Up first at NYC Systems, Manya Bansal on Modular GPU Programming with Typed Perspectives
1
6
208
8,096
I require an offshore base. Imagine what I could accomplish with an offshore base of operations.
Evan Applegate
@youwillmakemapsAug 14
You may not be interested in "offshore is nuts" Friday, but "offshore is nuts" Friday is interested in you
2
392
Remembering the last eclipse, where a friendly neighborhood astronomy nerd had his telescope set up on the common balcony, happily sharing the view with everyone.
4
122
2
4
230
Aaron Eline retweeted
Charlie Marsh
@charliermarshAug 4
Polonius, the "next iteration of the Rust borrow checker", is now enabled by default in nightly! blog.rust-lang.org/2026/08/0…

Enabling the next iteration of the borrow checker on nightly | Rust Blog

Empowering everyone to build reliable and efficient software.

blog.rust-lang.org
17
106
22
1,117
96,350
Load more