Copilot Platform @GitHub. Formerly Observability @Honeycombio and F# lang/.NET tools @Microsoft
Redmond, WA
Joined August 2015
- Tweets7.8K
- Following365
- Followers5.8K
- Likes22.7K
Oh my god they somehow managed to make things funnier (worse) with this absurd public statement clearly written by an AI model emudhra.com/en/press-release…
Hey @GeoffreyHuntley i think we found your new side project, be a certificate authority
Hot tip, if you want to tokenmax and make agent turns take longer, put some formal verification in your inner agent loop
I don’t think personal software will kill OSS and I think it’s very overrated.
It’s super fun to jangle the keys in front of your own face and vibe code up a copy of something else that exists in this world. But truly owning it, operating it, having a vision for it kinda sucks!
OSS still wins out on the a value proposition that it’s free and you can shunt those concerns off to someone else.
The talking computers don’t actually know exactly what individual people want and most people don’t feel like just living with whatever an agent confabulated as a design and architecture.
The future for OSS probably involves a token market where you can yield some tokens to allow a maintainer group make the right decisions for you.
Phillip Carter retweeted
Introducing my new side project - Fai.
github.com/Krzysztof-Cieslak…
It’s a functional programming language with which I try to explore how we can design better “classical” software engineering tools specifically for AI agents.
A couple of design choices I've made are described ⬇️
So far Argon really does seem the best at absorbing a bunch of text and turning into a rough draft of a doc with decent writing style.
But man, so much steering still. AI assisted doc writing is like working with the first coding agents when they came out
Like you tell it no fluff, grammar of a fifth grader, ELI5, simplify, keep it terse, brevity, all the intent-based keywords…
…and every one of these damn tensor swamp pits just jumps at the bit to slop you up some extra wordy bullshit
Phillip Carter retweeted
New on our Engineering blog: Creating in-house source control.
In May, we merged around 2,500 code changes per day. In September, we merged more than 30,000 per day. As a result, we became bottlenecked by developer infrastructure built for human (rather than agent) scale.
Here, we share how we built a new version control system—and fully migrated our monorepo from git—in five months: anthropic.com/engineering/re…
Has ChatGPT on iOS gotten super slow for people? iPhone 15 not on low power mode so I don't think it's my phone. Takes ~3-5s to load in the sidebar the convo I started on desktop and got a notification for on the phone. Then noticeable lag as the keyboard popped up.
