31.
32.
33.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
34.
Why study programming languages (2022)
(news.ycombinator.com)
35.
Why Study Programming Languages
(news.ycombinator.com)
36.
ThalamusDB: Query text, tables, images, and audio
(news.ycombinator.com)
37.
Semantic Line Breaks (2017)
(news.ycombinator.com)
38.
Semantic Line Breaks
(news.ycombinator.com)
39.
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
(news.ycombinator.com)
40.
Lessons from building an AI data analyst
(news.ycombinator.com)
41.
Why Semantic Layers Matter (and how to build one with DuckDB)
(news.ycombinator.com)
42.
AI is impressive because we've failed at personal computing
(news.ycombinator.com)