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

James Haydon

jameshaydon.github.io/atom.xml
Vizitează site-ul

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 7

  1. Using algebra and LLMs to verify a flight-plan bug fix in Lean

    (James Haydon)

    Formal verification has, until now, been a very laborious process.

  2. Solving `Passport Application` with Haskell

    (James Haydon)

    (Comments on HackerNews, Reddit and Lobste.rs) There's a trend at the moment of solving online games with programming, let's do one from the UK called Passport Application, which is developed by "His Majesty's Passport Office" or HMPO.

  3. Domain structured programming (UK ATC meltdown)

    (James Haydon)

    This is part 3 of my blog posts about the UK air traffic control meltdown.

  4. UK ATC meltdown and swiss cheese

    (James Haydon)

    This is a short follow-up of my post about the UK air traffic control meltdown.

  5. UK air traffic control meltdown

    (James Haydon)

    Comments on reddit and Hacker News.

  6. Why (some) Python programmers don't want Haskell

    (James Haydon)

    A Haskell discourse thread asks why more Python developers couldn't instead be using Haskell.

  7. Publications

    (James Haydon)

    Papers: dblp publication list Thesis: Étale homotopy sections of algebraic varieties.