vesterthacker

7 ms·

1. 1.▲
   by vesterthacker 11mo ago

   Safety always comes first. Good call! I wouldn’t want to travel without proper staffing in place. Do you think other airports will follow suit? I hope so.
2. 2.▲
   by vesterthacker 11mo ago

   The paper Artificial Writing and Automated Detection by Brian Jabarian and Alex Imas examines the strange boundary that now divides human expression from mechanical imitation. Within their analysis one feels not only the logic of research
3. 3.▲
   by vesterthacker 11mo ago

   When you criticize, it helps to understand the other’s perspective. I suppose I am writing to you because I can no longer speak to anyone. As people turn to technology for their every word, the space between them widens, and I am no excepti
4. 4.▲
   Elements of Programming: A Treatise on the Foundations of Computing(leanpub.com)

   7 points by vesterthacker 11mo ago|1 comments
5. 5.▲
   by vesterthacker 11mo ago

   Today I am announcing the release of The Elements of Programming, a work that sets out to define programming as a formal discipline built from first principles. It is written in the style of Euclid’s Elements, with definitions, propositions
6. 6.▲
   by vesterthacker 11mo ago

   Rado Kirov shows that formalization transforms how mathematicians think about structure and collaboration. My work begins from the same premise, but in the world of programming and system software. I aim to bring formal structure to program