781
The Dawn of Formalized Mathematics
Here are the slides of my talk “The dawn of formalized mathematics” from the 8th European Congress of Mathematics , which is taking place online and in Protorož, Slovenia, from June 20 to 26, 2021:
782
My ideal Rust workflow
Writing Rust is pretty neat. But you know what’s even neater? Continuously testing Rust, releasing Rust, and eventually, shipping Rust to production. And for that, we want more than plug-in for a c...
783
Watertight vector maps from raster images
Or, “how not to GIS”.
784
Neural-control family: what deep learning and control enables in the real world
With the unprecedented advances of modern machine learning comes the tantalizing possibility of smart data-driven autonomous systems across a broad range of real-world settings. However, is machine learning (especially deep learning) really ready to be deployed in safety-critical systems?
785
How does your programming language handle “minus zero” (-0.0)?
The ubiquitous IEEE floating-point standard defines two numbers to represent zero, the positive and the negative zeros. You also have the positive and negative infinity. If you compute the inverse of the positive zero, you get the positive infinity. If you compute the inverse of the negative zero, you get the negative…
786
Useful and useless code comments
I’ve been reading John Ousterhout’s A Philosophy of Software Design . At one point in the book, he gives this advice about code comments: Unfortunately, many…
787
Building Container Images with Nix
Dockerfiles are de facto standard for creating container images. In this article I highlight some issues with this approach and I propose building container images with Nix.
788
789
Fuzz me wrong – How QuickCheck destroyed my favourite theory
Quite a while back I wrote a larger article on the algebraic foundation of software patterns which also covered the MapReduce algorithm .
790
Version Control for Structure Editing
That’s the headline for my latest project (with Tomas Petricek), presented at HATRA. [paper] [recorded talk] With this work I am finally confronting the demon cursing my work: version control. If w…
791
A Macro View of Nanite
After showing an impressive demo last year and unleashing recently with the UE5 preview, Nanite is all the rage these days. I just had to go in and have some fun trying to figure it out and explain…
792
Joining CSV and JSON data with an in-memory SQLite database
The new sqlite-utils memory command can import CSV and JSON data directly into an in-memory SQLite database, combine and query it using SQL and output the results as CSV, JSON …
793
Spotify Codes – Part 2
In part 1 I dove into Spotify Codes and explained the general technical concepts of how they work. If you haven’t read that post you should check it out. I shared it on reddit where it generated a lot of interesting discussion. Ludvig Strigeus, a key early developer at Spotify and the person who invented Spotify…
794
Making Generative Art with Rust
Artists as technical experts and an interview with generative artist Alexis André
795
A working D compiler on OpenBSD
I got GDC , the GNU D Compiler, working on OpenBSD . Supporting D has been a very long time coming. Here's the story of how we got here and where we need to go next.
796
Some sanity for C and C++ development on Windows
A hard reality of C and C++ software development on Windows is that there has never been a good, native C or C++ standard library implementation for the platform. A standard library should abstract over the underlying host facilities in order to ease portable software development. On Windows, C and C++ is so poorly…
797
The HTML video element needs to go back on the drawing board
The HTML standard doesn’t provide web authors the tools required to embed small video files in a screen and bandwidth responsive way. This needs to change.
798
GitHub Copilot: First Impressions
A glimpse of the upcoming paradigm shift in how we do development
799
Mutation Driven Testing: When TDD Just Isn’t Good Enough
As someone who loves discussing Software Craftsmanship and best practices, Test Driven Development (TDD) is a bit of a sore spot for me. Let me start off by saying that I love TDD’s emphasis on tes…
800
Programming PIC32 Microcontroller with Rust
Programming PIC32 Microcontroller with Rust, AKA running rust on bare metal
801
Thoughts On Lisp And Racket (2019)
I plan on writing about why I am interested in the Lisp family of languages. It will probably come out in stages.
802
Rare Greek Variables
I scrape Arxiv to find underused Greek variables which can add some diversity to math; the top 10 underused letters are ϰ, ς, υ, ϖ, Υ, Ξ, ι, ϱ, ϑ, & Π. Avoid overused letters like λ, and spice up your next paper with some memorable variables!
803
Talking to Postgres Through Java 16 Unix-Domain Socket Channels
Reading a blog post about what’s coming up in JDK 16 recently, I learned that one of the new features is support for Unix domain sockets (JEP 380). Before Java 16, you’d have to resort to 3rd party …
804
Heroku-style deployments with Docker and Git tags
In this post I want to explain a new deployment method I came up with while working on drwn.io. I wanted it to meet a few requirements: Simple Based on git tags Zero-downtime Easy rollbacks Creating …
805
Debugging in Clojure
A guide to debugging in Clojure, using the REPL
806
Re-thinking electronic mail
There are many problems with the existing Internet email system, such as spam, scam, surveillance, insecurity, centralization, and complexity. The problems are starting to outweigh the benefits of the system. Fixing the problems by evolving the current system seems overwhelmingly difficult. This essay examines some…
807
Should we rebrand REST?
What's wrong with the term "REST API", and what should we use instead?
808
In C++, is empty() faster than comparing the size with zero?
Most C++ programmers rely on "STL" for their data structures. The most popular data structure is probably vector, which is just a dynamic array. The set and the map are other useful ones. The STL data structures are a minimalist design. You have relatively few methods. All of them allow you to compute the size ……
809
Ruby 3 JIT can make Rails faster
I’ve wondered Why Rails becomes slow with JIT for a long time. Today, I’m pleased to share my answer to the question in this article, which…
810
Need Something Sorted? Sleep on It
An unexpected paradigm journey into sleep sort