New

The latest blog posts to take off on Hacker News. 3,709 posts.

Programming Languages
Any year
1487

Names are not type safety

Haskell programmers spend a lot of time talking about type safety . The Haskell school of program construction advocates “capturing invariants in the type system” and “making illegal states unrepresentable,” both of which sound like compelling goals, but are rather vague on the techniques used to achieve them. Almost…

1489

Ruby's Proposed STM

There’s a proposal to add Software Transactional Memory , or STM , to the Ruby programming language. This is part of a wider effort to add better support for concurrency and parallelism in Ruby, and in particular the idea of ractors . A concept has been proposed and implemented by Koichi Sasada.

1494

Better Than JSON?

You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.