3871
Dark Matter Developers: The Unseen 99% (2012)
In astronomy and cosmology, dark matter is a currently-undetermined type of ...
3872
Privacy Fundamentalism
The current privacy debate is making things worse by not considering trade-offs, the inherent nature of digital, or the far bigger problems that come with digitizing the offline world.
3873
Add-Ons Outage Post-Mortem Result
We've been conducting an ongoing post-mortem on the add-ons outage that occurred earlier this year. There was a lot more digging to do than we expected. In addition to this ...
3874
Quantum computers: amazing progress, but probably false supremacy claims
A 2017 cartoon from this post. After the embargo update (Oct 25): Now that I have some answers from the people involved let me make a quick update: 1) I still find the paper unconvincing, specific…
3875
Benchmarks of Cache-Friendly Data Structures in C++
Suppose you’re a savvy C++ developer who knows all about data-oriented design and the importance of optimizing for cache locality if you want a prayer of running fast on modern hardware. Now suppose you want to go beyond basics—”just use std::vector ” is a good starting point, but you want more!
3876
Better web video with AV1 codec
Learn to use AV1 to make videos on your website smaller and better quality. CLI instructions and cross-browser tricks.
3877
Multiple ways to compute e in Raku
The first task of the 21st Weekly Challenge was a very old one: to find (what would eventually become known as) Euler’s number.
3878
Which Categories of Seed Startups Are Thriving? Which Aren't?
Discover which seed-stage sectors are booming in 2019: AI startups grew from 0 to 400, Blockchain surged 200x, while FinTech & Food tech show exponential growth.
3879
3880
3881
On Writing a C++ Book
On writing a technical book for experienced programmers.
3882
Response to false statements on surveillance made by Martin Steiger
Welcome to the official blog of Proton, where you can get the latest news about privacy and the internet.
3883
Local Variables
And as imagination bodies forth The forms of things unknown, the poet’s pen Turns them to shapes and gives to airy nothing A local habitation and a name.
3884
Learning to prove theorems via interacting with proof assistants
Learning to prove theorems via interacting with proof assistants Yang & Deng, ICML’19 Something a little different to end the week: deep learning meets theorem proving! It’s been a while …
3885
Why open hardware needs open software
As KiCad’s lead developer, Wayne, and his team have a big vision – to build a best-in-breed PCB design tool. It’s an ambitious goal for an open-source project whose commercial counterparts have seen millions in investment. But KiCad is well on that path. An ever-increasing number of designers now use the PCB design…
3886
Building an LTE Access Point with OpenWRT Rooter
My LTE internet connection (70 Mbit downstream, 15 MBit upstream) came with a combined Huawei B315s LTE modem/access point. As I was using it for the last two to three years a couple of problems did arise: the internet connection was often shaky, oftentimes the uplink connection got lost and I had to power-cycle the…
3887
Backblaze Hard Drive Stats Q1 2019
This review looks at the Q1 2019 and lifetime hard drive failure rates of the 104,325 data drive models currently in operation in our data centers.
3888
2019 Guide to Cryptographic Key Sizes and Algorithm Recommendations
A simple, accessible recommendation for key sizes and recommended algorithms for various cryptographic algorithms.
3889
Modeling Adversaries with TLA+
A common question I get about specs is how to model bad actors. Usually this is one of two contexts: The spec involves several interacting agents sharing a protocol, but some of the nodes are faulty or malicious: they will intentionally try to subvert the system. The spec involves an agent subject to outside forces…
3890
Visualizing Commodore 1541 Disk Contents
G64 files are C64/1541 disk images that contain all bits as they are physically laid out on the 5¼-inch floppy disk. Let’s visualize them! This animation shows 28 regular Commodore 1541 disks. Track 1 contains 21 sectors. Every sector is prefixed by two small red areas: These are the SYNC marks.…
3891
Implementing a Convolutional Neural Network Using Only NumPy
A simple walkthrough of deriving backpropagation for CNNs and implementing it from scratch in Python.
3892
Writing a simple evaluator and type-checker in Haskell
This tutorial serves as a very short and quick summary of the first few chapters of TAPL. Huge thanks to the ##dependent@freenode community (pgiarrusso, lyxia, mietek, …) for clearing all my …
3893
My Apology Regarding Jeffrey Epstein
I’m sure that most, if not all of you, have seen recent news stories about Jeffrey Epstein, and I owe it to you to address my prior affiliation with him.I met …
3894
Malloc Never Fails (2012)
Here’s a fun bit of trivia: malloc on Linux never fails [due to the obvious cause]. In this post, we’ll show that this indeed is the case, and explore why…
3895
3896
Getting Started with Lisp in 2019
A quick guide on how to get started with LISP development in 2019. TLDR: install <a href="https://github.com/roswell/roswell">roswell</a>.
3897
An Intern's Experience with Rust
Over the course of my internship at the Microsoft Security Response Center (MSRC), I worked on the safe systems programming languages (SSPL) team to promote safer languages for systems programming where runtime overhead is important, as outlined in this blog . My job was to port a security critical network processing…
3898
PHP 5 and 7.0 end of life
Critical PHP Security Release 21 Oct 2026: PHP released emergency patches on 21 October 2026 for two critical unauthenticated remote code execution (RCE) Learn why PHP EOL matters, the security & compliance risks of running unsupported PHP, and how to plan, test, and upgrade to supported versions.
3899
It's Cold in the Information Age
Hash tag #cryptowinter
3900
DNS servers that offer privacy and filtering
If you’re a programmer, a systems administrator, or really any type of IT worker, you probably have your favorite go-to IP addresses for troubleshooting.