1621
Spaced Repetition
Efficient memorization using the spacing effect: literature review of widespread applicability, tips on use & what it’s good for.
1622
The Order of the JSON
When I read Fitz’ tweet about ordered JSON my body shuddered, as my brain was flooded with a past experience that taught me a frightening lesson on technology being used by non-technical comp…
1623
1624
1625
The “terrible” 3 cent MCU – a short survey of sub $0.10 microcontrollers
Like many others, I was quite amazed to learn about a microcontroller sold for only 0.03 USD via the EEVblog last year. How was this possible? Many assumed this was a fire sale of an old product. D…
1626
Indexing Billions of Text Vectors
Optimizing memory-usage for approximate nearest neighbor search
1627
How I manage customer feedback for my bootstrapped SaaS
I experimented with different ways to get customer feedback for my SaaS. This blog post is about what worked during launch and later stages.
1628
Update from Chef
IT Automation for everything from configuration management to continuous delivery.
1629
Heat Pumps Work Miracles
[ An updated treatment of some of this material appears in Chapter 6 of the Energy and Human Ambitions on a Finite Planet (free) textbook. ]
1630
1631
1632
The Sad Saga of Purism and the Librem 5
Today I’m going to tell you a sad tale of a device called the Librem 5 and the company behind it, Purism. As of right now, this story does not have a happy ending. I am writing this series of articles as a protest against the behavior of Purism, a company which claims that transparency and openness are their core…
1633
How to take back control of /etc/resolv.conf on Linux (2018)
Take manual control of your Linux system’s DNS resolution and keep programs from interfering with and overwriting your resolv.conf file.
1634
The ReMarkable Tablet: A Review
The reMarkable tablet is a 10" e-paper tablet on which you can read PDF and ePub files, and write on with the stylus that comes with the device. It has fundamentally changed how I read textbooks.
1635
Is Arm ready for server dominance?
AWS announced new servers with Arm-powered Graviton2 processors. How do they stack up vs. x86-powered instances, and is Arm ready for server domination?
1636
How Discord achieves native iOS performance with React Native
Discover the latest news and app updates, stories, company insights, and plenty more about Discord, all in one place.
1637
Programming the Z3 SMT solver
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…
1638
Apple updates its iMac line
Apple today updated its iMac line with up to 9th-generation Intel 8-core processors for the first time and powerful Vega graphics options.
1639
A letter to Steven Pinker about global poverty
*Note: the discussion of historical poverty trends here is updated and developed more fully in the recent article, “ Capitalism and extreme poverty ”, published in World Development . Dear Steven, I’m writing to respond to a letter you posted regarding claims I made in the Guardian about
1640
1641
1642
Should I Resign from My Full Professor Job to Work Fulltime on Cocalc?
News and updates about CoCalc
1643
Let’s Talk Concurrency: Panel with Sir Tony Hoare, Joe Armstrong, Carl Hewitt
When considering the panel to discuss concurrency, you’d be pushed to find a higher calibre than Sir Tony Hoare, Joe Armstrong, and Carl Hewitt.
1644
1645
DNS 101: An Introduction to Domain Name Servers
Second star to the right and straight on ‘til morning — Peter PanAt the beginning of the ARPANET, there were only a few hosts that could be kept in a...
1646
1647
1648
1649
Lexical differential highlighting instead of syntax highlighting
This type of highlighting is ideal for assembly. With it, the things that shouldn't seem similar usually don't.
1650
The New Wilderness
The need to regulate online privacy is a truth so universally acknowledged that even Facebook and Google have joined the chorus of voices crying for change.