151
C23 is finished: Here is what is on the menu
It’s That Blog Post. The release one, where we round up all the last of the features approved since the last time I blogged. If you’re
New
The latest blog posts to take off on Hacker News. 384 posts.
152
C99 doesn't need function bodies, or 'VLAs are Turing complete'
The 1999 revision to the C programming language brought several interesting changes and additions to the standard. Among those are variable length arrays, or VLAs for short, which allow array types to have lengths that are determined at runtime. These can show up in different contexts, but for the purposes of this…
153
154
Crimes with Python's pattern matching
Let's make the CPython team regret adding pattern matching to Python!
155
Formally Verifying Rust's Opaque Types
Introduction The other day I was reading this blog post covering existential types in Rust (also known as impl Trait or opaque types). In that blog post, the author makes the following claim. We’re going to have to take a slight diversion into type theory here because it motivates a result that is perhaps intuitive…
156
If only Borland had stuck with Turbo Modula-2 for CP/M (2013)
I have written previously about why Turbo Pascal is a Great Choice For Programming Under CP/M and now it is time to talk about what could have been. You probabl
157
Carbon’s most exciting feature is its calling convention
Last week, Chandler Carruth announced Carbon, a potential C++ replacement they’ve been working on for the past two years. It has the usual cool features you expect from a modern language: useful generics, compile-time interfaces/traits/concepts, modules, etc. – but the thing I’m most excited about is a tiny detail…
158
Clojure needs a Rails
I think there's another reason this problem persists in Clojure. There's no Rails for Clojure.
159
Safety: A comparaison between Rust, C++ and Go
Memory safety is a hot topic, but what do we mean by it?
160
161
Programming languages endorsed for server-side use at Meta
Supporting a programming language at Meta is a very careful and deliberate decision. We’re sharing our internal programming language guidance that helps our engineers and developers choose the best…
162
Ferrocene: Rust toolchain to safety-critical environments
It’s here! A couple of months ago, we announced that as part of our efforts with Ferrocene, we were creating the Ferrocene Language Specification – and now our first draft is online. The Ferrocene Language Specification (FLS) is an effort of Ferrocene
163
164
Crystal 1.5
We are delivering a new release with several bugfixes and improvements. Below we list the most important or interesting changes, without mentioning several bugfixes and smaller enhancements. For more details, visit the changelog. Breaking changes are marked with ⚠️.
165
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
166
Some Thoughts on Zig
One of the biggest things Zig has going for it—especially compared to Rust—is that it is (relatively) small. That sits in tension with Rust’s approach to solving memory safety problems, and sets up a nice challenge for future programming language designers.
167
New Lisp-Stat Release
Lisp-Stat Documentation
168
Learning Go as a Python Developer: The Good and the Bad
I've been thinking about supplementing another language to Python for some time – mainly to cope with areas Python struggles with, or is a pain to use (which I'll go over in a minute). I had used C/C++ some years ago, but don't want to go back to them. C
169
To Ruby from Python
Python is another very nice general purpose programming language. Goingfrom Python to Ruby, you’ll find that there’s a little bit more syntaxto learn than wi...
170
Rust on Espressif chips – 15-07-2022
Scott Mabin's blog
171
How I went about learning Rust
Rust has been on my radar for a long time now , and about a year ago I finally began allocating some time every week to learning it.
172
Lessons from Writing a Compiler
Collected tips from building the Austral compiler.
173
When rustc explodes
One could say I have a bit of an obsession with build times. I believe having a “tight feedback loop” is extremely valuable: when I work on a large codebase, I want to be able to make small increme...
174
Six programming languages I’d like to see
A few weird ideas for programming languages I came up with that it'd be "really" "cool" if someone made (wink)
175
Beating the Averages (2001)
April 2001, rev. April 2003 (This article is derived from a talk given at the 2001 Franz Developer Symposium.) In the summer of 1995, my friend Robert Morris and I started a startup called Viaweb . Our plan was to write software that would let end users build online stores. What was novel about this software, at the…
176
Guile Steel: a proposal for a systems Lisp
Before we get into this kind of stream-of-consciousness outline, I'd like to note that very topically to this, over at the Spritely Institute (where I'm CTO, did I mention on here yet that I'm the CTO of a nonprofit to improve networked communication on the internet on this blog? because I don't think I did) we…
177
Beginner's guide to error handling in Rust
Easy to follow guide using practical examples
178
Technical overview of Kandria, a game and game engine developed in Common Lisp
This is a short overview of the development that's gone into "Kandria"(https://kandria.com), the open world action RPG I've been working on in recent years.
179
Go generics are not bad
When programming, we often need to write 'generic' functions where the exact data type is not important. For example, you might want to write a simple function that sums up numbers. Go lacked this notion until recently, but it was recently added (as of version 1.18). So I took it out for a spin. In … Continue reading…
180
Why we're sticking with Ruby on Rails
GitLab CEO and co-founder Sid Sijbrandij makes the case for Ruby on Rails.