1471
ChibiHash: Small, Fast 64 bit hash function
Update Nov 30: I've added a version 2, which makes the benchmarks and design overview section in this article outdated. See the github repo for updated benchmarks.
1472
My simple knowledge management and time tracking system
I am using a very simple system for remembering commands and procedures, and for tracking what I work on. I have two plain text files called notes.txt and worktime.txt. In the notes file, I write d…
1473
Integrated assembler improvements in LLVM 19
Within the LLVM project, MC is a library responsible for handling assembly, disassembly, and object file formats. Intro to the LLVM MC Project, which was written back in 2010, remains a good source to understand the high-level structures. In the latest release cycle, substantial effort has been dedicated to refining…
1474
Building a 3D safety sensor with Rust
Grab your biggest mug of coffee and learn how the open-source programming language Rust supercharges our development time of the breakthrough Sonair 3D ultrasonic sensor. Claim to fame: Sonair is on track to be among the first to deploy a safety-certified Rust implementation.
1475
Pick Your Distributed Poison
One of the hardest things for people to understand with distributed systems is that eventual consistency is the same thing as eventual inconsistency. The very...
1476
Implementing the Goodfellow GANs paper
Generative Adversarial Networks (GANs), discovered by Ian Goodfellow in 2014, were an early method in the area of generative AI. I will focus on image generation as set out in the paper Generative Adversarial Nets 1 . This paper is the focal point of the post, I will guide you through the implementation of the paper…
1477
How much memory does a graph take?
We need a fast way to query multiple potentially large sets of data on-demand at interactive speeds. Sometimes the easiest solution to a hard problem is to build the right tool for the job.
1478
A Logic Language for Distributed SQL Queries
A comprehensive look at the design of Polar, and how we enabled it to operate over distributed data.
1479
Type information for faster Python C extensions
Update: The paper version of this post is accepted at PLDI SOAP 2024. Take a look at the preprint (PDF).
1480
Basic MetaProgramming in Zig
Getting started with Zig's meta programming capabilities by leveraging a few useful functions
1481
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)…
1482
Types are a basic tool of software design (2018)
Static or dynamic, a program's design is written in its types.
1483
Make invalid states unrepresentable (2023)
"Type-driven development"
1484
The importance of local development
Efficient software development benefits from local development, it enables faster iteration, better debugging and ensures consistency between local and production environments.
1485
Learning Elm by porting a medium-sized web frontend from React (2019)
How I learnt Elm (its good parts and bad) by porting a medium-sized web frontend from React.
1486
Ten Years of JMAP
We announced JMAP 10 years ago, here is an update on its progress
1487
1488
White space does matter in C23
Usually in C identifiers are not directly followed by strings. But when U prefixed literals were introduced in C. there still were some rare clashes with existing code. This happened were a macro U…
1489
A Simulated Annealing FPGA Placer
Academic website for Stefan Abi-Karam.
1490
Bringing Faster Exceptions to Rust
Three months ago, I wrote about why you might want to use panics for error handling. Even though it’s a catchy title, panics are hardly suited for this goal, even if you try to hack around with macros and libraries. The real star is the unwinding mechanism, which powers panics. This post is the first in a series…
1491
Well-Known Secrets of AmigaDOS
In keeping with the Commodore tradition of cost cutting, most consumer models of their Amiga line of computers came with severely watered down documentation. The Amiga 500 was an exception from this rule, but owners of later machines - such as the A1200 - may not have gotten any documentation for the command line part…
1492
How to Get or Create in PostgreSQL
And why it is so easy to get wrong...
1493
TLA from First Principles
Building an intuition for the mathematics behind the "TLA" in "TLA+"
1494
Bump Allocation: Up or Down?
Back in 2019, Nick Fitzgerald published always bump downwards, an article making the case that for bump allocators, bumping “down” (towards lower addresses) is better than bumping up. The biggest reasons for this are bumping up requires 3 branches vs 2 for bumping down and rounding down requires fewer instructions…
1495
From Datalog to SVG
Exporting graph data to text file and SVG with Datalog
1496
1497
What docs-as-code means
I’ve recently started a new job as a documentation engineer. While my work is largely the same as that of a technical writer, …
1498
A small Rust binary indeed (2022)
Can we make a Rust program that's as small as it's assembler equivalent?
1499
Node.js, Pipes, and Disappearing Bytes
Someone in one of my online communities recently asked about why their Node command was dropping output when piped to another command:
1500
Displaying Content as a Graph
Most web content is displayed as a strict hierarchy, tree-based or otherwise. What if it wasn't?An exploration into the advantages of graph-based content design, the numerous pitfalls, and a few case studies along the way.