formal verification used to take a lot of time and money so it was reserved for the most critical parts of the code
we’re now accelerating towards a future where it’s viable to formally verify everything across the stack
there are two sides to every coin
@redacted_noah yes, so we have to get good at writing specs, not code (since all code will be generated anyway)
but cost is a giant factor today that is going away
starting to believe this is an increasingly plausible future:
- most new code is AI generated and formal verification is built into the generation process
- most new code ships with proofs
- implementation errors shrink
- remaining risk lies in incorrect specs and false assumptions
- our infrastructure becomes more secure
- verified machine generated code earns more trust than unverified human code
- slop era ends
outbound is a set of loops now (build lists, qualify, generate the sequences) and every bdr is a gtm engineer
with our gtm stack and Phil in your corner you'd be building the machine that lands global smbs and mid market businesses at scale
join us and win
Altitude is purpose-built for global companies with multiple entities.
One login, all your entities.
Historically, intercompany transfers have been slow and expensive.
On Altitude, they’re instant and free.
one of the many things that makes altitude special is the that we onboard companies from 200+ countries, making multi-entity management easy
one of the many things that makes solana special is that transactions settle in 200ms, so funding your subsidiary takes less than a second
Run all your companies through a single Altitude login, with dedicated accounts, cards, and permissions for each entity.
Move funds between them instantly, at no cost.
Multiple entities. One business account to manage them all.
Learn more: https://t.co/GvgCaj7QwN
SITUATION DETECTED: Warhound launched from stealth today with a $200M seed at a $1.2B valuation. Ben Lamm and Palmer Luckey are cloning gene-edited bio-enhanced dogs and equipping them with custom Anduril vests, goggles, and sensors for the military and law enforcement.