Nikolai Kudasov
where else to find them
youtube:channel/UC9I0mC73AyhBJCO6pRhwprQ
twitch:fizruk31337
what they talk about
all 6 in the filters
where they keep going back
- LambdaConf2 editions2018–2019
- miniKanren2 editions2024–2026
all 5 in the filters
on a stage with
all 9 in the filters
who talks about the same things
- Oskar Wickström5 talks
- Alejandro Serrano Mena14 talks
- Harold Carr6 talks
- Michael Sperber15 talks
- Pawel Szulc28 talks
- Kris Jenkins18 talks
| title | conference | date |
|---|---|---|
| Towards Bottom-Up Enumeration in miniKanren via Pruning and Memoization | miniKanren 2026 | 2026-08-24 |
Two small combinators implement bottom‑up enumeration with observational deduplication on an unmodified miniKanren core: prune deduplicates answers by a… | ||
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) | Haskell 2025 | 2025-10-16 |
typedKanren is a statically typed embedding of a miniKanren dialect in Haskell that implements disequality constraints, GHC.Generics-derived Logical instances… | ||
| Towards Generic Type Checking Implementations in Haskell via Second-Order Abstract Syntax | WITS 2025 | 2025-01-25 |
Claims a reusable Haskell implementation strategy for bidirectional typing and Hindley-Milner inference built on the scope-safe Free Foil representation… | ||
| Towards Generic Higher-Order Unification Implementations in Haskell | WITS 2025 | 2025-01-25 |
Claims a reusable Haskell library approach that uses Free Foil and a separate signature for parameterised metavariables to produce a limited Second‑Order… | ||
| typedKanren: Statically Typed Relational Programming with Exhaustive Matching in(…) | miniKanren 2024 | 2024-09-06 |
A statically typed embedding of miniKanren in Haskell that implements disequality constraints and a variant of relational matching with static exhaustiveness… | ||
| Formalizing the ∞-categorical Yoneda lemma | CPP 2024 | 2024-01-15 |
Formalizes the ∞-categorical Yoneda lemma inside a new proof assistant called Rzk proof assistant (open source, VS Code plugin) using Riehl–Shulman’s… | ||
| Constructing a DSL for Composable Reports in Haskell | LambdaConf 2019 | 2019-06-05 |
Claims a practical solution: an type-safe DSL in Haskell that generates Excel via the xlsx library, arrived at in a few days and used in production. It models… | ||
| Augmenting Reality in Haskell | LambdaConf 2019 | 2019-06-05 |
Claims a type-safe AR app in Haskell built in ~two hours, implemented with GHCJS + A-Frame, a Docker dev image, WebSocket server for multiplayer sync, and… | ||
| Building a Telegram Bot in Haskell (Part 2) | LambdaConf 2018 | 2018-06-03 |
Builds a working Telegram todo bot in Haskell and shows concrete code: uses Stack GHCi ghcid, imports like Control.Monad.Trans and Data.Time, lifts IO with… | ||
| Building a Telegram Bot in Haskell (Part 1) | LambdaConf 2018 | 2018-06-03 |
A live workshop shows a working Telegram bot built in Haskell using Stack GHCi ghcid, the telegram-bot-simple library and its update‑parser helpers, with a… | ||
| nothing matches | ||