Stories by Tomte

A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]

WikiPatterns: Patterns for Successful Wiki Use

Uniting for Peace (2008)

Why are scientists filing lawsuits against their critics? (2017)

The Death of Beautiful Rendition and 3D Pop on Modern Lenses (2017)

Coq: The world’s best macro assembler? (2013)

Is the Library Card Dying? (2016)

Asbestos and the great Aussie DIY obsession (2017)

UML: The Positive Spin (1997)

The unfixed security issue (2018)

Board games we played at PAX Unplugged (2017)

Practical Tips for Cheating at Design (2018)

Old Elbe Tunnel

Insight Astronomy Photographer of the Year: 2020 winners

How to write SQL injection proof PL/SQL (2008) [pdf]

Bribery, gay porn, and copyright trolls: Marc Randazza (2015)

Theory of Dependent Claims: Survey Results (2008)

The Radio (2017)

My New Vegan Life (2018)

It Themes Somehow Familiar (2009)

435 436 437 438 439 440 441 442 443 444