Files
2023-09-30 18:34:20 +01:00

40 lines
2.0 KiB
Markdown
Raw Permalink Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

---
lastmod: "2021-09-12T22:47:44.0000000+01:00"
title: Top Posts
author: patrick
layout: page
---
The generally accessible posts of which I am most proud on this website are:
* [Anki as Learning Superpower] (how to squeeze a bit more out of your Anki usage)
* [The Ravenous] (parody of [The Raven])
* [Thinking Styles] (about how people think differently to each other)
* [On Shakespeare] (the foolishness of teaching Shakespeare in school to pupils of a young age)
The mathematical posts:
* [Slightly Silly Sylow Pseudo-Sonnets][Sylow sonnets] (poetical proof of the Sylow Theorems)
* [General Adjoint Functor Theorem][GAFT] (exposition on the GAFT and how it is actually a very natural theorem)
The computer-science posts:
* [Defunctionalisation] (on an underappreciated method of writing software)
* [Continuation-passing style] (on motivating a technique in functional programming)
* [Rewriting the Technical Interview, in Mathematica] (digging into the internals of Mathematica's parser)
* [In praise of `--dry-run`][dryrun] (a technique for writing better tools)
* [Metatesting your property-based tests] (an easy technique to improve your property-based tests)
[The Ravenous]: {{< ref "2013-10-20-the-ravenous" >}}
[The Raven]: https://en.wikipedia.org/wiki/The_Raven "The Raven Wikipedia page"
[Sylow sonnets]: {{< ref "2013-08-31-slightly-silly-sylow-pseudo-sonnets" >}}
[Thinking Styles]: {{< ref "2013-08-18-thinking-styles" >}}
[On Shakespeare]: {{< ref "2013-07-21-on-shakespeare" >}}
[GAFT]: {{< ref "2015-12-24-general-adjoint-functor-theorem" >}}
[Defunctionalisation]: {{< ref "2020-03-04-defunctionalisation" >}}
[Anki as Learning Superpower]: {{< ref "2020-10-23-anki-learning" >}}
[Continuation-passing style]: {{< ref "2021-03-22-continuation-passing-style" >}}
[Rewriting the Technical Interview, in Mathematica]: {{< ref "2021-03-17-rewriting-technical-interview" >}}
[dryrun]: {{< ref "2021-02-20-in-praise-of-dry-run" >}}
[Metatesting your property-based tests]: {{< ref "2021-02-06-property-based-metatesting" >}}