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