121
8 months of OCaml after 8 years of Haskell in production (2023)
Dmitrii Kovanikov's Personas Web Space
New
The latest blog posts to take off on Hacker News. 1,535 posts.
122
Bicameral, Not Homoiconic
Parenthetically Speaking: Articles by Shriram Krishnamurthi
123
124
Demystifying Git Submodules
Demystifying git submodules by showing exactly how they work.
125
Thinking in Actors – Challenging your software modelling to be simpler
Challenging your software modelling techniques to be simpler
126
Programming the C64 with Visual Studio Code
How to program the Commodore 64 in BASIC, Assembly or C using Microsoft Visual Studio Code on Mac, Windows and Linux!
127
Kubernetes on Hetzner: cutting my infra bill by 75%
Hi, my name is Bill. I’m a software engineer based in London. This is a blog about software development.
128
Safe relational database queries using the Rust type system
New database library for Rust
129
If not React, then what?
Frameworkism is now the dominant creed of today's frontend discourse, and it's bullshit. We owe it to ourselves and to our users to reject dogma and embrace engineering as a discipline that strives to serve users first and foremost.
130
Making a parallel Rust workload 10x faster with (or without) Rayon
In a previous post, I’ve shown how to use the rayon framework in Rust to automatically parallelize a loop computation across multiple CPU cores.Disappointingly, my benchmarks showed that this only provided a 2x speedup for my workload, on a computer with 8 CPU threads.Worse, the total “user” and “system” times…
131
132
Move semantics in Rust, C++, and Hylo
I just finished reading the paper Borrow checking Hylo . It outlines the basic design of Hylo . Hylo is an early-stage programming language, but unlike other contenders of C++, it provides memory safety like rust. Specifically it merges rust’s borrow checking ideas into the framework of moveable value semantics (MVS)…
133
Using Pandoc and Typst to Produce PDFs
UPDATE MARCH 2025: This post, and the template attached, were written for Typst v 0.11 – Typst has upgraded twice since then, and this template will not work with the newer versions of Typst. Please see the new post (Mar 26, 2025) at A New Typst Template for Pandoc
134
How much memory do you need in 2024 to run 1M concurrent tasks?
Please refer to How Much Memory Do You Need in 2024 to Run 1 Million Concurrent Tasks? - Take 2 to check the latest result.
135
Engineers do not get to make startup mistakes when they build ledgers
Practical accounting for fintech engineers, and also how not to repeat my silly mistakes.
136
The success and failure of Ninja (2020)
Reflecting on my most successful open source project.
137
Accidentally writing a SAT solver
where my words occasionally escape /dev/null
138
Structured Editing and Incremental Parsing
As someone who has from time to time written on parsing, and even published some parsing research , I get asked questions about parsing fairly regularly, some of which I’m even capable of answering.
139
You can use C-Reduce for any language
C-Reduce is a tool by Regehr and friends for minimizing C compiler bug reproducers. Imagine if you had a 10,000 line long C file that triggered a Clang bug. You don’t want to send a massive blob to the compiler developers because that’s unhelpful, but you also don’t want to cut it down to size by hand. The good news…
140
Fine, I'll Play With Skiplists
Follow me on Bluesky! A Log-Structured Merge tree, or LSM, is a popular data structure for storage engines. It’s what is used by RocksDB, which is sort of...
141
Emacs arbitrary code execution and how to avoid it
A post by Eshel Yaron with details and advice about a long standing arbitrary code execution vulnerability in Emacs
142
Cursed Linear Types in Rust
Inspired by Jack Wrenn’s post on Undroppable Types in Rust, I set out to see if it’s possible to create types that must be used exactly once. From my understanding, those things are called linear types, but don’t quote me on that1. Unless you are quoting the title of this article which explicitly says linear types… I…
143
The Opposite of Documentation is Superstition (2020)
Yes I know I'm technically on vacation but if I go too long without writing I die from a witch's curse and I don't want to work on longform projects For...
144
Rails is better low code than low code
Update 2024-12-02 : There was a lively discussion about the post on Hacker News you might also find interesting: link to thread.
145
Janet for Mortals (2023)
I wrote a book. It’s called Janet for Mortals, and it’s free, and it’s on the internet, and you can read it right now. And you should read it right now, instead of reading this blog post, because this blog post is not very interesting if you haven’t read the book. Heck, this blog post is not very interesting even if…
146
Htmy – Async, pure-Python rendering engine
Unleash your creativity with the full power and Python, without the hassle of learning a new templating language or dealing with its limitations!
147
148
LLVM-powered devirtualization
Virtualization is a powerful technique for code obfuscation, and reversing it can be challenging. In this post, we cover the work done during an internship on developing an automated devirtualization tool. We explore a simplified taint-based approach and discuss its limitations. For a more in-depth analysis, the full…
149
Functional Programming Self-Affirmations
Dmitrii Kovanikov writes posts about enterprise software development and functional programming, both entertaining and serious. I never used a functional programming language (such as Haskell or OCaml) at work, but several ideas from functional programming have become popular in mainstream general-purpose programming…
150
Deno vs. Oracle: Canceling the JavaScript Trademark
Oracle is holding the JavaScript trademark hostage, and we’re pursuing legal means to #FreeJavaScript. Here’s a brief update.