Dan's links

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.

game,learn,math

Reposted 232.

Найти и обезбрендить [что я делаю и чем это объясняю]

ponomoona.livejournal.com/179335.html

Автор убирает рекламу и логотипы вообще со всего и делает это очень красиво

design,mindset

222.

The blissful zen of a good side project

joshcollinsworth.com/blog/the-blissful-zen-of-a-good-side-project

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

hobby,mindset

212.

If it is worth keeping, save it in Markdown

p.migdal.pl/blog/2025/02/markdown-saves

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.

archive,data_hoarding,markdown,markup

Reposted 205.

Providing HTML Content Using Htmx

docs.postgrest.org/en/v12/how-tos/providing-html-content-using-htmx.html

HTMX in PostgREST!

create or replace function api.index() returns "text/html" as $$
  select $html$
    <!DOCTYPE html>
    <html>
    ...
    </html>
  $html$;
$$ language sql;

database,htmx,postgres

Reposted 181.

Make It Ephemeral: Software Should Decay and Lose Data

lucumr.pocoo.org/2024/10/30/make-it-ephemeral

So true

software

Reposted 166.

Does the Dog Die?

www.doesthedogdie.com

Trigger warnings for movies, TV, books, video games and more!

cinema,health

164.

No More Alarm Clocks

ajkprojects.com/nomorealarmclocks

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.

health,shedule,sleep

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.

management,productivity

Reposted 131.

Rye Language

ryelang.org

cli,data_science,programming_language,spreadsheets

126.

Ente Auth

ente.io/auth

Open source 2FA authenticator, with end-to-end encrypted backups

auth

Reposted 121.

Writebook

once.com/writebook

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.

books,publishing,self-hosted,webapp,writing

Reposted 84.

interstar/cardigan-bay: A new wiki engine in Clojure ...

github.com/interstar/cardigan-bay

A single-user “wiki” engine powering the ThoughtStorms wiki.

clojure,wiki

71.

Hypermedia Systems - FastAPI+HTMX book

hypermedia.systems/book/contents

This is a book about building applications using hypermedia systems.

book,fastapi,htmx

Reposted 67.

The creepy sound of online trackers

axbom.com/the-creepy-sound-of-online-trackers

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

bad_web,security

58.

Why you need a "WTF Notebook"

www.simplermachines.com/why-you-need-a-wtf-notebook

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.

notes,programming,soft_skills

Reposted 52.

EditorConfig

editorconfig.org

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.

config,text_editors

47.