miniblog.

← Back to all posts
Jul 31, 2017 at 21:36
https://www.youtube.com/watch?v=Q-3tcbUyF34 is a wonderful talk showing how to generate whole programs from just a liquid haskell type definition with Synquid.

Related Posts

Jan 16, 2026 at 10:03
7
Wonderful post from the lead LLVM maintainer reflecting on how the project is run, the design issues in LLVM today, and opportunities to make it better:
LLVM: The bad parts
Sep 30, 2024 at 04:07
I travelled recently with six electronic devices, and every single one used USB-C for charging. It was wonderful, and not an experience I've had before.
Jul 29, 2023 at 17:33
Go has a wonderful, accessible discussion of how it does inlining today, the downsides, and the plans for 1.22:
Go 1.22 inlining overhaul
Go 1.22 inlining overhaul
Go 1.22 inlining overhaul , with contributions from , , , and Last update: The Go compiler’s inliner has never been particularly good. It wasn’t until Go 1.12, released in 2019, that the Go compiler supported inlining more than leaf functions, and we’ve slowly chipped away at more limita...