121
Adding an Effect System to OCaml [video]
Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 211 posts.
122
123
Mtime comparison considered harmful
tl;dr: Rebuilding a target because its mtime is older than the mtimes of its dependencies, like `make` does, is very error prone. redo does...
124
Implementing and Understanding Type Classes (2014)
Describing three strategies of implementing type classes, aiming to clarify their behavior
125
Making art with SSH key randomart
SSH is everywhere in the development or operations world now. For development it’s what allows you to push to GitHub. For operations it’s what allows you to reasonably securely log into Linux servers.
126
History of Symbolics Lisp Machines (2007)
Richard Stallman has been telling a story about the origins of the Lisp machine companies, and the effects on the M.I.T. Artificial Intelligence Lab, for many years. He has published it in a book, and in a widely-referenced paper, which you can find at http://www.gnu.org/gnu/rms-lisp.html .
127
128
Building a Text Editor for a Digital-First Newsroom
An inside look at the inner workings of a technology you may take for granted
129
Oracle’s Java 11 trap
TL:DR; Java is still available at zero-cost , you just need to stop using Oracle JDK and start using an OpenJDK build, such as this one o...
130
Lessons learned from creating a real-time collaborative rich-text editor
A guide to how we built the CKEditor 5 architecture for collaborative editing from the ground up, by extending Operational Transformation concepts.
131
132
133
Elm 0.19 Broke Us
Elm 0.19 was released yesterday. There were a significant number of breaking changes at every level:...
134
135
Escaping Hell with Monads (2017)
As programmers we occasionally find ourselves in “Programmer’s Hell”, where our regular abstractions fail to satisfactory solve certain recurrent problems.
136
An opinionated guide to Haskell
For me, this month marks the end of an era in my life: as of February 2018, I am no longer employed writing Haskell. It’s been a fascinating two years, and while I am excitedly looking forward to what I’ll be doing next, it’s likely I will continue to write Haskell in my spare time. I’ll probably even write it again…
137
Electron 2.0.0 beta
Electron's latest releases, versions and release notes.
138
Go Modules in 2019
What the Go team is planning for Go modules in 2019.
139
Probabilistic Filters By Example
Probablistic filters are high-speed, space-efficient data structures that support set-membership tests with a one-sided error. These filters can claim that a given entry is definitely not represented in a set of entries, or might be represented in the set. That is, negative responses are conclusive, whereas positive…
140
How generics were added to .NET
Before we dive into the technical details, let’s start with a quick history lesson, courtesy of Don Syme who worked on adding generics to .NET and then went on to design and implement F#, which is a pretty impressive set of achievements!!
141
Why writing a linked list in safe Rust is so damned hard
Before I start this post, let me preface it by saying that I’m not an experienced Rustacean by any means. The excellent foks at /r/rust gave a lot of helpful feedback and cleared up some misconceptions I had. Futher errata and corrections are appreciated. This post is aimed at helping other fledgling rust-learners…
142
SQL as an API language
Datasette (previously) is my open source tool for exploring and publishing structured data. There are a lot of ideas embedded in Datasette. I realized that I haven’t put many of …
143
144
The secret life of NaN
The floating point standard defines a special value called Not-a-Number (NaN) which is used to represent, well, values that aren’t numbers. Double precision ...
145
CoreRT – A .NET Runtime for AOT
Firstly, what exactly is CoreRT? From its GitHub repo .. a .NET Core runtime optimized for AOT (ahead of time compilation) scenarios, with the accompanying .NET native compiler toolchain
146
WebAssembly doesn’t make unsafe languages safe
WebAssembly is all the rage these days. And for good reasons. It’s pretty exciting to see many compiled languages adopting a common intermediate represe...
147
How to Fit a Large Program into a Small Machine (1999)
As a rule, "sophisticated" progrmming is pretty boring - optimizing the unnecessary to speed up the uninteresting. Here, however, is an incredibly sophisticated package intended for fun and games. The more you know about software, the more astounded you will become as you read this.
148
Solving murder with Prolog
In our company we usually have a fun quiz every sunday and this was one of them
149
GRPC and JSON
So you’ve bought into this whole RPC thing and want to try it out, but aren’t quite sure about Protocol Buffers. Your existing code encodes your own objects, or perhaps you have code that needs a particular encoding. What to do? Fortunately, gRPC is encoding agnostic! You can still get a lot of the benefits of gRPC…
150
Zombie Processes Are Eating Your Memory
Zombies probably won’t consume 32 GB of your memory like they did to me, but zombie processes do exist, and I can help you find them and make sure that developers fix them. Tool source link is at t…