The Rust team is happy to announce a new version of Rust, 1.58.0. Rust is a programming language empowering everyone to build reliable and efficient software. Read more…
Author Archives: gx
Following the programming language evolution, and taking it personally
Further adventures in understanding, explaining, and challenging the facts that should be obvious. Read more…
Functional Programming in Idris 2
The goal of this project is quickly explained: To become a more or less comprehensive guide to the Idris programming language, with a lot of introductory material targeted at newcomers to functional programming. Read more…
Rewriting my toy blockchain in Rust
My plan was to port my toy blockchain from Python to Rust. The initial project had multiple iterations, starting with proof-of-work and later Merkle trees and elliptic curve cryptography – a suitable candidate for a 1-week rewrite. Read more…
Space anemia is tied to being in the void and can stick around awhile
Space isn’t easy on humans. Some aspects are avoidable—the vacuum, of course, and the cold, as well as some of the radiation. Astronauts can also lose bone density, thanks to a lack of gravity. NASA has even created a fun acronym for the issues: RIDGE, which stands for space radiation, isolation and confinement, distance fromContinue reading “Space anemia is tied to being in the void and can stick around awhile”
Computer Life at 800MHz
Using a Sony Vaio VGN-P588E for the past few months as our primary personal laptop. This thing’s great; it’s got a small but not uncomfortable keyboard. It’s got a trackpoint, which we absolutely need to keep our hands healthy. Crucially, it’s only 1.5 pounds. We’re disabled in a way that means we’ve got to careContinue reading “Computer Life at 800MHz”
Are You Sure You Want to Use MMAP in Your Database Management System?
Memory-mapped (MMAP) file I/O is an OS-provided feature that maps the contents of a file on secondary storage into a program’s address space. The program then accesses pages via pointers as if the file resided entirely in memory. The OS transparently loads pages only when the program references them and automatically evicts pages if memoryContinue reading “Are You Sure You Want to Use MMAP in Your Database Management System?”
Nim Community Survey 2021 Results
The Nim community survey 2021 has been open for a month and a half, and we have received 825 responses (compared to 769 last year) – we think this is a large enough sample to draw conclusions about our users and their habits. Read more…
How we used C++20 to eliminate an entire class of runtime bugs
C++20 is here and has been supported in MSVC since 16.11, but today’s post is not about how you can use it, but rather how we used it to effectively eliminate an entire class of runtime bugs by hoisting a check into compile-time. Read more…
CNCF Cloud Native Interactive Landscape
The Time and Frequency Division of NIST offers a network time service to deliver UT1 time. Read more…