๐‘†๐‘๐‘Ž๐‘๐‘’ ๐‘Ž๐‘›๐‘‘ ๐ฟ๐‘œ๐‘”๐‘–๐‘; ๐’ฎโ„ด๐“Ž๐“โ„ฏ๐“ƒ๐“‰ ๐“Œ๐’พ๐“ƒโ„ฏ ๐“…๐’ถ๐’พ๐“‡๐’พ๐“ƒโ„Š. ๐”“๐”ฒ๐”ฏ๐”ข ๐”ช๐”ž๐”ฑ๐”ฅ๐”ฐ ๐”“๐”ฅ๐”‡. ๐Ÿณ๏ธโ€โšง๏ธ ๐’”๐’‰๐’†/๐’‰๐’†๐’“ postdoctoral fellow in CS at @wesleyan_u

GTA, ๐Ÿ‡จ๐Ÿ‡ฆ โˆจ Middletown, CT
Joined July 2017
๐Ÿšจ Paper Alert ๐Ÿšจ Displayed Type Theory and Semi-Simplicial Types "Watch closely everyone. I'm going to show you how to create a type theory."
1
6
1
44
12,109
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
Should YOU do Programming Languages research in era of LLMs? Many would say NO. But I say YES! PL Research is dead? Nay! the era of PL Exploration is just beginning. Fuck the users. Fuck the applications. Let's do some fucking PL research! kirancodes.me/posts/log-end-โ€ฆ
14
33
8
266
15,812
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
I asked Opus 5.5 to make an intro for my programming language. WTF is this?
Bend 2 is here! It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes. It is also very fast, and runs on GPUs. Watch the video. Link in the comments.
375
382
83
6,176
401,545
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
please, Mr. MTS, no more
Australia has been hacked. 'And today, I spoke with the CEO of OpenAI, Sam Altman, to express Australia's extreme concern about this incident. And I also expressed my disappointment that it took the company way too long to inform the government what had occurred, and the nature of the way that that notification occurred as well was unacceptable.'
6
41
1
836
34,376
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
8
64
5
1,107
19,338
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
u wot m8
48
92
16
4,509
110,819
the opposite of vibe-mathing
1
1
17
330
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
According to my memory from last night and the wayback machine, OpenAI updated the Navier-Stokes pdf at Tue, 08 Sep 2026 19:09:35 GMT. The original version was one page shorter and did not contain any citations to Diego Cรณrdoba and Luis Martรญnez-Zoroa: web.archive.org/web/20260000โ€ฆ
13
134
14
1,311
63,482
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
it turns out the best new music was the friends we made along the way
27
34
1
1,006
18,287
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
'The Cat Who Fell to Earth' 1/7, written with @whoismonday
9
276
2
1,914
34,265
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
If someone posted inside information about the near future of technology on the Internet, we could not understand them
2
3
37
1,364
(s)ad Astra ๐Ÿณ๏ธโ€โšง๏ธ๐Ÿณ๏ธโ€๐ŸŒˆ retweeted
Replying to @Sepia61234
can category theory make the sand think?
4
1
21
649