1
Owen Lynch
I am a PhD student in Sam Staton ’s group at Oxford University and a research software engineer at Topos Research UK . I am currently working on Coln , a dependently typed, modular language for database schemas, queries, and migrations.
- Popular posts
- 1
- Total points
- 176
- HN comments
- 191
- Rank
- #14,024 personal
Visit owenlynch.org → On Hacker News Sep 2020 – Sep 2020