Hi,

I'm Jan, a deep learning and functional programming enthusiast. I code mostly in Rust, TypeScript and Python, though I also have strong experience in PureScript, Haskell, Scala and Idris.

Right now I'm mostly interested in LLMs with a focus on mechanistic interpretability.

Need help with AI? Through my company Betalyra I'm available for hire, reach out to me at https://betalyra.pt/contact.

Current projects

At the moment I'm working on the following projects:

• 🦑 cuttlekit - Cuttlekit generative UI toolkit
• 🔺 effect-uai - Effectful building blocks for agentic ai

Past projects

• @huggingface/ratchet - Contributor to Christopher's ratchet transformer library.

Purescript

• 🔭 barlow-lens - A lens library that makes creating complex lenses such as record lenses super simple
• 🐆 fast-vect - Fast, type-safe vector libary for Purescript inspired by Idris.
• 🪁 httpurple - A simple, type-safe http server for PureScript. Originally forked from httpure but since then has deviated quite a bit.
• 🍒 morello - Cherry-picking for your data.

🧘🏾‍♀️ rowtype-yoga

Apart from these, I have published a couple of libraries that I have donated and moved to the 🧘🏾‍♀️ rowtype-yoga organisation. Here is an excerpt, you can find more on the organisation's profile:

• 💌 fetch - A minimalist library for using fetch (aka browser http client) in PureScript
• 📀 record-studio - Working with records made easy
• 🧮 js-bigints - FFI bindings for native BigInt
• 🦥 lazy-joe - Purescript ffi for the lazy joe
• 🦾 fallback - Idris-style fallback for do comprehensions.

Scala

• 🐆 fast-vect - Fast, type-safe vector libary for Scala. A port of my purescript-fast-vect and also heavily inspired by Idris.

Rust

• 🤖 skriptorium - A proof-of-concept for a cli to generate documentation for a repository using OpenAI.

Idris

• ⚗️ idris-refined - Refinement types for idris using dependent pairs.