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