Hacker News new | ask | show | jobs
user: mau
created: 2011-02-03
karma: 385

submissions:

0 points | 0 comments
0 points | 0 comments
MicroGPT
2 points | 0 comments
0 points | 0 comments
Building a Storage Engine That Outperforms RocksDB
2 points | 0 comments
0 points | 0 comments
AI will make formal verification go mainstream
6 points | 4 comments
0 points | 0 comments
0 points | 0 comments
Simple, Efficient, and Robust Hash Tables for Join Processing
40 points | 3 comments
GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection
2 points | 0 comments
Building a baseline JIT for Lua automatically
4 points | 0 comments
Effective Altruism
1 points | 0 comments
0 points | 0 comments
LLM Basics: Embedding Spaces
9 points | 0 comments
0 points | 0 comments
Pex: Python EXecutable
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
How to spot AI-generated text
2 points | 0 comments
0 points | 0 comments
Codecov Is Joining Sentry
3 points | 0 comments
Msgspec: A fast and friendly serialization library for Python
5 points | 0 comments
Cryptomining operation leveraging GitHub Actions
1 points | 0 comments
Everything new from GitHub Universe 2022
1 points | 0 comments
GPT-3 Armed with Python
1 points | 0 comments
Mercure: Real-Time Made Easy
2 points | 0 comments
Latency in Asynchronous Python
1 points | 0 comments
Hamiltonian Cycle Problem is in P
3 points | 1 comments
YouTube is now building its own video-transcoding chips
3 points | 0 comments