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

hi, i'm a software engineer interested in functional programming, compilers,
programming languages, zero knowledge proofs, &c.

posts
-----

-  /living-according-to-values.html
-  /why-i-am-not-a-scientist.html
-  /wisdom-and-software-engineering.html
-  /on-short-lived-software.html
-  /row-types-and-modules.html
-  /thoughts-on-backpack-modules-and-records.html
-  /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.ak3n.com/?p=machines.hs.git
    Abstract & Virtual machines in Haskell

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

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

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

- https://git.ak3n.com/?p=handle-examples.git
    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).

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

contact
-------
hi @ ak3n.com