151
Embed is in C23
It happened. Nearly 5 years of paper writing, being snuck Committee Meeting notes on the DL until I could access them myself and absolve my co-conspirators of their sins, 5 different implementations/patches later, I can
Most cited
Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 1,045 posts.
152
153
Haskell Researchers Announce Discovery of Industry Programmer Who Gives a Shit
Oh, Steve, you do make me laugh, always. And it's so long between posts these days I hardly believed it when Safari hinted that there was some action over at Steve's. Thank you.
154
Dynamic type systems are not inherently more open
Internet debates about typing disciplines continue to be plagued by a pervasive myth that dynamic type systems are inherently better at modeling “open world” domains. The argument usually goes like this: the goal of static typing is to pin everything down as much as possible, but in the real world, that just isn’t…
155
The Zen of Erlang
This is a loose transcript (or long paraphrasing?) of a presentation given at ConnectDev'16, a conference organized by Genetec in which I was invited to speak.
156
Go fonts
Announcing the Go font family, by Bigelow & Holmes.
157
158
159
JEP 295: Ahead-of-Time Compilation
Improve the start-up time of both small and large Java applications, with at most a limited impact on peak performance.
160
Notes on Programming in C – Rob Pike (1989)
What follows is a set of short essays that collectively encourage a philosophy of clarity in programming rather than giving hard rules. I don't expect you to agree with all of them, because they are opinion and opinions change with the times. But they've been accumulating in my head, if not on paper until now, for a…
161
Mixing Swift and C++
Swift is a general-purpose programming language built using a modern approach to safety, performance, and software design patterns.
162
Parallelism is not concurrency
In an earlier post I mentioned that one goal of the new introductory curriculum at Carnegie Mellon is to teach parallelism as the general case of computing, rather than an esoteric, specialized sub…
163
164
165
Boolean Blindness
I hate Booleans! But isn’t everything “just bits”? Aren’t computers built from gates? And aren’t gates just the logical connectives? How can a Computer Scientist p…
166
PEP 373 – Python 2.7 Release Schedule
This document describes the development and release schedule for Python 2.7.
167
Things that amuse me
I think the only serious gripe is what you call your biggest gripe, and I must say that I envy this in Haskell. As you know, in the eager world we tend to write out our own recursive functions, rather than use combinators. You give part of the reason; the other part is that deforestation and related transformations…
168
Generics can make your Go code slower
Go Generics are a long-awaited feature added in Go 1.18. This article covers how generics were implemented in Go and some surprising ways they can impact your code.
169
Zig as an alternative to writing unsafe Rust
There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don't think is mentioned enough.
170
Type system updates: moving from research into development
A short status update on the effort to bring a type system into Elixir.
171
Pointers Are Complicated II, or: We need better language specs
Some time ago, I wrote a blog post about how there’s more to a pointer than meets the eye. One key point I was trying to make is that just because two pointers point to the same address...
172
Joe Armstrong: Why OO Sucks
( Note : This is a copy of the original that used to live at http://www.bluetail.com/~joe/vol1/v1_oo.html )
173
Code Like a Pythonista: Idiomatic Python
The home of pythonistas
174
The Rust Compilation Model Calamity
Learn about the benefits of TiDB and the TiDB Cloud solutions from PingCAP. Read our latest post "The Rust Compilation Model Calamity" here.
175
State of Loom
Project Loom aims to drastically reduce the effort of writing, maintaining, and observing high-throughput concurrent applications that make the best use of available hardware.
176
Strong arrows: a new approach to gradual typing
An introduction to strong arrows and how it leverages the Erlang VM to provide sound gradual typing.
177
Rust for functional programmers
This post follows up on OCaml for Haskellers from Edward Z. Yang (2010) and my own Haskell for OCaml programmers from earlier this year. Note The latest version of this document can be found online at https://dr-knz.net/rust-for-functional-programmers.html. Alternate formats: Source, PDF. Prologue Rust for C…
178
JEP 430: String Templates (Preview) Proposed to Target Java 21
Enhance the Java programming language with string templates . String templates complement Java's existing string literals and text blocks by coupling literal text with embedded expressions and template processors to produce specialized results. This is a preview language feature and API .
179
Rust's Ugly Syntax (2023)
People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust's syntax, they actually object to Rust's semantics. In this slightly whimsical post, I'll try to disentangle the two.
180