mau on Hacker News

1

MicroGPT (opens in new tab)

(karpathy.github.io)

2mau1mo ago0

2

Building a Storage Engine That Outperforms RocksDB (opens in new tab)

(tidesdb.com)

2mau2mo ago0

3

AI will make formal verification go mainstream (opens in new tab)

(martin.kleppmann.com)

6mau3mo ago4

4

Simple, Efficient, and Robust Hash Tables for Join Processing (opens in new tab)

(cedardb.com)

40mau1y ago3

5

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (opens in new tab)

(arxiv.org)

2mau2y ago0

6

Building a baseline JIT for Lua automatically (opens in new tab)

(sillycross.github.io)

4mau2y ago0

7

Effective Altruism (opens in new tab)

(en.wikipedia.org)

1mau2y ago0

8

LLM Basics: Embedding Spaces (opens in new tab)

(lesswrong.com)

9mau3y ago0

9

Pex: Python EXecutable (opens in new tab)

(github.com)

3mau3y ago0

10

How to spot AI-generated text (opens in new tab)

(technologyreview.com)

2mau3y ago0

11

Codecov Is Joining Sentry (opens in new tab)

(about.codecov.io)

3mau3y ago0

12

Msgspec: A fast and friendly serialization library for Python (opens in new tab)

(github.com)

5mau3y ago0

13

Cryptomining operation leveraging GitHub Actions (opens in new tab)

(sysdig.com)

1mau3y ago0

14

Everything new from GitHub Universe 2022 (opens in new tab)

(github.blog)

1mau3y ago0

15

GPT-3 Armed with Python (opens in new tab)

(twitter.com)

1mau3y ago0

mau

Recent submissions

MicroGPT (opens in new tab)

Building a Storage Engine That Outperforms RocksDB (opens in new tab)

AI will make formal verification go mainstream (opens in new tab)

Simple, Efficient, and Robust Hash Tables for Join Processing (opens in new tab)

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (opens in new tab)

Building a baseline JIT for Lua automatically (opens in new tab)

Effective Altruism (opens in new tab)

LLM Basics: Embedding Spaces (opens in new tab)

Pex: Python EXecutable (opens in new tab)

How to spot AI-generated text (opens in new tab)

Codecov Is Joining Sentry (opens in new tab)

Msgspec: A fast and friendly serialization library for Python (opens in new tab)

Cryptomining operation leveraging GitHub Actions (opens in new tab)

Everything new from GitHub Universe 2022 (opens in new tab)

GPT-3 Armed with Python (opens in new tab)

Recent submissions

MicroGPT (opens in new tab)

Building a Storage Engine That Outperforms RocksDB (opens in new tab)

AI will make formal verification go mainstream (opens in new tab)

Simple, Efficient, and Robust Hash Tables for Join Processing (opens in new tab)

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection (opens in new tab)

Building a baseline JIT for Lua automatically (opens in new tab)

Effective Altruism (opens in new tab)

LLM Basics: Embedding Spaces (opens in new tab)

Pex: Python EXecutable (opens in new tab)

How to spot AI-generated text (opens in new tab)

Codecov Is Joining Sentry (opens in new tab)

Msgspec: A fast and friendly serialization library for Python (opens in new tab)

Cryptomining operation leveraging GitHub Actions (opens in new tab)

Everything new from GitHub Universe 2022 (opens in new tab)

GPT-3 Armed with Python (opens in new tab)