Why Safety Profiles Failed
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
Topics /
The most popular blog posts about programming languages on Hacker News. 5,634 posts.
As for dangling pointers and for ownership, this model detects all possible errors . This means that we can guarantee that a program is free of uses of invalidated pointers.
Part of a 3 part series. Followups on F#, Rust I built the first demo of Dark in Python, in about two weeks. A few months later when I started productizing it, I rebuilt it in OCaml. Back in 2017, when I was considering the language and platform to use
Updated Oct 27, 2016: Fixed sample code comments in coroutine example as per suggestion , edited text to note D's similar behaviour .
Donny (kdy1 on GitHub) is rewriting TypeScript in Rust hoping to speed up tsc which is slow due to its TypeScript base.
Today we are announcing an alpha version of Pyrefly, an open source Python type checker and IDE extension crafted in Rust. Pyrefly is a static type checker that analyzes Python code to ensure type …
If you’re already familiar with SIMD, the table is all you need. And if you’re not, you will understand the table by the end of the…
The C Language Before we start, let’s get something straight; for over 30 years now I have had a love-hate relationship with the C programming language. The ‘engineer’ in me[1] sometimes just cannot believe we are still using C as the dominant embedded programming languages after all these years, and yet, I also see…
What's the midpoint between 0 and infinity in Ruby? It's 1.5 for some reason. What's the reason you might ask? Read on to find out.
Author's note: Since this post was written, the API of postMessage has changed slightly. When sending a SharedArrayBuffer with postMessage, the buffer should no longer be in the transfer list ...
Yesterday I wrote that setjmp is handy and that it would be nice to have without linking the C standard library. It’s conceptually simple, after all. Today let’s explore some differently-portable implementation possibilities with distinct trade-offs. At the very least it should illuminate why setjmp sometimes requires…
Dinosaur is old enough, as well as Lisp, they may like each other. When I am talking about dinosaur here, I mean the dinosaur hiding in Google Chrome, it shows up when "There is no Internet connection".
Some highlights of the Julia 1.7 release.
What I’ve learned in my first few hours using Gleam for a small project.
A case study of how Elixir is being used at X-Plane.
I'm a technologist with a focus in ecommerce, GenAI, and developer productivity. I enjoy building reliable and fast software, and helping others to do the same.
The home of pythonistas
Examining the misleading claims in a published paper about Elixir security
Happy Birthday, Go!
What are the problems of C, and how Zig addresses them?
Rob Pike, the co-author of the Go programming language, speaks about a career spanning four decades, and the evolution of Go over the last ten years.
GitLab CEO and co-founder Sid Sijbrandij makes the case for Ruby on Rails.
Learn about the benefits of TiDB and the TiDB Cloud solutions from PingCAP. Read our latest post "The Rust Compilation Model Calamity" here.
In constructors in the Java programming language, allow statements that do not reference the instance being created to appear before an explicit constructor invocation. This is a preview language feature .
Recently, my colleague introduced me to QMK 1, an open-source keyboard firmware. Like many non-trivia C projects, macro is heavily used everywhere, especially in keymap files 2. It didn’t bother me much since I have been programming C for many years. But I kept thinking to myself, “what would it look like if I can…