user: mau
362 karma | created 15 years ago
recent submissions
1 month ago|discuss
Building a Storage Engine That Outperforms RocksDB
(tidesdb.com)
2 pts|2 months ago|discuss
2 months ago|discuss
AI will make formal verification go mainstream
(martin.kleppmann.com)
6 pts|2 months ago|4 comments
4 months ago|discuss
1 year ago|discuss
40 pts|1 year ago|3 comments
2 pts|1 year ago|discuss
Building a baseline JIT for Lua automatically
(sillycross.github.io)
4 pts|2 years ago|discuss
Effective Altruism
(en.wikipedia.org)
1 pts|2 years ago|discuss
2 years ago|discuss
LLM Basics: Embedding Spaces
(lesswrong.com)
9 pts|3 years ago|discuss
3 years ago|discuss
Pex: Python EXecutable
(github.com)
3 pts|3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
How to spot AI-generated text
(technologyreview.com)
2 pts|3 years ago|discuss
3 years ago|discuss
Codecov Is Joining Sentry
(about.codecov.io)
3 pts|3 years ago|discuss