Brian Hempel

@brianhempel

I like pretty things. I want to make pretty things. Wondrous beauty woos me and no-one has tried to convince me that the beauty I want is not Jesus the King.

Vrijeme pridruživanja: svibanj 2012.

Tweetovi

Blokirali ste korisnika/cu @brianhempel

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

  1. Prikvačeni tweet
    4. stu 2018.

    How much direct manipulation can you add to traditional programming? Could you make a program entirely by output manipulations and no text-based coding? For our LIVE 2018 demo, we do so: creating a recursive program that draws a Koch fractal.

    Poništi
  2. proslijedio/la je Tweet

    . has received two most influential paper awards for his work on program synthesis that he started at Microsoft 10 years ago. Congrats to Sumit & his collaborators! POPL 2010 paper: ICSE 2010 paper:

    Poništi
  3. 3. velj

    Yes, and these types need to be (a) all the way down to primitives like "2D matrix of numbers" and (b) gregarious. If you have a JPEG you can use it as compressed bytes, as 8x8 DCT blocks, as decompressed 2D colors, or as text OCR'd out of it. ( )

    Poništi
  4. proslijedio/la je Tweet
    2. velj

    I’m increasingly convinced demos and prototypes are the only really effective way to communicate a software vision. TBL got it. So did Jobs, Bret Victor, Engelbart

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

    I've been hacking on a little tool lately that's kinda relevant to this... At 3:10 in this demo video, I drag select multiple listings on a website, and bulk perform an action on them. How much time would be saved by "bulk ___" anywhere on the web??

    Poništi
  6. proslijedio/la je Tweet
    23. srp 2019.

    Types not bytes! (cc Unix)

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

    every programming language is bad and my favorite one is the one where I'm most familiar with the ways it is bad

    Poništi
  8. 27. sij

    Between the advances in neural NLP and program synthesis, the tech is definitely there for line-by-line natural language speech to formal code. Anybody aware of any interactive systems that do this?

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

    "The medical problems faced by musicians are so severe that there are books, physicians, and discussion groups devoted to them. Repetitive stress injuries are common. Neither the instruments nor the notation would pass any human-centered design review."

    Poništi
  10. 22. sij

    Script to remove ugly “RightsLink” images in PDFs from the new ACM Digital Library. $ remove_rightslink_images *.pdf

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

    This video is the neatest and punchiest (literally!) demo of an early minicomputer I've yet seen.

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

    An adblocker that replaces ads with a random todo from your todo list.

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

    I'm delighted to be the Programme Chair for this year's Onward! Papers, and even more to have a stellar PC on board. Time to get thinking about your paper: what's your plan for advancing the state of software? Submissions are due in three months!

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

    JSON is not a type of any consequence.

    Poništi
  15. 15. sij

    To be fair, there is a certain fun to it. And that's part of the problem. Programming is indeed, in 's words, "a cross between Dungeons & Dragons and Rubik’s Cube, elaborated a thousand-fold." Those are fun things. But not things for everyone.

    Prikaži ovu nit
    Poništi
  16. 15. sij

    Course evals are in. True feelings about programming successfully hidden. There are things you should not learn until you are older.

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

    Convivial Computing secret bonus level unlocked! Abstract submission extended until Friday Jan 17, final versions next Wedneday Jan 22

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

    First day of the new semester.

    Prikaži ovu nit
    Poništi
  19. 14. sij

    Unsurprisingly I spewed out an angry rant today “it’s 2019 and our operating systems can’t do x!!!!” Well that was a mistake. But don’t get comfy 2020 your OSes are terrible too my wrath is coming for you

    Poništi
  20. proslijedio/la je Tweet
    14. lis 2019.

    "We were promised bicycles for the mind, but we got aircraft carriers instead." Call for submissions to the Convivial Computing Salon deadline Jan 15

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

    ·