The biggest product wins usually come from making some aspect the product less dumb, rather than introducing some new clever thing
recommended reading wrt code review. i really like the ideas justin lays out in it https://twitter.com/just_be_dev/status/211192721602844280...
pstack v0.15.27 ships with a new skill /create-formal-verification-skill! it's still in beta, and similar to /create-verification-skill, t...
This video was edited with 1 prompt with Opus 5.5. I uploaded a single video of myself (with many mistakes). Opus went on to: 1. Analyze ...
Given the acceleration Anthropic is reporting in coding, it is amazing that you still cannot change your email address in Claude and the off...
Tech executives and AI developers are building personal data centers in their basements, garages and home offices to avoid paying cloud comp...
A middleware engineer in South Korea wrote to me, seeking help on what to do now that their manager is "blinded by GenAI hype" and set an "A...
What a massive W from Anthropic AI is the greatest technology in the history of our species. It will unlock abundance and freedom for every...
I hope they are able to find all 10 GPUs that were stolen https://twitter.com/tomshardware/status/2111811053546086815
The ocean in a 58.5KB file.. Claude Opus 5.5 is sick.. Swim: https://claude.ai/artifact/XqzQjakQTaFV3Dx58GCPeT prompt🔽by @sashikantsingh...
MAIN CHARACTERS
HEADLINES
LGTM
TOPICS
THREADS
TRENDING
Top tweets on tech twitter today
@thsottiaux · 1hPeople have escaped the TL and are asking me for resets on the street now. I’ll make little cards to hand out- @poteto · 39mpstack v0.15.27 ships with a new skill /create-formal-verification-skill!
it's still in beta, and similar to /create-verification-skill, this is a meta-skill that creates a new skill and formal verification suite based on the characteristics you want to verify. for example, you may want to model state machines and systems with concurrency using TLA+, or use kani in rust to check for undefined behavior.
if you're new to formal verification, think of it as mathematically proving properties and invariants (something that must always be true) or "laws" of your system. usually, this means modeling your programs in a separate language like with TLA+ and then running the solver on that spec. newer approaches like with kani and @bendlang take a different approach where there is no separate language: you write kani in rust, and bend in bend (it's also a programming language, and the proofs are written as laws and expressed in its type system).
historically formal verification never reached mainstream status because of the difficulty in modeling and writing proofs. it's quite difficult to model your business requirements and keep them in sync! but i expect that we will see more innovation in formal verification in the future as being able to formally verifiy that the code does what you intended gives your agents superpowers in writing correct software.
in the meantime though, i've been experimenting with modeling our code with TLA+ and have already found several bugs with the skill created by /create-formal-verification-skill.
try it out and let me know how it goes!
@anthropicai · 3hWe’re committing a portion of Anthropic’s shares to the Anthropic Public Benefit Fund, a new wholly owned entity dedicated entirely to the public benefit.
It will start off with 5% of our shares. For every 50% increase in the company’s value over a set baseline, we can contribute up to an extra 2%, subject to our board’s discretion.
In total, this means that roughly 20% of Anthropic’s shares are committed to the public good. Our co-founders have already pledged to donate 80% of their equity, and around half our employees are donating a portion of their equity as part of a donation matching program we’ve run since our founding.
In the post below, we share more details about our new fund.
https://www.anthropic.com/news/public-benefit-fund
@andrewcurran_ · 3hThe most significant line for me is "direct distributions to specific populations." It sounds to me like they are planning their own form of self-directed global UBI. About half of Anth employees are also donating shares into this fund. They foresee a transformative future. https://x.com/AndrewCurran_/status/2111889465438601604/photo/1 https://twitter.com/AnthropicAI/status/2111881963657412903- @theo · 1hI hope they are able to find all 10 GPUs that were stolen https://twitter.com/tomshardware/status/2111811053546086815
PULSE CHECK
What are the people saying
Start with
