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.
Reposted by Barry
📰 Unison 0.5.50 is out
* New `branch.diff` command (with diff-tool support)
* Support for adding comments to branch history
* MCP agents can `test`, `update`, and `run` code
* Smarter `run` command behavior
Check out the full release notes:
* New `branch.diff` command (with diff-tool support)
* Support for adding comments to branch history
* MCP agents can `test`, `update`, and `run` code
* Smarter `run` command behavior
Check out the full release notes:
Release release/0.5.50 · unisonweb/unison
What's New
ucm 0.5.50 has lots of updates and new features (and is also a 1.0 release candidate)!
workflow improvements
new branch.diff command for comparing branches, also with difftool support v...
github.com
November 13, 2025 at 5:48 PM
📰 Unison 0.5.50 is out
* New `branch.diff` command (with diff-tool support)
* Support for adding comments to branch history
* MCP agents can `test`, `update`, and `run` code
* Smarter `run` command behavior
Check out the full release notes:
* New `branch.diff` command (with diff-tool support)
* Support for adding comments to branch history
* MCP agents can `test`, `update`, and `run` code
* Smarter `run` command behavior
Check out the full release notes:
Starting up the stream now. Doing some random #racketlang stuff.
November 11, 2025 at 2:17 PM
Starting up the stream now. Doing some random #racketlang stuff.
Boolean blindness as a service
November 6, 2025 at 1:52 AM
Boolean blindness as a service
Wrote some #racketlang tonight. I finished everybody.codes quest 2 part 1. Learned about rack unit and raco test. No idea if my code is idiomatic.
Everybody Codes
Everybody Codes is platform much like Advent of Code, where you and your friends can participate in a variety of exciting quests. Join people from all around the globe tackling the same challenges, be...
everybody.codes
November 5, 2025 at 3:09 AM
Wrote some #racketlang tonight. I finished everybody.codes quest 2 part 1. Learned about rack unit and raco test. No idea if my code is idiomatic.
Got to PT this morning and no one was there. This is why you update your calendars folks.
November 3, 2025 at 12:57 PM
Got to PT this morning and no one was there. This is why you update your calendars folks.
Seriously my brain needs to stop. I was just thinking, “Hmm, I wonder how hard it is to contribute to GHC. They have newcomer tickets”
November 1, 2025 at 5:25 PM
Seriously my brain needs to stop. I was just thinking, “Hmm, I wonder how hard it is to contribute to GHC. They have newcomer tickets”
Finished Section 2.2 of Mathematics in Lean. I'm skeptical that anything beyond this will make sense...
This was labeled a hard exercise, but my brain has no idea why I would introduce `h` as a goal to solve this. I feel like I need more raw math skills which probably isn't surprising to some.
This was labeled a hard exercise, but my brain has no idea why I would introduce `h` as a goal to solve this. I feel like I need more raw math skills which probably isn't surprising to some.
![theorem mul_inv_cancel (a : G) : a * a⁻¹ = 1 := by
have h : (a * a⁻¹)⁻¹ * (a * a⁻¹ * (a * a⁻¹)) = 1 := by
rw [mul_assoc, ← mul_assoc a⁻¹ a, inv_mul_cancel, one_mul, inv_mul_cancel]
rw [← h, ← mul_assoc, inv_mul_cancel, one_mul]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4xantjlk3qw45fcrqcxvs7xr/bafkreidgxholkxrmtbplyarg5s26dq6gynbge5uziynu4kdshj7242pwiq@jpeg)
October 30, 2025 at 12:49 AM
Finished Section 2.2 of Mathematics in Lean. I'm skeptical that anything beyond this will make sense...
This was labeled a hard exercise, but my brain has no idea why I would introduce `h` as a goal to solve this. I feel like I need more raw math skills which probably isn't surprising to some.
This was labeled a hard exercise, but my brain has no idea why I would introduce `h` as a goal to solve this. I feel like I need more raw math skills which probably isn't surprising to some.
It is wild to me how much of a buffoon I feel like when I have to touch non-trivial TypeScript stuff.
October 27, 2025 at 9:07 PM
It is wild to me how much of a buffoon I feel like when I have to touch non-trivial TypeScript stuff.
![example (a b : ℝ) : (a + b) * (a - b) = a ^ 2 - b ^ 2 := by
rw [mul_sub, add_mul, add_mul, <- pow_two, <- sub_sub, mul_comm, <- add_sub, sub_self, <- pow_two, add_zero]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:4xantjlk3qw45fcrqcxvs7xr/bafkreig33b34odjmtmm7tna254ua3gr6wnsvpyrc6lu52u5xxz2q5gsqdy@jpeg)
First day writing proofs in #leanlang. Already feels like a fun puzzle. Learned how to use calc with `_ = _ := by sorry` at the end to help plan my route. The process feels very alien at the moment.
October 24, 2025 at 1:19 AM
First day writing proofs in #leanlang. Already feels like a fun puzzle. Learned how to use calc with `_ = _ := by sorry` at the end to help plan my route. The process feels very alien at the moment.
Reposted by Barry
Call for Servant cookbooks in preparation of v0.21
discourse.haskell.org/t/call-for-s...
#Haskell #Documentation
discourse.haskell.org/t/call-for-s...
#Haskell #Documentation
Call for Servant cookbooks in preparation of v0.21
Hi everyone, as a maintainer of Servant, I would like to call to its user base to share some of the techniques that you may have developed in your applications over the years. As you know, Servant is...
discourse.haskell.org
October 23, 2025 at 8:26 AM
Call for Servant cookbooks in preparation of v0.21
discourse.haskell.org/t/call-for-s...
#Haskell #Documentation
discourse.haskell.org/t/call-for-s...
#Haskell #Documentation
Discovered github.com/leanprover-c.... Current plan, learn a bit about mathematical theorem proving and use it as a tool to work through Algebra: Chapter 0. #leanlang
GitHub - leanprover-community/mathematics_in_lean: The user home repository for the Mathematics in Lean tutorial.
The user home repository for the Mathematics in Lean tutorial. - leanprover-community/mathematics_in_lean
github.com
October 23, 2025 at 1:32 AM
Discovered github.com/leanprover-c.... Current plan, learn a bit about mathematical theorem proving and use it as a tool to work through Algebra: Chapter 0. #leanlang
Reposted by Barry
Don't get too hung up on #Monads, there are other ways to sequence effects; including Arrows; and they provide even better static analysis!
Let me know what you think :)
#Haskell
chrispenner.ca/posts/arrow-...
Let me know what you think :)
#Haskell
chrispenner.ca/posts/arrow-...
Exploring Arrows for sequencing effects
Monads are <em>one</em> way to sequence effects, but they're not the
only way!
chrispenner.ca
October 21, 2025 at 2:41 AM
Don't get too hung up on #Monads, there are other ways to sequence effects; including Arrows; and they provide even better static analysis!
Let me know what you think :)
#Haskell
chrispenner.ca/posts/arrow-...
Let me know what you think :)
#Haskell
chrispenner.ca/posts/arrow-...
Finished the contracts section of #racketlang guide. Pretty neat that you can property test them. I don't feel prepared to write any non-trivial ones, but I haven't practiced.
October 21, 2025 at 1:58 AM
Finished the contracts section of #racketlang guide. Pretty neat that you can property test them. I don't feel prepared to write any non-trivial ones, but I haven't practiced.
Reposted by Barry
Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/
Chateaubriand Fellowship
chateaubriand-fellowship.org
October 17, 2025 at 3:41 PM
Are you a PhD student registered in a US institution and interested in conducting part of your doctoral research (4-9 months) in France? Then consider applying for a Chateaubriand Fellowship! https://chateaubriand-fellowship.org/
I really wish I could spend more time with #gleamlang #unisonlang and #racketlang. Can you buy time yet?
October 17, 2025 at 5:43 PM
I really wish I could spend more time with #gleamlang #unisonlang and #racketlang. Can you buy time yet?
Muppet Treasure Island was the first to come to mind.
October 17, 2025 at 1:27 AM
Muppet Treasure Island was the first to come to mind.
Reposted by Barry
There are lies, damned lies and the "Keep me signed in" option.
October 16, 2025 at 11:55 AM
There are lies, damned lies and the "Keep me signed in" option.
Anyone else hear “liquid glass” and think “just heat it up”?
October 15, 2025 at 4:54 PM
Anyone else hear “liquid glass” and think “just heat it up”?
The windows 11 secure boot stuff is mega frustrating. I now have to change a BIOS setting to play games…
October 13, 2025 at 5:15 PM
The windows 11 secure boot stuff is mega frustrating. I now have to change a BIOS setting to play games…
5 day Pimsleur streak! Can I get 10?
October 12, 2025 at 12:45 AM
5 day Pimsleur streak! Can I get 10?
There are people who’ve read The Martian but haven’t read Project Hail Mary and that is wild to me.
October 10, 2025 at 2:19 AM
There are people who’ve read The Martian but haven’t read Project Hail Mary and that is wild to me.
Getting back into my Pimsleur habit. Also made it to Spanish Level 3!
October 8, 2025 at 5:42 PM
Getting back into my Pimsleur habit. Also made it to Spanish Level 3!
Bunch of internship roles available at Mercury www.reddit.com/r/haskell/co...
From the haskell community on Reddit
Explore this post and more from the haskell community
www.reddit.com
October 7, 2025 at 12:00 PM
Bunch of internship roles available at Mercury www.reddit.com/r/haskell/co...