Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by mau
AI will make formal verification go mainstream
6 points
mau
2025-12-10T10:44:42Z
martin.kleppmann.com
Simple, Efficient, and Robust Hash Tables for Join Processing
3 points
mau
2024-06-07T06:42:52Z
cedardb.com
GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
2 points
mau
2024-03-13T06:25:29Z
arxiv.org
Building a baseline JIT for Lua automatically
4 points
mau
2023-12-26T08:56:00Z
sillycross.github.io
Effective Altruism
1 points
mau
2023-05-02T05:40:45Z
en.wikipedia.org
LLM Basics: Embedding Spaces
9 points
mau
2023-03-15T08:22:22Z
www.lesswrong.com
Pex: Python EXecutable
3 points
mau
2023-03-08T04:24:16Z
github.com
Codecov Is Joining Sentry
3 points
mau
2022-12-13T16:00:10Z
about.codecov.io
Msgspec: A fast and friendly serialization library for Python
5 points
mau
2022-12-11T21:51:49Z
github.com
Cryptomining operation leveraging GitHub Actions
1 points
mau
2022-12-04T16:52:34Z
sysdig.com
Everything new from GitHub Universe 2022
1 points
mau
2022-11-10T13:20:54Z
github.blog
GPT-3 Armed with Python
1 points
mau
2022-09-14T08:03:03Z
twitter.com
Latency in Asynchronous Python
1 points
mau
2021-10-29T15:53:47Z
nullprogram.com
Hamiltonian Cycle Problem is in P
3 points
mau
2021-05-21T12:36:27Z
arxiv.org
YouTube is now building its own video-transcoding chips
3 points
mau
2021-04-26T05:31:03Z
arstechnica.com
Eytzinger Binary Search
31 points
mau
2021-04-05T05:45:26Z
algorithmica.org
Mitre ATT&CK globally-accessible knowledge base adversary tactics and techniques
3 points
mau
2020-04-11T18:25:14Z
attack.mitre.org
Videos with Fewer Intrusive Ads
1 points
mau
2020-02-11T18:45:13Z
blog.chromium.org
Electric clocks in Europe have been running slow for over a month
9 points
mau
2018-03-06T18:35:47Z
thenextweb.com
Minio: Private Cloud Storage
2 points
mau
2018-02-22T11:30:31Z
minio.io
1
2