user: mau

362 karma | created 15 years ago

recent submissions

MicroGPT (karpathy.github.io)

2 pts|15 days ago|discuss

(no title)

1 month ago|discuss

Building a Storage Engine That Outperforms RocksDB (tidesdb.com)

2 pts|2 months ago|discuss

(no title)

2 months ago|discuss

AI will make formal verification go mainstream (martin.kleppmann.com)

6 pts|2 months ago|4 comments

(no title)

4 months ago|discuss

(no title)

1 year ago|discuss

Simple, Efficient, and Robust Hash Tables for Join Processing (cedardb.com)

40 pts|1 year ago|3 comments

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (arxiv.org)

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

(no title)

2 years ago|discuss

LLM Basics: Embedding Spaces (lesswrong.com)

9 pts|3 years ago|discuss

(no title)

3 years ago|discuss

Pex: Python EXecutable (github.com)

3 pts|3 years ago|discuss

(no title)

3 years ago|discuss

(no title)

3 years ago|discuss

How to spot AI-generated text (technologyreview.com)

2 pts|3 years ago|discuss

(no title)

3 years ago|discuss

Codecov Is Joining Sentry (about.codecov.io)

3 pts|3 years ago|discuss