481
Unsafe Rust is harder than C
Or: The Most Expensive Linked List I’ve Ever Written
New
The latest blog posts to take off on Hacker News. 3,707 posts.
482
Async Rust in Three Parts
Async/await, or "async IO", is a new-ish Rust added async/await in 2019. For comparison, C# added it in 2012, Python in 2015, JS in 2017, and C++ in 2020. language feature that lets our programs do more than one thing at a time. It's sort of an alternative to multithreading, though Rust programs often use both…
483
Adding row polymorphism to Damas-Hindley-Milner
Intro to HM
484
OOP is not that bad
OOP is certainly not my favorite paradigm, but I think mainstream statically-typed OOP does a few things right that are very important for programming with many people, over long periods of time.
485
Adding syntax to the CPython interpreter
Now lets's change the grammar so that if we don't have an else condition we default to None .
486
Damas-Hindley-Milner inference two ways
What is Damas-Hindley-Milner?
487
The C23 edition of Modern C
The C23 edition of Modern C is now available for free download from And as before a dedicated page for the book may be found at where you also may find a link to download the code examples that com…
488
Embedded Rust in Production?
A review after using Rust on embedded in production for over a year
489
Use Prolog to improve LLM's reasoning
On one side, LLMs show unseen capabilities in reasoning, but on the other - reasoning in LLMs is not ideal.
490
Gleam: A Basic Introduction
Gleam is a statically-typed functional programming language, which recently had its v1 released, designed for building scalable and maintainable software. It
491
TypedDicts are better than you think
TypedDict was introduced in PEP-589 which landed in Python 3.8. The primary use case was to create type annotations for dictionaries. For example,...
492
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…
493
My negative views on Rust (2023)
This is a little summary of my current thoughts on Rust. I wonder whether I’ll look back in five years and see if my views have changed.
494
Fun with Go Iterators
Go 1.23 added Iterators, so lets build a js like streaming api
495
The Rise of Worse Is Better (1991)
I and just about every designer of Common Lisp and CLOS has had extreme exposure to the MIT/Stanford style of design. The essence of this style can be captured by the phrase the right thing . To such a designer it is important to get all of the following characteristics right:
496
Rust needs a web framework
I like to make silly things, and I also like to put in minimal effort for those silly things. I also like to make things in Rust, mostly for the web, and this is where we run into a problem.
497
Gleam Is Pragmatic
I’ve spent the past several years working with functional programming languages in my free time – primarily Haskell and OCaml. I love both languages but also find aspects of each frustrating. Haskell is terse and elegant with type classes providing a powerful mechanism for ad-hoc polymorphism. However, it can also be…
498
499
500
Code Generation in Rust vs. C++26
One of the things I like to do is compare how different languages solve the same problem — especially when they end up having very different approaches. It’s always educational. In this case, a bunch of us have been working hard on trying to get reflection — a really transformative language feature — into C++26…
501
A Tour of Hell – Shell scripting Haskell dialect
This set of slides sketches out the implementation of Hell , in technical detail. I do tend to switch between the slides, old code, and the present code, so bear with me. It's more about the ideas. If you want to see a complete implementation, the complete implementation of Hell is one file , which you can look…
502
Notes on the Crystal Language
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
503
Everything you need to know about Python 3.13 – JIT and GIL went up the hill
All you need to know about the latest Python release including Global Interpreter Lock and Just-in-Time compilation.
504
Rewriting Rust: A Response
Joseph Gentle wrote a post on how he wants Rust to change. I am already working on that.
505
506
Rewriting Rust
The Rust programming language feels like a first generation product. You know what I mean. Like the first iPhone - which was amazing by the way. They made an entire operating system around multitouch. A smart phone with no keyboard. And a working web browser. Within a few months, we
507
The lost language extensions of MetaWare's High C compiler (2023)
This book I got in a pile of FM TOWNS books turns out to be a lot more interesting that I was expecting an '80s C compiler manual to be. For as long as C and its relatives have been in mainstream use,…
508
Rust panics under the hood, and implementing them in .NET
I am currently working on a Rust to .NET compiler, rustc_codegen_clr . To get it to work, I need to implement many Rust features using .NET APIs. One of such features is panicking and unwinding.
509
Optimizing Guile Scheme
Guile is a rather niche language that I love dearly. Guile is a Scheme dialect that features an advanced optimizing bytecode compiler, a JIT compiler, and a modest set of developer tools for inspecting and debugging. Through my time spent developing Chickadee , a game programming library, I have gotten quite familiar…
510
A Friendly Introduction to Assembly for High-Level Programmers
A friendly introduction to assembly for high-level programmers — Hello