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.
At the moment I'm working on the following projects:
@huggingface/ratchet- Contributor to Christopher's ratchet transformer library.
- 🔭
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 fromhttpurebut since then has deviated quite a bit. - 🍒
morello- Cherry-picking for your data.
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.
- 🐆
fast-vect- Fast, type-safe vector libary for Scala. A port of mypurescript-fast-vectand also heavily inspired by Idris.
- 🤖
skriptorium- A proof-of-concept for a cli to generate documentation for a repository using OpenAI.
- ⚗️
idris-refined- Refinement types for idris using dependent pairs.