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