The rzk project aims to bring Riehl and Shulman’s 2017 paper on synthetic ∞-categories to life by implementing a proof assistant based on their type theory with shapes. The current prototype includes an online playground and is capable of checking various formalizations. The project uses a version of second-order abstract syntax that allows for straightforward […]
Read more »
Snap is shutting down its division called AR Enterprise Service (ARES), which focused on offering AR expertise to enterprise customers. The closure was attributed to the emergence of AI tools that level the playing field for creating AR try-on experiences and the need to invest more in web tools instead of mobile. The closure will […]
Boeing’s AOG (Airplane On Ground) team is responsible for fixing major incidents involving airplanes that have been grounded worldwide. The highly skilled team consists of mechanics, engineers, and inspectors who work together to quickly repair and restore aircraft. The team faces challenges such as shortage of available aircraft for replacement and making repairs within strict […]
FreeRDP is a remarkable implementation of the Remote Desktop Protocol, and the best part is that it’s completely free! You can freely use this software wherever and however you please, thanks to its Apache license. Finally, we have a solution that grants us the freedom to customize our computing experience just the way we like […]
The authors of this paper suggest that the peculiar orbits of Trans-Neptunian Objects (TNOs) and an excess of microlensing events in the OGLE dataset can both be explained by the existence of a new population of astrophysical bodies with a mass several times that of Earth. They propose that these objects are primordial black holes […]
During a recent flight from St. Louis to Oakland, I encountered difficulties accessing Southwest’s in-flight wifi. Instead of giving up, I decided to investigate and discovered a successful request for current.json in the browser’s network dev tools. This appeared to be the data that powers the flight status page on the wifi portal. Using the […]
This discussion focuses on the comparison between OpenBSD PF and FreeBSD PF. There are claims that one or the other version of PF has fallen behind or not kept up with improvements, but these claims are garbage. The developers of FreeBSD PF work closely with OpenBSD devs and both projects want to work together. However, […]
Uiua (wee-wuh) is a perfect combination of simplicity, elegance, and tacit code. As a stack-oriented array programming language, Uiua offers a refreshing approach to programming. It allows users to accomplish their tasks effortlessly while maintaining a certain level of beauty in their code. Uiua takes pride in its ability to load quickly and efficiently. With […]
I received an email today regarding the pre-order availability of the Raspberry Pi 5. Although the links take me to the details of the Raspberry Pi 4, the email is from an official element 14 site, suggesting that this may be an accidental early leak. I am unable to share this information with leak sites […]
The US has experienced two main periods of subway building. The first took place in the late 19th and early 20th centuries, with cities like Boston, New York, and Philadelphia constructing subway systems. However, as car usage increased in the early 20th century, enthusiasm for subways declined. The second period of subway building began in […]