codeismath

5 ms·

1.
by codeismath 1y ago
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 Formal Proof" by Rob Nederpelt /
2.
by codeismath 4y ago
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 0 in your progression, it is anyt
3.
by codeismath 5y ago
As well as several hours of video lectures that go along with it: https://youtu.be/atYp386EGo8
4.
Ask HN: Upgrade from Windows 10 to Linux instead of Windows 11?
9 points by codeismath 5y ago|10 comments
5.
by codeismath 5y ago
https://news.ycombinator.com/item?id=15583515
6.
by codeismath 5y ago
https://boxbase.org/entries/2018/mar/5/hindley-milner/
7.
by codeismath 5y ago
Phenological event known as "masting": https://en.m.wikipedia.org/wiki/Mast_(botany)
8.
by codeismath 5y ago
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 the possibility of not-null constraints in the data model.
9.
by codeismath 5y ago
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 different languages handle asynchronous code vs sy
10.
by codeismath 5y ago
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]. Philip Wadler had this to say about the paper: &quot
11.
A theory of changes for higher-order languages (2013)(researchgate.net)
2 points by codeismath 5y ago|0 comments
12.
by codeismath 5y ago
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: Incrementalizing Lambda-Calculi by Static Differentia
13.
by codeismath 5y ago
I just measured on Google Maps: Apple HQ - around 1,600ft diameter Seneca Pumped Storage Lake: around 2,400ft diameter
14.
by codeismath 5y ago
> 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 my other comments that I just posted before seeing your
15.
by codeismath 5y ago
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 pump water up to it at night (when there is excess energy
16.
by codeismath 5y ago
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 "first class" and how the Unix pipe ope
17.
by codeismath 5y ago
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 to think that we know what “5” is. Then I was introduced t
18.
by codeismath 5y ago
I recently used "Arcsecond" JavaScript Parser Combinator library to output some abstract syntax based on John Reynold's "Definitional interpreters for higher-order programming languages". It's based on Haskell&
19.
by codeismath 5y ago
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 over assumptions and they build things up step