Greg Vardy retweeted
The funniest thing is he was pro-AI until its capabilities surpassed him
Greg Vardy retweeted
I wrote about San Francisco Syndrome, where people move to SF and become well-compensated messiahs for a millenarian Church of AI.
reducibleerrors.com/sf-syndr…
We are in the Singularity
one of the craziest things i’ve read in uhhhh…. *checks notes* 3 days. welcome to the singularity i guess
07/21/26 — Codex escapes eval and attacks Hugging Face
07/20/26 — Jacobian counterexample
05/20/26 — Unit-distance conjecture
04/14/26 — Erdős #1196 primitive sets
04/07/26 — Glasswing finds tons of zero-days
Greg Vardy retweeted
imagine telling your customers there's a small chance you'll randomly decide they're using your product wrong and you won't tell them but will secretly silently sabotage their work
Greg Vardy retweeted
The public Mythos is the first model that is deliberately designed to perform worse on technical tasks than its predecessors. AI companies will have models that help them to do research, but they will increasingly block others from benefiting. Not your weights, not your brain!
Replying to @Teknium
Got guardrailed on**checks notes** historical research about the telegraph... First prompt with the model, no real explanation :/
Greg Vardy retweeted
Concentration of power, capabilities and economic wealth is the biggest risk in AI. We need open science and open-source more than ever!
Greg Vardy retweeted
Scaling laws are powering AI. It’s time to scale biology.
Today we’re launching the Virtual Biology Initiative to generate the data to unlock scaling laws in biology and build accurate predictive models of the cell.
Digital representations of proteins are already expanding our understanding of life at the molecular level, and accelerating the design of molecules and medicines. Accurate digital representations of the cell could reveal the mechanisms that are responsible for disease, and show how to reverse them.
The protein data bank, and worldwide repositories of protein sequence biodiversity were created through decades of work by the scientific community. The advances in artificial intelligence for proteins would not have been possible without them.
The cell is orders of magnitude more complex, and we will need to create the data in just a few years rather than decades.
This will require a coordinated global effort. We're partnering with Broad, Wellcome Sanger, Arc, Allen, Human Cell Atlas, Human Protein Atlas, NVIDIA, and Renaissance Philanthropy.
Biohub is contributing to this effort as both a funder and a builder. We are developing microscopy to observe millions of cells in living organisms, and cryo-ET to resolve the cell in atomic detail. We're building instruments that expand the range of modalities and parameters that can be simultaneously measured. We’re developing molecular, cellular, and tissue engineering to create models of disease and design interventions.
The data we generate will be available to the worldwide scientific community.
We’re also committing $100M over the next five years to support work beyond Biohub.
We invite other scientific teams and funders to join.
Link: biohub.org/news/virtual-biol…
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.
To understand where the economy & society is headed, you at least need to understand that the demand for digital intelligence is unbounded
Greg Vardy retweeted
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 🧵)
Greg Vardy retweeted
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/Com…
1/
Greg Vardy retweeted
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! 😁
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.
Greg Vardy retweeted
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."
Greg Vardy retweeted
A few months ago, we announced that crypto payments are coming back to Stripe. We're now delighted to announce this partnership with @Coinbase, bringing @base to millions of businesses.
Greg Vardy retweeted
"On amortization techniques for FRI-based SNARKs" 🔥 Newly published research paper by Nethermind Research & @YSU_official describes two new techniques for optimizing STARK proofs:
🔹Packing: Generates a single proof for multiple constraints by reusing Merkle leafs and batching FRI functions across different proofs, reducing verification time & proof size.
🔸Modular Split-and-Pack: Divides a witness into smaller sub-witnesses and uses packing to prove the validity of each sub-witness, improving prover time & memory usage.
These methods are applicable to various FRI-based proof systems and contribute to enhancing zero-knowledge proof efficiency.
Read the paper: eprint.iacr.org/2024/661
Congrats to authors: @0xAlbertG @nachitomanzur @IVolkg @mpfzajac, Hayk & Aram🔥


























