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...
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.
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.
Mea culpa: there is a crisis in the humanities
NOTE 8/23: I've written a more thoughtful version of this argument for the Atlantic. They're not the same, but if you only read one piece, ...
Designing a 'Young Lady’s Illustrated Primer' from Diamond Age
Designing the Young Lady’s Illustrated Primer — the neuroscience and learning theory behind the Primer, prior art, system requirements and…
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.
Xerox Alto's 3 Mb/s Ethernet: Building a Gateway with a BeagleBone
The Alto was a revolutionary computer designed at Xerox PARC in 1973. It introduced the GUI, high-resolution bitmapped displays, the optic...
Hacking a cheap fitness tracker bracelet
A blog post on reverse engineering and customizing the firmware of a cheap fitness tracker bracelet.
How I Fail – Ian Goodfellow
Ian Goodfellow is a staff research scientist on the Google Brain team, where he leads a team of researchers studying adversarial techniques in AI. He was included in MIT Technology Review’s “35 und…
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…
Version Control Before Git with CVS
What it was like using version control before distributed repositories and commit graphs.
Working on an iPad Pro as my main computer
tl;dr I can do all of my programming and system admin work with an iPad Pro because I work on remote servers over ssh, and I prefer using the Unix/Linux command line.
Why I use the IBM Model M keyboard that is older than me
The last primary keyboard I’ll use in my life might be the IBM Model M. It’ll probably last me the decades to the day that keyboards should become obsolete. - Kheng Meng, 2018 I just had to start my blog post with that self quote ^^^ but I’m pretty confident it’ll hold true for me. I have owned several keyboards so…
Walkthrough for Systemd Portable Services
Posts and writings by Lennart Poettering
Chrome developer tools to master
With the advent of modern frameworks, ES6 and the increasing risk of security everyday, knowing how to use Chrome developer tools can give you a major boost in productivity and help in easy diagnosis of a website’s performance. This article aims to give an overview of different features available in Chrome developer…
Think You’ve Got Your Credit Freezes Covered? Think Again
I spent a few days last week speaking at and attending a conference on responding to identity theft. The forum was held in Florida, one of the major epicenters for identity fraud complaints in United States. One gripe I heard from several presenters was that identity thieves increasingly are finding ways to open new…