Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless
#HackerNews #Lies #Damned #Lies #Formal #Methods #Proofs #Technology
https://youtu.be/jLwHQIiL6gU?si=Q1RXzy0BXSbFu8-2
Excellent explanation on fascism, Donald J. Trump and his fascist methods...
By Randahl Fink:
"Every move Trump made to consolidate power in 2025 reminded me of something I have seen before. So I decided to investigate the historic parallels, and what I found will shock you. In this video I explain how meticulously Trump has copied the fascist playbook, and I show you why Trump will ultimately fail."
https://youtu.be/jLwHQIiL6gU?si=Q1RXzy0BXSbFu8-2
Excellent explanation on fascism, Donald J. Trump and his fascist methods...
By Randahl Fink:
"Every move Trump made to consolidate power in 2025 reminded me of something I have seen before. So I decided to investigate the historic parallels, and what I found will shock you. In this video I explain how meticulously Trump has copied the fascist playbook, and I show you why Trump will ultimately fail."
I've asked a version of this question before, maybe, but here goes: favorite work that either discusses interpretive orientation as method/orientation, or is e.g. of interpretive scholarship that also reflects on interpretive aspect? Article or chapter length preferred. Thanks!