Tosh97

• What's the best way to ship a modified pickup truck from New York to Texas without damage?

  Posted by Tosh97@reddit | askcarguys | View on Reddit | 13 comments

• what’s a car that surprised you with how comfortable it is?

  Posted by Tosh97@reddit | askcarguys | View on Reddit | 210 comments

• Are we about to see the mainstreaming of Formal Verification? The paradigm shift from "generating" code to "proving" it.

  Posted by Tosh97@reddit | ExperiencedDevs | View on Reddit | 40 comments