Philip Wadler - Propositions as Types
https://vimeo.com/157434965
https://vimeo.com/157434965
- 26 Followers
- 16 Following
- 22 Posts
@spacerog There is a special phone number you can call to bypass low level support. They give it out to employees, so if you know an employee you can ask them for the number/code to use.
Vimeo
@fallenhitokiri Report it to Denon support?
@fallenhitokiri We haven't gone 4K, but we have an apple tv plugged into a denon plugged into an element dumb tv and we have no such issues.
I am failing at quitting Google mostly because everything interesting seems to be on YouTube.
This is rather enjoyable to watch.
https://www.youtube.com/watch?v=ahXIMUkSXX0
https://www.youtube.com/watch?v=ahXIMUkSXX0
Doodling in Math: Spirals, Fibonacci, and Being a Plant [1 of 3]
🎓 Doc Freemo 
🇳🇱Why do sunflowers use the Golden Ratio to define their seed arrangement? Good explanation:
#math #mathematics @science #STEM
The Golden Ratio (why it is so irrational) - Numberphile
My life would be a lot easier if I was less paranoid. I suffer from a great deal of anxiety.
In my experience: once you teach a developer how to properly fix a security vulnerability that they created and then have them fix it themselves, they will never again make that same mistake.
I tend to assume that mature products eventually reach the point where they do not have basic vulnerabilities any more, but evidently that is not true. In this talk, Julien Vehent of Firefox talks about receiving bug bounty reports that include basic XSS attacks. He then reveals how Firefox is trying to address these with Test Driven Security, which sounds a bit like it was inspired by either a less strict version of Test Driven Development & Behavioral Driven Development https://www.youtube.com/watch?v=e2axToBYD68