69
My unusual hobby | Stephan Boyer
Automatic theorem proving as a hobby.
coq  theoremProving 
18 days ago
The Vanual
On living in a van I guess.
van  freedom 
21 days ago
The da Vinci Pause - Study Hacks - Cal Newport
"...to take advantage of this reality it helps to cultivate da Vinci’s ability to pause when something catches your attention, and to then give it the intense, deep concentration needed to transform a fleeting spark into something more substantial."
davinci  isaacson 
27 days ago
@20 (Ftrain.com)
Paul Ford writing about his 20 years on the internet.
thoughts  theinternet 
6 weeks ago
Google Testing Blog: Just Say No to More End-to-End Tests
Google writing about the difficulty of end to end testing.
testing 
6 weeks ago
Modern JavaScript Explained For Dinosaurs – Peter Jang – Medium
Historical context of how JavaScript tools have evolved to what they are today in 2017.
javascript  history  framework 
7 weeks ago
The day I became a millionaire
I grew up lower-middle class on the outskirts of Copenhagen. Anywhere outside of Scandinavia, the socioeconomic label would probably have…
millionaire  dhh  basecamp 
october 2016
a absolute agile angular animal api autism backyard basecamp bash basics book books box_model built business c c++ campbell cartoon categorytheory cheatsheet codeahoy codereview coding complexity containingblock coq craft critique cruelty cs css csv date davinci dev developers development dhh diet disconnect django documentation doom ducttape editing email excel exercises exploit facebook fetch finance framework freedom games gc genius github go height heigth history ide in integration intermittent_fasting ipad isaacson java java8 javascript joelspolsky js latex layout learning linux long longreads markdown marketing millionaire modding mosh norvig notes openfloor opensource openspace papers performance phd plugins portable position positive pragmatic process productivity programming python pytudes quotes rant rantjs react reading regex relative routine runway ruthless_prioritization sales scrum sheldonize software software_engineering specificity sprint startup startups studying talks terminal testing thanksgiving theinternet theoremproving thoughts todo toread towrite tufte tuning tutorial van vegan via:popular vim vscode vulnerability web yegor you your ·

Copy this bookmark:



description:


tags: