4081
4082
The Complete Idiot’s Guide to the Independence of the Continuum Hypothesis
A global pandemic, apocalyptic fires, and the possible descent of the US into violent anarchy three days from now can do strange things to the soul. Bertrand Russell—and if he’d done no…
4083
TeXmacs 1.99.14 released. Take a look at this research paper exported to HTML
Assuming a widely-believed hypothesis concerning the least prime in an arithmetic progression, we show that two -bit integers can be multiplied in time on a Turing machine with a finite number of tapes; we also show that polynomials of degree less than over a finite field with elements can be multiplied in time …
4084
Engineering Dropbox Transfer: Making simple even simpler
One of the challenges of application engineering within an established company like Dropbox is to break out of the cycle of incremental improvements and look at a problem fresh. Our colleagues who do user research help by regularly reminding us of the customer’s perspective, but so can our friends and family when they…
4085
Telescope Sees Star Dance Around Supermassive Black Hole, Proves Einstein Right
Observations made with ESO’s Very Large Telescope (VLT) have revealed for the first time that a star orbiting the supermassive black hole at the centre of the Milky Way moves just as predicted by Einstein’s general theory of relativity. Its orbit is shaped like a rosette and not like an ellipse as predicted by…
4086
4087
Lemmings 2: The Tribes
When the lads at DMA Design started making the original Lemmings , they envisioned that it would allow you to bestow about twenty different “skills” upon your charges. But as they continued working on the game, they threw more and more of the skills out, both to make the programming task simpler and to make the final…
4088
The Floggings Will Continue Until Morale Improves
Naval Officer? Voltaire? William Pitt Lennox? Herb Caen? Howard Jacobs? Norman R. Augustine? Anonymous?
4089
Using Zig to provide stack traces on kernel panic on bare metal (2018)
Last week, I reached an exciting milestone in my career as a programmer. For the first time in my life, I ran code directly on hardware , with no Operating System sitting between the bare metal and my code.
4090
Picture Hanging Knot (2017)
How to tie a knot for hanging a picture frame using cord and D-Rings.
4091
IPv6 WireGuard Peering
Documentation and guides from the team at Fly.io.
4092
4093
4094
Galileo's Ground Segment Problem
The European Global Navigation Satellite System Galileo has recently been suffering from frequent "almost disruptions", most likely partially due to Corona, and possibly also due to Brexit, but in any case due to some historical stinginess. Before I explain what is going on, I should hasten to say that most days of…
4095
Threema Goes Open Source
Threema Goes Open Source, Welcomes New Partner
4096
The Baloney Detection Kit: Carl Sagan’s Rules for Critical Thinking
Necessary cognitive fortification against propaganda, pseudoscience, and general falsehood.
4097
State of SaaS Product Onboarding
Read our State of SaaS Onboarding annual industry report to see how your product's onboarding compares to SaaS industry benchmarks & what best practices you could implement.
4098
4099
Doing a math assignment with the Lean theorem prover
Note: this post was written for Lean 3; the latest version, Lean 4, is a very different language. Turn back the clock to 2009: a confused physics major newly infatuated with math and computer science, I enrolled in MATH 273: Numbers and Proofs at the University of Calgary. This wasn’t my first encounter with…
4100
Dolphin Progress Report: December 2019 and January 2020
The Progress Report has come and with it some major changes and decisions. However, before we get into new things, we need to go over an ongoing change as we've seen some users struggling. In the last progress report, we updated our project solutions to Microsoft Visual Studio C++ 2019. We thought there would be no…
4101
Firecracker: Lightweight Virtualization for Serverless Applications
Serverless containers and functions are widely used for deploying and managing software in the cloud. Their popularity is due to reduced cost of operations, improved utilization of hardware, and faster scaling than traditional deployment methods. The economics and scale of serverless applications…
4102
4103
Allocator Designs
This post explains how to implement heap allocators from scratch. It presents and discusses different allocator designs, including bump allocation, li…
4104
4105
How much is YouTube worth today?
Google acquired YouTube for US$1.6bn in 2006. In 2022, YouTube could be worth over US$180bn achieving a +110x return. Analysis of YouTube revenue and usage statistics and financial metrics.
4106
The future of electricity is local
I frequently read about proposals for new solar power developments where the resulting power is moved great distances to less sunny places, such as northern Europe from the Sahara, the US North Eas…
4107
4108
An Economy of Godzillas: Salesforce, Slack, and Microsoft
Salesforce-Slack and Penguin-Simon & Schuster both show a failure to enforce antitrust laws creates monopolies.
4109
Reddit and LinkedIn apps also caught copying and pasting clipboard contents
Linkedin and Reddit both check your clipboard and copy and paste your clipboard contents with every keystroke - even when you’re in another app. Another
4110
Microsoft Uses Trademark Law to Disrupt Trickbot Botnet
Microsoft Corp. has executed a coordinated legal sneak attack in a bid to disrupt the malware-as-a-service botnet Trickbot , a global menace that has infected millions of computers and is used to spread ransomware. A court in Virginia granted Microsoft control over many Internet servers Trickbot uses to plunder…