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/?p=machines.hs.git
    Abstract & Virtual machines in Haskell

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

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

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

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

- https://git.ツツツ.com/?p=temple.lean4.git
    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/?p=hub.go.git
    A small websocket server in Go to track the TON's blockchain contracts.

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

- https://git.ツツツ.com/?p=cubicaltt-web.git
    A web version of https://github.com/mortberg/cubicaltt, built in Haskell
  using Reflex, GHCJS and Monaco, to reduce the entrance barrier.

- 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).