Viewing profile — lambdaxymox

F# always struck me as one of the most terribly underrated languages. I'm a lover of MLs in general, but F# lands on one of the sweet spots in PL space with ample expressive power …

I don't know about superoptimization, but JetBrains does have a HoTT-based language and proof assistant called Arend for doing mathematics in.

For sure among the hardest problems in software engineering are versioning dependencies, and managing dependencies. At least those are the two I find the most aggravating. It seems…

Maybe I'm different, but I used Kleinberg/Tardos and CLRS in my undergraduate algorithms class, and I preferred CLRS to KT and the other alternatives (Algorithm Design Manual, etc.…

Interesting, I must have lucked out quite often and got the first printing back in the mid to late 2000s since back then virtually all of my print Springer books I bought back then…

The construction of MIR titles reminds me a lot of older Springer GTM and Grundlehren der Mathematischen Wissenschaften series titles. I have a number of Springer titles I've picke…

I find coffee products to be a frustrating product category. At least for me, I have adverse reactions to certain blends of coffees--particularly nausea, coldness, and headaches--w…

Jean Yves-Girard's thinking evolved from analytic philosophy to continental philosophy over the course of his life, and in this book in particular, some of his asides and polemics …

The Blind Spot: Lectures On Logic by Jean Yves-Girard For context, Girard is a mathematical logician, philosopher, and co-discoverer of the type system System F (Haskell, ML, etc.)…

I discerned a similar ontology as the OP over the years in different hobbies too. My sense is that what quadrant one leans into can change in time and space too. In my case, I've h…

Type inference occasionally bites one's hand when pushing data across an FFI boundary. In one instance I was writing some graphics code for a project and for some reason the colors…

I know two people who worked through SICP. One of them had so much fun with it they worked through it twice cover to cover in their free time. In both cases they reported to me tha…

Are the enterprise versions of Windows 11 also filled with bloat? I got some keys second-hand for Windows 10 Enterprise LTSC a few years ago, installed it on some ten year old hard…

Some problems are good problems to have. If different groups of people are taking the time to substantively and constructively complain about different shortcomings of Rust and its…

One of the great parts about linear algebra is that there is almost always a simple geometric idea underneath. The geometric picture underneath is one of the things that keeps me i…

I learned Haskell around 2010 starting with LYAH followed by Real World Haskell. I too wouldn't recommend LYAH for actually learning Haskell in $CURRENT_YEAR now that there are man…

I think I have kept a high level of interest (passion as a word has been abused into meaninglessness) in computing as a whole, but what keeps things interesting has definitely shif…

It's interesting that the black art of analog design never really goes away even from computing. I was reading Geoffrey Hinton's "Mortal Computation" where he briefly speculated to…

I had a TI-89 I got in 9th grade and had through the end of college, but I found I had the opposite experience with it. A goodly number of my engineering classmates used their TI-8…

For end user workstations, my favorite Linux distros have converged on either Pop!_OS or Arch Linux (and Manjaro). Pop!_OS is a remarkably stable and usable Linux distro. At least …

I find the term "low-level" to be an ambigious one. In my experience it partitions into two forms that I call low-level, and low-high-level. Low-level is anything directly touching…