Randomizer engine | Generalising to datalog: Relational Algebra to SAT | FP | Ocaml

Channel:
Arnaud Spiwack
Subscribers:
29
Published on ● Video Link: https://www.youtube.com/watch?v=ZSmpiepWUnU


Duration: 3:03:31
80 views
2

The code is hosted on Github at https://github.com/aspiwack/randomizer-engine -- Watch live at https://www.twitch.tv/notnotarnaud



Other Videos By Arnaud Spiwack


2022-09-17Ori and the will of the wisps | Main Quest Order in 2:16:56
2022-05-10Octopath traveler | Alfyn glitched single story in 54:27
2022-05-10Octopath Traveler | Alfyn Glitched in 54:53
2022-04-23Octopath traveler | Glitched Golden Axe in 2:51
2022-03-18Octopath Traveler: All jobs in 1:52:57
2021-11-28Octopath Traveler: Glitched Galdera in 5:09:41
2021-08-03Octopath traveler: all males in 2:32:41
2021-06-03Octopath traveler: Cyrus single story in 53:24
2021-05-13Octopath traveler: Cyrus single story in 57:49
2021-03-25Randomizer engine | Generalising to datalog: handling recursion | FP | Ocaml
2021-02-20Randomizer engine | Generalising to datalog: Relational Algebra to SAT | FP | Ocaml
2021-02-14Returning to the randomizer engine | Generalising to datalog | FP | Ocaml
2020-12-10Experimenting a proof-assistant: let's play with lsp and and repay some technical debt |FP | Haskell
2020-12-10Experimenting a proof-assistant design based on refinement types: a lispy syntax for tactics
2020-11-11Proof assistant detour: let's write a supercompiler (part 3) | FP | Haskell
2020-09-29Experimenting a proof-assistant design based on refinement types: let's try to do quotient types
2020-09-29Experimenting a proof-assistant design based on refinement types: where I get side-tracked a little
2020-09-29Experimenting a proof-assistant design based on refinement types: refactoring the syntax
2020-09-29Experimenting a proof-assistant design based on refinement types: refactoring session
2020-09-29Experimenting a proof-assistant design […]: propositions as terms, for real this time
2020-09-29Experimenting a proof-assistant design based on refinement types: let's prove stuff


Tags:
twitch
programming
functional programming
ocaml
sat solver
randomizer