Toots for chshersh@functional.cafe account

Written by Dmitrii Kovanikov on 2025-01-06 at 09:00

Hi everyone 👋

For the last month, I've been working on a hobby project, shaping years of my ideas into implementing minimalistic config language -- ccl: Categorical Configuration Language.

You can read the motivation and a tutorial in my latest article:

https://chshersh.com/blog/2025-01-06-the-most-elegant-configuration-language.html

=> View attached media

=> More informations about this toot | View the thread

Written by Dmitrii Kovanikov on 2024-12-20 at 08:31

It's done! After checks notes 6 months of yak shaving, I finally finished Part 3 of my Pragmatic Category Theory series!

In this part, I give three more real-world examples of applying Semigroup while exploring why Associativity truly matters in detail.

https://chshersh.com/blog/2024-12-20-pragmatic-category-theory-part-03.html

=> More informations about this toot | View the thread

Written by Dmitrii Kovanikov on 2024-12-01 at 16:43

I haven't posted here for a while.

Recently, I was busy rewriting my personal web page from Haskell to Elm.

The decision to use Elm and elm-ui for my static website is paying off again.

I've added a feature to use Vim-style keybindings for visiting my social links.

chshersh.com

=> View attached media

=> More informations about this toot | View the thread

=> This profile with reblog | Go to chshersh@functional.cafe account

Proxy Information
Original URL
gemini://mastogem.picasoft.net/profile/109286284966279272
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
277.631253 milliseconds
Gemini-to-HTML Time
0.537038 milliseconds

This content has been proxied by September (3851b).