Tweetovi

Blokirali ste korisnika/cu @d_christiansen

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

  1. Prikvačeni tweet

    Here's a Haskell implementation of Pie, the language from The Little Typer, in case you want to look it over: It has had no non-me users, so bugs are likelier than in the Racket version.

    Poništi
  2. proslijedio/la je Tweet

    Don't mind me just doing inductive proofs in Redex.

    Poništi
  3. proslijedio/la je Tweet

    Having a REPL in the slides is next-level stuff. Thank you so much to everyone who works on Racket.

    Poništi
  4. proslijedio/la je Tweet
    prije 8 sati

    Never use Academia-not-edu or ResearchGate. If you want to share your working papers, put them on your website or use an open archive. It's a disgrace that the academia thing even has a .edu domain.

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    2. velj

    This is an incredibly astute way of showing how easily AI and information in general is manipulable. And how easily it can be done by a single person.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    30. sij

    Name the bookstore. Name the authors.

    Poništi
  7. Wonderful clouds this morning at the bus stop!

    Pretty clouds
    Poništi
  8. proslijedio/la je Tweet

    "A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs" has been accepted for publication at JFP!

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    29. sij

    Look at all these beautiful people this morning, riding without the worry of private cars. 😍

    Poništi
  10. proslijedio/la je Tweet
    28. sij

    Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online

    Poništi
  11. proslijedio/la je Tweet
    29. sij
    Odgovor korisnicima

    Not only is it now interactive, it is now a *joint activity*: not just request/response cycles a la Shannon's communication model but all sorts of things happening (linters checking, tests running, etc.) all the time, together.

    Poništi
  12. proslijedio/la je Tweet
    28. sij
    Odgovor korisniku/ci

    This, so much this. Same in Germany (Hartz4)

    Poništi
  13. If you want to stick it to the rich, TAX THEM! But make public services for all members of the public.

    Prikaži ovu nit
    Poništi
  14. Prikaži ovu nit
    Poništi
  15. Means testing is one of the worst parts of USA's liberal consensus. Under the guise of "no handouts to the rich" we create two-tiered systems that the most powerful have no investment in, and we make people's lives bureaucratic because the process of means testing is terrible.

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

    PSA: The POPL Plague this year is the flu. Since in the first 24 hours after symptoms you can get an antiviral, if you get flu symptoms after POPL go to the doctor early

    Poništi
  17. proslijedio/la je Tweet

    We'll there from 9:30 a.m. - 2:30 p.m. Come see us and: 💍Bling Your Thing with reflective stickers 🚲Get free bike repair from , 🚴‍♀️Take our All-Season Cycling Class ➕And more! Details at .

    Poništi
  18. proslijedio/la je Tweet

    Dear , moving to online voting in Washington state in any capacity is a TERRIBLE IDEA from a security perspective. Please represent me and other computer security professionals and stand against any future trials of this voting system:

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

    Indeed. And it's valuable to think of type systems plural as human understanding projected on languages from the outside. How we find explanations for things, rather than what things inherently are.

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

    Food for thought: There exists some smallest whole number which no human will ever think about. I wonder how big it is.

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

    BREAKING: for the past several years has been relying on undergrads to teach a majority of classes in the Computer Sci (ECCS) department oftentimes for little to NO wages yesterday an arbitrator ruled, at our behest, that UCB OWES the workers more than $5 MILLION

    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:

    ·