Hindley-Milner in Clojure
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
Topics /
The most popular blog posts about software engineering on Hacker News. 21,842 posts.
I wrote a lambda-calculus interpreter and an implementation of Hindley-Milner to type check it.
It's not about technology for its own sake. It's about being able to implement your ideas.
Learning how htmx works by building one from scratch.
“If you don’t know how compilers work, then you don’t know how computers work. If you’re not 100% sure whether you know how compilers work, then you don’t know how they work.” — Steve Yegge There you have it. Think about it. It doesn’t really matter …
Web browsers should only buffer HTML5 media content when the `autobuffer` attribute has been explicitly turned on in the markup.
Let's revisit some programming myths and see how harmful they have been to our industry.
Software Engineer in New York specializing in Apple platforms
This post introduces the Interaction to Next Paint (INP) metric and explains how it works, how to measure it, and offers suggestions on how to improve it.
I spend a fair amount of time wandering around in the terminal. The chances are that you are too since you dared to open this story. My daily activities led me …
As you may know, Visual Studio now supports building Android and iOS applications using Clang. We realize the need of our users to write cross-platform
The last time a major release of Light Table was in early 2016. It’s been 3 years. 3 years is a lot in developers time. Since, Light Table’s last release, vscode has developed from 0.10.6 to 1.32.0 . Amazing development happened in La La Clojure Land too, Clojure evolved from version 1.8.0 to 1.10.1-beta while…
The CircleCI blog is your home for DevOps, continuous integration and delivery, and engineering productivity. Explore tutorials, guides, and best practices.
Official Blog for the Ember.js Open Source Project
In this post we are going to go through the best practices while building an AWS Lambda function. In order to go through this blog you should know what is it and you should ideally have built at le…
Personal Musings and Transcripts
A short story about debugging and how sometimes what's true is false. Starring everyone's favourite uncle, Undefined Behaviour.
Lix is a version control system you import as a library. It records semantic changes to enable diffs, reviews, rollback, and querying of edits.
In the previous part of the Build A Basic AI Agent From Scratch series, we added the essential tools to our agent to allow it to work…
The official home of the Python Programming Language
Open Source Freelancer
If you’re a regular reader, you might have noticed that I’ve been on a quest for the perfect backup program , and ended up writing my own encryption layer over bup.
The plainly wrong behavior of a ubiquitous Python library echoes a British astronomical report from 1884.
TLA+ Workshop Last Call The TLA+ workshop is next week! Oct 20-22, register here, use the code COMPUTRONSTUFF for $500 off. Learn how a few hours of...
Failure in computer systems is inevitable. Adopting Erlang's philosophy of "Let it crash" at the many layers of abstractions in software can have a huge positive impact on resiliency.