20 random bookmarks
stuff me collect
2025-08-02
Natural Number Game - An introduction to mathematical proof.
adam.math.hhu.de#/g/leanprover-community/nng4In 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.
2025-06-23
Oh-My-Backend - Roadmap
github.com/bzick/oh-my-backendЭтот документ содержит список (roadmap) навыков, которые часто требуются backend разработчику web-приложений. Документ разделён на этапы (темы). Каждый этап разделён на пункты. Каждый пункт, в документе, подразумевает что:
-
бекендер знает что это и какую проблему решает.
-
бекендер знает для чего и когда следует применить.
-
бекендер знает как с этим работать или знает где подсмотреть.
-
при разработке или проектировании бекендер помнит про них и учитывает в приложении.
2025-06-18
Micro Habits that Fuel Depression
youtu.be/EyC5yJVLlUM2025-02-16
Providing HTML Content Using Htmx
docs.postgrest.org/en/v12/how-tos/providing-html-content-using-htmx.htmlHTMX in PostgREST!
create or replace function api.index() returns "text/html" as $$
select $html$
<!DOCTYPE html>
<html>
...
</html>
$html$;
$$ language sql;2025-01-21
bin - effortless binary manager
github.com/marcosnils/binManages binary files downloaded from different sources
2025-01-13
How I ship projects at big tech companies | sean goedecke
seangoedecke.com/how-to-ship-
Shipping is really hard and you have to make it your main priority
-
Shipping doesn’t mean deploying code, it means making your leadership team happy
-
You need your leadership team to trust you in order to ship
-
Most of the essential technical work is in anticipating problems and creating fallback plans
-
Scale back your implementation work as you approach launch so you’re free to jump on last-minute problems
-
You should constantly ask yourself “can I ship right this second?”
2024-11-24
Super cool looking personal site
caitsith.neocities.org/myhomepageIt has aesthetics associated with 90s and 2000s internet.
2024-08-30
13 Feet Ladder
github.com/wasi-master/13ftThis is a simple self hosted server that has a simple but powerful interface to block ads, paywalls, and other nonsense. Specially for sites like medium, new york times which have paid articles that you normally cannot read
2024-07-26
The UNIX Pipe Card Game
punkx.org/unix-pipe-gameThis is a card game for teaching kids how to combine unix commands through pipes.
2024-07-04
Slverbullet: The hackable notebook
github.com/silverbulletmd/silverbullet
Notes as database. Supports Frontmatter, querying, backlinks, live preview, wiki style linking link, templates.
2024-07-02
A guide to home row mods
precondition.github.io/home-row-modsWhat are home row mods? What is a mod-tap? What settings do you need to use? What are the alternatives? And more in this article...
bouncepaw:
I don't think home row mods are a good idea.
I use home row mods for several month, the only downside is a need for a separate layer without mods for gaming
2024-06-18
Your brain does not process information and it is not a computer | Aeon Essays
aeon.co/essays/your-brain-does-not-process-information-and-it-is-not-a-computerYour brain does not process information, retrieve knowledge or store memories. In short: your brain is not a computer
2024-05-23
git man page generator
git-man-page-generator.lokaltog.net#dGVhciQkaGFzaA==Create an infinite amount of straightforward and readable git manual pages.
Service that generates random man pages mocking Git’s dense documentation style.
2024-04-30
93% of Paint Splatters are Valid Perl Programs | Colin McMillen
www.mcmillen.dev/sigbovikmerely 93% of paint splatters parse as valid Perl.
2024-03-19
A Society That Lost Focus
ploum.net/2024-03-18-lost-focus.htmlSimply do the math. If you have 180 friends on Facebook, which seems to be a low amount those days, if your friends take, on average, 10 days of vacation per year, you will have, on average, five friends on vacation every day. Add to this statistic that some people like to re-post pictures of old vacations and it means that you will be bombarded daily by pictures of sunny beaches and beautiful landscapes while you are waiting under neon light for your next boring meeting in a gray office. By design, Facebook makes you feel miserable.
Our mind, not the technology, is the bottleneck. We need to care about our minds. To dedicate time to think slowly and deeply.
2024-03-14
Project Gemini
geminiprotocol.netGemini is a new internet technology supporting an electronic library of interconnected text documents. Gemini isn't about innovation or disruption, it's about providing some respite for those who feel the internet has been disrupted enough already. We are out to build a lightweight online space where documents are just documents, in the interests of every reader's privacy, attention and bandwidth.
Solarpunk
garden.bouncepaw.com/hypha/solarpunk-
In the wonderful solarpunk future, we do not use telepathy
-
In the wonderful solarpunk future, we have enough time to not do two things at once
2024-03-13
Sage advice for a calmer, more fulfilling digital life | datagubbe.se
www.datagubbe.se/sageIf you can't decide between two applications, pick the one with less input lag.
Managing Gigabytes of Images with git-annex
switowski.com/blog/git-annexWhat is git-annex, how to set it up to store large files in Google Drive or NAS, and how I use it to seamlessly manage a git repository of 20GB (and counting)?
2024-03-12
MyMind - something like betula and pinterest with AI
mymind.comyou can save stuff and it will auto label it. single page with all links, quotes, etc. smart search, tags