Thomas Marsh

I still have my copy of “Haskell: The Craft of Functional Programming”, which I picked up in the 90s and skimmed briefly. I decided at the time to invest in C++ and focused on good imperative programming until I came back to learn Haskell 18 years later out of curiosity.

I can’t remember the last time I was at a house where people kept their shoes on indoors. I think this has changed a lot. Everyone I know takes their shoes off and people almost always ask if they should take their’s off when entering a house.

Whale Effigy The Montreal Museum of Fine Arts, a bold, innovative and caring museum that is welcoming to all disciplines such as the visual arts, history and science.

That should say 1600 CE, not 600. This whale effigy seems to be from the Montreal Museum of Fine Arts: www.mbam.qc.ca/en/works/2375/

I just learned enough ocaml to see how verbose the alternative to type classes is using modules and “functors”. Still wrapping my head around modules, but it definitely seems like code smell boilerplate to me. Are there other arguments against type classes?

I think the human propensity for pattern recognition was strong, but the timeless way of building was not yet established. GoF started with Volume 2.

“Upstate is anything north of 110th St.” is the joke answer.

You can also take a train to a beach and swim in the ocean. If you take the Q you get a nice view going over the bridge too. Coney Island is worth a visit. But it’s a ways out there. There are nicer beaches if you take the right A train to the rockaways.

Philip Zucker is my Z3 documentation.

NYC busses are underrated. The subway is oppressive compared to other city metros.🙁

Just Manhattan or are you planning to check out Brooklyn too? Enjoy your visit!

Did you by chance run across the linked paper here? I skimmed it, but it seems like a reasonable attempt at teasing out the limits of reasoning with respect to actual reasoning tasks.

Wish I could hear this talk. These bullets don’t make total sense to me. Some are known implementation patterns for feature flags, some suggest “just build it right the first time”, and GoF could mean anything (and is mostly just partial application patterns). Still very curious though

Nobody cares about correctness and do cheap things first are great takeaways from this but this article illustrates these and other points especially well: www.galois.com/articles/wha...

Jason Hickle singled out China, not me. But you are right, you have to look at all company investments and holdings globally. Follow the money and only then can you make any claims about which countries hold most responsibility. I do think it is a misguided metric.

What is the new Erlang? (Please let it not be Kubernetes orchestration.)

If you take the perspective that much of advanced Haskell is working around lack of dependent types (like you would find in theorem provers), then I posit Haskell is indeed a gremlin language.

Disingenuous. You cannot make this claim without tracking indirect Chinese investments. Looking strictly at corporate domicile is absolutely pointless in our globalized economy

It is subtle but is builds flawed foundations. If you take arrays as input there is no confusion

Alice is absolutely right. A naive reading of this can correctly say the runtime is O(n^2), but that doesn’t paint the whole picture. For scaling we need to understand if you are measuring size (of an array) vs a number. One scales and the other is useless for large numbers.

I can barely find my way around tools like Rocq, Lean, or Agda, but I am really excited about this field of research! I am very much looking forward to your work!

I was interested in Scala when I was learning Haskell, but I was turned off by some members of the community. I have no impression of the Kotlin community, but it did seem cool how much they could do with compiler plugins. Still not sure where to migrate our legacy Java 8 code…

Fantastic! You say pleasant to work with, how was iteration/compile time? I have been bit by slow iteration in other languages like rust even without compile time tensor dimension checks. Python is appealing for iteration but requires lots of runtime validation.

Thanks! Your other posts in your thread answered my question! Specifically that `map (fun x -> f ~x)` works but no coercion exists. I was thinking out loud about some sort of function signature type indexing scheme which, upon reflection, is probably just row types.

This is fascinating. So it's like an implicit newtyping, but lacking any sort of labeling functor?

That sounds lovely! Thanks for sharing

What is a MiniIdris? I try to keep up with Idris development but haven’t heard of this.

Oh! And I forgot: also the brave defenders of literalism online!

People with children. But I didn’t choose to watch Frozen that many times.

Black beans and rice at Les Amis in Austin in the 80s

Be aware that “free range” still means massively overcrowded indoors (just not in cages), and hence the need for excessive and preemptive antibiotics. “Pasture raised” is what you probably want, and “certified humane”.