871 private links
Or, how to specify different git config (name, email, sign key) for projects under different directories.
1) Show what made you care
2) Show, then tell
3) Therefore & But, not And Then
4) Write a draft, cut 10%
5) Do real tests, early & often
A short summary on the method:
- construct an infinite sequence of numbers [f(0), f'(0), f''(0), ...] to represent a function f (note the the boundary conditions are specified directly)
- the sequence can constructd by self-reference (e.g. y = y'), compsition (+, -, negate, *, diff), analytic function composition (g f = g fa :> g' f * f', for log, exp, trig)
- By Taylor expansion, f(a+x) = sum(f[k] * x^k / k!), this allows us to evaluate f at any x.
A discussion about unconventional data structures and algorithms.
I had a lot of fun browsing through this Wikipedia entry!
A diversity of paper airplanes categorized! I felt like looking back to my childhood.
A great introduction article on homotopy type theory! I've been learning HoTT recently, and this article explained it really well.
Also read: https://www.science4all.org/article/homotopy-type-theory/
There are stars all over the place!
A collection of miniature programming languages which demonstrates various concepts and techniques used in programming language design and implementation.
TL;DR: they are converging to sans-serif font mostly for simplification and readability purpose.
An interactive demo on how ants follow simple rules to find near-optimal solutions to feeding and fighting problems.
The author claims the pretention to acquiration twitter is just Elon's joke. Elon's unusal habit is to pretend to acquire something and he has several antecedence before. It's an expensive joke to make but he can afford it as the world's richest person.
Un-paywalled: https://archive.ph/5nLiC#selection-3951.7-3955.102
the Dunning-Kruger effect has nothing to do with human psychology.1 It is a statistical artifact — a stunning example of autocorrelation.
A comment on hackernews summarized it well:
If you want to do great work, you need freedom first.
Play with quantum experiments.
There's fundamentally 3 architypes of programmers, divided by which ideals we hold in highest esteem:
- You are a poet and a mathematician. Programming is your poetry
- You are a hacker. You make hardware dance to your tune
- You are a maker. You build things for people to use
And you don't have to pick one - I realize myself jumping between the three when coding. I often aim for the most beautiful code possible but can easily relegate to the rest when facing real-life challenges.
Kernel schedules to pid 0 on idle, which issues the "halt" instruction (x86) to cause the cpu to stop working. There is a "dynamic tick" technique that don't wake up cpu on a fixed period but rather can be programmed to wake up at some time. The technique is used on mobile processors.
This article is the probably the best one I read on explaining text to image generator (DALL-E/Imagen).
A neat trick. TIL sqlite3 :memory:
. It starts a sqlite3 cli immediately without needing a file.
Townscaper is probably the most interesting procedure generation "game" I played. The buliding are generated for an irregular grid, and yet everything fit together organically. It was always a mystery to me how it actually works. This article explained some of the mechanisms.