Viewing profile — codeismath

Books. Some books on my shelf covering these topics: "Type Theory and Functional Programming" by Simon Thompson (PDF available via quick search) First 120 pages of "Type Theory and…

Okay, but then you'd show that 1/-1=-1, 1/-0.5=-2, 1/-0.25=-4, etc. The closer you get to 0, the more negative the number. Then you just wouldn't accept that if you actually got to…

As well as several hours of video lectures that go along with it: https://youtu.be/atYp386EGo8

Hi HN, Should I upgrade my development and business workstation from Windows 10 to Linux (instead of upgrading to Windows 11)? I'm extremely intimidated in taking the leap. I'm ver…

https://news.ycombinator.com/item?id=15583515

https://boxbase.org/entries/2018/mar/5/hindley-milner/

Phenological event known as "masting": https://en.m.wikipedia.org/wiki/Mast_(botany)

I do this too in some apps. Very near exactly how you show it. How do you enforce required fields in the data model? By eliminating the possibility of null values, you eliminate th…

It's been on my list of things to explore for a while... the relationship between defunctionalization, continuations, and "Algebraic Effects". The reason... I like seeing how diffe…

The Reynolds paper is one of my favorites. It was re-typeset in 1998 making it a lot easier to follow the math [0]. It's fun to compare it to a copy of the original from 1972 [1]. …

The continuous aggregates portion of this blog (along with the breakdown of Transition, Combine, and Final Functions) reminded me of "A Theory of Changes for Higher-Order Languages…

I just measured on Google Maps: Apple HQ - around 1,600ft diameter Seneca Pumped Storage Lake: around 2,400ft diameter

> I was always in awe of the lake size battery they created. This is exactly the feeling I had when visiting the Seneca Pumped Storage Generating Station that I mentioned in one of…

Years ago I visited the Seneca Pumped Storage Generating Station [0] reservoir in person. It's a massive man-made lake on the top of a small mountain in Pennsylvania, USA. They pum…

I recently watched a video [0] that contrasted all of the OO Design Patterns with Functional Programming equivalents. After reading about how this author wants to make "glue" code …

I think numbers are wonderful and cool abstract thingies. We grow up being taught them (in my case Arabic numerals in base 10) and they become such part of our being that we start …

I recently used "Arcsecond" JavaScript Parser Combinator library to output some abstract syntax based on John Reynold's "Definitional interpreters for higher-order programming lang…

I found the first 6 chapters of "Type Theory and Formal Proof" to be amazing for covering the beginning math behind Type Theory. The authors (Nederpelt and Geuvers) don't gloss ove…