Best Free Footage & Design Inspiration Websites for Content Creators (2026)
Stop wasting time looking for assets. Check out the best free stock footage and design inspiration sites for creators in 2026, featuring Freepik and Dribbble.
Writing
Blog
Model Checking: Programming a Simple Model Checker Together Part I
Although Model Checking can seem a very specific topic, understanding its concepts is a crucial point for many theoretical Formal Verification jobs, but also for many real-world applications. Our blog tries to combine what we have learned from the previous blogs with the coding.
2026 Student Creative Stack: Pro Design & Video Tools Without the Watermark
Tired of watermarks? Discover the 2026 student creative stack for engineering students. Get pro graphic design and video tools with zero cost and no learning curve.
Model Checking: Büchi Automata, System Model and LTL Formulae Transformations
Büchi Automata define a class of languages where the words are infinite. Discover how they are used in Model Checking to describe both models and properties.
Model Checking: What does Computational Tree Logic (CTL) do?
Similar to Linear Temporal Logic (LTL), Computational Tree Logic (CTL) is a crucial Model Checking tool that is used to test model's properties.
Model Checking: How Everything Is Connected
How does Model Checking work? How to verify properties on a model? This depends in general from the logic type used, and this blog post covers all of it!
Model Checking: Learn Linear Temporal Logic (LTL)
Learn how Linear Temporal Logic (LTL) is used in Model Checking to express and verify system properties over time. Explore Kripke structures, syntax, semantics, and examples with clear explanations.
Model Checking: How to Model a System?
Model Checking is the verification of the correctness of a system's models. In this blog, we discover the different ways to correctly and easily model our system.
Model Checking: Essential Logic and Automata Theory You Need to Know
Model Checking is a core method used in Formal Verification to prove properties of a running system after modeling it. Step by step, we dicover together how modelling, defining properties and the actual model checking actually works. We start with the small introduction into different tools that will be used in this series.
Apache Kafka: How Everything Works Under the Hood
Apache Kafka powers scalable, high-throughput systems. Explore how brokers, partitions, log segments, and replication ensure availability and reliability.
Apache Kafka: Intro and Key Concepts Every Developer Should Know
Has Apache Kafka captured your attention in Software Engineering and System Design? Explore the concepts of producers, consumers, topics, and partitions, and understand how Kafka fixes high coupling in modern architectures through its simple and strong structure.
Diffusion Models Explained
How diffusion models generate images by reversing a gradual noise process — forward and reverse Markov chains, DDPM, and why they rival GANs on sample quality.
Generative Adversarial Networks Explained
How GANs learn by pitting a generator against a discriminator — the minimax game, and why adversarial training replaced explicit density estimation.
Normalizing Flows Explained
Normalizing Flows turn a simple Gaussian into a complex distribution through invertible transformations, enabling exact and tractable likelihood computation.
Variational Autoencoders Explained
A Variational Autoencoder (VAE) is a generative model that learns a compressed, continuous representation (a latent space) of data. It consists of an encoder network that maps data to a distribution in the latent space and a decoder network that reconstructs data from samples drawn from that latent distribution.
Gaussian Mixture Models Explained
Gaussian Mixture Models express a probability distribution as a weighted combination of Gaussians, capturing multi-modal data through interpretable components.
Probabilistic Generative Models Overview
An introduction to probabilistic generative modeling: how generative models differ from discriminative ones, and the concepts behind five key model families.