Florian Ludewig

How To Create Your Own Obsidian Plugin - Step By Step

Florian Ludewig

How To Make Your Builds And Test Extremely Fast With Bazel

Florian Ludewig

Full Text Search With MongoDB And Node.js

Florian Ludewig

How to Easily Encrypt Git Repositories and Git Remotes

Florian Ludewig

Easily Build Beautiful Emails with Tailwind CSS and Dynamic Content

Florian Ludewig

The Ultimate Guide of Using Kafka with Node.js

Florian Ludewig

Manage and Sync All Your Passwords and OTP's on Linux

Florian Ludewig

Debugging Node.js + Typescript Running inside Docker Containers with Hot Reload

Florian Ludewig

The Easiest Way to Run Integration Tests with Docker and Testcontainers

Florian Ludewig

Fullstack Authentication with Refresh Access Tokens (Node, Next.js, Typescript)

Florian Ludewig

5 Easy Steps to Learn Freestyle Swimming for Beginners

Florian Ludewig

Use Whatsapp Without Active Phone Connection on Linux

Florian Ludewig

Finding Supremum and Infiumum of the Division Relation fo Two Natural Numbers

Florian Ludewig

Showing that the Infimum of {X,Y} Exists in the Partial Order [ Ƥ(M), ⊆ ]

Florian Ludewig

Proof of the Associativity of the Supremum (Sup{ Sup{ a, b }, c } = Sup{ a, Sup{ b, c } })

Florian Ludewig

Proofing that R is an equivalence relation if and only if IdM ⊆ R and R⚬R^-1 ⊆ R

Florian Ludewig

If the Relation R is Symmetric and Anti-Symmetric then R is also Transitive

Florian Ludewig

Proof the Equivalence of (R⚬S)^-1 = R^-1⚬R^-1 (Relation Product)

Florian Ludewig

Proof of the Associativity of the Relation Product (R⚬S)⚬T = R⚬(S⚬T)

Florian Ludewig

Proof that the Divisibility is a Partial Order (Reflexive, Anti-Symmetric, Transitive)

Florian Ludewig

Proof that Congruence Modulo is an Equivalence Relation (Reflexive, Symmetric, Transitive)

Florian Ludewig

Show (A ∩ B) ⨯ (C ∩ D) = (A ⨯ C) ∩ (B ⨯ D)

Florian Ludewig

Proofing Equivalence of Four Statements (Logical Conclusion)

Florian Ludewig

Showing that the Proof by Contradiction Works

Florian Ludewig

Showing that the Proof by Contraposition Works

Florian Ludewig

Proving the Equivalence of Statements (Logical Conclusion)

Florian Ludewig

If (F ⟶ G) is a Tautology and F is Satisfiable, Then G is Also Satisfiable

Florian Ludewig

If (F ⟶ G) is Satisfiable and F is Satisfiable, Then G is Also Satisfiable

Florian Ludewig

If (F ⟶ G) is a Tautology and F is a Tautology Then G is Also a Tautology

Florian Ludewig

Finding the Boolean Function for a Large Logical Statement

Florian Ludewig