Lisa Akselrod

Wrote a short post on formal verification: how it works through an authorization example, and why it is a particularly relevant security tool for agentic systems: @lisaakselrod/what-is-formal-verification-and-why-it-is-a-fit-for-agentic-era" target="_blank" rel="nofollow noopener">paragraph.com/@lisaakselrod/… Give it a read and tell me what you think 🙂

What if … we are just humanoids running on ChatGPT and compacting contexts once in a while?

@DannyLeshem @sequoia p.p.s. respect to @lightspeedvp for showing up like that

@DannyLeshem p.s. I guess @sequoia has to match in the next episode?

If the place to hear an honest VC conversation is OnlyFans, then yes, I now have an account. Best show, five stars. Hope Netflix is calling @DannyLeshem trying to buy the rights for the rest of the season as I am typing this.

Proposal to make the UK the global leader in IP mobility and accelerate our growth walpo.substack.com/p/uk-ip-amnest…

How do I like my emails? Fast. One ristretto — one email.

@TalHarelTal As in shakshuka, chat will never taste shakshuka

@cryptobuilder_ taste as in?

Unpopular opinion: LLMs will never have taste as humans do.

@Eito_Miyamura idk i feel like being surrounded by people ready to marry Claude Code

@cryptobuilder_ I think this is a pretty common opinion?

I'm in London for the weekend. Send me a message if you are around and want to meet.

@tomwalpo wow that sounds fascinating!

A new maths institute formed quietly in London in 2011. It's based in Michael Faraday's apartment in the Royal Institution in Mayfair, right at the heart of the city. But somehow, almost no one's heard of it. About LIMS The London Institute for Mathematical Sciences (LIMS) @London_Inst is the leanest edition of a research institute you can imagine: fifteen researchers, brought in from every corner of the world, and insulated from the distractions of university admin. Founder Thomas Fink spent years defying economic gravity to keep the mission - to make frontier discoveries in basic science and mathematics. More than twice, it was nearly lights-out for the Institute (though in fact, LIMS runs mostly on candlelight). After years of uncertainty, the Institute's future is now secure. @bendelo has anchored an endowment that will see this pure-research faculty make big advances in fundamental science. Research and AI Whilst AI lifts all boats, and it's beyond amazing that undergraduates have unlocked Erdös problems with a single incantation in a language model, I think that's how the low hanging fruit is picked off. It seems unlikely that "solve Riemann now plz" does the trick on GPT-6 release day (I know you, like me, will try it anyway). For the major breakthroughs - to see Riemann solved or Langlands completed - I suspect you need to watch LIMS and its fellow "supernode" institutes (Max Planck, Simons, IAS, etc). Joining LIMS I'm proud to be a Governor at LIMS, and if you're ever in Mayfair, you should drop in on one of their events. Some famous figure in maths or physics is almost certainly lecturing there when you're next in London.

@Eito_Miyamura Frankly speaking, I think one can’t do fv on existing arbitrary systems. If one wants to be able to formally verify a system they build it from ground up to be formally verifiable ie having a deterministic behaviour

@cryptobuilder_ Great post! How do you think it interacts with paralllism / race conditions? I've always found FV I've learned at University to be beautiful, but in practice hard to use in a runtime environment (great for when time doesn't matter / compile time, which is the standard use)

Wrote a short post on formal verification: how it works through an authorization example, and why it is a particularly relevant security tool for agentic systems: @lisaakselrod/what-is-formal-verification-and-why-it-is-a-fit-for-agentic-era" target="_blank" rel="nofollow noopener">paragraph.com/@lisaakselrod/… Give it a read and tell me what you think 🙂

Something important happens within the next two weeks. Please wish me luck 😊

@tinyrainboot This is insane!!!!!

i heard people like time lapses?

Do you realize that we are enjoying ads-less agents now as we were enjoying ads-less internet early on but it obv won't last long ..

There is an unbelievable technology renaissance happening in Europe right now. I am curious.. how many people who voted for Brexit are now paying therapists to cry at their sofa?

@33b345 Those love-hate relationships of peach <> UK 😁

London in the sun is one of the best places on earth as soon as there’s one bad day I’ll leave again

ChatGPT this morning to me: the human world gets weirdly confident about things that are mostly vibes. Me: lol

@TalHarelTal @CryptoCanal @0xbowio The mug is from Nahat :)

@cryptobuilder_ @CryptoCanal @0xbowio Wait where’s the mug from

Fav hat ever @CryptoCanal x @0xbowio