usm.tools https://usm.tools/public/landing/ - platform that allows defining services (the organizational kind) as data, allowing different stakeholders differemt views on them. For instance somebody participating in a service delivery can see how they contribute to it

Arch Asxent https://github.com/mikko-ahonen/arch-ascent - tool for analyzing large microservice networks with hundres of microservices and creating architectural vision for them, and steps to reach the vision

When I discovered that some local llama.cpp can OCR PDF images generated by TeX, I started to revisit literate programming defined by Donald Knuth and explore using PDF as the source of truth artifact (instead of Markdown or program source code itself) for LLM to consume.

I only got to the point of having code and data as \verbatim in \LaTeX. Next step is CWEB.

Here is an example (with C and Rust code in \verbatim)

https://ontouchstart.github.io/rabbit-holes/llm_rabbit_hole_...

The ultimate goal is machine and human readable proofs on algorithms.

We've been building Doodledapp, a visual node-graph editor for Solidity (Ethereum). It's been really exciting to work on something genuinely interesting.

https://doodledapp.com/

Working on an all in one "platform" that runs multiple different checks on a website/domain. Got sick of having to run different checks in different places to ensure everything is at it should be - SSL, HTML, SEO, redirects etc.

Extended the checking to monitoring and change detection/alerting. You can try for free at https://www.augsentric.com - built for my own needs, but made it for others if there's interest... feedback welcome

I started working on an "anti-habituation" motivational reminder app:

https://appreciate.srid.ca/

https://github.com/srid/Appreciate

(Note: Only the macOS version is tested extensively at the moment)

I'm working on building a co-pilot that will help chip engineers (VLSI) build chips faster. The process to build a chip is quite different from a software lifecycle and we want to fix that gap using agents that will act as a bridge the reasoning provided by claude and the traditional chip design eco system. https://www.archgen.tech/index.html

https://www.riotiq.com -> An AI model to predict human IQ with 90% accuracy. Our research team first needed to build the only ever professional online IQ test to collect the massive amount of raw data needed to train a model. We are starting model training now:

Working on https://github.com/codeadict/gen_http a low level HTTP client library for Erlang that full featured clients can build on top of. Erlang's default HTTP client httpc is great but has a lot of process overhead, consumes memory and doesn't support HTTP2. This is heavily inspired by Mint in Elixir

Selecto, an elixir SQL query library that works with or without Ecto. Also SelectoComponents which gives you a web interface to build queries.

It is based on 20+ years of experience maintaining a similar system in Perl.

It's on Hex.pm already, looking for people to test and comment!

As Codex would say:

Selecto is an open-source SQL query builder for Elixir that helps you generate complex queries from clean, domain-based configs. It supports advanced joins, CTEs, subqueries, and analytics-friendly patterns, with companion packages for LiveView interfaces (selecto_components) and code generation (selecto_mix). If your app is data-heavy, Selecto gives you SQL-level power without brittle hand-written query strings.

I've joined this year's Flame Game Jam which uses the Flame Engine built on top of Flutter. This is my first game jam and I really hope I manage to submit the game before the deadline on Sunday.

Here's a link to the jam if anyone else is interested, and I recommend joining the Discord server too because the organizers and participants are really great and fun to hang around! - https://itch.io/jam/flame-game-jam-2026