Deschide articolul original într-un tab nou Schimbarea acestei opțiuni se aplică imediat și reîncarcă pagina.
LECTURA
Înapoi la articole →

Brendon A. Kay

brendonakay.github.io/rss.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 5

  1. Unfortunately, Plastic Software

    (Brendon A. Kay)

    Posted on May 31, 2026 by Brendon Tags: opinion, response, llms, ai, nostalgia Plastic Land In my last post I talked about the hopeful idea that the software industry might use more verification techniques; hardening our systems while using LLMs to our in…

  2. Hopefully, a Shift Towards Correct Software

    (Brendon A. Kay)

    Posted on January 20, 2026 by Brendon Tags: opinion, response, formal verification, lean Formal Verification and Artificial Intelligence In a recent blog post Martin Kleppmann makes a prediction that formal verification will go mainstream.

  3. Slow is Smooth, Smooth is Fast

    (Brendon A. Kay)

    Posted on December 2, 2025 by Brendon Tags: opinion, philosophy, process Starting Fast I was motivated to write this post by today’s popular belief that if you are not rapidly adopting the latest technologies and prioritizing time-to-market over food and…

  4. Dijkstra's Shortest Path Algorithm in Haskell

    (Brendon A. Kay)

    Posted on November 25, 2025 by Brendon Tags: mathematics, haskell, algorithms Introduction For this series of posts I will cover the mathematics and computation, using Haskell, of shortest path algorithms.

  5. About me

    (Brendon A. Kay)

    Posted on November 5, 2025 by Brendon Tags: personal, mathematics, haskell, philosophy Introduction For my first post I will write a little bit about myself.