Profile avatar
chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Erlang programmer. Occasional content creator youtube.com/chiroptical twitch.tv/chiroptical. Fencing enjoyer.
850 posts 1,051 followers 186 following
Regular Contributor
Active Commenter
Posts 23 Comments 27

TIL `let in term` is valid #haskell

submitted 9 hours ago • 0 comments

Gahhh, first semi-serious fencing injury tonight. I’ll be out of commission for at least a few weeks. Super annoying but it could have been a LOT worse.

submitted 1 day ago • 1 comment

Spent a bit pruning my bonsai. No idea if I’ll keep it alive but one can hope!

submitted 3 days ago • 0 comments

Finally into the Contracts section of #racketlang guide. Get ready for a flurry of confusion!

submitted 4 days ago • 0 comments

A slice of sour dough bread, toasted, with butter and raspberry jam.

submitted 4 days ago • 0 comments

How do I increase the skeet frequency of #erlang and #racketlang?

submitted 5 days ago • 0 comments

I like that #racketlang allows you to have sub modules which aren’t default exposed but you can opt into them if you need them.

submitted 6 days ago • 0 comments

The BEAM is such a superpower

submitted 7 days ago • 0 comments

Would you still create smart constructors in #racketlang with contracts on a struct? My guess is no, but it isn't necessarily obvious to me yet.

submitted 8 days ago • 0 comments

Phenomenal #fencing night tonight. My parry rispostes were tight. I also better understand when someone is taking priority from me by beating. Need to get better at hiding my blade + distance. I’m very often to close with my blade hidden.

submitted 8 days ago • 1 comment

Current learning options: build a compiler in Haskell, learn meta programming techniques in Racket, or learn about WASM and Grain. I need more time!

submitted 9 days ago • 1 comment

Why are there so many cool programming languages!

submitted 9 days ago • 1 comment

At work we have a use case for an ordered non-empty set. AFAICT, there isn’t a #haskell library for this yet. Pretty sure you could represent it with a ‘NonEmpty a’ and ‘Set a’. Any better ideas?

submitted 10 days ago • 4 comments

I’ve been volunteering my time to help with a community project but I kind of want to switch focus to OSS work one night a week instead.

submitted 10 days ago • 0 comments

I was finally able to go fencing again tonight. What a dang delight. Too many missed parry riposte situations tonight. It is nice to feel how far I’ve come. #alwaysbelearnin

submitted 10 days ago • 1 comment

I was supposed to read structs/modules first but I couldn't help but peak at contracts. This fails at run-time because 0 is not positive.

submitted 12 days ago • 1 comment

Can add, [language.auto-pairs] '(' = ')' '[' = ']' '"' = '"' to [[language]] section for #racketlang in #helixeditor to avoid automatically pairing single quotes.

submitted 12 days ago • 0 comments

serverracket.com/book/ found this today. No idea if it is good but 🤞

submitted 12 days ago • 1 comment

Racket - the Language-Oriented Programming Language - version 8.17 is now available from download.racket-lang.org See blog.racket-lang.org/2025/05/rack... for the release announcement and highlights. #lisp #racketlang #scheme

submitted 12 days ago • 1 comment

I finally found an example of the “explicate control” step from Essentials of Compilation. I did not understand what the heck this step was supposed to do for ages.

submitted 13 days ago • 1 comment

Just released github.com/chiroptical/.... It now has `deriveHasFieldWithPrefix "prefix"` which strips "prefix" from the field names for their HasField instances. Additionally, the error messages when the prefixes don't match the fields is better for `deriveHasField`. #haskell

submitted 13 days ago • 0 comments

Hello friends, I am looking for work: ⌛️ 15+ years of technical experience 🧙‍♀️ Haskell, Purescript, nix, ... 👩‍🔬 Formal methods, theoretical computer science 👩‍💼 7+ years of Team Lead / EM experience eevie.ro/pages/about.... DM for more info, I'm open to both contracting and FTE. Reposts appreciated!

submitted 17 days ago • 0 comments

If I wanted to build a web app in #racketlang what libraries should I be checking out?

submitted 18 days ago • 3 comments