Finding and Understanding Bugs in C Compilers (2011) [pdf](users.cs.utah.edu)23 points by djoldman 1 year ago | 3 comments
Reworking Memory Management in CRuby [pdf](blog.peterzhu.ca)37 points by hahahacorn 1 year ago | 3 comments
SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf](research.gold.ac.uk)102 points by pabs3 7 months ago | 68 comments
Property-Based Testing of OCaml 5's Runtime System [pdf](janmidtgaard.dk)36 points by todsacerdoti 1 year ago | 1 comments
![Screenshot of vfxforth.com: Compiling Prolog to Forth [pdf]](https://hn.urlbox.com/shots/renders/2026/3/7/f5a104a8-c3cd-4d0e-9f60-aec6e0bebed6.jpg)
![Screenshot of trendsfp.github.io: Benchmarking a Baseline Fully-in-Place Functional Language Compiler [pdf]](https://hn.urlbox.com/shots/renders/2026/1/20/1e030568-bace-49f9-be9d-36dd5b321d97.jpg)
![Screenshot of users.cs.utah.edu: Finding and Understanding Bugs in C Compilers (2011) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/30/5edac97a-385c-4174-8ab5-c8100d3249aa.jpg)
![Screenshot of blog.peterzhu.ca: Reworking Memory Management in CRuby [pdf]](https://hn.urlbox.com/shots/renders/2025/6/20/2771a014-b140-43d4-8665-b850be727fdf.jpg)
![Screenshot of research.gold.ac.uk: SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf]](https://hn.urlbox.com/shots/renders/2026/3/12/5d8c0e21-2e05-400b-8130-d3a018da0a90.jpg)
![Screenshot of janmidtgaard.dk: Property-Based Testing of OCaml 5's Runtime System [pdf]](https://hn.urlbox.com/shots/renders/2025/9/27/2ff34b9b-ed7f-4f16-bc1a-ba3e73a4ff9c.jpg)