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