New

The latest blog posts to take off on Hacker News. 5,636 posts.

Programming Languages
Any year
2045

Native Type Theory

Note: These pages make extensive use of the latest XHTML and CSS Standards . They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in…

2057

Racket v8.0

_posted by John Clements_ Racket version 8.0 is now available from https://racket-lang.org/. *** Racket 8.0 is here!*** Racket 8.0 marks the first release where Racket CS is the default implementation. Creating, polishing, and adopting Racket CS has be...

2061

From First Principles: Why Scala?

Scala, first appearing in 2004, is neither an old stalwart nor a new player in the programming language market. This post will discuss the unique combination of features that Scala provides and how it compares to other languages on the market, diving beneath the superficial experience to explore the fundamentals of…