The axiom of choice (AC) seems harmless enough. It says that given a family of non empty sets, there is a choice function that assigns to each set an element of that set. AC is practically indispen…

No sane lender would extend credit against assets lacking any underlying collateral.

A Compiler Writing Journey. Contribute to DoctorWkt/acwj development by creating an account on GitHub.

Porting Linux to Apple Silicon

Deep dive into the new DWARF-based stack unwinder using eBPF.

WebTorrent, the streaming torrent client for the browser, Mac, Windows, and Linux

Recommendations from a life of lectures and essays.

They have potential to be more than "no static types", but that hasn't happened.

Users flocking to the platform will need to shift their expectations for social media and become engaged democratic citizens in the life of their networks.

Deep dive into the new DWARF-based stack unwinder using eBPF.

Pointer compression in Oilpan allows for compressing C++ pointers and reducing the heap size by up to 33%.

Driven by Covid chaos, online disinformation and a YouTube guru, two Americans went looking for solace on a sailboat in the middle of the ocean. They found a different fate.

Mayor Eric Adams directed the police and emergency medical workers to hospitalize people they deemed too mentally ill to care for themselves, even if they posed no threat to others.

Dropbox is bringing end-to-end encryption to its file storage service, through acquiring "key assets" from cloud security company Boxcryptor.

In 2017, consulting giant Booz Allen cut a deal with the government to extract junk fees from Americans who want to use Federal lands and waters for hunting or fishing. Will Congress or Biden act?