I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Finally…

Replacement for Microsoft Teams built in wiki, with global full text search, print, export to PDF & a whole bunch of other cool features.

Mirror, mirror on the wall, who’s the fairest of them all? The answer: not the organizations led by narcissists. A new paper by Berkeley Haas Prof. Jennifer Chatman and colleagues shows not only the profound impact narcissistic leaders have on their organizations…

Resources for real-time and historical information about the Slack service.

I recently learned that cells are extremely crowded and busy places. I knew there's a lot of activity in cells, but I didn't realize just h...

I’ve transformed the iPhone into a Magic Trackpad! And the app is now available on the App Store 🥳: https://t.co/kBK7svfNvL Many thanks to @_inside, who kindly gave me invaluable feedback during the development process. https://t.co/gFsUT1rHT5

A gallery of the most interesting jupyter notebooks online.

Certain layouts are surprisingly dastardly. On the modern web, one of the most common layouts is also one of the trickiest. In this tutorial, I break down how to build the "full-bleed" layout using CSS Grid.

Craig Baumrucker, professor of animal nutrition and physiology at Pennsylvania State University, pours out an answer:

A Tesla hacker has revealed what Tesla’s driver-facing camera in Model 3 and Model Y is looking for — hinting at driver monitoring feature. When Tesla launched the Model 3, it equipped the vehicle with a standard cabin-facing camera located in the rearview…

Today we are announcing Diagram Maker, an open source graphical user interface library for IoT application developers. With Diagram Maker, IoT application developers can define their own user interface and user experience, or suppress it completely and build…

Canny recently hit a major revenue milestone: one million dollars in annual recurring revenue. Here's how we built a $1m ARR SaaS startup from the ground up.

The Nobel Prize in Physiology or Medicine 2020 was awarded jointly to Harvey J. Alter, Michael Houghton and Charles M. Rice "for the discovery of Hepatitis C virus"

The error meant that although those who tested positive were told about their results, their close contacts were not traced.

The behavior of the Windows scheduler changed significantly in Windows 10 2004 (aka, the April 2020 version of Windows), in a way that will break a few applications, and there appears to have been …

Heavy press in Cleveland, Ohio, US

Bison and wolf populations are reviving in parts of Europe, in an effort to return some of the landscape to wilderness – but these large beasts are not always welcome.