Maybe you want to hire me sometime later
Here's my CV, but I work for Serokell at the moment (and we're writing a cryptocurrency in Haskell). Most likely, I won't agree to work for you right now. But hey, you can still write me and maybe in a year or so I'll be yours if you:
- are awesomer
- aren't awesomer but pay substantially more
- or offer relocation to some nice country
Look at my Telegram channel
I'm teaching a bunch of people Haskell by giving them tasks to solve (and then we collectively discuss solutions). You can join too!
I've also written some libraries:
microlens, a small lens-compatible library for lenses. Should be useful for library writers and stuff.
ilist, a library with optimised index-related functions for lists – you don't need those often, but if you do, this library is probably the best place to get them.
I also started the /r/haskelltil subreddit (for Haskell tips and tricks and code samples and oddities and curiosities and idioms and interesting facts and everything that is short enough that you'd be ashamed to submit it to /r/haskell or write about it at your blog). It didn't catch on but some content there is still useful.
Finally, right now I'm busy working on Aelve Guide, a wiki-like guide to Haskell ecosystem and community. You can help.
lens over tea
A series of articles (called “lens over tea”) about lens and its implementation.
part 1 – lenses 101, traversals 101, a bit of implementation details (also lens operators, functor composition,
Identity, difference lists, monoids of endomorphisms under composition, default signatures for class methods, equality constraints, and irrefutable patterns).
part 2 – composition, laws, getters/actions/setters (also history of lenses, categories, the way to write lenses which would compose “normally”, some links to
part 3 – folds (also
Apply, a nice trick for combining folds, and
part 4 – isomorphisms, some profunctors, lens families (also
Proxy, a bit about pure profunctor lenses, existential types, algebra of types, and a cat video).
part 5 – prisms (also a recap of isomorphisms with diagrams, a bit about affine traversals,
part 6 – Template Haskell, aka “write your own
It's a work in progress; the future parts will mention:
- indexed things
Mafic, traversal stuff like
- benchmarks (
fst? how much does
- vertical composition, link
- pure profunctor lenses and traversals, link 1, link 2, link 3, link 4, symmetric lenses (
(g a -> f b) -> g s -> f t), link
- Aeson: the tutorial
- 10 questions about Haskell: a shitpost
- Making a CTF task in Haskell
- Some common and annoying mistakes in Haddocks
Stuff that is sort of related to psychology
Stuff that is sort of related to linguistics
Several years ago I've been learning Racket and making notes (which then became somewhat popular):
Introduction. First three days, no prior knowledge, getting a feel for the syntax... You get the idea.
Macros, Macros and a Bit of Modules. Another three days. Mostly macros, as you could've guessed.
- list of topics to cover. Gray because it can't be finished almost by definition.
I'm not learning Racket anymore, but I might start again in the future.
Stuff I did
- This site. Yes, it runs on a couple of shell scripts, but I thought I'd explain them anyway.