corpus.blog
Most cited
Talked about
Blogs
56,966 blogs · [ { "id": "01a0b0c5-b1c5-7344-8208-402ce7f954c2", "title": "A new method for SAT model counting (that doesn't work)", "url": "https://drmaciver.com/notebook/2026/09/a-new-method-for-sat-model-counting-that-doesnt-work/", "published_at": "2026-09-16T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f1537356", "title": "I understand humour (insert caveats and footnotes)", "url": "https://drmaciver.com/notebook/2026/08/i-understand-humour-insert-caveats-and-footnotes/", "published_at": "2026-08-22T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f1b8a939", "title": "Temporary processing loops as a sometimes replacement for background threads", "url": "https://drmaciver.com/notebook/2026/02/temporary-processing-loops-as-a-sometimes-replacement-for-background-threads/", "published_at": "2026-02-23T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f1db2539", "title": "Speeding up conditional sampling with divide and conquer", "url": "https://drmaciver.com/notebook/2025/10/speeding-up-conditional-sampling-with-divide-and-conquer/", "published_at": "2025-10-12T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f27dccfe", "title": "Types of enjoyment", "url": "https://drmaciver.com/notebook/2025/08/types-of-enjoyment/", "published_at": "2025-08-26T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f2c59e50", "title": "Notes on a slightly failed spellcrafting attempt", "url": "https://drmaciver.com/notebook/2025/08/notes-on-a-slightly-failed-spellcrafting-attempt/", "published_at": "2025-08-25T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f2c6adca", "title": "Stable attention as a prerequisite for skill", "url": "https://drmaciver.com/notebook/2025/08/stable-attention-as-a-prerequisite-for-skill/", "published_at": "2025-08-24T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f35f9cc1", "title": "Understanding through calculation", "url": "https://drmaciver.com/notebook/2025/06/understanding-through-calculation/", "published_at": "2025-06-01T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f360ea75", "title": "How to cook frozen chips", "url": "https://drmaciver.com/notebook/2025/05/how-to-cook-frozen-chips/", "published_at": "2025-05-04T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f39822c7", "title": "The wheel turns", "url": "https://drmaciver.com/notebook/2025/05/the-wheel-turns/", "published_at": "2025-05-03T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f42f2e1d", "title": "No", "url": "https://drmaciver.com/notebook/2025/05/no/", "published_at": "2025-05-02T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f52c8f54", "title": "Studying specifics", "url": "https://drmaciver.com/notebook/2025/05/studying-specifics/", "published_at": "2025-05-01T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f5f8448f", "title": "Heavy up front learning requirements", "url": "https://drmaciver.com/notebook/2025/04/heavy-up-front-learning-requirements/", "published_at": "2025-04-30T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f64f6dd7", "title": "Where are your limits?", "url": "https://drmaciver.com/notebook/2025/04/where-are-your-limits/", "published_at": "2025-04-29T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f67a9878", "title": "Motivation gradients", "url": "https://drmaciver.com/notebook/2025/04/motivation-gradients/", "published_at": "2025-04-28T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f7009ecb", "title": "Speaking from the heart", "url": "https://drmaciver.com/notebook/2025/04/speaking-from-the-heart/", "published_at": "2025-04-27T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f7e31eba", "title": "More ways to work out sums", "url": "https://drmaciver.com/notebook/2025/04/more-ways-to-work-out-sums/", "published_at": "2025-04-26T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f8116844", "title": "Introducing a parameter to work out sums", "url": "https://drmaciver.com/notebook/2025/04/introducing-a-parameter-to-work-out-sums/", "published_at": "2025-04-25T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f84f3ae8", "title": "A brief introduction to mathematics with one example many times", "url": "https://drmaciver.com/notebook/2025/04/a-brief-introduction-to-mathematics-with-one-example-many-times/", "published_at": "2025-04-24T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f875a0a8", "title": "What is probabilistic programming?", "url": "https://drmaciver.com/notebook/2025/04/what-is-probabilistic-programming/", "published_at": "2025-04-23T00:00:00+00:00" }, { "id": "01a0876f-d841-714e-8531-6c50f89606e6", "title": "Algebra and insight", "url": "https://drmaciver.com/notebook/2025/04/algebra-and-insight/", "published_at": "2025-04-22T00:00:00+00:00" }, { "id": "01a0e27c-795c-70b9-ba17-16f74b9368f2", "title": "How to do hard things", "url": "https://www.drmaciver.com/2019/05/how-to-do-hard-things/", "published_at": "2019-05-28T12:32:35+00:00" } ] posts
Claim your blog
Back to David MacIver
Blog · corpus.blog/blogs/drmaciver.com/posts
David MacIver
drmaciver.com
2026
A new method for SAT model counting (that doesn't work)
original ↗
16 Sept 2026
I understand humour (insert caveats and footnotes)
original ↗
22 Aug 2026
Temporary processing loops as a sometimes replacement for background threads
original ↗
23 Feb 2026
2025
Speeding up conditional sampling with divide and conquer
original ↗
12 Oct 2025
Types of enjoyment
original ↗
26 Aug 2025
Notes on a slightly failed spellcrafting attempt
original ↗
25 Aug 2025
Stable attention as a prerequisite for skill
original ↗
24 Aug 2025
Understanding through calculation
original ↗
1 Jun 2025
How to cook frozen chips
original ↗
4 May 2025
The wheel turns
original ↗
3 May 2025
No
original ↗
2 May 2025
Studying specifics
original ↗
1 May 2025
Heavy up front learning requirements
original ↗
30 Apr 2025
Where are your limits?
original ↗
29 Apr 2025
Motivation gradients
original ↗
28 Apr 2025
Speaking from the heart
original ↗
27 Apr 2025
More ways to work out sums
original ↗
26 Apr 2025
Introducing a parameter to work out sums
original ↗
25 Apr 2025
A brief introduction to mathematics with one example many times
original ↗
24 Apr 2025
What is probabilistic programming?
original ↗
23 Apr 2025
Algebra and insight
original ↗
22 Apr 2025
2019
How to do hard things
original ↗
28 May 2019