The asteroid belt

Posted Jan 7, 2018 4:43 UTC (Sun) by fest3er (guest, #60379)
In reply to: The asteroid belt by Wol
Parent article: Shrinking the kernel with link-time garbage collection

(I like to pick nits....)

I trust you meant Jupiter....