Smaug123 2cd7f6839e ChatGPT and Claude suggestions

2024-10-26 21:00:27 +01:00

..

2013-06-26-cucats-puzzlehunt.md

Import Hugo

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

2013-06-26-first-post.md

Import Hugo

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

2013-06-26-sylow-theorems.md

Add flake check

2023-10-01 16:55:13 +01:00

2013-07-03-in-which-i-augment-the-lexicon.md

Import Hugo

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

2013-07-04-cambridge-undergrad-maths-tips.md

Import Hugo

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

2013-07-06-cambridge-vocab-a-guide-for-the-mystified.md

Import Hugo

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

2013-07-07-mundane-magics.md

Import Hugo

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

2013-07-08-an-obvious-improvement-to-tennis.md

Import Hugo

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

2013-07-09-stumbled-across-9th-july-2013.md

Import Hugo

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

2013-07-10-imre-leader-appreciation-society.md

Import Hugo

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

2013-07-12-a-framework-for-discussing-pricelessness.md

Import Hugo

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

2013-07-13-stumbled-across-13th-july-2013.md

Import Hugo

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

2013-07-14-prerequisites-for-hypothetical-situations.md

Import Hugo

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

2013-07-14-the-multiple-drafts-view-of-consciousness.md

Import Hugo

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

2013-07-18-my-objection-to-the-one-logical-leap-view.md

Import Hugo

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

2013-07-21-on-shakespeare.md

Import Hugo

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

2013-07-22-the-orbitstabiliser-theorem.md

Import Hugo

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

2013-07-24-stumbled-across-24th-july-2013.md

Import Hugo

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

2013-07-25-metathought.md

Import Hugo

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

2013-07-29-stumbled-across-29-july-2013.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-07-30-on-to-do-lists-as-direction-in-life.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-04-new-computer-setup.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-04-stumbled-across-4-august-2013.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-11-stumbled-across-11th-august-2013.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-18-thinking-styles.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-21-my-experiences-with-flow.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-22-how-to-punt-in-cambridge.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-24-stumbled-across-24-august-2013.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-08-26-topology-made-simple.md

Import Hugo

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

2013-08-31-slightly-silly-sylow-pseudo-sonnets.md

Import Hugo

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

2013-09-13-stumbled-across-14th-september-2013.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-09-21-how-to-prove-that-you-are-a-god.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-10-10-plot-armour.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-10-11-meaning-what-you-say.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-10-13-training-away-mental-bias.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-10-20-the-ravenous.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-10-24-how-to-do-analysis-questions.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-11-07-my-quest-for-a-new-phone.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-11-12-markov-chain-card-trick.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-11-23-the-jean-paul-sartre-cookbook.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2013-12-14-the-training-game.md

Import Hugo

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

2013-12-22-three-explanations-of-the-monty-hall-problem.md

Import Hugo

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

2013-12-30-smartphone-charter.md

Import Hugo

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

2014-01-02-the-creation.md

Import Hugo

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

2014-01-12-denouement-of-myst-iii-exile.md

Import Hugo

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

2014-01-24-introduction-to-functional-programming-syntax-of-mathematica.md

Import Hugo

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

2014-01-28-writing-essays.md

Import Hugo

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

2014-02-16-rage-rage-against-the-poets-hardest-sell.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-03-20-a-roundup-of-some-board-games.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-03-30-how-to-discover-the-contraction-mapping-theorem.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-04-04-discovering-a-proof-of-heine-borel.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-04-07-useful-conformal-mappings.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-04-15-sample-topology-question.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-04-17-cayley-hamilton-theorem.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-04-26-sequentially-compact-iff-compact.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-05-03-discovering-a-proof-of-sylvesters-law-of-inertia.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-05-26-proof-that-symmetric-matrices-are-diagonalisable.md

Add redirects from latest Internet trawl of dead links (#22)

2024-09-28 19:40:40 +01:00

2014-06-25-possible-cons-of-Soylent.md

Import Hugo

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

2014-07-13-solvability-of-nonograms.md

Import Hugo

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

2014-07-15-what-maths-does-to-the-brain.md

Import Hugo

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

2014-07-19-music-practice.md

Import Hugo

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

2014-07-21-perfect-pitch.md

Import Hugo

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

2014-08-19-parables.md

Import Hugo

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

2014-08-26-python-script-shadowing.md

Import Hugo

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

2014-09-09-sum-of-two-squares-theorem.md

Add flake check

2023-10-01 16:55:13 +01:00

2014-12-02-christmas-carols.md

Import Hugo

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

2014-12-09-film-recommendation-interstellar.md

Import Hugo

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

2014-12-19-matrix-puzzle.md

Import Hugo

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

2014-12-23-latin-translation-tips.md

Import Hugo

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

2015-01-29-motivational-learning.md

Import Hugo

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

2015-08-19-awodey.md

Import Hugo

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

2015-08-21-proof-by-contradiction.md

Import Hugo

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

2015-09-25-lottery-odds.md

Import Hugo

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

2015-11-12-eilenberg-moore.md

Import Hugo

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

2015-11-28-my-first-forcing.md

Import Hugo

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

2015-12-24-general-adjoint-functor-theorem.md

Import Hugo

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

2015-12-31-monadicity-theorems.md

Import Hugo

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

2016-01-01-multiplicative-determinant.md

Import Hugo

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

2016-01-26-representable-functors.md

Import Hugo

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

2016-02-05-friedberg-muchnik-theorem.md

Import Hugo

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

2016-03-03-a-certain-limit.md

Import Hugo

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

2016-03-28-clojure-exercism.md

Import Hugo

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

2016-04-08-another-monty-hall-explanation.md

Import Hugo

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

2016-04-13-independence-of-choice.md

Import Hugo

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

2016-04-21-modular-machines.md

Import Hugo

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

2016-04-27-tennenbaums-theorem.md

Import Hugo

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

2016-05-25-finitistic-reducibility.md

Import Hugo

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

2016-06-13-the-use-of-jargon.md

Import Hugo

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

2016-06-15-part-iii-essay.md

Import Hugo

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

2016-08-05-be-a-beginner.md

Import Hugo

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

2016-08-07-a-free-market.md

Import Hugo

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

2016-08-10-reinvent-maths.md

Import Hugo

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

2016-12-31-complex-infinity.md

Import Hugo

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

2017-02-14-cauchy-schwarz-proof.md

Import Hugo

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

2017-03-14-maths-olympiad.md

Import Hugo

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

2017-11-05-abuse-of-notation.md

Import Hugo

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

2018-02-03-epsilon-delta.md

Add math to infinitesimals

2024-04-12 22:26:06 +01:00

2018-04-08-kinds-of-number.md

Import Hugo

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

2018-06-02-json-comments.md

Import Hugo

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

2018-07-21-dependent-types-overview.md

Import Hugo

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

2018-09-10-don-syme.md

Import Hugo

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

2018-09-20-mathematics-teaching.md

Import Hugo

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

2019-01-16-mystery-hunt.md

Import Hugo

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

2019-12-27-cooking.md

Import Hugo

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

2020-01-16-mystery-hunt.md

Import Hugo

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

2020-01-25-mit-mystery-hunt-photos.md

Import Hugo

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

2020-03-04-defunctionalisation.md

Import Hugo

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

2020-04-05-static-config.md

Import Hugo

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

2020-07-22-tailrecursion.md

Import Hugo

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

2020-08-02-uncountability.md

Import Hugo

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

2020-10-10-null-and-option.md

Import Hugo

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

2020-10-18-gravity.md

Import Hugo

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

2020-10-23-anki-learning.md

Import Hugo

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

2020-11-21-christmas-dinner.md

Import Hugo

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

2020-12-26-christmas-quiz.md

Import Hugo

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

2020-12-28-a-bug-in-git.md

Import Hugo

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

2021-01-18-find-the-bug.md

Import Hugo

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

2021-01-21-evaluation-checklist.md

Import Hugo

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

2021-01-30-cyclic-dependencies.md

Import Hugo

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

2021-02-03-senior-engineer-syllabus.md

Import Hugo

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

2021-02-06-property-based-metatesting.md

Import Hugo

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

2021-02-20-in-praise-of-dry-run.md

Import Hugo

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

2021-03-17-rewriting-technical-interview.md

Enable math mode on Rewriting the Technical Interview

2024-04-12 22:00:08 +01:00

2021-03-22-continuation-passing-style.md

Import Hugo

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

2021-10-19-crates.md

Import Hugo

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

2021-10-22-argument.md

Import Hugo

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

2021-10-25-avoid-rm-rf.md

Import Hugo

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

2022-05-15-water-filtration.md

Import Hugo

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

2023-07-12-transformer-questions.md

Import Hugo

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

2023-09-06-git-showcase.md

Import Hugo

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

2023-09-28-sum-of-two-squares.md

Add property-based tests talk

2023-10-01 22:16:28 +01:00

2023-10-01-property-based-test-talk.md

Add property-based tests talk

2023-10-01 22:16:28 +01:00

2023-10-05-nix-fireside-chat.md

Nix fireside chat (#2)

2023-10-14 13:10:48 +01:00

2023-10-06-smullyan-chess.md

Smullyan chess puzzle (#3)

2023-10-06 23:11:24 +01:00

2023-10-18-squash-stacked-prs.md

Add post about stacked PRs (#5)

2023-10-18 21:10:33 +01:00

2023-12-31-ios-interface.md

Add WoofWare.Myriad post

2023-12-31 13:48:53 +00:00

2023-12-31-woofware-myriad-plugins.md

Add WoofWare.Myriad post

2023-12-31 13:48:53 +00:00

2024-01-19-starting-suspended-process.md

Starting a suspended process

2024-01-19 19:37:01 +00:00

2024-03-01-no-confusion.md

Add no-confusion post

2024-03-01 14:07:22 +00:00

2024-03-13-northern-lights-trip.md

Tromso

2024-03-13 15:56:24 +00:00

2024-03-14-yaml-superset-json.md

YAML

2024-03-14 00:26:18 +00:00

2024-03-27-chatgpt-and-programming.md

ChatGPT post (#8)

2024-03-27 12:29:30 +00:00

2024-04-13-yoneda.md

Fix a typo (#12)

2024-05-12 10:25:47 +01:00

2024-05-01-i-notice-that-i-am-confused.md

Noticing confusion

2024-05-02 12:36:49 +01:00

2024-07-24-philosophy-of-code.md

Simplicity of code post

2024-07-24 17:53:11 +01:00

2024-07-25-lob-theorem.md

Add syllabus for Program Equilibrium (#17)

2024-07-25 19:56:01 +01:00

2024-08-15-github-workflows.md

Add workflow post (#18)

2024-08-15 17:58:21 +01:00

2024-08-26-woofware-arg-parser.md

Fix timestamp (#20)

2024-08-26 13:11:58 +01:00

2024-09-07-massage.md

Add massage post

2024-09-07 12:18:32 +01:00

2024-09-27-software-rant.md

Add more external links

2024-09-28 19:53:58 +01:00

2024-10-25-marys-room.md

ChatGPT and Claude suggestions

2024-10-26 21:00:27 +01:00