Geoffrey Litt

@geoffreylitt

researching programming tools for all • PhD student at • ex eng 🇯🇵🇺🇸

Cambridge, MA
Vrijeme pridruživanja: prosinac 2010.

Tweetovi

Blokirali ste korisnika/cu @geoffreylitt

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

  1. Prikvačeni tweet
    26. stu 2018.

    Finally sharing the project I presented at @liveprog2018 recently! 📝Margin Notes helps you read code by showing data examples recorded from actual runs of your program. See some demos in the web essay:

    Poništi
  2. proslijedio/la je Tweet

    It basically works exactly like that. Here's the Contacts editor on Haiku, BeOS' spiritual successor... which is actually just a file manager window with a specific set of attributes displayed.

    Poništi
  3. proslijedio/la je Tweet
    Odgovor korisniku/ci

    Yeah, and I feel a trend with software visions, is that the more "sophisticated" and "high level" a vision is the more it wades into the murky territory of semantics and ontologies, which people seem to be really bad at agreeing on at scale...

    Poništi
  4. prije 18 sati

    This fact always blows my mind: the Web “browser” didn’t start out a browser. Creation and editing cane first!!! (IIRC, Netscape later took it in the browsing-only direction)

    Prikaži ovu nit
    Poništi
  5. prije 18 sati
    Prikaži ovu nit
    Poništi
  6. prije 18 sati

    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
  7. prije 18 sati

    Seems like change requires someone who sees the big vision, but isn’t afraid to get pragmatic and take the first baby steps... Entrepreneurship is everywhere

    Prikaži ovu nit
    Poništi
  8. prije 18 sati

    Ted Nelson had the hypertext vision, but Tim Berners Lee had the savviness to sell it

    Prikaži ovu nit
    Poništi
  9. 30. sij
    Prikaži ovu nit
    Poništi
  10. 30. sij
    Prikaži ovu nit
    Poništi
  11. 24. sij
    Prikaži ovu nit
    Poništi
  12. 24. sij

    to be clear, I didn't know the difference 5 years ago -- it's not a problem with individuals, it's the fad culture we're in

    Prikaži ovu nit
    Poništi
  13. 24. sij

    my weird pet peeve these days: people using "Web" and "Internet" as synonyms

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

    The Entropy of Counsel

    Poništi
  15. 22. sij

    Evidence that we're living in a simulation: whenever I imagine literally any MS Office feature that could, in theory, exist, it is lazily created just in time for me to discover it

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

    TIL you can write custom Excel formulas in Javascript that stream live updating data into the sheet 🤯

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

    We're hiring for a unique role at :

    Prikaži ovu nit
    Poništi
  18. 22. sij

    8/8 I still have a lot to learn about types and formal methods, so I'm curious to hear thoughts on all this, or pointers to related ideas/readings!

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

    7/ Of course, speed is necessary, not sufficient. Wrangling terrible compiler errors still sucks even if they're fast. But with thoughtful design, it seems like types and other lightweight formal methods have a key role to play in the future of programming environments

    Prikaži ovu nit
    Poništi
  20. 22. sij

    6/ As other PL techniques get faster, new possibilities will open up for interactive tools... For example, is building an IDE with live program synthesis built in. Autocomplete on mega steroids🤯

    Prikaži ovu nit
    Poništi
  21. 22. sij

    5/ Also relates to my advisor Daniel Jackson's work on "lightweight formal methods." When you work in Alloy (), you're in conversation with the tool, sketching out a model, gradually refining. Speed is critical for that interactive workflow

    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:

    ·