4621
Introduction to TLA+ Model Checking in the Command Line
Otherwise known as “wait, you mean I can use the TLA toolbox from the command line?”
New
The latest blog posts to take off on Hacker News. 4,838 posts.
4622
How I use my Raspberry Pis to help me work on with my side projects
Undeniably, Raspberry Pi has revolutionised the way we use computing technology in our lives. In addition to being energy efficient, a Raspberry Pi is a single board computer that does not take up …
4623
4624
Let’s talk about open-source sustainability
Do you contribute to open source software (OSS)? We'd love to hear your perspective.
4625
4626
Going old school: how I replaced Facebook with email
In November 2017, I deactivated my account on Facebook. I didn’t leave Facebook for moral reasons back then but more because it was starting to feel like a waste of time and valuable brain cy…
4627
ScyllaDB Open Source 3.0
With the release of ScyllaDB Open Source 3.0, we’ve introduced a rich set of new production-ready features that surpass the capabilities of Apache Cassandra.
4628
4629
How to write a rootkit without really trying
We open-sourced a fault injection tool, KRF, that uses kernel-space syscall interception. You can use it today to find faulty assumptions (and resultant bugs) in your programs. Check it out! This post covers intercepting system calls from within the Linux kernel, via a plain old kernel module. We’ll go through a quick…
4630
Preparing for Prison (2016)
I’ve written previously about various aspects of imprisonment, including practical preparations such as packing your personal possessions (r...
4631
4632
Oklahoma Department of Securities Leaked Millions of Files
A storage server configured for public access exposed millions of files belonging to the Oklahoma Securities Commission.
4633
4634
The 773M Record “Collection #1” Data Breach
Many people will land on this page after learning that their email address has appeared in a data breach I've called "Collection #1". Most of them won't have a tech background or be familiar with the concept of credential stuffing so I'm going to write this post
4635
Networking on AWS (2018)
Disclaimer: I’m not a network engineer and never have been - a tame network engineer has been consulted to ensure factual and terminological accuracy. The following is an in-exhaustive run down of everything I’ve learnt from building and using network infrastructure on Amazon Web Services. If you find you have no…
4636
4637
4638
Tech Choices I Regret at Spectrum
Spectrum is an open source chat app for large online communities. With the benefit of hindsight, here are the technology choices I regret.
4639
New logo
Slack is where work flows. It's where the people you need, the information you share, and the tools you use come together to get things done.
4640
4641
4642
4643
4644
4645
Two creators are not always better than one
Team superiority is a myth.
4646
Airbnb and security camera disclosure
This post got *a lot* of attention. I’m super happy about that because I had been afraid that we had reached a point where we collectively didn’t care about cameras or meaningful disclosure. Although, to that point here’s a comment someone posted: "I just assume that there will be camera constantly recording when I…
4647
Reverse engineering GoDaddy's tracking script
An article by Igor Kromin has provided an insight into a practice by GoDaddy involving injecting Javascript into customer sites. Several people expressed interest in a breakdown of the script - so here it is. Please review Igor’s original blog for further background
4648
How to teach Git
An alternative way to teach Git
4649
99% code coverage (2017)
Do we have a good safety net to change this legacy code?
4650
The curious case of the Raspberry Pi in the network closet
Personal Blog of Christian Haschek