Every blog post that took off on Hacker News, ranked by the votes of its best submission. 80,933 posts.
Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…
rqlite is a lightweight, open-source, distributed relational database written in Go, and built on SQLite and Raft. With its origins dating back to 2014, its design has always prioritized reliability, and quality. The robustness of rqlite is also a testament to its disciplined testing strategy: after more than 10 years…
Today, it is relatively straightforward and inexpensive to observe and collect vast amounts of operational data about a system, product, or process. Not surprisingly, there can be tremendous amounts of information buried within gigabytes of customer purchase data, web site navigation trails, or responses to email…
About a week ago, Randall Munroe published Frequency , the 1331st entry in his xkcd webcomic series. Unlike most xkcd comics, it's animated — actually, 5-by-10 grid of animated GIFs. Each describes a scenario (e.g., "one birth," or "someone locks their keys in their care") and blinks at the scenario's purported…
The Real Story
SerenityOS is a from-scratch desktop operating system that combines a Unix-like core with the look&feel of 1990s productivity software. It's written in modern C++ and goes all the way from kernel to web browser. The project aims to build everything in-house instead of relying on third-party libraries.
Machine learning is a subfield of artificial intelligence (AI) and computer science that focuses on using data and algorithms to mimic the way people learn, progressively improving its accuracy. This way, Machine Learning is one of the most interesting methods in Computer Science these days, and it'
Sharded Postgres by the team behind Vitess
I've been restoring a Xerox Alto minicomputer from the 1970s and figured it would be interesting to see if it could mine bitcoins. I coded u...
Everything you need to know about HIPAA compliance, from the basics to infrastructure requirements to building with AI.
Distributed Tracing is scary and complicated... right?
Access to this page requires authorization. You can try signing in or changing directories .
Using Sentinel-1 radar imagery to make out the shapes of our changing seaborne energy system
In the past I've written about my "home cloud" that used to be OpenVz containers, and how I've come to advocate rebuilding the "build server" for every build
The IOCCC Flight Simulator was the winning entry in the 1998 International Obfuscated C Code Contest. It is a flight simulator in under 2 kilobytes of code, complete with relatively accurate 6-degree-of-freedom dynamics, loadable wireframe scenery, and a small instrument panel.
Firefox Developer Edition 44, released last week, includes a brand new memory tool to help you understand how your web applications are using and retaining memory. This is especially useful ...
Apple today updated its iMac line with up to 9th-generation Intel 8-core processors for the first time and powerful Vega graphics options.
Between 2010 and 2019 I interviewed dozens of Software Engineer candidates at Google. Almost always I asked the same interview question…
[Update: Ironically, after ascending rapidly and fostering vigorous commentary over on Hackernews, this article has been "flagged" there . Update #2: A few hours later it was unflagged and is currently on the first page of HN ] The phenomenon of deplatforming in the internet age, which includes the component of…
Michael Milken, private equity, and a salt roll-up are showing we're in for shortages and price spikes.
Generate massive amounts of fake (but reasonable) data for testing and development.
Explaining Ethereum's consensus mechanism after The Merge
I would like to preface this article by saying that Haskell is great. I have been using it as my go-to for native applications for several years now. Everything that follows is a product of my love and affection for the language, and a desire to see it succeed. And none of this is intended to disparage the efforts of…
Purism makes premium phones, laptops, mini PCs and servers running free software on PureOS. Purism products respect people's privacy and freedom while protecting their security.
Red Hat shares it's response to the war in Ukraine and how it is supporting its associates.
Nine months ago, we switched to a monorepo. Here's a detailed look at what led to the change, how we approached it, and what the experience has been like.
A deeper dive on our findings, what went wrong, and future changes we’re making.
