RANDOMBLOGShttps://devblogy.k47.cz/random/tag/doma-dev.html Type system innovation propagationhttps://doma.dev/blog/innovation-propagation/Fri, 3 Sep 2021 19:30:00 +0200doma.dev Why type systems matterhttps://doma.dev/blog/why-type-systems-matter/Thu, 26 Aug 2021 18:02:02 +0200doma.dev Getting things done with shell scriptinghttps://doma.dev/blog/get-things-done-with-bash/Fri, 9 Apr 2021 16:25:00 +0200doma.dev Parser combinators in Rusthttps://doma.dev/blog/parsing-stuff-in-rust/Tue, 30 Mar 2021 19:20:00 +0200doma.dev Pattern matching in Rust and other imperative languageshttps://doma.dev/blog/pattern-matching-in-rust/Thu, 18 Mar 2021 08:28:17 +0100doma.dev Erlang and GNU poke are (better than) hex editorshttps://doma.dev/blog/binary-processing-erlang-gnu-poke/Fri, 5 Mar 2021 01:00:00 +0100doma.dev