evgenii akentev
===============

hi @ ツツツ.com

posts
-----

- 15 Jan 24 /wisdom-and-software-engineering.html
- 05 Jan 24 /on-short-lived-software.html
- 01 Apr 23 /row-types-and-modules.html
- 31 Jan 21 /thoughts-on-backpack-modules-and-records.html
- 31 Jan 21 /implementations-of-the-handle-pattern.html

rss: /index.xml 

projects
--------

- https://hackage.haskell.org/package/debug-trace-file
    Like Debug.Trace but writing to files.

- https://hackage.haskell.org/package/line-indexed-cursor
    Line-indexed file reader.

- https://git.ツツツ.com/machines.hs
    Abstract & Virtual machines in Haskell

- https://git.ツツツ.com/machines.rs
    Abstract & Virtual machines in Rust

- https://git.ツツツ.com/gcs
    Garbage collection algorithms

- https://git.ツツツ.com/punycode.zig
    Punycode library in Zig

- https://git.ツツツ.com/lc3vm.zig
    Little Computer 3 virtual machine in Zig

- https://git.ツツツ.com/temple.lean4
    A rudimentary template engine written in Lean4 without fancy dependent
  types and useful operators yet. It can parse, build a tree, and substitute
  using de Bruijn Indices.

- https://git.ツツツ.com/hub.go
    A small websocket server in Go to track the TON's blockchain contracts.

- https://git.ツツツ.com/handle-examples.hs
    Examples of the Handle pattern in Haskell

- https://ulearn.me/Course/fpintroduction
    An online course on functional programming that I helped to create and
  teach between 2019 and 2021. Designed for bachelor students at Ural Federal
  University (taught in Russian).