Barry
@chiroptical.dev
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.
twitch.tv/chiroptical I promise, I'm a professional.
chiroptical - Twitch
Random Racket stuff
twitch.tv
November 11, 2025 at 2:18 PM
twitch.tv/chiroptical I promise, I'm a professional.
Check your local library you might be able to get access to it too!
November 7, 2025 at 2:33 PM
Check your local library you might be able to get access to it too!
In Racket, I was able to use hash set and the generic fold over sequences which was cool.
November 6, 2025 at 1:55 AM
In Racket, I was able to use hash set and the generic fold over sequences which was cool.
Sort of funny because I forgot those existed and ended up just having a custom struct to store the numbers 🤦
November 5, 2025 at 12:05 PM
Sort of funny because I forgot those existed and ended up just having a custom struct to store the numbers 🤦
To be clear, the issue isn’t the activity. It is that my brain thinks somehow I have time to do that.
November 1, 2025 at 5:26 PM
To be clear, the issue isn’t the activity. It is that my brain thinks somehow I have time to do that.
@gleam.run would like to have a word 💜
November 1, 2025 at 1:22 PM
@gleam.run would like to have a word 💜
This thread was crazy helpful for me. I'm going to try to break it down into smaller steps.
October 31, 2025 at 4:55 PM
This thread was crazy helpful for me. I'm going to try to break it down into smaller steps.
b-mehta.github.io/formalising-... found this today. Helps with the syntax a bunch
apply — Formalising Mathematics 0.1 documentation
b-mehta.github.io
October 31, 2025 at 1:54 PM
b-mehta.github.io/formalising-... found this today. Helps with the syntax a bunch
Also, the apply syntax to re-write the current goal into a new goal is pretty confusing. If I have multiple named goals what does it re-write to?
October 30, 2025 at 12:51 AM
Also, the apply syntax to re-write the current goal into a new goal is pretty confusing. If I have multiple named goals what does it re-write to?
The easiest way to explain this is the classic adage: I can’t see the forest from the trees.
October 27, 2025 at 10:48 PM
The easiest way to explain this is the classic adage: I can’t see the forest from the trees.
In this case, I was just writing TS. It was in a TSX file but that wasn’t relevant.
October 27, 2025 at 10:30 PM
In this case, I was just writing TS. It was in a TSX file but that wasn’t relevant.
I also learned that Mathlib is quite a large project
October 26, 2025 at 1:23 AM
I also learned that Mathlib is quite a large project
It is pretty neat how the LSP guides you through this.
October 26, 2025 at 1:19 AM
It is pretty neat how the LSP guides you through this.