17:02
How To Create Your Own Obsidian Plugin - Step By Step
11K views • 1 year ago
16:52
How To Make Your Builds And Test Extremely Fast With Bazel
2.3K views • 1 year ago
12:35
Full Text Search With MongoDB And Node.js
9.1K views • 1 year ago
4:35
How to Easily Encrypt Git Repositories and Git Remotes
1.8K views • 1 year ago
8:40
Easily Build Beautiful Emails with Tailwind CSS and Dynamic Content
8.8K views • 1 year ago
9:10
The Ultimate Guide of Using Kafka with Node.js
8.3K views • 1 year ago
13:49
Manage and Sync All Your Passwords and OTP's on Linux
1.3K views • 1 year ago
7:39
Debugging Node.js + Typescript Running inside Docker Containers with Hot Reload
9K views • 2 years ago
11:12
The Easiest Way to Run Integration Tests with Docker and Testcontainers
4.2K views • 2 years ago
41:10
Fullstack Authentication with Refresh Access Tokens (Node, Next.js, Typescript)
32K views • 2 years ago
8:32
5 Easy Steps to Learn Freestyle Swimming for Beginners
487 views • 3 years ago
2:52
Use Whatsapp Without Active Phone Connection on Linux
10K views • 3 years ago
2:11
Finding Supremum and Infiumum of the Division Relation fo Two Natural Numbers
527 views • 4 years ago
2:27
Showing that the Infimum of {X,Y} Exists in the Partial Order [ Ƥ(M), ⊆ ]
312 views • 4 years ago
6:08
Proof of the Associativity of the Supremum (Sup{ Sup{ a, b }, c } = Sup{ a, Sup{ b, c } })
367 views • 4 years ago
5:11
Proofing that R is an equivalence relation if and only if IdM ⊆ R and R⚬R^-1 ⊆ R
453 views • 4 years ago
1:40
If the Relation R is Symmetric and Anti-Symmetric then R is also Transitive
887 views • 4 years ago
1:47
Proof the Equivalence of (R⚬S)^-1 = R^-1⚬R^-1 (Relation Product)
611 views • 4 years ago
2:29
Proof of the Associativity of the Relation Product (R⚬S)⚬T = R⚬(S⚬T)
596 views • 4 years ago
3:37
Proof that the Divisibility is a Partial Order (Reflexive, Anti-Symmetric, Transitive)
3.9K 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.5K views • 4 years ago
3:23
Proofing Equivalence of Four Statements (Logical Conclusion)
246 views • 4 years ago
2:23
Showing that the Proof by Contradiction Works
223 views • 4 years ago
2:26
Showing that the Proof by Contraposition Works
247 views • 4 years ago
5:46
Proving the Equivalence of Statements (Logical Conclusion)
303 views • 4 years ago
1:46
If (F ⟶ G) is a Tautology and F is Satisfiable, Then G is Also Satisfiable
487 views • 4 years ago
3:01
If (F ⟶ G) is Satisfiable and F is Satisfiable, Then G is Also Satisfiable?
708 views • 4 years ago
1:32
If (F ⟶ G) is a Tautology and F is a Tautology Then G is Also a Tautology?
456 views • 4 years ago
2:55
Finding the Boolean Function for a Large Logical Statement
184 views • 4 years ago
Load More