Blub
Person doing computer programming. In particular, functional programming, unnecessarily optimized software and things low-level.
As for software here that is useful:
- embeddings-sort, a cli application to sort images via a TSP tour through image embeddings (both ai-based embeddings and simpler things, e.g. hue/color). Contains a fast O(n²) tsp approximation implementation, with an AFAIK original idea for optimizing 2-opt swapping based on linked lists with implicit iteration order.
- qbot, a generic interface for writing cross-platform chat bots. Currently supports matrix, telegram and signal.
- fastbangs, a kind of meta search engine that redirects to other search engines based on user-submitted shortcuts ("bangs")
- ddc, a efficient dyndns client with the the same level of support for ipv4/ipv6 and a simple config format
Some more software can also be found on my older github account. Most of that software is too unstable to be useful, but some might be interesting; e.g. my implementation of user-space swapping via shared object injection contains a good deal of low-level fun.
As for my theoretical abilities, my bachelors thesis may be of interest. It covers issues that arise when trying to apply a demand analysis (esp. strictness analysis), a technique used to find functions where certain optimizations for lazy functional languages can safely be used, to Curry, a language that in addition to being lazy and fuctional also supports non-deterministic search.