Falexis builds minimalist, local-first, privacy-respecting tools.https://falexis.com/https://falexis.com/life-beyond-engineering/best-free-footage-design-inspiration-websites-for-content-creators-2026/https://falexis.com/life-beyond-engineering/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.Sat, 16 May 2026 10:51:04 GMThttps://falexis.com/academic/programming-a-model-checking-tool-1/https://falexis.com/academic/programming-a-model-checking-tool-1/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.Sun, 10 May 2026 23:07:25 GMThttps://falexis.com/uncategorized/2026-student-creative-stack-pro-design-video-tools-without-the-watermark/https://falexis.com/uncategorized/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.Sun, 10 May 2026 15:36:05 GMThttps://falexis.com/academic/model-checking-buchi-automata-and-transformations/https://falexis.com/academic/model-checking-buchi-automata-and-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.Sat, 25 Apr 2026 11:23:28 GMThttps://falexis.com/academic/model-checking-computational-tree-logic-explained/https://falexis.com/academic/model-checking-computational-tree-logic-explained/Similar to Linear Temporal Logic (LTL), Computational Tree Logic (CTL) is a crucial Model Checking tool that is used to test model's properties.Mon, 20 Apr 2026 13:30:05 GMThttps://falexis.com/academic/model-checking-how-everything-is-connected/https://falexis.com/academic/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!Fri, 17 Apr 2026 13:43:46 GMThttps://falexis.com/academic/linear-temporal-logic-model-checking-2/https://falexis.com/academic/linear-temporal-logic-model-checking-2/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.Fri, 17 Apr 2026 13:21:37 GMThttps://falexis.com/academic/model-checking-how-to-model-a-system/https://falexis.com/academic/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.Sat, 04 Apr 2026 21:48:09 GMThttps://falexis.com/academic/model-checking-where-should-you-start/https://falexis.com/academic/model-checking-where-should-you-start/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.Wed, 01 Apr 2026 21:19:08 GMThttps://falexis.com/technical/apache-kafka-how-it-works-under-the-hood-2/https://falexis.com/technical/apache-kafka-how-it-works-under-the-hood-2/Apache Kafka powers scalable, high-throughput systems. Explore how brokers, partitions, log segments, and replication ensure availability and reliability.Thu, 26 Mar 2026 15:13:14 GMThttps://falexis.com/technical/apache-kafka-intro-and-key-concepts-every-developer-should-know-2/https://falexis.com/technical/apache-kafka-intro-and-key-concepts-every-developer-should-know-2/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.Sun, 22 Mar 2026 14:14:11 GMThttps://falexis.com/academic/diffusion-models-explained/https://falexis.com/academic/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.Sat, 21 Mar 2026 19:55:32 GMThttps://falexis.com/academic/generative-adversarial-networks-explained/https://falexis.com/academic/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.Thu, 19 Mar 2026 11:28:27 GMThttps://falexis.com/academic/normalizing-flows-explained/https://falexis.com/academic/normalizing-flows-explained/Normalizing Flows turn a simple Gaussian into a complex distribution through invertible transformations, enabling exact and tractable likelihood computation.Sun, 15 Mar 2026 14:35:32 GMThttps://falexis.com/academic/variational-autoencoders-explained/https://falexis.com/academic/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.Thu, 12 Mar 2026 20:23:12 GMThttps://falexis.com/academic/gaussian-mixture-models-explained/https://falexis.com/academic/gaussian-mixture-models-explained/Gaussian Mixture Models express a probability distribution as a weighted combination of Gaussians, capturing multi-modal data through interpretable components.Sun, 08 Mar 2026 07:16:10 GMThttps://falexis.com/academic/probabilistic-generative-models-overview/https://falexis.com/academic/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.Sat, 07 Mar 2026 18:42:07 GMT