The latest blog posts to take off on Hacker News. 857 posts.
Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/ . Mike Shulman has written about the contents of the book , so I…
This is going to be a bit long, so tl;dr asm.js is a formalization of a pattern of JavaScript that has been developing in a natural way o...
It's not about technology for its own sake. It's about being able to implement your ideas.
This is one of a series of posts on languages, you can read more about that here . Scala's blending of programming paradigms in a single language is impressive. It's fun to write code in and is a good language for leaning into the functional plus static typing paradigm. As much as I like
After a seemingly endless journey , the publication of Functional JavaScript is complete and books have found their way into peoples’ homes. Below is a list of useful links related to the book:
This document contains the release notes for the LLVM Compiler Infrastructure, release 3.3. Here we describe the status of LLVM, including major improvements from the previous release, improvements in various subprojects of LLVM, and some of the current users of the code. All LLVM releases may be downloaded from the…
A friend introduced me to the game 24 , a simple game you can play with a deck of playing cards. Over the course of playing the game, I realized that either my friend was really good at this game, or that I wasn't!
The main goal of the Chromium project has always been to help unlock the potential of the open web. We work closely with the industry to st...
This release includes regex string matching, fourteen new array operations, support for random sampling, error handling improvements, support for authentication keys, and over 65 bug fixes, features, and enhancements.
Rails ships with a default configuration for the three most common environments that all applications need: test, development, and production. That’s a great start, and for smaller apps, probably enough too. But for Basecamp, we have another three: Beta: For testing feature branches on rea…
Update on the Flask 0.10 and Werkzeug 0.9 releases.
Have you ever wanted to make a quick change to a file in a repository without having to clone it locally? You want to edit your code where it lives. Introducing the Bitbucket online editor: edit your code directly with Bitbucket – no command line, no cloning, no local editor. Edit any file, anywhere From Bitbucket…
Rust currently has very strong support for concurrency in the form of actors which exchange messages and do not share memory. However, there are many tasks for which actors are not a good fit. The unbounded lifetime of actors means that they cannot safely access stack-allocated memory from another task, even if it is…
Mark Engelberg wrote a very interesting post titled Logic Programming is Overrated . I take issue with a quite a few points made in that post and I would like to address a couple of them here.
I have always wanted to write an emulator. I made a half-hearted attempt in college but it never made it to a demo-able state. I also didn't want to write Yet Another Emulator. It should at least bring something new to the table. When I discovered LLVM , I felt like I finally had worthwhile idea for a project.
Real-Time Garbage Collection (RTGC) tests the limits of what we typically think is possible in production software. You might hear “Real-Time” and “Garbage Collection” together and think “If you truly need real-time guarantees, why would you use a garbage collected language?” or “How is real-time Garbage Collection…
This is a companion post to my discussion with Craig Andera on Relevance Podcast Episode 32 and my Clojure/West talk Clojure in the Large. I've talked about ...
SolarWinds database performance monitoring software helps optimize and manage databases, providing comprehensive monitoring, analysis, and tuning. Improve your database performance with visibility, control, and streamlined management across on-premises and cloud environments. Free trial available!
An API is a user interface for a developer. Learn the best practices to make an API that is easy to adopt and pleasant to use.
If you’re connecting to your rPi via SSH, you’d have to update your DISPLAY environment variables by issuing
