Tractor cab look like a space ship [video]
![tractor-cab-look-like-a-space-ship-[video]](https://cdn-y.objects.dc-sto1.glesys.net/A1da965d3ac0f2e44c08f1ae072687d311/uploads/2024/01/390366-tractor-cab-look-like-a-space-ship-video-1024x576.jpg)
Why flying insects gather at artificial light
Abstract Explanations of why nocturnal insects fly erratically around fires and lamps have included theories of “lunar navigation” and “escape to the light”. However, without three-dimensional flight data to test them rigorously, the cause for this odd behaviour has remained unsolved. We employed high-resolution motion capture in the laboratory and stereo-videography in the field to reconstruct […]
Daily Driving the PinePhone Pro
January 29th 2024 | #Digital Rights #English #Open Source tl;dr: I’ve used the Pinephone Pro running postmarketOS with SXMO for long trips and as a main phone for a while. I love the freedom the Pinephone Pro gives me to work with FOSS software for so many things and that it helps me to elude […]
Playground (YC S19) Is Hiring a Product Engineer (Remote)
Show HN: Open-source x64 and Arm GitHub runners. Reduces GitHub Actions bill 10x
Open and Portable Ubicloud is an open, free, and portable cloud. Think of it as an open alternative to cloud providers, like what Linux is to proprietary operating systems. You can check out our source code in GitHub or see Ubicloud runners in action for our GitHub Actions. An open and portable cloud gives you […]
CEOs Are Using Return to Office Mandates to Mask Poor Management
At the onset of the pandemic, we found ourselves at a pivotal crossroads that compelled us to reimagine how we work. This shift was as profound as it was inevitable, marking our turn towards a new direction in reshaping the essence of our ways of working. Work from home has now stabilized at ~30% in […]
How to Build an Origami Computer
Introduction In 1936, the British mathematician Alan Turing came up with an idea for a universal computer. It was a simple device: an infinite strip of tape covered in zeros and ones, together with a machine that could move back and forth along the tape, changing zeros to ones and vice versa according to some […]
The C Bounded Model Checker: Criminally Underused
Follow along on a google colab: https://colab.research.google.com/github/philzook58/philzook58.github.io/blob/master/pynb/cbmc_tut.ipynb %%bash # download and install CBMC wget https://github.com/diffblue/cbmc/releases/download/cbmc-5.95.1/ubuntu-20.04-cbmc-5.95.1-Linux.deb apt-get install bash-completion dpkg -i ubuntu-20.04-cbmc-5.95.1-Linux.deb Whenever I’m tinkering around in C, I would love for some easy way to check my work. There is a variety of options (turn on all warnings, inbuilt compiler static analyzers, sanitizers (address, thread, […]
Covid Test Data Breach: 1.3M Patient Records Exposed Online
Cybersecurity Researcher, Jeremiah Fowler, discovered and reported to vpnMentor about a non-password protected database that contained nearly 1.3 million records, which included COVID-19 testing information and personally identifiable information such as the patient’s name, date of birth, and passport number. The publicly exposed database contained an estimated 1.3 million records that included 118,441 certificates, 506,663 […]
How to deal with receiving a cease-and-desist letter from Big Tech
Although this article isn’t related to any of the 12 Challenges so far, it’s on a subject I’m developing for a potential future challenge. In July 2021 Facebook sent me a cease-and-desist letter because I made a browser extension, Unfollow Everything, which helped people use Facebook less. Over the years, a number of developers who […]