Mistral Contrastin

@madgen_

I like maths, philosophy, modern art, jazz, running, functional and logic programming. I implement Datalogs for a living at . he/him

Cambridge, UK
dodisturb.me
Vrijeme pridruživanja: srpanj 2009.

Medijski sadržaj

  1. 3. velj
    Odgovor korisniku/ci

    Incidentally, I wrote a baby fancy type for matrix multiplication yesterday.

    1 reply 1 korisnik označava da mu se sviđa
  2. 19. stu 2019.
    Odgovor korisniku/ci

  3. 17. stu 2019.
    Odgovor korisniku/ci

    Hiiiiii! Current state

    1 reply 3 korisnika označavaju da im se sviđa
  4. 13. stu 2019.

    More traditional look without currying. Not sure if this is better or worse?

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  5. 13. stu 2019.

    More syntactic regularity upon ’s request. Since facts are just clauses with trivial bodies, `Fact|> fact` can be epxressed as `fact |- true`.

    1 reply 3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  6. 13. stu 2019.

    Taking a step backwards and abusing ASCII less…

    More descriptive Query & Fact delineation
    3 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  7. 13. stu 2019.
    Odgovor korisniku/ci

    I’d like to submit Exhibit A from the Apollo 11 source code. Whatever not statically enforced will make it to production.

    Apollo 11 source code, illustrating programmer's wishful thinking about ephemerality of temporary hacks
    3 korisnika označavaju da im se sviđa
  8. 13. stu 2019.

    Fewer parantheses…

    Haskell DSL for Datalog without many parantheses
    1 reply 1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  9. 13. stu 2019.

    Here is one potential improvement.

    1 reply
    Prikaži ovu nit
    Prikaži ovu nit
  10. 13. stu 2019.

    Coming to a Hackage near you… At some point… I think there are more infix operator and/or overloading shenanigans to make this feel more natural. Open to suggestions.

    5 replies 6 proslijeđenih tweetova 28 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  11. 8. stu 2019.

    Thank you . That’s all I hope to be.

    1 reply 1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
  12. 8. stu 2019.

    As it turns out, if we don’t make people reinvent all of mathematics from scratch, formal verification and dependent types are natural ideas. It is amazing how polished Liquid Haskell is given that it is a research project. It truly exists outside this spectrum:

    Spectrum of programming languages. Showing the compromise between ease of compilation vs runtime errors.
    6 replies 19 proslijeđenih tweetova 43 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  13. 5. stu 2019.
    Odgovor korisniku/ci

    Sounds a bit like FB’s Glean.

    1 reply 1 korisnik označava da mu se sviđa
  14. 29. lis 2019.

    Yearly reminder that survives on donations and of the iconic 2010 fundraiser photo of .

  15. 22. lis 2019.

    Woaa, FB is building a Datalog, I've been living under a rock.

    8 korisnika označava da im se sviđa
  16. 20. lis 2019.

    My weekend was fine thank you. (Don’t worry, I also cooked, am listening to live jazz, heading to pub in a minute, and then to movies, but type-level shenanigans are also entertaining)

    A screenshot of 12 Haskell extensions related to type-level programming
    1 reply 4 korisnika označavaju da im se sviđa
  17. 21. ruj 2019.
    Odgovor korisniku/ci

    I’m okay with this

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
  18. 20. ruj 2019.

    High quality Friday evening "-_-

    1 korisnik označava da mu se sviđa
  19. 15. kol 2019.

    While pointing to the pointer with a pointer(?)

    1 reply 1 proslijeđeni tweet 12 korisnika označava da im se sviđa
  20. 2. kol 2019.

    I’m looking for compiler/formal methods/static analysis related jobs ideally using functional (Haskell) and/or declarative (Datalog/Prolog) programming languages for after my PhD. Let’s hope it doesn’t come to this:

    ASTROLOGY
    10 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit

@madgen_ još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·