| 1. | How does compression work? (Livecoding in Haskell) | 519 | |
|
| 2. | Randomizer engine | Generalising to datalog: Relational Algebra to SAT | FP | Ocaml | 80 | |
|
| 3. | Arnaud Spiwack's PhD defence | 80 | |
|
| 4. | Octopath Traveler II | Any% (Alrond) in 4:37:06 | 53 | | Octopath Traveler II
|
| 5. | Randomizer engine | Generalising to datalog: handling recursion | FP | Ocaml | 52 | |
|
| 6. | Experimenting a proof-assistant design based on refinement types: basic proofs | FP | Haskell | 44 | |
|
| 7. | Experimenting a proof-assistant design based on refinement types | FP | Haskell | 43 | |
|
| 8. | Where I attempt to fix a Keyboard.io Model 01 on stream | 40 | |
|
| 9. | Returning to the randomizer engine | Generalising to datalog | FP | Ocaml | 33 | |
|
| 10. | Steamworld dig any% unspeedrun | 33 | | SteamWorld Dig
|
| 11. | Proof assistant detour: let's write a supercompiler | 30 | |
|
| 12. | Octopath Traveler: Glitched Galdera in 5:09:41 | 27 | | Octopath Traveler
|
| 13. | Experimenting a proof-assistant: let's play with lsp and and repay some technical debt |FP | Haskell | 21 | |
|
| 14. | Proof assistant detour: let's write a supercompiler (part 3) | FP | Haskell | 21 | |
|
| 15. | Experimenting a proof-assistant design based on refinement types: tackling implication with focusing | 20 | |
|
| 16. | Experimenting a proof-assistant design based on refinement types: a lispy syntax for tactics | 19 | |
|
| 17. | Let's Play SteamWorld Quest 100% with Armilly (part 1) | 16 | Let's Play | SteamWorld Quest
|
| 18. | Ori and the will of the wisps | Main Quest Order in 2:16:56 | 16 | | Ori and the Will of the Wisps
|
| 19. | Octopath traveler | Alfyn glitched single story in 54:27 | 15 | | Octopath Traveler
|
| 20. | Experimenting a proof-assistant design based on refinement types: shadowing & type-checking tactics | 15 | |
|
| 21. | Final Fantasy VI: Worlds Collide | This was a disaster of a seed, I thought it was fun though | 14 | | Final Fantasy VI
|
| 22. | Octopath traveler | Glitched Golden Axe in 2:51 | 12 | | Octopath Traveler
|
| 23. | Final Fantasy VI: Worlds Collide | Standard Ultros League | How fortune turns | 12 | | Final Fantasy VI
|
| 24. | Octopath Traveler II | Ochette's Story (Switch) in 56:17 | 10 | | Octopath Traveler II
|
| 25. | Octopath traveler: Cyrus single story in 53:24 | 9 | | Octopath Traveler
|
| 26. | PCPCP #8 | Let's play Grim Fandango (part 1) | 9 | Let's Play | Grim Fandango Remastered
|
| 27. | Octopath Traveler II | Galdera speedrun in 2:54:37 | 9 | | Octopath Traveler II
|
| 28. | PCPCP #1 | Let's play Disworld (part 1) | 9 | Let's Play | Discworld
|
| 29. | Ori and the Will of the Wisps | Main Quest Order in 1:48 | 8 | | Ori and the Will of the Wisps
|
| 30. | Ori and the Will of the Wisp: randomizer | Is it a plane? No it's Skill Velocity x5 Launch | 8 | | Ori and the Will of the Wisps
|
| 31. | Experimenting a proof-assistant design based on refinement types: more proofs & tactics | FP | Haske | 8 | |
|
| 32. | Let's play Guild of Dunegoneering Ultimate Edition (part 1) | 8 | |
|
| 33. | PCPCP #7 | Let's play Discworld II: Missing Presumed…!? (part 3, final) | 8 | Let's Play |
|
| 34. | Octopath traveler: all males in 2:32:41 | 8 | | Octopath Traveler
|
| 35. | Ori and the will of the wisps | Main Quest Order in 1:50:57 | 7 | | Ori and the Will of the Wisps
|
| 36. | PCPCP #3 | Let's play Disworld (part 3, final) | 7 | Let's Play | Discworld
|
| 37. | Ori and the Will of the Wisp: randomizer | I'm the keymaster are you the gatekeeper? | 7 | | Ori and the Will of the Wisps
|
| 38. | Steamworld Quest | ~97%, I guess? | 6 | | SteamWorld Quest
|
| 39. | Experimenting a proof-assistant design based on refinement types: where I get side-tracked a little | 6 | |
|
| 40. | PCPCP #5 | Let's play Discworld II: Missing Presumed…!? (part 1) | 5 | Let's Play |
|
| 41. | SteamWorld Quest | any% in 3:08 | 5 | | SteamWorld Quest
|
| 42. | Octopath traveler: Cyrus single story in 57:49 | 5 | | Octopath Traveler
|
| 43. | Final Fantasy VI: Worlds Collide | playing around with music and colours, learnt ancient castle | 5 | | Final Fantasy VI
|
| 44. | Octopath Traveler: All jobs in 1:52:57 | 4 | | Octopath Traveler
|
| 45. | Let's Play SteamWorld Quest 100% (well kinda) with Armilly (part 2) | 4 | Let's Play | SteamWorld Quest
|
| 46. | Experimenting a proof-assistant design based on refinement types: let's try to do quotient types | 4 | |
|
| 47. | PCPCP #6 | Let's play Discworld II: Missing Presumed…!? (part 2) | 4 | Let's Play |
|
| 48. | Experimenting a proof-assistant design based on refinement types: adding interactivity | FP | Haskel | 4 | |
|
| 49. | PCPCP #12 | Let's play Discworld Noir (part 2) | 4 | Let's Play | Discworld Noir
|
| 50. | Experimenting a proof-assistant design based on refinement types: refactoring the syntax | 3 | |
|
| 51. | PCPCP #2 | Let's play Disworld (part 2) | 3 | Let's Play | Discworld
|
| 52. | Final Fantasy VI: Worlds Collide | Seed of the week | How MANY paladin shields‽ | 3 | | Final Fantasy VI
|
| 53. | Experimenting a proof-assistant design […]: propositions as terms, for real this time | 3 | |
|
| 54. | Final Fantasy VI: Worlds Collide | Standard Ultros Flags | 3 | | Final Fantasy VI
|
| 55. | Octopath Traveler II | Ochette Single Story in 1:02:44 | 3 | | Octopath Traveler II
|
| 56. | PCPCP #9 | Let's play Grim Fandango (part 2) | 2 | Let's Play | Grim Fandango Remastered
|
| 57. | Final Fantasy VI: Worlds Collide | Seed of the week: Vector | 2 | | Final Fantasy VI
|
| 58. | Let's play: Epistory, an RPG where you fight by typing words | 2 | Let's Play | Epistory
|
| 59. | Experimenting a proof-assistant design based on refinement types: refactoring session | 2 | |
|
| 60. | Final Fantasy VI: Worlds Collide | Seed of the Week | Low level seed with tools | 2 | | Final Fantasy VI
|
| 61. | Octopath Traveler | Alfyn Glitched in 54:53 | 1 | | Octopath Traveler
|
| 62. | PCPCP #13 | Let's play Discworld Noir (part 3) | 1 | Let's Play | Discworld Noir
|
| 63. | PCPCP #11 | Let's play Discworld Noir (part 1) | 1 | Let's Play | Discworld Noir
|
| 64. | Final Fantasy VI: Worlds Collide | Standard Ultros Flags | Look at these dapper teachers! | 1 | | Final Fantasy VI
|
| 65. | Final Fantasy VI: Worlds Collide | Standard Ultros | HOW MANY offerings‽‽ | 1 | | Final Fantasy VI
|
| 66. | PCPCP #10 | Let's play Grim Fandango (part 3, Final) | 1 | Let's Play | Grim Fandango Remastered
|
| 67. | Let's play Guild of Dunegoneering Ultimate Edition (part 2) | 1 | |
|
| 68. | Final Fantasy VI: Worlds Collide | Seed of the week: Mog's Lance | 1 | | Final Fantasy VI
|
| 69. | PCPCP #4 | Let's play Day of the Tentacle (full game) | 1 | Let's Play | Day of the Tentacle
|
| 70. | Proof assistant detour: let's write a supercompiler (part 2) | 1 | |
|
| 71. | Final Fantasy VI: Worlds Collide | What you don't write down comes back to haunt you | 1 | | Final Fantasy VI
|
| 72. | Let's Play: Octopath Traveler II, the speedrun route (any%) | Part 2 | 1 | Let's Play | Octopath Traveler II
|
| 73. | Let's play Guild of Dunegoneering Ultimate Edition (part 3) | 0 | |
|
| 74. | PCPCP #14 | Let's play Discworld Noir (part 4, final) | 0 | Let's Play | Discworld Noir
|
| 75. | Let's play Guild of Dunegoneering Ultimate Edition (part 3) | 0 | |
|
| 76. | Let's Play: Octopath Traveler II, the speedrun route (any%) | Part 1 | 0 | Let's Play | Octopath Traveler II
|
| 77. | Final Fantasy VI: Worlds Collide | Seed of the Week | Fixed level seed… it feels quite different | 0 | | Final Fantasy VI
|
| 78. | Experimenting a proof-assistant design based on refinement types: let's prove stuff | 0 | |
|
