811
Fbs: Create Linux GUIs with Qt in minutes
Program a Linux GUI that runs on Ubuntu, Arch Linux and Fedora. In less than five minutes, your friends will be able to download and install your app.
812
Show HN: Domain-tailored CRDTs for collaboration without server involvement
An in-depth exploration of a new class of expressive, performant, and intuitive CRDTs, together with macOS and iOS sample code.
813
Linkers and Loaders (1999)
The text in these files is the unedited original manuscript. M-K has fine copy editors, who have fixed all the minor typos, spelling, and grammar errors in the printed book, but if you come across factual errors I'd still appreciate help getting all the details of linking and loading as complete and correct as…
814
How I ended up writing opensnoop in pure C using eBPF
opensnoop in pure C using eBPF
815
Perl 6 Optimism
Andrew Shitov made my day with his It’s time for optimism blog post, in which he talks about some random things related to Perl 6 and its future. Well, not entirely random: the impetus for th…
816
The Math of Card Shuffling
Riffling from factory order to complete randomness.
817
On undoing, fixing, or removing commits in git
This document is an attempt to be a fairly comprehensive guide to recovering from what you did not mean to do when using git. It isn't that git is so complicated that you need a large document to take care of your particular problem, it is more that the set of things that you might have done is so large that different…
818
Outperforming LAPACK with C++ metaprogramming
Still not really about LAPACK. It's a second part of the “outperforming” series explaining how the C++ metaprogramming can appear useful for efficient code generation.
819
Rainbow Deployments with Kubernetes
or: how you can deploy services to Kubernetes that require long periods of draining. #🌈 🌈 🌈 #If you want to jump directly to the technical solution, check out the project repo. Below is a short story about how we got to this solution.
820
Ten years of V8
An overview of major milestones for the V8 project in the past 10 years as well as the years before, when the project was still secret.
821
CUDA 10 in Clojure
CUDA 10 support has just landed in ClojureCUDA with the latest version 0.6.0.
822
823
String tokenization in C
Let's say you have to write a C program to tokenize a string that contains a list of tokens separated by some delimiter, say a comma. You...
824
How we built Hamiltix.net for less than $1 a month on AWS
The details of running a complex ticket ranking site for under a dollar a month on AWS
825
Improving the fast inverse square root (2010)
Remember that famous hack for approximating y = x −1/2 from Quake III? It goes like this:
826
Zig 0.3.0 Released
Zig is an open-source programming language designed for robustness , optimality , and clarity . Zig is aggressively pursuing its goal of overthrowing C as the de facto language for system programming. Zig intends to be so practical that people find themselves using it even if they dislike it.
827
828
Programming Minecraft on the Raspberry Pi
How to combine Minecraft and the Wolfram Language, both standard on Raspberry Pi, to make interesting structures, add character capabilities or render your own output in 3D. Clear instructions on installation, using the MinecraftLink library, building, reacting to events.
829
Mill: Better Scala Builds
Mill is a new build tool for Scala: it compiles your Scala code, packages it, runs it, and caches things to avoid doing unnecessary work. Mill aims to be better than Scala's venerable old SBT build tool , learning from it's mistakes and building upon ideas from functional programming to come up with a build tool that…
830
Debugging with intelligence via probabilistic inference
Debugging with intelligence via probabilistic inference Xu et al., ICSE’18 Xu et al. have built a automated debugger that can take a single failing test execution, and with minimal interactio…
831
832
Yes, code is data, but that's not what makes Lisp cool
There has been some debate on Hacker News lately about what makes Lisp cool , in particular about whether the secret sauce is homo-iconici...
833
Modern SAT solvers: fast, neat and underused – part 2
The previous post in this series was a quick introduction to the world of SAT and SAT solvers. In this post, we will convert a harder real-world problem, namely _master-key system_, into SAT and explore some of the more advanced techniques used to efficiently convert problems to SAT.
834
Todo example in Rust
Rust Qt Binding Generator lets you combine Rust code with a Qt 1 graphical application. A previous blog shows how to make a simple clock. It’s a good idea to read that post before reading this more advanced post, because in this post we are getting serious.
835
836
What It Was Like to Write a Full-Blown Flutter App
Porting an existing iOS app to Flutter, what it was like and my thoughts on Flutter thus far.
837
Granular Audio Synthesis
If you want to make a sound shorter, you can play it faster. Doing this also makes it higher pitch unfortunately. If you want to make a sound longer, you can play it more slowly. This also makes it…
838
839
840
