1Revisiting an early critique of formal verification (opens in new tab)(lawrencecpaulson.github.io)2scscsc1y ago0Save
5Adding Interactive Visual Syntax to Textual Code (opens in new tab)(arxiv.org)arXiv2scscsc5y ago0Save
7Availability of Java SE 8 updates for personal use in question after 2020 (opens in new tab)(java.com)1scscsc7y ago1Save
8[pdf] If You’re Not Writing a Program, Don’t Use a Programming Language (opens in new tab)(bulletin.eatcs.org)2scscsc7y ago1Save
10In Romania, Vestiges of Communism Boost Women in Tech (opens in new tab)(motherboard.vice.com)3scscsc10y ago0Save
12Glider goes missing in Romania, is not found despite massive mobilization (opens in new tab)(romaniajournal.ro)1scscsc10y ago0Save
14Curiosity – explore the web's best learning videos (opens in new tab)(curiosity.com)3scscsc11y ago0Save
