Blog Vault
Welcome to the blog vault of articles covering technology, formal verification, and science. Below you will find an archive containing a comprehensive list of all the posts I have written so far, sorted by topic and date. Feel free to browse or use the search bar to find articles on specific subjects.
I aim to provide thoughtful analysis and clear explanations on complex topics in computer science, mathematics, physics, and more. The goal of this blog is to make complex technical subjects accessible and engaging to a broad audience. So whether you are a fellow researcher looking to stay up-to-date or simply have a casual interest in these fields, I hope you will find something of value in my writings. Check back often, as I am continually publishing new articles on the latest developments and research in these fascinating areas of study.
List of Blog Posts
Search for a Simple, Lightweight, and Easy-to-Use Process Manager
Author: Lukas Charvat
4/20/2024
Not only on our servers but also on our workstations, we often need to have a long-running processes. Keeping them running smoothly and reliably can be a challenge, especially when some components of...
Best Static Analysis Tools for C/C++ in 2023
Author: Lukas Charvat
9/9/2023
Static analysis tools are invaluable for finding bugs and security vulnerabilities in C/C++ code before you run it. They can catch issues that are easy to miss during code reviews. In this listicle,...
Pitfalls in Static Code Analysis: Resource Allocation
Author: Lukas Charvat
8/26/2023
As software complexity increases, engineering teams rely on static code analysis tools to automatically detect bugs and security vulnerabilities before shipping the products. However, many teams stru...
PiDP-11: A Raspberry PI-based Replica of the PDP-11 Computer
Author: Lukas Charvat
7/10/2023
In the world of computing, some machines hold a special place in history for their groundbreaking contributions. Without any doubts, the PDP-11 computer belongs to this group as an iconic device...