TIL that you can have lightning during intense snow storms. I thought I was going nuts but then it happened a few more times.

Discovered @waterfox.net, are there other upcoming projects I should know about?

anyway use Gleam

Sometimes communication is hard.

If you unironically post with more than 2 hashtags, instant block.

I wrote another article! Bit arrays are a really powerful feature of Gleam, but they can be quite difficult to understand as a lot of their behaviour isn't well documented and left up to experimentation. This post details all of the options and how they work. Enjoy! gearsco.de/blog/bit-arr...

I’m at the point in my physical therapy where I need someone to regularly roll out my soleus muscle to the point of tears. My partner doesn’t want to hurt me. This is very hard to do yourself.

Day 10 of practicing drums! I don’t actually have a set but starting lessons soon and making that decision soon.

Any hands-on distributed systems training that you would recommend? Paid is fine.

Wrote a version of #adventofcode day 8 which can't scale. Did some code review and learned about heaps. I don't think I've ever really used heaps? Non-traditional software engineer strikes again.

My dad abhors any negative comments about immigrants. Asked him recently why he’s so strong on it: ‘Because we’re always happy to take the rich and clever ones. Which means it’s not about disliking immigrants. It’s about disliking the poor and vulnerable. And that’s a bad human instinct.’

"I have bug reports, therefore I exist." How to Program Racket: a Style Guide docs.racket-lang.org/style/index....

Now we're talking! docs.racket-lang.org/algorithms/i...

Tostones, flan, morir soñando, pernil, fried cheese, pastelon.

CRDTs are the data structures that make “Google Docs-style collaboration, but for arbitrary data” possible. I've had a lasting fascination with them for about 11 years. So, I wrote up a field guide that is hopefully a handy introduction. With interactive examples! iankduncan.com/engineering/...

Spent most of the day refactoring and writing technical documents. Usually I dread the latter but it wasn’t so bad today.

🎉 Unison 1.0 has landed! After years of engineering, design, and community collaboration, we’re excited to announce this milestone! Spread the word!

Talking of streaming, I’m streaming right now! www.twitch.tv/giacomo_cava...

I’ve consolidated my #racketlang everybody codes problems into a single file per quest. Tests under module test. Benchmarks under main. Learning a bunch.

Racket - the Language-Oriented Programming Language - version 9.0 is now available from download.racket-lang.org See blog.racket-lang.org/2025/11/rack... for the release announcement and highlights.

It is infuriating when you get the test example for advent of code-like problems correct and then the algorithm doesn't work on the real input. No idea what is wrong... github.com/chiroptical/...

Haven’t written #gleamlang or #erlang in weeks. It hurts.

Checking futures out in #racketlang twitch.tv/chiroptical

Note: declarative.tv exists. This site shows some people who like streaming functional programming.

The amount of times I have to convert `SomeEffect m => m ()` to `SomeEffect m => m SomethingINeed` is wild. Please return something, I can throw it away myself!

Starting up the stream at twitch.tv/chiroptical working on everybody codes day 10 in #racketlang

Haskell is lazy.

I’m having second thoughts about sabbatical plans. I could also work my way through TAPL 🤔

📰 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:

Starting up the stream now. Doing some random #racketlang stuff.

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.

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”

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.

It is wild to me how much of a buffoon I feel like when I have to touch non-trivial TypeScript stuff.

Finished section 2.1 of Mathematics in #LeanLang.

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.

Call for Servant cookbooks in preparation of v0.21 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

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-...

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.

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?

Muppet Treasure Island was the first to come to mind.

There are lies, damned lies and the "Keep me signed in" option.

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…

5 day Pimsleur streak! Can I get 10?