Jon Manning
where else to find them
no profile links on file
what they talk about
all 9 in the filters
where they keep going back
- linux.conf.au2 editions2020–2021
all 4 in the filters
on a stage with
- Colin Torrettaonce
- David "DB" Baumgoldonce
- Matt Nessonce
all 5 in the filters
who talks about the same things
- Sam Bishop9 talks
- Neeraj Pandey5 talks
- James Powell43 talks
- Paris Buttfield-Addison11 talks
- Larry Hastings9 talks
- Ramón Huidobro23 talks
| title | conference | date |
|---|---|---|
| Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds | linux.conf.au 2021 | 2021-01-23 |
Uses the Z3 SMT solver via its Python API to encode RPG decision variables (booleans and integers), check satisfiability of intertwined win conditions, and… | ||
| Building a Community for Game Developers | linux.conf.au 2020 | 2020-01-13 |
Yarn Spinner is an open source narrative tool that powers choice-driven dialogue and cutscenes and ships the scripting language and node editor used in Night… | ||
| Compiling Your Story: Using Techniques from Compiler Design to Check Your Narrative | linux.conf.au 2020 | 2020-01-13 |
Yarn Spinner is treated as a full language, compiled to bytecode and converted into basic blocks and a control‑flow graph so symbolic execution can run every… | ||
| Let's Build a Symbolic Analyser And Automatically Find Bugs | PyCon AU 2019 | 2019-08-02 |
Shows how to build a Python symbolic analyser using Z3 to prove reachability, generate concrete inputs for each satisfiable path, and automatically find… | ||
| Procedural Generation by Automating Blender | Games Connect Asia Pacific 2018 | 2018-10-23 |
Generates rock/asteroid assets by scripting Blender’s UI with the Blender Python API, using metaballs to form base shapes, bmesh to convert to meshes, then… | ||
| Monday Lightning Talks | Write the Docs North America 2016 | 2016-05-22 |
Yarn Spinner is an open‑source interpreter for the Yarn dialogue language used in Night in the Woods that runs from plain text for rapid edits; Lektor is a… | ||
| nothing matches | ||