Monad Tutorials Timeline
(news.ycombinator.com)
1.
2.
Average is all you need
(news.ycombinator.com)
3.
4.
Lexega Turns SQL into Signals
(news.ycombinator.com)
5.
Choosing a Language Based on Its Syntax?
(news.ycombinator.com)
6.
Colored Petri Nets, LLMs, and distributed applications
(news.ycombinator.com)
7.
Liskell – Haskell Semantics with Lisp Syntax [pdf]
(news.ycombinator.com)
8.
9.
Show HN: Cuq – Formal Verification of Rust GPU Kernels
(news.ycombinator.com)
10.
Why study programming languages (2022)
(news.ycombinator.com)
11.
Why Study Programming Languages
(news.ycombinator.com)
12.
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
(news.ycombinator.com)
13.
UK ties GRU to stealthy Microsoft 365 credential-stealing malware
(bleepingcomputer.com)
Today's top topics:
openai
google
apple
nintendo
sony
android authority
shinyhunters
switch 2
microsoft
chatgpt