Liskell – Haskell Semantics with Lisp Syntax [pdf]
(news.ycombinator.com)
61.
62.
63.
64.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
65.
66.
Why study programming languages (2022)
(news.ycombinator.com)
67.
Why Study Programming Languages
(news.ycombinator.com)
68.
ThalamusDB: Query text, tables, images, and audio
(news.ycombinator.com)
69.
The crew of Artemis II will fly on Integrity during mission to the Moon
(arstechnica.com)
70.
Semantic Line Breaks (2017)
(news.ycombinator.com)
71.
Semantic Line Breaks
(news.ycombinator.com)
72.
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
(news.ycombinator.com)
73.
Lessons from building an AI data analyst
(news.ycombinator.com)
74.
Why Semantic Layers Matter (and how to build one with DuckDB)
(news.ycombinator.com)
75.
AI is impressive because we've failed at personal computing
(news.ycombinator.com)
Today's top topics:
apple
android authority
google
samsung
deepseek
spacex
openai
china
elon musk
blue origin