A Language Agnostic Introduction to Dependent Types
2021-10-02
Unsolved ML Safety Problems
2021-10-02
A bunch of CI configs in one place
2021-10-02
Introduction to RISC-V Instruction Formats
2021-10-02
Testing Chrome version 100 for fun and profit (but mostly fun I guess)
2021-10-02
Gentle introduction to GPUs inner workings
2021-10-02
Is There an Echo?
2021-10-02
Best Practices (Why I Hate Them)
2021-10-02
Career Choice for Longtermists
2021-09-30
A meteor demolished an ancient Middle Eastern city possibly inspiring Sodom myth
2021-09-30