541
MiniRust
I have been thinking about the semantics of Rust – as in, the intended behavior of Rust programs when executed, in particular those containing unsafe code – a lot. Probably too much. But al...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 3,707 posts.
542
Writing a Compiler is Surprisingly Easy (part 1)
Part 1: expressions, arithmetic Part 2: statements, control flow Ever since I was a teenager I wanted to create my own systems pr...
543
Introduction to logic programming with Prolog
Short introduction to the Prolog language and its essential features.
544
Programming Language Development: The Past 5 Years
I recently compiled a list of Perlis Languages that were meant to illustrate varying paradigms not typically found in mainstream programming languages. Those languages were meant to stretch your mind and are not necessarily representative of the state of the art in language design and implementation. In this post I…
545
Writing an Interpreter in Go: The Paperback Edition
If you’d asked me a only few months ago if there’ll ever be a printed version of Writing An Interpreter In Go I’d responded with a “Huh, uummm, well, I don’t know. Maybe. Maybe if I’ll find the time and if there’s any interest.”
546
Resources on creating programming languages
A guide to create programming languages presenting an organized list of selected articles, books, tutorials, and tools on designing languages and compilers.
547
548
Modern Functional Programming: The Onion Architecture
The onion architecture may be the future of large-scale FP
549
550
Game Programming in Prolog
This article explains how a game can be made in Prolog by leveraging the hidden power of logic programming. Inspired by the elegance of data-driven design and declarative programming paradigms, I will be explaining a new way of designing game rules which can at the same time be used as the source code of the gameplay…
551
Prolog Basics Explained with Pokémon
Demonstrating the basics of logic programming with data from the Pokémon games.
552
What Zig felt like, coming from Rust
What Zig felt like, coming from Rust Intro I’ve spent the last 7 years as a Rust developer, working mostly on open source projects, and I’d like to think I’ve built a solid feel for the language and its ecosystem along the way. I gravitate toward the functional side of Rust like clean functions, expressive types, that…
553
100 days with Rust: a series of brick walls
A few thoughts on Rust after a few months of regular use.
554
C++ 20: The Core Language
My last post C++20: The Big Four started with an overview of concepts, ranges, coroutines, and modules. Of course, C++20 has more to offer. Today, let’s continue my overview of the core language.
555
C++ 17 is Done
The ISO C++ committee had its winter meeting in Kona, HI, USA from February 27 to March 4, hosted by Plum Hall and the Standard C++ Foundation. Over 100 people attended, officially representing 9 c…
556
Rustgo: Calling Rust from Go with near-zero overhead
Go has good support for calling into assembly, and a lot of the fast cryptographic code in the stdlib is carefully optimized assembly, bringing speedups of over 20 times.
557
How close can pure functional programming get to C?
In Why Lean is Faster Than Rust , the author shares an impressive result: a DEFLATE compression library written in Lean 4 , a functional programming language and proof assistant, outperforming an equivalent Rust package that crates.io says has been downloaded over a billion times. From the article:
558
Why is Idris 2 so much faster than Idris 1?
I've just released a new version of Idris 2 , which is a significant release in that it's the first one which is able to compile itself. Thus, it's the first one where we can really see how the performance of Idris 2 improves on the performance of Idris 1.
559
How Python asyncio works: recreating it from scratch
Learn how asyncio works by recreating it from scratch with Python generators and using the __await__ dunder method for the async/await keywords.
560
Learn by reading code: Python standard library design decisions explained
On your Python learning journey, you may have heard that a great way to get better is to read code written by other people. That's true, but finding good code to study is not easy, mostly because the design philosophy and the reasoning behind the code are rarely documented. The Python standard library is special in…
561
Visualizing Concurrency in Go (2016)
If you prefer video over blog posts, here is my talk on this at GopherCon 2016: https://www.youtube.com/watch?v=KyuFeiG3Y60
562
Julia: Faster than Fortran, cleaner than Numpy
I'm super enthusiastic about Julia after running this comparison of Julia vs Numpy vs Fortran, for performance and code simplicity.
563
564
Why Language-Oriented Programming? Why Racket?
Beautiful Racket
565
Racket Is an Acceptable Python
A little over a decade ago, there were some popular blogposts about whether Ruby was an acceptable Lisp or whether even Lisp was an acceptable Lisp . Peter Norvig was also writing at the time introducing Python to Lisp programmers . Lisp, those in the know knew, was the right thing to strive for, and yet seemed…
566
Retiring Python as a Teaching Language
It's not about technology for its own sake. It's about being able to implement your ideas.
567
Rust's Type System Is Turing-Complete: Type-Level Programming in Rust
(N.B. The word “fuck” appears multiple times in this post. I recommend that the reader temporarily not consider “fuck” as profanity, as it isn’t used that way here.)
568
Haskell: A Great Procedural Language
These sound like dismissals or absurdities from the outside, but once you learn what they really mean, they take on a new light. In this article, I want to explain the third. (See the appendix if you are curious about the first two.)
569
570
Moving from Rust to C++
Note to readers: this is an April Fools post, intended to satirize bad arguments made against Rust. I have mixed feelings about it now, as I think people who understood the context appreciated the humor, but some people were confused. That’s partly because it’s written in a very persuasive style, and I mixed in some…