20 random bookmarks

stuff me collect

2025-12-02

251.

Easel - The remixable online game engine for humans

easel.games

2025-08-02

244.

Natural Number Game - An introduction to mathematical proof.

adam.math.hhu.de#/g/leanprover-community/nng4

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.

2025-06-23

238.

Oh-My-Backend - Roadmap

github.com/bzick/oh-my-backend

Этот документ содержит список (roadmap) навыков, которые часто требуются backend разработчику web-приложений. Документ разделён на этапы (темы). Каждый этап разделён на пункты. Каждый пункт, в документе, подразумевает что:

  • бекендер знает что это и какую проблему решает.

  • бекендер знает для чего и когда следует применить.

  • бекендер знает как с этим работать или знает где подсмотреть.

  • при разработке или проектировании бекендер помнит про них и учитывает в приложении.

2025-04-23

Reposted 225.

Unsure Calculator

filiph.github.io/unsure
224.

Flexbox Labs

flexboxlabs.netlify.app

Flexbox Labs is a visual tool for learning and experimenting with CSS Flexbox. It lets you adjust layout settings in real-time, view changes instantly, and export the HTML/CSS code.

2025-03-26

Reposted 219.

Play Hive Like a Champion

tesera.ru/images/items/2372481/ingersoll_randy_play_hive_like_a_champion_strategy_tactics_a.pdf

Wow so advanced

via Optozorax

2025-03-18

Reposted 216.

Life Altering Postgresql Patterns

mccue.dev/pages/3-11-25-life-altering-postgresql-patterns

2025-01-21

200.

sysz - An fzf terminal UI for systemctl

github.com/joehillen/sysz

2024-12-05

186.

Markwhen

markwhen.com

A markdown-like journal language for plainly writing logs , gantt charts , blogs , feeds , notes , journals , diaries , todos , timelines , calendars or anything that happens over time .

2024-11-24

176.

Nekoweb - free static website hosting service

nekoweb.org

Social media is too limiting. We believe that everyone should be able to freely express themselves in their own little corner of the web, without having to worry about things like algorithms, tracking, or advertisements.
Nekoweb is free of any advertisements, and is run completely by donations from its users.

2024-11-03

168.

Jujutsu — новая система контроля версий

habr.com/ru/articles/853416
  • Отмена любого действия.

  • Поддерживает чтение и запись в Git remote

  • Легко переписывать историю коммитов, rebase становится тривиальным, коммиты (патчи) можно спокойно перемещать между ветками, конфликтов меньше

2024-10-12

Reposted 156.

Collection

git.calculate-linux.org/serg-sg/collection

Сборник различных сценариев автоматизации и справочных материалов

Есть инструкция для почтового сервиса в кластере

2024-09-25

Reposted 152.

Every productivity thought I've ever had, as concisely as possible - Alexey Guzey

guzey.com/productivity

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.

2024-07-04

125.

MangaKa - software for easy line art creation

store.steampowered.com/app/2234500/MangaKa

2024-06-18

92.

DreamBerd: perfect programming language

github.com/TodePond/DreamBerd

perfect programming language.

Best programming language of all time

2024-06-17

87.

Цифровой сад

rustamagamaliev.ru?page_id=39

2024-04-23

62.

Calculus Made Easy

calculusmadeeasy.org

2024-03-15

40.

Workspaces gallery

www.workspaces.xyz

Constantly updating collection of beautiful workspaces. There is short description of items and software from an author, some ideas about creativity.

2024-03-14

35.

Project Gemini

geminiprotocol.net

Gemini 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.

2024-03-13

24.

GUIdebook: Graphical User Interface gallery

guidebookgallery.org/index