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.
It doesn’t matter what the project is; it matters that it is.
You don’t need to know where it’s going to lead. For that matter, it doesn’t have to lead anywhere. Nothing ever has to come of it. It’s ok if this project never even exists, as far as anyone else is concerned. Failure isn’t failure; it’s part of the process. It’s done when you’re done with it.
So whatever your side project is: I encourage you to pick it up, and let that part of you exist (again).
Splits whole screen by named squares and moves cursor there.
Note: Windows and Linux support are still in development.
explanation: https://youtu.be/FYV4HbW2XCI
I like the idea, but my laziness makes me avoid any non-automatic methods. I’d prefer a format similar to Mycomarkup or Markdown, but with built-in support for embedding images and other binary content, turning a web article into a single file. I’m aware of data: images in Markdown, but they’re not very convenient to use.
A container-based approach to boot a full Android system on regular GNU/Linux systems running Wayland based desktop environments.
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.
It’s probably leaching chemicals into your cooking oil.
Replacing a black plastic spatula with a steel or silicone option is an easy way to cut down on at least part of one’s daily dose of hormone disruptors
I’m gonna show you some weird timezones. In fact, the weirdest timezones.
To learn how their weirdness is represented in software, we’ll look at the raw timezone files that all software ultimately relies on.
Similarly, one might begin to talk instead of watching talk-shows and to play instead of watching game shows — To value the entire spectrum of sensations as necessary members of the whole that is the deliberate existence, with its potential for failure, awkwardness, loneliness, harm and death included.
HackerNews post about Betula
Create an infinite amount of straightforward and readable git manual pages.
Service that generates random man pages mocking Git’s dense documentation style.
If you had the choice to sculpt a leg chair out of wood or write a full-fledged audio engine, complete with kernel drivers and whatnot, inside an app for controlling monitor brightness, what wou… Wait, no, that's not a question, you would do the leg chair for sure. There's no way that other thing makes sense.
Прекрасная статья о выборе человечества - покинуть планету с её проблемами или остаться и решать их? Обратиться к корням - природе, ручному труду или отвергнуть прошлое и адаптироваться к жестокому космосу?
Как сказал Курт Воннегут: "What makes you think you’re going anywhere?"
Подобные Дайсонам, в моей душе борются отец и сын, правда скорее поменявшись ролями. Тянуться к недостижимому космосу, к неизведанным и от того прекрасным технологиям с их бесконечными проблемами? Или обратить внимание на верную спутницу человека - прекрасную Землю и, возможно, обрести покой в отказе от амбиций?
Constantly updating collection of beautiful workspaces. There is short description of items and software from an author, some ideas about creativity.
This is a collection of random thoughts regarding the application of permacultural ideas to the computer world.
TL;DR В статье рассказывается о том, как мне удалось перевести чтение лент в ВКонтакте, Telegram, Facebook, Instagram, Reddit и почтовых рассылок в единый сервис InoReader. Причем почти без написания своих велосипедов