Sabitlenmiş Tweet
Greg Vardy
561 posts
Greg Vardy retweetledi
1/ Today we’re excited to announce our $9.5M seed round, led by Yuri Sagalov (@yuris) of General Catalyst alongside Paul Graham (@paulg), @ycombinator , and a group of incredible partners and angels.
English
It's surprising that public markets still don't really understand that the demand for intelligence (compute) is functionally infinite, at least from the POV of a Kardashev I civilization, and probably Kardashev II too.
Logan Kilpatrick@OfficialLoganK
The compute bottleneck is massively under appreciated. I would guess the gap between supply and demand is growing single digit % every day.
English
Greg Vardy retweetledi
To understand where the economy & society is headed, you at least need to understand that the demand for digital intelligence is unbounded
English
Greg Vardy retweetledi
We just released our paper! Our agent architecture gets a perfect 100% on TaxCalcBench, marking an inflection point of LLMs overtaking human CPAs.
And it does so through something very unexpected, but also obvious: navigating the tax code like a codebase!
(1/6 🧵)
English
Greg Vardy retweetledi
We just raised $3.5M from @generalcatalyst to kill tax season. Our mission isn't to 'streamline' it, but to delete this problem for Americans. No time. No cost.
(1/5 🧵)
English
Greg Vardy retweetledi
Our Formal Verification team has formalized computable multivariate polynomials in Lean. cc @leanprover
This is a foundation for stronger, machine-checked reasoning in zk proofs and protocol design.
🔗 github.com/NethermindEth/…
1/
English
Greg Vardy retweetledi
Designers Tessa Rose Vardy and Olivia Englehardt draw inspiration from the urban landscape of Paris and the laidback warmth of the Balearics wallpaper.com/design-interio…
English
Greg Vardy retweetledi
QFEX (@qfex) is building the 24/7 exchange for US equities, commodities, and FX. Trade with leverage without a middleman or broker fees.
ycombinator.com/launches/NUj-q…
Congrats on the launch, @annanay and @joshua_wharton!
English
Greg Vardy retweetledi
Was amazing working with @RiscZero, particularly @intoverflow and @BruestleJeremy! Great work from my team: @fastreedsolomon and others. Looking forward to applying these techniques to Zirgen! 😁
RISC Zero@RiscZero
At RISC Zero, security always comes first. The Formal Verification team at @NethermindSec has developed a framework to formally verify our Zirgen‑based ZK‑circuits using @leanprover.
English
@fastreedsolomon @JulekSU It's beaut, my reaction was: *that's it?!, that's the entire parser?!?!*
English
Proof of concept R1CS binary format to Lean extractor: github.com/NethermindEth/… 👀👀
English
Greg Vardy retweetledi
Overheard in Silicon Valley: "My biggest lesson from the last year is just, it’s all going to happen. All my childhood dreams of space colonies and brain interfaces and AI and robots. Everything is just… going to happen."
English
@dcbuilder Structure is a really effective way to free up your subconscious to simmer on interesting ideas
English
I need more structure in my life, 2025 is the year I finally stop doing things totally ad hoc
English
@quant_arb Recruiters are power law, most of them are a joke but some are absolutely incredible
English
Reminds me of the time I got sent a candidate by a recruiter and the guy hard coded 40 if statements because he didn’t know what a for loop was.
It was a rust dev role…
Rad Dog@The_Rad_Dawg
@quant_arb @0xRyuzaki I have never once in my life met a hedge fund/prop shop professional who was placed by selby jennings
English