The latest blog posts to take off on Hacker News. 427 posts.
A bit over a year ago, I wrote some notes on a “smaller Rust” - a higher level language that would take inspiration from some of Rust’s type system innovations, but would be simpler by virtue of targeting a domain with less stringent requirements for user control and performance. During my time of unemployment this…
A blog about life between two parens.
I’m excited to announce Swift Algorithms, a new open-source package of sequence and collection algorithms, along with their related types.
area being the function you really care about it is defined first - after all, code reads from top to bottom.
My cofounder Joe and I recently finished SICP. It was a mind-bending experience: you start from just 3 concepts, and you recursively build up algebraic equation solvers, circuit simulators, 4 interpreters, and a compiler.
Elixir v1.11 is out with improvements to the compiler and tighter integration with Erlang/OTP.
I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally, I construct a general correspondence between type…
The following table shows diagrams of identity, the booleans, some standard combinators, some Church numerals, the predecessor function on Church numerals, and Omega. term definition diagram alternative I/1 λx.x K/true λx.λy.x false/0 λx.λy.y S λx.λy.λz.(x z)(y z) Y λf.(λx.x x)(λx.f(x x)) 2 λf.λx.f(f x) 3 λf.λx.f(f(f…
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.
I’m delighted to announce Swift Atomics, a new open source package that enables direct use of low-level atomic operations in Swift code. The goal of this library is to enable intrepid systems programmers to start building synchronization constructs (such as concurrent data structures) directly in Swift.
Compiling Lisp let expressions to x86-64
Research in programming languages offers powerful tools, but our systems of notation stymie outsiders. Can we change our notational approach and broaden our audience—without compromising on c…
Learn about OTP, a set of tools and libraries that Elixir inherits from Erlang.
While not yet at version 1.0, Zig is about to reach a new level of maturity and stability.
I have changed my mind about some topics big and small so far in my life. Today: the value of types for programming.
The PyPy team is proud to release version 7.3.2 of PyPy, which includes three different interpreters: PyPy2.7, which is an interpreter su...
We are pleased to announce the release of Ruby 3.0.0-preview1.
In June, Apple introduced Swift System, a new library for Apple platforms that provides idiomatic interfaces to system calls and low-level currency types. Today, I’m excited to announce that we’re open-sourcing System and adding Linux support! Our vision is for System to eventually act as the single home for low-level…
Adding a reader to our Lisp compiler
In the first post of the series we've looked at the CPython VM. We've learned that it works by executing a series of instructions called bytecode....
The Swift project is introducing new downloadable Swift toolchain images for Windows! These images contain development components needed to build and run Swift code on Windows.
This year Java hit an incredible milestone and reached the grand old age of 25 years. We celebrated its jubilee by running a special online Java day event, where lots of expert speakers shared their e
