Hacker News
- Synthesizing optimal 8051 code with an SMT solver (2020) https://lab.whitequark.org/notes/2020-04-06/synthesizing-optimal-8051-code/ 9 comments
- Minimizing Logic Expressions https://lab.whitequark.org/notes/2020-04-06/minimizing-logic-expressions/ 19 comments
- Synthesizing Optimal 8051 Code https://lab.whitequark.org/notes/2020-04-06/synthesizing-optimal-8051-code/ 7 comments
- SMD reflow with a blowtorch (2016) https://lab.whitequark.org/notes/2016-04-28/smd-reflow-with-a-blowtorch/ 20 comments
Lobsters
- Archiving cryptographic secrets on paper [2016] https://lab.whitequark.org/notes/2016-08-24/archiving-cryptographic-secrets-on-paper/ 10 comments cryptography , devops , practices
- Blinking a LED using the STM32 DMA peripheral (and without using the CPU) https://lab.whitequark.org/notes/2023-07-22/blinking-a-led-using-stm32-dma/ 5 comments rust
- Synthesizing optimal 8051 code https://lab.whitequark.org/notes/2020-04-06/synthesizing-optimal-8051-code/ 10 comments asm
- Patching nVidia GPU driver for hot-unplug on Linux https://lab.whitequark.org/notes/2018-10-28/patching-nvidia-gpu-driver-for-hot-unplug-on-linux/ 6 comments linux
- Abstracting over mutability https://lab.whitequark.org/notes/2016-12-13/abstracting-over-mutability-in-rust/ 21 comments rust