751
Gödel's Incompleteness Theorem in Bash
Gödel’s first incompleteness theorem states that there are mathematical statements that can neither be proven or disproven. His proof is fairly difficult to ...
752
Timsort (2019)
Timsort: A very fast , O(n log n), stable sorting algorithm built for the real world — not constructed in academia. Timsort is a sorting algorithm that is efficient for real-world data and not created in an academic laboratory. Tim Peters created Timsort for the Python programming language in 2001.
753
754
What I wish someone would have told me about using RabbitMQ (2020)
RabbitMQ Crash Course for 2025
755
Software Mise En Place
I am really, really into cooking. In the heady days of 2016 I regularly threw dinner parties for 30+ people. These days I don't hate myself that much, but...
756
757
Who Watches Watchmen? – Integrating Elixir Applications with Systemd
A lot of application use systems like Kubernetes for their deployment. In my humble opinion it is often overkill as system, that offers most of the stuff such thing provide, is already present in your OS. In this article I will try to present how to utilise the most popular system supervisor from Elixir applications.
758
A Critique of SQL, 40 Years Later
Homepage of Carlin Eng
759
Introducing Svelte, and Comparing Svelte with React and Vue (2021)
Svelte is a new style of framework for building sites and apps. Let's dive into what makes it different, why it's so enjoyable, and how it's able to ship such tiny, fast apps.
760
Turn the radio volume down for adverts and DJs talking
A script for automatically lowering the volume during radio advertisements and DJ announcements and turns the volume back up when songs are playing. It controls a Sonos speaker using the Soco-cli P…
761
Post-Apocalyptic Programming
In a post-apocalyptic future with no internet or stackoverflow, let's try to build a programming environment from scratch.
762
We're Drowning
Matthew Childs / Reuters We live in a golden age of software reuse. We’ve never before had such a wealth of freely available code, in so many languages, so easy to find and install. And yet, …
763
Packed structs in Zig make bit/flag sets trivial
As we've been building Mach engine, we've been using a neat little pattern in Zig that enables writing flag sets more nicely in Zig than in other languages. Here's a brief explainer.
764
An update on rust/coreutils
TLDR: we are making progress on the Rust implementation of the GNU coreutils. Well, it is an understatement to say my previous blog post interested many people. Many articles, blog posts and some …
765
.NET 7 is Available Today
.NET 7 is a major release that provides better performance and new features for C#, .NET MAUI, Web APIs, cloud native, and more. Free Download.
766
Curl doesn't add libproxy due to its quality issues
curl, along with every other Internet tool with aspirations, supports proxies. A proxy is a (usually known) middle-man in a network operation; instead of going directly to the remote end server, the client goes via a proxy. curl has supported proxies since the day it was born. Which proxy? Applications that do…
767
Zero downtime migrations
As a backend developer at a mobile app company, a common task was migrating a database schema.This could be to improve query performance, change column ...
768
Why our team cancelled our move to microservices
Recently our development team had a small break in our feature delivery schedule. Technical leadership decided that this time would be…
769
How boring should your team's codebases be
Thoughts on how to keep the novelty in a team at the correct level for easy onboarding
770
Game Jam 2 Results
Build retro games using WebAssembly for a fantasy console
771
Introducing multitasking to Arduino
Introducing multitasking to Arduino: learn how to run several tasks at once in your sketches and keep your code responsive.
772
Secret scanning is now available for free on public repositories
Previously, only organizations with GitHub Advanced Security could enable secret scanning's user experience on their repositories. Now, any admin of a public repository on GitHub.com can detect leaked secrets in…
773
Rust9x: Compile Rust code for Windows 95, NT and above
You might remember my old post about the journey to get at least a bit of Rust code working for Windows 98 SE . Well, I'm back, this time with a more ambitious package:
774
New Capabilities for GPT-3: Edit and Insert
We’ve released new versions of GPT-3 and Codex which can edit or insert content into existing text, rather than just completing existing text.
775
Why we write elementary apps in Vala (2014)
A tremendously effective tool for our needs
776
Rust's unsafe pointer types need an overhaul
I literally wrote the book on unsafe Rust . And the book on pointers in Rust . And redesigned the Rust’s pointer APIs . And designed the standard library’s abstraction for unsafe heap-allocated buffers . And maintain the alternative Vec layout .
777
778
Creating a pick and place control board with the RP2040
A look into the hardware design of Starfish
779
Code doesn’t have to be a mess
High-level strategies to keep software simple as it evolves over time.
780
Nim version 2.0.0 release candidate
The first release candidate for Nim version 2.0 is ready for testing.