Log inSign up
user avatar
spion
@spion
Still likes programming. ex-Apple. Prefers insightful discussion to debate. Rust, TypeScript, Effect, SolidJS, localfirst, devops, keto, stats, audio/DSP
London, England
blog.spion.dev
Joined February 2008
1,218
Following
1,433
Followers
RepliesMedia
  • user avatar
    spion
    @spion
    Jul 30
    I see Hillel Wayne, I repost
    user avatar
    Gergely Orosz
    The Pragmatic Engineer
    @GergelyOrosz
    Jul 29
    There’s a popular theory that AI will finally make formal verification mainstream because mathematical proof of correctness will be needed when machines write most or all of the code. But will this happen? Hillel Wayne is one of the best people to answer. Timestamps: 00:00 Intro
    Image
    00:00
  • user avatar
    spion
    @spion
    Jul 27
    Guessing its online learning or much cheaper long context
    user avatar
    SSI Inc.
    @ssi
    Jul 27
    We are announcing a long-term strategic partnership with NVIDIA. NVIDIA is making a substantial investment in SSI that will let us 10x our compute in the next 12 months. We reached the point where our research is worth scaling and with this partnership we will be able to. We are
  • user avatar
    spion
    @spion
    Jul 24
    We could also start taking security more seriously while we build the software.
    user avatar
    Maxime Fournes⏸️
    @FournesMaxime
    Jul 22
    There's a common argument that AI in cybersecurity is roughly neutral: it strengthens attackers, but it strengthens defenders too, so it evens out. This argument is very poor for many reasons, but I want to mention one that is underemphasized: the level of trust that autonomous