Austin Kettner

456 posts

Austin Kettner banner
Austin Kettner

Austin Kettner

@austinkettner

Building something: @getveld

Katılım Şubat 2022
2K Takip Edilen179 Takipçiler
Austin Kettner retweetledi
MTS
MTS@MTSlive·
SITUATION EXPLAINED: OpenAI solves a real math problem In 1946, renowned mathematician Paul Erdős defined a simple problem: if you place n points in a plane, what is the maximum possible number of pairs of points that can be exactly 1 unit of distance apart? This problem, the planar unit distance problem, became one of the most well-known in the field of combinatorial geometry. Erdős conjectured that the “square lattice” solution shown below was more or less optimal. An internal OpenAI model just disproved this conjecture, finding a more optimal solution. This is a big deal. This isn’t a literature review that found a previously unpublished human solution, or a slight improvement to an existing human solution, or a solution to some minor subproblem that no one cares about. It’s a fully AI-discovered novel solution to a well-known open problem central to a field of mathematics. Just as crucially, the result came from a general-purpose reasoning model, not a model specifically designed for math like Google’s AlphaProof. It’s possible that this model is the next version of GPT-5.5 Pro, soon to be released to millions of ChatGPT subscribers worldwide. The dream of a genius in everyone’s pocket is one step closer to becoming a reality.
MTS tweet media
English
25
46
479
63.2K
Austin Kettner retweetledi
Cursor
Cursor@cursor_ai·
Introducing Composer 2.5, our most powerful model yet. It's more intelligent, better at sustained work on long-running tasks, and more reliable at following complex instructions. For the next week, we’re doubling the included usage of the model.
Cursor tweet media
English
915
1.4K
13.3K
19.9M
Austin Kettner retweetledi
Wirraway Software
Wirraway Software@WirrawayDev·
Excited to announce Battlespace Command, published by MicroProse Software. Battlespace Command is an RTS depicting the full spectrum of modern war - from infantry to ballistic missiles - on massive 6,000,000 km² maps. Please take a look and wishlist! store.steampowered.com/app/4413130/Ba…
English
12
36
189
10.7K
Austin Kettner retweetledi
Estagiário da F1
Estagiário da F1@EstagiariodaF1·
os italianos incrédulos com a ultrapassagem do Verstappen na grama imagino eles assim na cabine de transmissão 🤌🤌🤌🤌🤌🤌
Português
58
679
12.9K
399.1K
Austin Kettner
Austin Kettner@austinkettner·
@tobi Dude, was wondering the same thing. Harder to watch than F1...
English
0
0
0
3K
tobi lutke
tobi lutke@tobi·
Why on earth is the Nürburgring 24h geoblocked on youtube for US and Canada. What is the point.
English
210
149
5.6K
323.4K
Karri Saarinen
Karri Saarinen@karrisaarinen·
Surprisingly, found a nice way to write with AI: 1) apple notes for the raw draft 2) @linear agent to shape, iterate with my writing guidance 3) asking to create a doc to read, edit, comment on, and share No more endless chat stream, full rewrites, or slow, blocky writing
English
22
5
298
38.7K
Austin Kettner retweetledi
Mercury
Mercury@mercury·
Run: mercury hat Get yours.
English
76
24
634
93.3K
Austin Kettner
Austin Kettner@austinkettner·
@mariorod1 What have you been doing the past few months/years as this devolved? As CPO isn't this literally your daily pulse check and focus as you dictate features/priority?
English
0
0
1
581
Mario Rodriguez
Mario Rodriguez@mariorod1·
Being the foundation for millions of developers means our bar must be higher for availability, reliability, and security. I’m sorry it’s been a rocky stretch at GitHub. We know we need to do better. Today we published an update on two recent incidents: one on April 23 involving merge queue behavior, and one on April 27 affecting pull requests, issues, projects, and search-backed experiences. We’re taking this seriously. We’re listening, and you have my commitment that we’ll communicate more frequently about the work underway to improve reliability and scale GitHub for what comes next. github.blog/news-insights/…
English
67
61
620
360K
Austin Kettner
Austin Kettner@austinkettner·
@OfficialLoganK @firstadopter Need faster shipping speed, weekly or monthly iterations at minimum even if minor. You guys are losing the narrative due to the huge gaps in releases. Really rooting for you though. Even if the releases aren't best in class, the multi-month gap in drops erodes trust.
English
1
0
17
722
Logan Kilpatrick
Logan Kilpatrick@OfficialLoganK·
@firstadopter the engine room is running at full speed to make Gemini best in class at coding, progress is all positive : )
English
164
65
2.4K
131.4K
tae kim
tae kim@firstadopter·
The irony is that Google is dead in the water in agentic coding right now, not OpenAI. Can Gemini bounce back? We'll find out next month.
tae kim@firstadopter

This is a good amalgamation of the sentiment shift I see among developers online from "Anthropic is ruling everything" to "it's a 50/50 race with OpenAI" again. Despite the high views from media, Google Gemini is nowhere: "i went from 80/20 claude/gpt to 80/20 gpt/claude in <3 months. surprised by this tbh" "claude still mogs gpt for non-coding agent stuff. codex feels like an engineer (which is great for coding!)" "anthropic has got to figure out the compute thing. you can feel it as a user. vibes are all out of whack bc of it. my opinions above are all likely downstream of this. it’s an issue." OpenAI "gpt 5.5 is incredible. the level to which i trust it for engineering is amazing. if i could only have one model rn, it would be this one just bc of strong need for the coding use case." OpenAI "codex team is killing it. app has been the gold standard since 5.3 release (buuut i credit conductor team for the ui innovation that everyone is using now). though" "gemini…? seems like this is 2-3 models now where the model seems like a great release and then nobody ever uses it? i’m bullish google/deepmind but weird it hasn’t translated to product use in any form. kinda disappointed still" "no open source models have hit the opus 4.5 level. was hopeful the new deepseek would get there, but nope"

English
38
9
555
181.1K
Austin Kettner retweetledi
Kevin Kwok
Kevin Kwok@kevinakwok·
Cursor and SpaceX: In search of a complete loop Quick notes on the deal: - the new AI lab meta of needing to own product and model in coding - why spacex and cursor need each other to close the loop - beyond ipo timing why this structure is interesting kwokchain.com/2026/04/23/cur…
English
19
31
346
80.2K
Austin Kettner
Austin Kettner@austinkettner·
@BenjaminDEKR Writing is on the wall here, not sure why no one is seeing it: Vendor lock-in like Claude Code or Codex is fairly extreme as the UX of it all prevents drift from the technical users. That UX drives choice via comfort early, not later
English
0
0
1
743
Benjamin De Kraker
Benjamin De Kraker@BenjaminDEKR·
It is interesting that SpaceX / xAI felt the need to acquire Cursor Why not just build their own? Actually, wasn't Grok Code / other upcoming Grok projects supposed to be this? Grok 5 is supposed to be AGI, then isn't building an AI agentic code IDE in a few months easy?
English
203
10
417
61.7K
Austin Kettner
Austin Kettner@austinkettner·
@benln Trying, all pure native apps, currently just dogfooding internally. Support for Mac, iOS, Android, Windows. @getveld -- working through where AI fits in this flow currently without just slapping it in.
English
1
0
1
868
Ben Lang
Ben Lang@benln·
Imagine Slack, but built from scratch in 2026
English
220
18
1K
289.5K
Cursor
Cursor@cursor_ai·
Cursor can now attach demos and screenshots of its work to PRs it opens. Your team can review artifacts created by cloud agents directly in GitHub.
English
115
135
2.1K
322.5K
Austin Kettner
Austin Kettner@austinkettner·
@nsbradford @cursor_ai Full Admin/Owner. On Team Settings, there is no setting anywhere that says 'Artifact' (doing a Search/Find on the page and that word doesn't exist)
English
1
0
0
27
nick bradford
nick bradford@nsbradford·
@austinkettner @cursor_ai are you a team admin? what do you see on "Team Settings"? it should show the setting(s) but with the toggles disabled if you're not an admin, if not will fix
English
1
0
0
23
nick bradford
nick bradford@nsbradford·
@austinkettner @cursor_ai should be in the Cloud Agent > Team > Pull Requests settings (can only be toggled by team admin), are you not seeing that? (feel free to DM me)
nick bradford tweet media
English
1
0
1
45
Austin Kettner
Austin Kettner@austinkettner·
@cursor_ai Says go to Team Settings to enable > Team Settings has nothing about Artifacts
English
1
0
1
756
Cursor
Cursor@cursor_ai·
Enable this feature in the Cursor dashboard: #my-pull-requests" target="_blank" rel="nofollow noopener">cursor.com/dashboard/clou…
English
7
6
79
20.2K
Cursor
Cursor@cursor_ai·
You can now run Cursor on any machine and control it from anywhere. Kick off agents from your phone to run on your devbox.
English
294
382
5K
670.5K
Dety
Dety@Dety0·
Today i learned, someone have created a SFP+ module to bypass AT&T Routers. the module have a open config, that allows you to copy paste the info from the AT&T config and bypass having to use the ISP routers the module is 100$ and then you need a router with sfp+
Dety tweet mediaDety tweet media
English
123
248
5.2K
388.8K

Keşfet

@OfficialLoganK @tobi @karrisaarinen @linear @mariorod1 @firstadopter @BenjaminDEKR @elonmusk