🦞🌯 Lobster Roll

Stories by vg_head

Announcing Beatrice: A finally tagless, dependently typed, self-aware programming language (hirrolot.github.io)
L 23 pts 12 comments by vg_head Apr 22, 2024 plt Programming (General)Programming Languages / CS Theory thread
Unintuitive Optimization For Performing Paths Union (minus-ze.ro)
L 9 pts 0 comments by vg_head Dec 29, 2024 graphicsperformance Data / Databases / Infrastructure thread
Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory (2020) (youtube.com)
L 7 pts 1 comments by vg_head Jun 5, 2024 haskellvideo Programming (General)Programming Languages / CS Theory thread