181
I can’t believe that I can prove that it can sort
When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…
New
The latest blog posts to take off on Hacker News. 384 posts.
182
Porting Graphing Calculator from C++ to Swift
Developer Spotlight is a series highlighting interesting Swift developers from around the world. This post is authored by Ron Avitzur, author of the Pacific Tech Graphing Calculator.
183
Vim 9.0
The previous release was version 8.2 in December 2019. Since the latest source code is always available on GitHub, many have already picked up later patch versions (there are more than 5000 of them!). Therefore the changes have already been tried out by many users. On top of that bugs have been fixed, security issues…
184
185
OpenBSD has two new C compilers: chibicc and kefir
In my never ending quest to have oksh support every C compiler in existence, I have ported two more C compilers to OpenBSD . They are chibicc and kefir. As always, let's review them and at the end I'll have links to unofficial ports so that you can play around with these C compilers.
186
Mastering Nim – now available on Amazon
My book 'Mastering Nim - A complete guide to the programming language' is now available on Amazon
187
Haskell in Production: Channable
In this edition of our Haskell in Production series, we interview Fabian Thorand from Channable. Read the article to learn where Channable uses Haskell and why do they like it.
188
Extreme explorations of TypeScript's type system
Some of the most creative, wacky explorations of what you can do in TypeScript's type system!
189
190
What's New in Python 3.11?
Latest features the newest Python release has to offer, that you should know about - built-in TOML support, better exceptions, and typing improvements.
191
Why I still recommend Julia
Yuri Vishnevsky wrote that he no longer recommends Julia. This caused lengthy discussions at Hacker News, Reddit and the Julia forum. Yuri argues that Julia shouldn't be used in any context where corr...
192
The Composition over Inheritance Principle (2020)
In Python as in other programming languages, this grand principle encourages software architects to escape from Object Orientation and enjoy the simpler practices of Object Based programming instead.
193
194
How safe is Zig?
I keep seeing discussions that equate zig's level of memory safety with c (or occasionally with rust!). Neither is particularly accurate. This is an attempt at a more detailed breakdown.
195
196
Surprising result while transpiling C to Go
Experimenting transpiling Uber h3 library with ccgo.
197
V Language Review
V is a programming language promising to be “Simple, fast, safe, compiled. For developing maintainable software.” V has a controversial past but what is the state of V in 2022?
198
How not to teach recursion (2021)
Parenthetically Speaking: Articles by Shriram Krishnamurthi
199
What happened to proper tail calls in JavaScript? (2021)
ECMAScript supports proper tail calls. How come browser don't support it?
200
201
The Y Combinator in Go with generics
A few years ago I've written in some detail about the Y combinator, including implementations in Clojure and Python.
202
Bringing Forward the End-of-Life Date for Node.js 16
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.
203
204
Rust without the async (hard) part
A comparison between async Rust's and lunatic's approach to massive concurrency.
205
Pyston-lite: our Python JIT as an extension module
Today we’re very excited to announce Pyston-lite, a JIT for Python that is easily installable as an extension module. We’ve taken the core technology of Pyston and repackaged it so that…
206
Dhall: A Gateway Drug to Haskell
Personal blog of Saurabh Nanda
207
Trivia About Rust Types
Preface (by Jimmy Hartzell) I am a huge fan of Jon Gjengset’s Rust for Rustaceans, an excellent book to bridge the gap between beginner Rust programming skills and becoming a fully-functional member of the Rust community. He’s famous for his YouTube channel as well; I’ve heard good things about it (watching video…
208
What is a programmable programming language? (2019)
When I was still researching this fabled obscure language called Lisp one thing people kept saying about it is that “Lisp is a programmable programming language”, but I could never figure out what they meant by that. It sounds like a smug buzzword or like a gimmick from an academic toy language. Lisp programmers have…
209
I Built a Ruby Parser
Sorry, this post will read like a “dear diary” entry rather than some life-changing HN-worthy guidance. Back in November 2020, almost on a whim I started work on a new parser for the Ruby programming language. It was almost exactly a year after I had started working on my compiler project (I hope to write a longer…
210
Arc and Mutex in Rust
When writing concurrent Rust you will encounter Arc and Mutex types sooner or later. And although Mutex might already sound familiar as it's a concept known in many languages, chances are you haven't heard about Arc before Rust. What's more, you can't fully understand these concepts without tying them to the ownership…