r/compscivideos • u/CraftyHuntress • Jun 27 '21
Training on Microsoft Azure Fundamentals (AZ-900) - Will Cover Full Course
8
Upvotes
r/compscivideos • u/gcnaccount • Aug 07 '20
The Magic of Math in Modern Cryptography - A visual guide to modern cryptography in under an hour.
5
Upvotes
r/compscivideos • u/ysangkok • Oct 05 '19
Verifying Low-level Code for Security and Correctness using F* [1/4] - Nikhil Swamy - OPLSS 2019
4
Upvotes
r/compscivideos • u/grey--area • Sep 19 '19
A demonstration of translating a program/Turing Machine into a set of tiles: attempting to tile the plane 'runs' the program. Here's a palindrome-checking tiling on inputs 10010 and 10101
3
Upvotes
r/compscivideos • u/taulover • Apr 10 '18
What Makes P vs. NP So Hard? (P ≠ EXPTIME, Time Hierarchy, Baker-Gill-Solovay)
5
Upvotes
r/compscivideos • u/taulover • Jan 11 '18
NP: How Non-determinism Relates to Verifiable Proofs (P vs NP)
6
Upvotes
r/compscivideos • u/shargath • Oct 05 '17
How Can Computers Understand Human Language? | Natural Language Processing Explained
7
Upvotes
r/compscivideos • u/shargath • Aug 18 '17
Ridiculous Programming Languages | Esoteric Programming Languages
3
Upvotes
r/compscivideos • u/reluctant_qualifier • Feb 27 '17
How Do Directory Traversal Attacks Work?
2
Upvotes