20 random bookmarks
stuff me collect
stuff me collect
In this game, we will build the basic theory of the natural numbers {0,1,2,3,4,...} from scratch. Our first goal is to prove that 2 + 2 = 4. Next we'll prove that x + y = y + x. And at the end we'll see if we can prove Fermat's Last Theorem. We'll do this by solving levels of a computer puzzle game called Lean.
Ensō is a writing tool that helps you enter a state of flow. It does this by separating writing from editing and thus making it harder for you to edit yourself.
The text fades away as you type so you can focus on what you want to say instead of how you want to say it.
You can’t select or edit text, but you can download and review it once you’re done.
What
git configsettings should be defaults by now? Here are some settings that even the core developers change.
A Genealogy of Technology and Power Since 1500
Very detailed visualisation of technology, science and culture that lead to the current state of world.
A few basic rules for buying and using computers can save anyone significant amounts of money and produce the confidence required to try new things with computers.
Knowing the consequences I want, what choice would create them? What big choice would nudge a hundred others that way?
So true
Server racks as home furniture.
Don't leave openings in which you are going to insert code at some future date when the problem changes because inevitably the problem will change in a way that you didn't anticipate. Whatever the cost it's wasted. Don't anticipate, solve the problem you've got.
Very cool wiki design with backlinks, links preview etc
Personal website of Gwern Branwen (writer, self-experimenter, and programmer): topics: psychology, statistics, technology, deep learning, anime
perfect programming language.
Best programming language of all time
История о том, как наше Бюро проектировало лучшую тележку для торговых сетей группы X5
Hundred Rabbits is an artistic duo hacking their way around the Pacific on their sailboat. I invited them to sit down for an interview to talk about about their lifestyle, art, philosophy, and their SourceHut projects.