Depth-First Procrastination

from blog Fernando Borretti, | ↗ original
When subgoals recur infinitely.
This is a short summary. ↗ Open original to view full content

Related

Probabilistic Modeling with PRISM
Blog on Hillel Wayne | original ↗
Primitive Recursive Functions For A Working Programmer
matklad | original ↗
Imperative thinking and the making of sandwiches
Scattered Thoughts | original ↗
My first impressions from a few weeks with Lean and Coq
ntietz.com blog | original ↗
Learn one thing at a time
Lawrence Jones | original ↗
Some thoughts on Prolog
Oliver Caldwell's blog | original ↗
Logic Through the Lens of Neural Networks
cprimozic.net Blog | original ↗
The Thought Process Behind My Learning Plan
Lelouch.dev | Blog Posts (Full Content) | original ↗
You Are NOT Dumb, You Just Lack the Prerequisites
Lelouch.dev | Blog Posts (Full Content) | original ↗
If there is no reason for structure, assume there is none.
Vasek Rozhon's blog | original ↗

More from Fernando Borretti

The Best Emacs Microfeature
5 Jun 2024 | original ↗

Why I keep using Emacs in 2024.

The Design Space of Wikis
2 Jun 2024 | original ↗

An exploration of the design space of wikis.

Type Inference Was a Mistake
29 Mar 2024 | original ↗

On type inference as an academic computer science lab leak.

Thoughts on LLM Agents
5 Jan 2024 | original ↗

Entropy, criticality, and complexity classes of cellular automata.

You Need More Constraints
30 Jul 2023 | original ↗

A checklist of useful SQL constraints.