TL;DR summary of stories on the internet
Klára Dán von Neumann, a Hungarian-American mathematician and pioneer computer scientist, was renowned for her groundbreaking work in programming. She was the first woman to write modern-style code on a computer and contributed significantly to projects like ENIAC and MANIAC I. Dán’s journey involved overcoming societal norms and perceptions of programming as menial work. She […]
Read more »
The author discusses a calculational approach to category theory introduced by Fokkinga and Meertens, highlighting the benefits and drawbacks compared to traditional proofs by diagram pasting. They propose the use of string diagrams to combine the strengths of both approaches, retaining type information while pursuing a more calculational form of proof. String diagrams offer a […]
The blog post delves into the process of hacking Amazon’s eero 6 Wi-Fi device, focusing on device disassembly, identifying pins, brute force JTAG, and reading serial output. The author provides detailed steps and photographs, highlighting the surprisingly easy disassembly process and the use of logic level shifters for communication between different voltage devices. The post […]
This content provides a personal account of a professional tennis player grinding through the lower tiers of the sport. The author highlights the intense physical and mental challenges faced while traveling the world, competing on the Futures tour. Details of loneliness, boredom, and competition among players are shared, painting a picture of the harsh reality […]
The Valjoux 7750 chronograph movement, known for its durability and reliability, has been a favorite among watchmakers and enthusiasts since its introduction in the 1970s. With a reputation for accuracy and longevity, it is easy to service and update, making it versatile for different upgrades. Its origin story dates back to the early 1900s when […]
In the 1980s, a mysterious man known as the “pay phone bandit” or “telephone bandit” eluded authorities while ransacking pay phones across the country, collecting up to $1 million in quarters with his expert safecracking skills. James Clark, a machinist, used custom tools to pick the locks on the coin boxes and steal the contents […]
Synhelion has opened the world’s first industrial plant in Germany that uses solar heat to produce greener fuels for transportation, including for planes, ships, cars, and even low-carbon cement. Known as DAWN, the plant is set to begin operations later this year and aims to produce several thousand liters of fuel annually. Synhelion’s ambitious plans […]
We are excited to announce our project to recreate the beloved transport simulation game, Chris Sawyer’s Locomotion, in C++ as an open source version. Fans of the original game will be thrilled to play this modernized version that stays true to the classic gameplay. Download our project to experience the nostalgia and fun of managing […]
About a year ago, the author expressed a desire for XAES-256-GCM/11, and now that specification exists. XAES-256-GCM is an AEAD algorithm with 256-bit keys and 192-bit nonces designed to support a large safe nonce for unlimited messages. It offers FIPS 140 compliance and simple implementation using common libraries. The XAES-256-GCM construction involves three AES-256 key […]
git-cliff v2.0 is now available, offering a highly customizable changelog generator for Git repositories. It uses regex-powered custom parsers and can match desired formats easily with a configuration file. Compatible with conventional commits, git-cliff simplifies the process of generating changelog files. It can be seamlessly integrated into Rust, Python, and Node.js projects as a command-line […]