New
The latest blog posts to take off on Hacker News. 5,638 posts.
The Lambda Calculus for Absolute Dummies (2012)
If there is one highly underrated concept in philosophy today, it is computation . Why is it so important? Because computationalism is t...
Finding Compiler Bugs by Removing Dead Code
What has caused you to slack off on the bug reporting? The cost of computer time or the human effort side? (I’m guessing the second.)
The first stable release of PyPy3
We're pleased to announce the first stable release of PyPy3. PyPy3 targets Python 3 (3.2.5) compatibility. We would like to thank all of th...
Java Pain
In 2014, it’s not OK if it’s hard for a developer to run a simple program from the command line.
Go 1.3 is released
Go 1.3 adds better performance, static analysis in godoc, and more.
Spreadsheet-like programming in Haskell
mvc-updates 1.0 announcement post
Railway-oriented programming
A recipe for a functional app, part 2
Open-sourcing Haxl, a library for Haskell
Visit the post for more.
Types Are The Truth
In Chapter 9 of Types and Programming Languages , Pierce presents his exposition of the Simply typed Lambda-Calculus. It is a truly awesome chapter - each subsection in succession constructs a rich and very well detailed system of computation and Pierce is a master of precision, guiding the reader through the maze of…
Things from Python I'd miss in Go
Let's assume Go has one killer feature – cheap concurrency – not present in any other language with similar serial performance (ruling out say Erlang). And let's agree that it gives Go its perfect niche – and we're only discussing uses of Go outside that niche from now on. So we won't come back to concurrency till the…
A Year of Functional Programming
It's been a year since I first came across the concept of functional programming. To say it's changed my life, is an unjust understatement...
Things that make Go fast
Anthony Starks has remixed my original Google Present based slides using his fantastic Deck presentation tool. You can check out his remix over on his blog, mindchunk.blogspot.com.au/2014/06/remixing-with-deck .
Python to OCaml: Retrospective
In 2013, I spent 6 months converting 0install's 29,215 lines of Python to OCaml (learning OCaml along the way). In this post, I'll describe the …
An upgrade to attoparsec, Haskell parsing library: more speed, more power
I’m pleased to introduce the third generation of my attoparsec parsing library. With a major change to its internals, it is both faster and more powerful than previous versions, while remaining backwards compatible. Comparing to C Let’s start with a speed comparison between the hand-written C code that powers…
Why Ada isn't Popular (1998)
Rick Thorne writes: > In truth, I like Ada too. I'm a former Ada man myself, as I believe I > mentioned. There are great things about the language, and since we're all > aware of them there's no point in going into them. I also prefer Beta to > VHS. Mathew Heaney responds: This is actually a specious comparison…
An alternative Haskell home page
The web site has since been through various iterations and changes, therefore I include some screenshots below for posterity (because my design is much more beautiful than what is now online ;-).
PHP Next Generation
PHP is a popular general-purpose scripting language that powers everything from your blog to the most popular websites in the world.
SBCL 1.2.0 Released with ARM support
New SBCL versions are usually released at the end of each month: check the Sourceforge File List to see the current version. The new features of the two most recent SBCL releases are listed below.
Python 3 is killing Python
The Python community should fork Python 2.
Go 1.3 Linker Improvements
Go obtains much of its compilation speed from the Plan 9 compiler, of which it is a direct descendant. The Plan 9 toolchain deferred much of the work traditionally performed by a compiler to the linking stage and its performance was summarised in section 8 of this paper