91
Parse, Don't Validate – In a Language That Doesn't Want You To
Applying Alexis King's parse-don't-validate principle in TypeScript, where the type system fights back just enough to be annoying.
New
The latest blog posts to take off on Hacker News. 5,634 posts.
92
Exploring PDP-1 Lisp (1960)
Introduction to Lisp programming on a PDP-1, with a hands-on practical focus
93
Ante: A new way to blend borrow checking and reference counting
Ante has taken the first step towards something we all thought was impossible: blending reference counting and borrow checking without run-time crashes. 0
94
The curious case of the disappearing Polish S (2015)
One keyboard bug three decades in the making
95
We found a bug in the hyper HTTP library
By rearchitecting the Images binding, we accidentally uncovered a bug that existed in the open-source hyper library across multiple major versions.
96
Rhombus Language 1.0
Rhombus version 1.0 is now available! Install: https://rhombus-lang.org/download.html More information: https://rhombus-lang.org/ Why a new language? https://rhombus-lang.org/goal.html (copied below) Frequently Asked Questions: https...
97
Japanese verb conjugation the simple hard way
japanese verbs are awesome. you can take the dictionary form of a verb (for example, "taberu", to eat) and turn it into many forms: taberu ("eat"): tabemasu…
98
Excessive nil pointer checks in Go
Let’s talk about nil pointer checks in Go. You want to prevent panics in production, but that doesn’t start with a deferred recover. It starts with defensive programming. Check your inputs, check your bounds, and check pointers for nil before dereferencing them. I’ve started to see more nil checks in Go code. In the…
99
Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
100
Swift at Apple: Migrating the TrueType hinting interpreter
TrueType is a widely used vector font standard for rendering text in web pages, PDFs, operating systems, and applications. Familiar fonts like Helvetica, Garamond, and Monaco are all built on TrueType outlines. The format specifies a hinting interpreter intended to help outlines rasterize faithfully on low-resolution…
101
Formal Methods and the Future of Programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
102
Lisp's Influence on Ruby
Once I wrote users.select { |u| u.admin? }.map(&:email) and realized I’d written Lisp.
103
Pyodide 314.0: Python packages can now publish WebAssembly wheels to PyPI
We are pleased to announce the Pyodide 314.0 release. This release focuses on standardization and packaging, marking a significant milestone in the Python-in-the-browser ecosystem. PEP 783 is Accepted: What Does It Mean? The acceptance of PEP 783: Emscripten packaging marks perhaps the most exciting change in the…
104
Are you expected to run five Python type-checkers now?
Library maintainers may feel overwhelmed by the plurality of type checkers that exist. We offer some guidance on how to focus their efforts where they matter most.
105
Symbolica 2.0: Programmable Symbols for Python and Rust
Technical articles and release notes about Symbolica, symbolic computation, numerical methods, and high-performance computer algebra.
106
C++: The Documentary
C++: The Documentary premiered today on YouTube, and it was great to be on the live chat with Bjarne and many other key folks who participated in C++’s history. I’m honored to have been…
107
OCaml Onboarding: Introduction to the Dune build system
Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started with the OCaml Distribution can sometimes be perceived as challenging at first. That's why we keep it ...
108
Elixir v1.20: Now a gradually typed language
From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.
109
Gleam v1.17.0
News post: Gleam v1.17.0 released!
110
My thoughts after using Clojure for about a month
I am now generating this website with Clojure (yes, right after rewriting it in GNU Make and shell ; I have a problem, ok?). In a personal tradition, I used writing a static site generator as the project to play with and learn Clojure as a new language. While I’ve long scoffed at Clojure for its copious syntax ( three…
111
QBE – Compiler Backend – 1.3
QBE 1.3 took a while to cook, but it is the most significant release since 1.0 with around 7k new lines of code and 1.5k deleted ones. In addition to the usual bug fixes, QBE gained a new and original IL matching algorithm, new optimizations from Roland Paterson-Jones, Scott Graham added support for the Windows ABI…
112
Why Janet? (2023)
I never thought it could happen to me. I mean, parentheses? In this day and age? But for the past couple years, my go-to programming language for fun side projects has been a little Lisp dialect called Janet. (print "hey janet") I like Janet so much that I wrote an entire book about it, and put it on The Internet for…
113
114
One year of Roto, a compiled scripting language for Rust
By Terts Diepraam Almost exactly one year ago, we announced Roto, a JIT-compiled embedded scripting language for Rust applications. A lot has happened since then that we'd like to tell you about! 💡Along with this post, we published Roto v0.11.0! You can check out the changelog
115
Announcing Rust 1.96
Empowering everyone to build reliable and efficient software.
116
Racket v9.2
_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.2 is now available from https://download.racket-lang.org/. As of this release:: The `match` form checks that when non-linear patterns (patterns where the same vari...
117
From Rust to Ruby
Who does things like that?!? Apparently: me. I have my own project, written in Rust. Not a big one, mind you, maybe approx. 30k lines of code in total. Rust is verbose so it’s not really that impressive. I’ve put it aside for some time and was toying with local inference, LLMs, writing agents and my attention was…
118
C extensions, portability, and alternative compilers
Anyone who's written C knows that full ISO C standard-adhering code is an impractical rarity. Most real world C code out there relies on non-standard behaviors and language extensions to varying extents, and a lot of this isn't for extra features, but just to work around bugs and gaps in different compilers and…
119
C array types are weird
C array types are weird. In this article I’ll explain what I find weird about them, what I’d do differently, and ramble on a few related things.
120
Migrating from Go to Rust
Out of all the migrations I help teams with, Go to Rust is a bit of an outlier. It’s not a question of “is Rust faster?” or “does Rust have types?”, Go already gets you most of the way there. The discussion is mostly about correctness guarantees, run…