Scott Fleischman

@scottfleischman

Software Developer at Plow Technologies: Haskell, OCaml/ReasonML, Nix, Agda. Ancient languages: Hebrew, Greek, Latin.

Spokane, WA
Vrijeme pridruživanja: kolovoz 2010.
248 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @scottfleischman

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @scottfleischman

  1. 30. sij

    Combining predicate transformer semantics for effects: a case study in parsing regular languages Tim Baanen, Wouter Swierstra

    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  2. proslijedio/la je Tweet
    27. sij

    Hello all! Welcome to Coq's official Twitter! We will share exciting news and events related to Coq; see for the proper channels for bug reports or technical discussion. This account is community-managed by , , and . Have fun!

    1 reply 86 proslijeđenih tweetova 135 korisnika označava da im se sviđa
    Poništi
  3. 23. sij

    Miegakure Update End of 2019

    Poništi
  4. proslijedio/la je Tweet
    21. sij
    Odgovor korisniku/ci

    And now I'm in, too! I wish I can bring what I've learned from Agda to Arend

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  5. 21. sij

    POPL 2020 talks appearing online

    9 proslijeđenih tweetova 14 korisnika označava da im se sviđa
    Poništi
  6. 14. sij

    LF+ in Coq for fast-and-loose reasoning Alessi, Ciaffaglione, Di Gianantonio, Honsell, Lenisa, Scagnetto

    Poništi
  7. 14. sij

    Fully Abstract from Static to Gradual - Jacobs, Timany, Devriese Q: What is a good gradual language? A: The embedding from the static to the gradual language should be fully abstract.

    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    8. sij

    Are you interested in doing a PhD to advance the current state-of-the-art of dependently typed programming in ? Well, do I just have the perfect position for you:

    44 proslijeđena tweeta 59 korisnika označava da im se sviđa
    Poništi
  9. 7. sij

    h/t

    Didn't see this one coming: . This will be fun.
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  10. 7. sij

    Bluespec, Inc. to Open Source Its Proven BSV High-level HDL Tools > Various projects have demonstrated the verification advantages of BSV hardware (Kami at MIT, BlueCheck at the University of Cambridge).

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  11. 19. stu 2019.

    Naive cubical type theory Bruno Bentzen 2019 In the spirit of Halmos' Naive Set Theory

    1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Poništi
  12. 18. stu 2019.

    Dependent Type Systems as Macros. Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman To appear In Proc. of the Symposium on Principles of Programming Languages (POPL 2020)

    1 reply 5 proslijeđenih tweetova 10 korisnika označava da im se sviđa
    Poništi
  13. 14. stu 2019.

    Source-free, Machine-checked Validation of Native Code in Coq KW Hamlen, D Fisher, GR Lundquist - 2019

    3 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  14. 14. stu 2019.

    Embracing a mechanized formalization gap Pragmatic software system verification (Extended version) A Spector-Zabusky, J Breitner, Y Li, S Weirich

    2 korisnika označavaju da im se sviđa
    Poništi
  15. 12. stu 2019.

    Back to Futures Klaas Pruiksma and Frank Pfenning

    1 proslijeđeni tweet
    Poništi
  16. 12. stu 2019.

    System F in Agda, for fun and profit James Chapman, Roman Kireev, Chad Nester, and Philip Wadler

    1 reply 5 proslijeđenih tweetova 21 korisnik označava da mu se sviđa
    Poništi
  17. 5. stu 2019.

    "univalence is not *inherently* constructive."

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    29. lis 2019.

    There's a 3 year postdoc position available, to work with me on Interactive Type Driven Development in Idris. Closing date 26th November, please spread the word!

    154 proslijeđena tweeta 155 korisnika označava da im se sviđa
    Poništi
  19. 1. stu 2019.

    Words of wisdom

    Odgovor korisniku/ci @_julesh_
    Do good work and what you think is right, and eventually good things will happen. It may take longer than doing popular things or what is expected by the system, but ultimately it's the only way to scientific success and personal happiness.
    2 korisnika označavaju da im se sviđa
    Poništi
  20. 1. stu 2019.

    "My hope is that the new compiler feels more like a teacher, showing helpful and relevant examples when you get stuck." I really like this mentality and approach.

    3 korisnika označavaju da im se sviđa
    Poništi

@scottfleischman još nije objavio nijedan Tweet.

Č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:

    ·