61
Undefined vs. Unsafe in Rust
Recently Julia Evans wrote an excellent post about debugging a segfault in Rust. (Go read it, it’s good) One thing it mentioned was I think “ …
New
The latest blog posts to take off on Hacker News. 2,470 posts.
62
63
Formal Verification: The Gap Between Perfect Code and Reality
Thanks to Vlad Brown and Drawings Team for Russian and Uzbek translations. In Fall 2017, I took MIT’s 6.826, Principles of Computer Systems, taught by Turing Award-winner Butler Lampson, Nickolai Z
64
Open Source .NET three years later
A little over 3 years ago Microsoft announced that they were open sourcing large parts of the .NET framework and as Scott Hanselman said in his Connect 2016 keynote, the community has been contributing in a significant way:
65
66
67
How to Print Integers Really Fast
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.
68
Papercraft with Blender
Blender version 2.79 incorporated functionality which enables you to fabricate 3D models by folding paper. I decided to try it out. Drawing the model I downloaded a 3D model of a goat and re-meshed…
69
Algorithmic Solution to My Insomnia
I’ve struggled with insomnia for all of my adult life. It began in college and has waxed and waned in severity ever since, correlating with stress levels…
70
The strange story of “Extended Random”
Yesterday, David Benjamin posted a pretty esoteric note on the IETF’s TLS mailing list. At a superficial level, the post describes some seizure-inducingly boring flaws in older Canon printers…
71
Ten years in, nobody has come up with a use for blockchain
(Sequel here: Blockchain is not only crappy technology but a bad vision for the future.)
72
Writing a personal automation API
Yes, you need to write yourself an API. You'll thank me later.
73
Keras Tutorial – Traffic Sign Recognition
In this tutorial Tutorial assumes you have some basic working knowledge of machine learning and numpy., we will get our hands dirty with deep learning by solving a real world problem.The problem we...
74
Jsonb: Stories about performance
As such, there’s really no “standard” benchmark that will inform you about the best technology to use for your application. Only your requirements, your data, and your infrastructure can tell you what you need to know.
75
Four DB2 Code Bases?
Many years ago I worked on IBM DB2 and so I occasionally get the question, “how the heck could you folks possibly have four relational database management system code bases?” Some go on to argue that a single code base would have been much more efficient. That’s certainly true. And, had we moved to a single code base…
76
77
Making Millions by Distributing Pirated Movies
Introduction Did you know that piracy is about making money? Most people don’t seem to be aware of that. Piracy is about money. It’s serious business. It doesn’t have to be though…
78
79
A Zero-Math Introduction to Markov Chain Monte Carlo Methods
For many of us, Bayesian statistics is voodoo magic at best, or completely subjective nonsense at worst. Among the trademarks of the…
80
81
Building a Distributed Log from Scratch, Part 1: Storage Mechanics
The log is a totally-ordered, append-only data structure. It’s a powerful yet simple abstraction—a sequence of immutable events. It’s something that programmers have been using for a very long time, perhaps without even realizing it because it’s so simple. Whether it’s application logs, system logs, or access logs…
82
Chrome is Not the Standard
No single browser vendor represents ”the future of the web.” Each ships in line with its own business priorities. And that's a good thing.
83
84
85
86
87
Selling Bitcoins in Canada
In 2013, I bought a few Bitcoins from a dude in a coffee shop, paying with hundred-dollar bills. Later that year I sold enough to get my money back . Then I forgot about them, Bitcoin’s price gyrations occasionally registering in a corner of my mind. But earlier this month I decided to find out if the remainder could…
88
Simulating Chutes and Ladders in Python
Edit 12/19/2017: added a new subsection on analyzing Chutes & Ladders as an Absorbing Markov Chain.
89
Netstat without netstat
Recently I was doing an assessment in a locked down and restricted environment. One of the first actions you tend to do when landing a shell on a [linux] box is to do some reconnaissance. This is both on host and network, as you want to determine what new access this host has given you. Normally you would run netstat…
90
Tokio internals: Understanding Rust's async I/O framework
Tokio is a Rust framework for developing applications which perform asynchronous I/O — an event-driven approach that can often achieve better …