David J. Pearce

@whileydave

Author of the Whiley programming language. Senior Lecturer in Computer Science at Victoria University of Wellington, New Zealand.

Wellington
whiley.org
Vrijeme pridruživanja: svibanj 2011.
102 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @whileydave

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

  1. proslijedio/la je Tweet
    2. velj

    It's the year 2020, and we're still finding buffer overflows in programs written in C. Fortunately, those programs are only esoteric, rarely installed programs like... <checks notes> sudo.

    18 replies 448 proslijeđenih tweetova 1.604 korisnika označavaju da im se sviđa
    Poništi
  2. 2. velj

    Interesting look inside git!

    2 korisnika označavaju da im se sviđa
    Poništi
  3. 26. sij

    Interesting comparison of Coq and the K Framework ...

    5 proslijeđenih tweetova 13 korisnika označava da im se sviđa
    Poništi
  4. 26. sij

    Formal Verification of the Eth2 "Deposit Contract" ... very neat!

    3 korisnika označavaju da im se sviđa
    Poništi
  5. 24. sij

    A “proof-gramming” language? Interesting!!

    2 proslijeđena tweeta 4 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    23. sij

    SOAP 2020 will again be co-located with this year. Do you have some new and exciting work related to program analysis? Consider submitting: Deadline: 2020-03-23

    9 proslijeđenih tweetova 12 korisnika označava da im se sviđa
    Poništi
  7. 22. sij

    "Why use formal methods ... it'll save you money"

    2 korisnika označavaju da im se sviđa
    Poništi
  8. 22. sij

    Actually, quite a good roundup of webapp architectures, inc. icky details!

    Poništi
  9. 22. sij

    Here's the repo for Juvix ... looks like it uses Z3 under the hood. Unsure why they didn't start with though?

    2 korisnika označavaju da im se sviđa
    Poništi
  10. 22. sij

    Juvix ... dependent types for smart contracts?

    2 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    20. sij

    Programming languages become popular when they enable people to make money. The easier it is to make money using them, the more popular they become. That's it. No paradigm shifts, syntax, culture, or tooling can overcome that.

    27 replies 145 proslijeđenih tweetova 724 korisnika označavaju da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    21. sij

    "The university will remain central as long as its would-be competitors continue to act through the vector of populist resentment, rather than an authoritative re-founding of those institutions which grant means and status." |

    2 proslijeđena tweeta 18 korisnika označava da im se sviđa
    Poništi
  13. 22. sij

    Hmmm, I'm not that impressed actually ...

    Poništi
  14. 21. sij

    Entertaining mix of Russian space history and software engineering!

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

    Thoughtful, self-aware reflection on being a 50-50 PhD student/Googler. Wouldn't work for everyone, as he says—maybe esp. not for those w/out this level of reflection. Good reading (and short and sweet). Only imp. thing doesn't address is conflicts of interest.

    Odgovor korisnicima @echristo @lindsey @johnregehr
    Hi, I'm currently in my 4th year of a part-time PhD while working at Google. It's challenging; I would only recommend it if a number of preconditions are met, but it works well for me. I wrote about it a while ago: Feel free to reach out with questions!
    4 proslijeđena tweeta 14 korisnika označava da im se sviđa
    Poništi
  16. 21. sij

    Amazing list of problems with academia!!

    1 korisnik označava da mu se sviđa
    Poništi
  17. proslijedio/la je Tweet
    20. sij

    Here we go: a totally polished and not-at-all half-baked take on static vs dynamic typing

    17 replies 37 proslijeđenih tweetova 131 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 21. sij

    Moldable Development? Curious.

    1 reply
    Poništi
  19. 21. sij

    Anyone heard of Pharo PL Before??

    Poništi
  20. 20. sij

    A surprisingly negative take on Linux Kernel development??

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

@whileydave 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:

    ·