Jonas Winje
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
- NDC Oslo2 editions2017–2024
- Lambda Days2 editions2017–2018
- Code Mesh2 editions2015–2017
on a stage with
who talks about the same things
- Jarek Ratajski25 talks
- Bernardo Amorim3 talks
- Pawel Szulc28 talks
- Tomas Petricek22 talks
- Bodil Stokke10 talks
- Nicolas Rinaudo13 talks
| title | conference | date |
|---|---|---|
| Underwhelming game development with PICO-8 | NDC Oslo 2024 | 2024-06-10 |
A demo-driven tour of PICO-8 shows a real microdev workflow: Lua running in a ~2MB heap, a 128x128 GPU with 128x128 16‑color sprites, 4‑channel SFX and 32k PNG… | ||
| What, if anything, is a llama? | Lambda Days 2018 | 2018-02-22 |
A browser-embeddable lambda-calculus evaluator gets built and it actually runs: it parses terms, performs beta-reduction step-by-step, and returns strings for… | ||
| Infinite Lambda Calculus | Code Mesh 2017 | 2017-11-08 |
Demonstrates that self-reproduction in the pure lambda calculus supplies general recursion where names and self‑reference are forbidden, implements a Y… | ||
| Live Lambda Calculus | NDC Oslo 2017 | 2017-06-14 |
Implements a lambda‑calculus interpreter from scratch in F# and fparsec, parsing into an AST, writing an unparser, and reducing via a substitution-based… | ||
| Practical Lambda Calculus | Lambda Days 2017 | 2017-02-09 |
Live coding shows a small lambda interpreter running inside Emacs and builds booleans numbers and lists from raw lambda forms, implements successor predecessor… | ||
| Practical Lambda Calculus | Code Mesh 2015 | 2015-11-03 |
Builds actual Church numerals and implements successor, addition, multiplication and a predecessor via pairs that counts down; constructs lists… | ||
| nothing matches | ||