Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @geoffreylitt
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @geoffreylitt
-
Prikvačeni tweet
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:
https://geoffreylitt.com/margin-notes/ pic.twitter.com/DOPbZX74DGHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Geoffrey Litt 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.pic.twitter.com/kARut0rJHo
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Geoffrey Litt proslijedio/la je Tweet
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...
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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) https://twitter.com/geoffreylitt/status/1155878344434638849?s=20 …pic.twitter.com/IbwPlOAxnH
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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, Engelbartpic.twitter.com/ecATR27SlT
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ted Nelson had the hypertext vision, but Tim Berners Lee had the savviness to sell itpic.twitter.com/CfBhTCkNTB
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
my weird pet peeve these days: people using "Web" and "Internet" as synonyms
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
TIL you can write custom Excel formulas in Javascript that stream live updating data into the sheet
https://docs.microsoft.com/en-us/office/dev/add-ins/excel/custom-functions-web-reqs …pic.twitter.com/KDcqauxMbgPrikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Geoffrey Litt proslijedio/la je Tweet
We're hiring for a unique role at
@MuseAppHQ:https://museapp.com/engineering-partner …Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
6/ As other PL techniques get faster, new possibilities will open up for interactive tools... For example,
@webyrd is building an IDE with live program synthesis built in. Autocomplete on mega steroids
https://github.com/webyrd/Barliman Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
5/ Also relates to my advisor Daniel Jackson's work on "lightweight formal methods." When you work in Alloy (http://alloytools.org/ ), you're in conversation with the tool, sketching out a model, gradually refining. Speed is critical for that interactive workflow
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.

