17:02
How To Create Your Own Obsidian Plugin - Step By Step
9.8K views • 1 year ago
16:52
How To Make Your Builds And Test Extremely Fast With Bazel
2.2K views • 1 year ago
12:35
Full Text Search With MongoDB And Node.js
8.1K views • 1 year ago
4:35
How to Easily Encrypt Git Repositories and Git Remotes
1.6K views • 1 year ago
8:40
Easily Build Beautiful Emails with Tailwind CSS and Dynamic Content
8.4K views • 1 year ago
9:10
The Ultimate Guide of Using Kafka with Node.js
7.4K views • 1 year ago
13:49
Manage and Sync All Your Passwords and OTP's on Linux
1.2K views • 1 year ago
7:39
Debugging Node.js + Typescript Running inside Docker Containers with Hot Reload
8.6K views • 2 years ago
11:12
The Easiest Way to Run Integration Tests with Docker and Testcontainers
3.9K views • 2 years ago
41:10
Fullstack Authentication with Refresh Access Tokens (Node, Next.js, Typescript)
31K views • 2 years ago
8:32
5 Easy Steps to Learn Freestyle Swimming for Beginners
472 views • 2 years ago
2:52
Use Whatsapp Without Active Phone Connection on Linux
10K views • 2 years ago
2:11
Finding Supremum and Infiumum of the Division Relation fo Two Natural Numbers
519 views • 4 years ago
2:27
Showing that the Infimum of {X,Y} Exists in the Partial Order [ Ƥ(M), ⊆ ]
309 views • 4 years ago
6:08
Proof of the Associativity of the Supremum (Sup{ Sup{ a, b }, c } = Sup{ a, Sup{ b, c } })
364 views • 4 years ago
5:11
Proofing that R is an equivalence relation if and only if IdM ⊆ R and R⚬R^-1 ⊆ R
446 views • 4 years ago
1:40
If the Relation R is Symmetric and Anti-Symmetric then R is also Transitive
880 views • 4 years ago
1:47
Proof the Equivalence of (R⚬S)^-1 = R^-1⚬R^-1 (Relation Product)
562 views • 4 years ago
2:29
Proof of the Associativity of the Relation Product (R⚬S)⚬T = R⚬(S⚬T)
568 views • 4 years ago
3:37
Proof that the Divisibility is a Partial Order (Reflexive, Anti-Symmetric, Transitive)
3.8K views • 4 years ago
5:37
Proof that Congruence Modulo is an Equivalence Relation (Reflexive, Symmetric, Transitive)
4.5K views • 4 years ago
2:37
Show (A ∩ B) ⨯ (C ∩ D) = (A ⨯ C) ∩ (B ⨯ D)
4.4K views • 4 years ago
3:23
Proofing Equivalence of Four Statements (Logical Conclusion)
245 views • 4 years ago
2:23
Showing that the Proof by Contradiction Works
222 views • 4 years ago
2:26
Showing that the Proof by Contraposition Works
245 views • 4 years ago
5:46
Proving the Equivalence of Statements (Logical Conclusion)
299 views • 4 years ago
1:46
If (F ⟶ G) is a Tautology and F is Satisfiable, Then G is Also Satisfiable
481 views • 4 years ago
3:01
If (F ⟶ G) is Satisfiable and F is Satisfiable, Then G is Also Satisfiable?
698 views • 4 years ago
1:32
If (F ⟶ G) is a Tautology and F is a Tautology Then G is Also a Tautology?
455 views • 4 years ago
2:55
Finding the Boolean Function for a Large Logical Statement
183 views • 4 years ago
Load More