Tweetovi

Blokirali ste korisnika/cu @spdegabrielle

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

  1. Prikvačeni tweet
    Odgovor korisniku/ci

    I've cancelled my ACM membership. The staff were very helpful and said I will get my refund in approximately 14 days.

    Poništi
  2. 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.

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

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet

    Today’s Climate Protest In Front of the ji home State Gujarat Assembly House in Gandhinagar. Instead of judging young climate activists by world leaders, it’s time to . WE WILL NOT STOP MEANS WE WILL NOT STOP.

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

    More updates to the Goblins docs: Added basics of message passing, promises, multiple vats. Also a bunch of edits based on feedback from (thank you!)

    Poništi
  6. proslijedio/la je Tweet
    29. sij

    The only way I can describe a close pass by a driver when you're cycling is like standing on the yellow line when a train comes through the station. It's terrifying. Try it.

    Poništi
  7. proslijedio/la je Tweet
    27. sij

    One month to go till Racketfest! Thursday, February 27, 2020, Berlin. With and on adjacent days, there will be a LOT of great stuff going on in Berlin at the end of February. Come join us and make a !

    Poništi
  8. 25. sij

    massung/r-cade: Racket Cade Game Engine by “The r-cade package is a very simple game engine for the Racket programming language” ⁩

    Poništi
  9. proslijedio/la je Tweet
    21. sij

    About a month to go till Racketfest! Are you ready to get your on in Berlin? FYI: Space is limited! Currently only 12 seats remain.

    Poništi
  10. 25. sij

    Plague Inc. game. Have fun, learn a little. Read their note about coronavirus

    Poništi
  11. proslijedio/la je Tweet
    23. sij

    New blogpost: Time travel degugging in Spritely Goblins, previewed through Terminal Phase

    Poništi
  12. proslijedio/la je Tweet
    23. sij

    Wasting actual days of my life attempting to navigate Apple's code signing, hardened runtime and notarisation requirements for new apps. Seems like it's trivial for apps built with Apple's tools. For non-trivial cross-platform apps like there's no documentation. Grrrr

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

    In America, whenever your workplace is bad to their employees people always advice you to quit. Since when did we become a country of people who run away and quit in the face of abusive power? Don't quit, fight back. Organize. Form a union.

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

    Epic is taking the side that they don’t believe your health care data is YOURS. They want to help hospitals BLOCK your ability to take it where it needs to go. This will prevent the care people deserve. For example coordination of care for cancer patients. Rare disease and more

    Poništi
  15. proslijedio/la je Tweet
    22. sij

    Mathematics is not authority. Mathematics is liberation.

    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    23. sij

    How is this NOT the most popular thing I've ever posted? Maybe people don't realize what it implies about Spritely Goblins as a programming environment

    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    22. sij

    Time travel? In Terminal Phase??? Yes, you can see that in this gif, but the really cool thing demoed here is that the underlying dev environment of Spritely Goblins supports time-travel debugging!

    Prikaži ovu nit
    Poništi
  18. proslijedio/la je Tweet

    An announcement: I'm moving my focus to full time on building the next generation of the federated social web. Better security / abuse resistance, richer interactions, virtual worlds. More here: To support this work:

    Poništi
  19. proslijedio/la je Tweet
    22. sij

    Terminal Phase, a space shooter you can play in a Terminal window

    Poništi
  20. proslijedio/la je Tweet
    15. sij
    Poništi
  21. proslijedio/la je Tweet
    21. sij
    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:

    ·