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