1771
Writing a minimal x86-64 JIT compiler in C++, Part 2
Writing a minimal x86-64 JIT compiler in C++ that runs on macOS, Linux and WSL - Part 2
1772
Peak Valley?
The Economist has a cover story this week called Peak Valley. The article suggests that Silicon Valley’s lead as a hub for innovation has peaked and other regions are rising. It ends with the concern that innovation more broadly has peaked. I somewhat agree with “the rise of elsewhere” narrative and disagree that…
1773
1774
1775
Message-Oriented Programming (2017)
Managing complexity within an application is one of the key challenges for any software developer. Cleanly reconciling new features with existing architectures is something we strive for.
1776
Don’t Know What to Do with Your Life? Seek Bargains (2012)
A Career Crossroads In the early winter of 2004, I was a senior at Dartmouth College and in the fortunate position of having two good ... Read more
1777
1778
The Raspberry Pi as a Stratum-1 NTP Server
NTP on a Raspberry-Pi - documents configuring a Raspberry Pi for headless operation, configuring NTP for remote monitoring, adding a GPS/PSS device (two discussed), and how well NTP performs in WAN-only, LAN, and PPS configurations.
1779
The -a to -z of Command-Line Options (2003)
Unix tradition encourages the use of command-line switches to control programs, so that options can be specified from scripts. This is especially important for programs that function as pipes or filters. Three conventions for how to distinguish command-line options from ordinary arguments exist; the original Unix…
1780
Transforming Wikipedia into a cultural knowledge quiz
Building “Test Your Culture” by taking the world’s largest encyclopedia… and combining it with data science
1781
AI and Blockchain: An Introduction
At the kind invitation of Rob May and the Botchain team, I had the opportunity recently to keynote Brains and Chains, an interesting conference in New York expl
1782
Modeling Redux with TLA+
Update 01/07/19 Greetings from 2019! The good news is that Chicago isn’t yet a radioactive crater. The bad news is almost everything I said about refinement in this article is wrong. I’m working on writing a more in-depth, rigorous treatment of refinement as its own article. But this one is currently explaining…
1783
1784
The Land Before Binary
In the early days of computing, 1 + 1 didn’t always equal 10
1785
Building a Program Synthesizer
Build a program synthesis tool, to generate programs from specifications, in 20 lines of code using Rosette.
1786
1787
Twitter Killing Its Mac App
Holy smokes: For the full Twitter experience on Mac, visit Twitter on web. ???? https://t.co/fuPJa3nVky — Twitter Support (@TwitterSupport) February 16, 2018 I’m glad Twitter got rid of all of the Nazis and Russian bots on their platform before this.
1788
1789
The Prolog Story (2010)
I’ve told this story in person dozens of times, it’s time to write it down and share it here. I’ve again experimentally recorded a video version (below), which you can view on a non-Flash device here .
1790
Go vgo: Semantic Versioning and Human Error
What happens when human error enters into semantic versioning and vgo
1791
Everyone is watching what you do online. How user tracking with cookies works
Have you ever wondered how after you visit a website you start seeing ads about that website everywhere. This post explains how user tracking enables it.
1792
A vacuum tube ROM?
Is such a thing possible? Turns out it is, and it’s called a Monoscope. I recently got a Raytheon CK1414 Monoscope with a good getter and a working filament–naturally, I decided to fire…
1793
Glowing mercury thyratrons: inside a 1940s Teletype switching power supply
We recently started restoring a Teletype Model 19, a Navy communication system introduced in the 1940s. 14 This Teletype was powered by a b...
1794
The Unhealthy Desire for Prestige
There is an unhealthy desire for prestige and money that is ruining people's lives. At the end of all the striving, you might end up feeling empty inside. The desire for prestige and money is why we: 1) spend an outrageous sum of money on education despite it being free, 2) kill ourselves at jobs we
1795
Optimization tricks in Python: lists and tuples
An overview of optimization tricks for lists and tuples
1796
Legal Systems Very Different from Ours
This is an old page, put up as part of a course I taught in 2012. The more recent draft is here . The final draft of this book has now been published and is available on Amazon as either a paperback or a kindle .
1797
New search-by-image method on Bing.com
My brother is a pilot... ... and every so often he sends me a picture from somewhere in the world asking "So, smart guy, where is THIS ...
1798
More State Machine Love: From Reflection to Statecharts
In “ How I Learned to Stop Worrying and ❤️ the State Machine ,” we built an extremely basic state machine to model a bank account.
1799
Resources for Learning about .NET Internals
It all started with a tweet, which seemed to resonate with people:
1800
