61
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. 327 posts.
62
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.
63
Lingo: A Go micro language framework for building Domain Specific Languages
Design, build and integrate your own Domain Specific Language with Lingo.
64
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…
65
Adding row polymorphism to Damas-Hindley-Milner
Intro to HM
66
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.
67
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 .
68
Damas-Hindley-Milner inference two ways
What is Damas-Hindley-Milner?
69
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…
70
Jank development update – Moving to LLVM IR
Learn about jank's upcoming LLVM IR codegen, Rust interop plans, and more.
71
Emit
One of the interesting aspects of a concatenative language like Factor is that blocks of logic can be easily extracted and easily reused since they apply logic to objects on the stack .
72
Embedded Rust in Production?
A review after using Rust on embedded in production for over a year
73
Rama on Clojure's terms, and the magic of continuation-passing style
Rama is a platform with huge applicability, able to express all the computation and storage for a backend at any scale. Just like the UNIX philosophy of composing simple programs to do more complex…
74
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.
75
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
76
A Lisp compiler to RISC-V written in Lisp
This is a simple experimental Lisp compiler, written in uLisp, that will compile a Lisp function into RISC-V machine code. You can run the compiler on the RISC-V core of a Raspberry Pi Pico 2 (or another RP2350-based board):
77
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,...
78
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…
79
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.
80
Fun with Go Iterators
Go 1.23 added Iterators, so lets build a js like streaming api
81
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:
82
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.
83
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…
84
85
86
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…
87
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…
88
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.
89
Is English a “creole Language”?
September 28, 2024 @ 5:50 am · Filed by Mark Liberman under Linguistics in the comics
90
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.