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).
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.
HTMX in PostgREST!
create or replace function api.index() returns "text/html" as $$
select $html$
<!DOCTYPE html>
<html>
...
</html>
$html$;
$$ language sql;
So true
Trigger warnings for movies, TV, books, video games and more!
I’ve completely eliminated the alarm clock from my morning routine for about six months. The biggest impacts it's had on my life are: I’ve become a morning person. I wake up feeling great and feel less sleepy during the day.
A - The task requirements and goals might not be clear enough. If you are trying to get yourself to “plan for a project” or “write a book” then it’s hard to identify the next actionable items. Put some time aside to figure out what physical things you can do to move the project forward. Try break down the larger tasks into the smallest pieces possible. The goal of the project might need identifying, or the requirements fleshed out from a supervisor.
B - The task might exceed your current competency. Sometimes we know what we have to do, but don’t know how to do it, and then we become avoidant rather than admitting this. In this case, it’s worth figuring out what you do know how to do and what you don’t know how to do, and be honest with that. Then slowly ask for help or read up on the things you don’t know.
C - The tasks might really not be worth it. Sometimes you are assigned tasks that don’t actually help you achieve your long-term goals, and so your brain demotivate you from doing them. Maybe the payoff is low, maybe you don’t learn anything new from them, or maybe a colleague you don’t like will gain credit for the tasks, or maybe you just wont be rewarded or appreciated for getting the tasks done.
Open source 2FA authenticator, with end-to-end encrypted backups
Instantly publish your own books on the web for free, no publisher required.
Blogging and posting on social is easy. But why is it so hard to publish a whole book on the web? It’s not anymore. Writebook is remarkably simple software that allows you to publish text and pictures in a simple, browsable online book format.
A single-user “wiki” engine powering the ThoughtStorms wiki.
This is a book about building applications using hypermedia systems.
I can't get the noise out of my head. People who watch the video express awe and disgust. And that is why Dutch software developer Bert Hubert's experiment is so powerful. It doesn't really uncover something that we shouldn't already know. Something we often choose to ignore. The brilliance is
WTF Notebook gives me a place to park the impulse to fix it now, damn it! until I have more context for deciding what to work on first. Instead, for two weeks, I just write things down.
EditorConfig helps maintain consistent coding styles for multiple developers working on the same project across various editors and IDEs. The EditorConfig project consists of a file format for defining coding styles and a collection of text editor plugins that enable editors to read the file format and adhere to defined styles. EditorConfig files are easily readable and they work nicely with version control systems.
Set of tools to be installed on every your server, because if something goes down there might be no way and/or time to install it anymore
you can save stuff and it will auto label it. single page with all links, quotes, etc. smart search, tags