lambdaxymox

6 ms·

1.
by lambdaxymox 3y ago
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 without being prone to floating off into abstraction or
2.
by lambdaxymox 3y ago
I don't know about superoptimization, but JetBrains does have a HoTT-based language and proof assistant called Arend for doing mathematics in.
3.
by lambdaxymox 3y ago
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 like almost nobody can get it right even though component-b
4.
by lambdaxymox 3y ago
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.), though KT was great too. I've heard from o
5.
by lambdaxymox 3y ago
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 were sewn-bound.
6.
by lambdaxymox 3y ago
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 picked up over the years and the older printings were beauti
7.
by lambdaxymox 3y ago
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--while other ones don't cause trouble at all, so I have t
8.
by lambdaxymox 3y ago
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 critique how we conceptualize truth, knowledge, and log
9.
by lambdaxymox 3y ago
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.). The book is a monograph on proof theory, and I was interes
10.
by lambdaxymox 3y ago
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 had a whole heap of nerd hobbies in my life, among them
11.
by lambdaxymox 4y ago
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 in the rendering model were coming out all wrong on th
12.
by lambdaxymox 4y ago
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 that SICP was quite a revelation to them, since Scheme is about
13.
by lambdaxymox 4y ago
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 hardware at the time, and I was honestly surprised how responsi
14.
by lambdaxymox 4y ago
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 ecosystem, it shows that there's a wide enough audienc
15.
by lambdaxymox 4y ago
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 in awe of the subject despite its seeming simplicity, and I k
16.
by lambdaxymox 4y ago
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 manifold and much better resources on the topic now, such
17.
by lambdaxymox 4y ago
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 shifted over the years. I don't have much love for the curr
18.
by lambdaxymox 4y ago
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 towards the end on low power (in watts use
19.
by lambdaxymox 4y ago
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-89s as a crutch and forgot most of the details of solving e.g
20.
by lambdaxymox 4y ago
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 from a UX and aesthetics standpoint I find it competitive wi
21.
by lambdaxymox 4y ago
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 the hardware, such as device drivers, OS kernels,