A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]
2021-06-27
WikiPatterns: Patterns for Successful Wiki Use
2021-06-27
Why are scientists filing lawsuits against their critics? (2017)
2021-06-27
The Death of Beautiful Rendition and 3D Pop on Modern Lenses (2017)
2021-06-27
Palm Jumeirah, Dubai's iconic man-made islands, turns 20
2021-06-27
The bias narrative vs. the development narrative
2021-06-27
Using GPT-3, BERT, and AutoML to research products for you
2021-06-27
Is the Library Card Dying? (2016)
2021-06-27
Asbestos and the great Aussie DIY obsession (2017)
2021-06-27
Windows 11 to Ship Without TPM Requirement for 'Special Purpose' Systems
2021-06-27