William J. Bowman   

@wilbowma

Paren-wielding meta-theorist, PhD. Assistant Prof. at UBC. Compiler correctness, types, meta-programming; memes, cats, plants. Don't take me too srsly.

Vancouver, BC
Vrijeme pridruživanja: lipanj 2009.

Tweetovi

Blokirali ste korisnika/cu @wilbowma

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

  1. Prikvačeni tweet
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    prije 13 sati

    Had a good convo about how self-care enables, rather than detracts from, achievement. My personal self-care rules: 💆🏻 If you go hard, you need to rest hard. 📈 The longer you wait to take a break, the bigger of a break you'll need to take. ⏲️ Any rest is better than no rest.

    Poništi
  3. proslijedio/la je Tweet
    prije 16 sati

    NVIDIA is hiring PL and compiler researchers for deep learning and domain specific languages in Seattle. compiler-jobs@nvidia.com

    Poništi
  4. proslijedio/la je Tweet

    "The problem that I have with it is when I'm working on really hard stuff, I don't exactly know what I'm doing for a long time. And so if the cost of experimentation is driven too high, it actually impairs my ability to get work done." via

    Poništi
  5. proslijedio/la je Tweet
    prije 22 sata

    I've released version 0.0.0 of Unseemly, a typed macro language: . It has the most inconvenient possible file extension: `.≉`

    Poništi
  6. Me: "I will not work today... I will not work today... " Me: *typing* Me: "What the hell? How did this emacs buffer get open?" Me: "Well you were busy chanting or something, so ..."

    Poništi
  7. proslijedio/la je Tweet
    1. velj

    "I know you from Twitter" - Embarrassing for everyone involved - Humiliating - Too online "Your reputation precedes you" - Cool and scary - Mysterious - Potentially ominous - Old-timey villian

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    1. velj
    Poništi
  9. My oyster mushrooms are coming in!

    Poništi
  10. proslijedio/la je Tweet
    1. velj

    First they came for Meta Language And I did not speak out Because I used OCaml...

    Poništi
  11. proslijedio/la je Tweet

    If every freakin' device I buy now wants to be my voice assistant, I'm going to have to find another device to be the HR manager who interviews them, and yet another device to be the security guard who excorts the voice assistants I no longer need off the premesis.

    Poništi
  12. In the time it took you to ask me whether you ought to write that test case you could have written the test ASRGGRasdfahf why would it be to have an extra test?!

    Poništi
  13. proslijedio/la je Tweet
    31. sij

    just LOL'd at the NSF-PAR rejecting a document straight from the Digital Library for not being in archival (PDF/A) form. Thanks ACM!

    Poništi
  14. proslijedio/la je Tweet
    31. sij

    🎶 if you’re anxious and you know it trust yourself 🎶

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    31. sij

    So much of my anxiety has come from burying “want” under layers of “should”. A mistrust of my self that led to vigilance about “getting it right”, since my default would be to get it wrong. But who is it, exactly, who is making the choice to follow the “should”s?

    Prikaži ovu nit
    Poništi
  16. ... Damn clever students preempting my lesson plans by reinventing proof techniques from classic papers ...

    Poništi
  17. proslijedio/la je Tweet
    30. sij

    In my team at GitHub, we'd like to study examples of "nefarious commits" in open source, which introduce a bug on purpose. Can you point me at such commits? Could it have been detected by analysing the committer's behaviour as well as the code change itself?

    Poništi
  18. proslijedio/la je Tweet
    30. sij

    "how do i systematically go from a type theory to a bidirectional system suitable for implementation?" most anyone interested in type-systems design/implementation could learn a few things from Dunfield and Krishnaswami's "Bidirectional Typing" (2019):

    Prikaži ovu nit
    Poništi
  19. If they do, I’ll have two new peace lilies, which I managed to separate in the process.

    Prikaži ovu nit
    Poništi
  20. Their soil was infected with gnats. :( Hopefully they’ll all live.

    Prikaži ovu nit
    Poništi
  21. My kitchen is now a plant infirmary.

    Prikaži ovu nit
    Poništi

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

    ·