The XAES-256-GCM extended-nonce AEAD

About a year ago I wrote that “I want to use XAES-256-GCM/11, which has a number of nice properties and only the annoying defect of not existing.” Well, there is now an XAES-256-GCM specification. (Had to give up on the /11 part, but that was just a performance optimization.) XAES-256-GCM is an authenticated encryption with […]
A Eulogy for DevOps

We hardly knew ye. DevOps, like many trendy technology terms, has gone from the peak of optimism to the depths of exhaustion. While many of the fundamental ideas behind the concept have become second-nature for organizations, proving it did in fact have a measurable outcome, the difference between the initial intent and where we ended […]
Category theory using string diagrams (2014)

Abstract:In work of Fokkinga and Meertens a calculational approach to category theory is developed. The scheme has many merits, but sacrifices useful type information in the move to an equational style of reasoning. By contrast, traditional proofs by diagram pasting retain the vital type information, but poorly express the reasoning and development of categorical proofs. […]
Paramount Wipes South Park, Daily Show Clips, and More from Websites

It’s no secret that Paramount is going through a rough patch after Skydance’s bid to buy the company was rejected. Earlier this week, Paramount’s three co-CEOs announced plans to cut $500 million in expenses through layoffs and other cost savings measures. That may be why Paramount has gutted its family of websites and wiped away […]
Migrating from Java 8 to Java 17 II: Notable API Changes Since Java 8

23 Jun, 2024 This is a continuation of my previous post: Migrating from Java 8 to Java 17: A Comprehensive Guide to New Features Java has seen a great evolution from version 8 to version 17, with multiple enhancements and new quality-of-life improvements. This article takes a deeper dive into the API changes and additions […]
T-Mobile users enraged as “Un-carrier” breaks promise to never raise prices

Enlarge Aurich Lawson In 2017, Kathleen Odean thought she had found the last cell phone plan she would ever need. T-Mobile was offering a mobile service for people age 55 and over, with an “Un-contract” guarantee that it would never raise prices. “I thought, wow, I can live out my days with this fixed plan,” […]
Open Source ‘Eclipse Theia IDE’ Exits Beta to Challenge Visual Studio Code

News Open Source ‘Eclipse Theia IDE’ Exits Beta to Challenge Visual Studio Code By David Ramel 06/27/2024 Some seven years in the making, the Eclipse Foundation’s Theia IDE project is now generally available, emerging from beta to challenge Microsoft’s similar Visual Studio Code editor, with which it shares much tech. The Eclipse Theia IDE, part […]
The true story – as best I can remember – of the origin of Mosaic and Netscape

Pompeii Fixed Potholes with Molten Iron

Eric Poehler The Roman Empire was famous for its system of road-building. But as anyone who’s bumped over a pothole knows, with roads comes the need for constant repair, rebuilding, and the associated headaches. A new paper suggests that the people of Pompeii had a unique quick-fix for filling in wheel ruts and holes on […]
Show HN: Six Degrees of Reform UK – Mapping the UK’s Entrepreneurial Far Right

Reform UK brands itself as an “entrepreneurial political start-up” with multi-millionaire real-estate tycoon and party chairman Richard Tice advocating for more business leaders to engage in politics and improve how the country is run. Prompted by Reform’s claims to entrepreneurship we ask: What British companies have Reform’s leadership and their extended network started-up over the […]