Înapoi la articole →

Cel mai recent articol

Ultima verificare

Urmăritori 0 urmăritori
Articole: 43
  1. Finding Bugs using LLMs

    At Materialize we’ve had success in finding bugs in existing code and open pull requests using LLM-based coding agents since February 2026, coinciding with the release of Anthropic’s Opus 4.6 (now mostly running on 4.7).

  2. Workload Capture & Replay

    When customers hit issues in production, it can be an effort to locally reproduce them, especially when external sources are involved.

  3. Speeding up Materialize CI

    In the previous post I talked about how we test Materialize.

  4. In our last blog about our Quality Assurance (QA) team, we gave an overview of the QA process, including our software and testing methods.

  5. The CI Flake

    I analyzed a flaky test failure in our Materialize CI today: $ docker compose up -d --scale default=0 default no such service: default mzcompose: error: running docker compose failed (exit status 1) I had seen this error already once or twice in the last…

  6. Testing Materialize

    I joined Materialize’s Quality Assurance (QA) development team over a year ago.

  7. Or how to make naïve hosters shut down your victim’s server.

  8. Note: This is translated from the German original, which was used as a homework for the Programming Paradigms course at Karlsruhe Institute of Technology a long long time ago when I was co-holding the practical courses.

  9. God writes Haskell

    God famously does not play dice with the universe, but he seems to enjoy writing Haskell: Consider the wave-particle duality in quantum mechanics.

  10. YugabyteDB is a cloud-native database for business-critical enterprise applications.

  11. €9 Ticket

    As a relief for rising energy costs and inflation Germany is offering nearly-free public transportation for the months of June, July and August.

  12. In my previous post 8 months ago I described how our open source online game DDraceNetwork has been suffering under DoS attacks for about 8 years, basically since its inception.

  13. About 3 years ago I wrote about my Linux Desktop Setup and having used pretty much the same software setup for 10-15 years.

  14. DDraceNetwork is an open source online game I’ve been running since 2013 with a community of volunteers.

  15. Today I lost access to my home server.

  16. Chinese Traffic to time.gif

    Nearly two years ago I posted this endless GIF that always shows the current time in UTC: Now looking at my GoAccess dashboard I can see that it is picking up in popularity rather suddenly: But strangely I can’t find anything about time.gif being linked on

  17. Linux Desktop Setup

    Russian Translation by Akhmad Karimov My software setup has been surprisingly constant over the last decade, after a few years of experimentation since I initially switched to Linux in 2006.

  18. Theme Switcher in Nginx

    Some people really liked the dark DDNet theme for Halloween by Soreu, so we decided to keep it possible to use the default bright or the dark theme.

  19. One year of cycling to work

    Exactly on this day, one year ago, I came back from a one month long trip to Taiwan, went straight to work from the airport and immediately moved into a new apartment after work.

  20. I have recently received a job offer to work on a blockchain implementation.

  21. I started working as a C++ developer in the HANA Core Platform team at SAP in Walldorf, Germany more than a year ago.

  22. C++ Quiz #1

    What is the output of this small snippet that is based on real C++ code?

  23. time.gif

    This is an endless GIF that always shows the current time in UTC: Source Code (From reports it doesn’t seem to work on Safari, other browsers should be fine.) time.gif is written in Haskell and works by dynamically generating each frame of the GIF and slo…

  24. Nim Code Coverage

    Creating code coverage reports with Nim is surprisingly easy.

  25. A Taste of Haskell

    In this post I want to highlight a few fun aspects of the Haskell programming language.

  26. New Hardware and Hacks

    In my latest post I showed some examples of how I ran mostly the same PC hardware over a period of 8 years.

  27. After reading the feedback of my recent article about running DDNet, I noticed that people found it interesting how I’m trying to minimize money and resources.

  28. Japanese Translation In this article we’re going to write a simple 2D platform game.

  29. It’s been roughly 3 years since DDraceNetwork (DDNet) started in the summer of 2013.

  30. Introduction to the Introduction (Meta-Introduction) Wikipedia gives us a nice description of metaprogramming: Metaprogramming is the writing of computer programs with the ability to treat programs as their data.

  31. About a month ago I set up statistics for the official DDNet servers.

  32. Surprisingly I’m working on HookRace again.

  33. Last night I had an idea and implemented it, soo let’s see what will happen.

  34. The size of binaries in the Nim programming language seems to be a popular topic recently.

  35. Let me get this straight.

  36. Since today Nim 0.11 has been released, I guess it’s a good time to release this as well: NimES is a NES emulator written in Nim.

  37. Make a Lisp in Nim

    I spent the last weekend working through the amazing guide for Make a Lisp, writing a Lisp interpreter in Nim.

  38. How I Start: Nim

    My most recent post goes in another direction (no, it’s still about Nim): How I start a new Nim project.

  39. Conclusion on Nim

    In my last two posts, “What is special about Nim?”

  40. What makes Nim practical?

    In my last post I showed what makes the Nim programming language special.

  41. What is special about Nim?

    Russian Translation by frol, Chinese Translation by JiyinYiyong, Japanese Translation by Mutsuha Asada The Nim programming language is exciting.

  42. Nim Adventures

    To learn some Nim I held a talk about it at the GPN14 (in German, Slides).

  43. What is HookRace?

    I have been running DDraceNetwork for 1 year, which started out as a little server of a Teeworlds modification called DDRace.