Hacker Newsnew | past | comments | ask | show | jobs | submit | nanolith's favoriteslogin
1.
The Foundation of a Generic Theorem Prover (1989) [pdf] (arxiv.org)
59 points by aebtebeten on May 10, 2024 | 4 comments
2.
Tiny GPU: A minimal GPU implementation in Verilog (github.com/adam-maj)
315 points by fgblanch on April 25, 2024 | 73 comments
3.
An Exploration of SBCL Internals (2020) (simonsafar.com)
132 points by v9v on April 22, 2024 | 106 comments
4.
Cwerg: C-like language that can be implemented in 10kLOC (github.com/robertmuth)
68 points by nateb2022 on March 22, 2024 | 50 comments
5.
Project Oberon: Design of an operating system, a compiler, and a computer [pdf] (ethz.ch)
346 points by JoachimS on Jan 4, 2024 | 40 comments
6.
Standard Ebooks (standardebooks.org)
701 points by pauloxnet on Jan 1, 2024 | 153 comments
7.
Calculating Logarithms by Hand (2010) [pdf] (bureau42.com)
108 points by mindcrime on Jan 1, 2024 | 34 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: