11–14 of 14 posts
I don't like the trend of corporate names taking real names and repurposing them. The first results of a Google search for "Amazon" are the company. Not the river. The first results of a Google search for "Palantir" are the tech company. Not the fictional object from J.R.R. Tolkien's works it's inspired from. And a Google search for "Rust" returns links to the programming language and the video game, before the chemi…
I'm studying programming language semantics and papers like these are quite valuable in understanding type systems of real languages, see also Featherweight Java[0] and Featherweight Go[1]. At first it looks like a lot to take in, but when you start with far simpler type systems like typed arithmetic expressions and simply-typed lambda calculus, you see the same definitions and metatheorems (properties about the type…
It was surprising to me to discover how logical and mathematical Haskell’s type system is.
It’s the kind of topic that I’d probably not ever have thought about if I didn’t do a degree, but has had an impact on how I view other areas of computer science.
I don't like the trend of corporate names taking real names and repurposing them. The first results of a Google search for "Amazon" are the company. Not the river. The first results of a Google search for "Palantir" are the tech company. Not the fictional object from J.R.R. Tolkien's works it's inspired from. And a Google search for "Rust" returns links to the programming language and the video game, before the chemi…
I don't like the trend of corporate names taking real names and repurposing them. The first results of a Google search for "Amazon" are the company. Not the river. The first results of a Google search for "Palantir" are the tech company. Not the fictional object from J.R.R. Tolkien's works it's inspired from. And a Google search for "Rust" returns links to the programming language and the video game, before the chemi…
This is why my first instinct when looking something up is to check Wikipedia, not a search engine: the original article will take precedence rather than the more popular thing.