2131
Unsolicited messages on Keybase
What is Keybase? Keybase ( keybase.io ) is a platform designed to help users send and receive encrypted communications as well as secu...
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,668 posts.
2132
Applied Machine Learning Is a Meritocracy
When making a start in a new field it is common to feel overwhelmed. You may lack confidence or feel as though you are not good enough or that you are lacking some prerequisite. You will explore these issues in this post and learn that such feelings can lead to actions that can consume a […]
2133
On the Pleasures and Sorrows of Life Without Screens
I recently received a message from a friend of mine, a young man named Mike. He told me that Digital Minimalism had changed his life. ... Read more
2134
A Failed Experiment with Python Type Annotations
I like Python, but wish it had static typing. The added safety would go a long way to improving quality and reducing development time. So today I tried to make use of type annotations and a static type-checker called mypy. After a few basic tests, I was excited. But my glee turned to disappointment rather […]
2135
A Bridge Too Far: E.W. Dijkstra and Logic
1. Introduction Shortly after the death of E.W. Dijkstra (1930-2002), K.R. Apt wrote an obituary under the title Portrait of a Genius [1]. At the time it seemed to me a bit over the top. Now, with …
2136
Build me a Lisp
Read on kirit.com
2137
2138
RaptorQ and performance optimization in Rust
I recently decided to learn more about Rust, and wrote a high performance RaptorQ (RFC6330) library. RaptorQ is a fountain code, and the core of the algorithm is a lot of matrix math over GF(256) – which translates into lots of XORs and reads from lookup tables. After getting the initial implementation working, I set…
2139
2140
2141
Programming Sucks
E very friend I have with a job that involves picking up something heavier than a laptop more than twice a week eventually finds a way to slip something like this into conversation: “Bro, 1 [1] you don’t work hard. I just worked a 4700-hour week digging a tunnel under Mordor with a screwdriver.”
2142
Inverse Live Coding: A practice for learning web development
I finished my first semester teaching at the University of Michigan. I taught EECS 493 User Interface Development all on the Web. It was a tough class for me since I had never before this class use…
2143
Effortless Elixir Releases and Deployment
Elixir-learning article: Effortless Elixir releases and deployment (tagged: Deployment, Releases, Phoenix, Render)
2144
A computer built from NOR gates: inside the Apollo Guidance Computer
We recently restored an Apollo Guidance Computer 1 , the computer that provided guidance, navigation, and control onboard the Apollo flight...
2145
2146
Designing far memory data structures: think outside the box
Designing far memory data structures: think outside the box Aguilera et al., HotOS’19 Last time out we looked at some of the trade-offs between RInKs and LInKs, and the advantages of local in…
2147
2148
2149
2150
Dark Matter Developers: The Unseen 99% (2012)
In astronomy and cosmology, dark matter is a currently-undetermined type of ...
2151
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.
2152
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…
2153
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!
2154
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.
2155
2156
2157
On Writing a C++ Book
On writing a technical book for experienced programmers.
2158
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.
2159
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 …
2160
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…