Alexandria Catalogue - Articles

Apple announced that John Ternus will succeed Tim Cook as Apple's next CEO later this year in a major shift for the company The post John Ternus to Takeover Apple CEO Role

Amazon is boosting its investment in Anthropic, which is committing to spending over $100 billion on Amazon cloud services over the next decade.

A 1 1/2 hour experiment building a tiny admin tool for Kiki’s Kitchen Table revealed a repeatable architectural pattern for sovereign business applications: local editing, deterministic data, template rendering, and static deployment.

The far-right influencer Nick Fuentes has pocketed roughly $900,000 from “fanatical” donors since the start of 2025. Some superfans see him as part of their families.

Why Americans are nearly working themselves to death and all they have to show for it is bigger trucks.

Una invitación a co-crear sobre el protocolo Nostr y el ecosistema Lightning. Buscamos personas conscientes, emprendedores y creadores listos para construir comunidad descentralizada, acción compartida y dinero sano.

💙🌊 Signalfinder tool built to play on any ai prompter or have fun building on!

adfegsrdhtjfyg,hkjlkljhgfndtrsefa

We report a single-day 12-file Lean 4 formalization sweep across seven long-open conjectures plus infrastructure extensions, producing 158 new zero-sorry theorems under Mathlib v4.27.0. The conjectures attacked include: 1. Lehmer's totient (1932, extended with k-Lehmer Q23 clo...

Claude Token Counter, now with model comparisons (https://tools.simonwillison.net/claude-token-counter) I upgraded (https://github.com/simonw/tools/pull/269) my Claude Token Counter tool to add the

1 points posted by minaandrawos

The continuing mystery of feel-bad economics

Perhaps this will brighten your day and the exchange of ideas continue.

The 72nd edition of your weekly Nostr newsletter.

Sunday beautiful front views.

The complexity of the world is almost beyond comprehension. This means unpredictability, which explains why rigid discipline and plans often fail. The right approach is to treat attention as scarce capital, listen to intuitions, and practice adaptive minimalism with loose constraints.

Исследование, сравнение первоисточника от разработчика и магазины приложений

We report five structurally independent zero-sorry Lean 4 formalizations from the Rei-AIOS unsolved-problems corpus, together with observed findings, AI-generated new open questions, and a unified D-FUMT₈ solution-status summary. This is the first Rei-AIOS paper to adopt the f...

A diagnostic framework for identifying where fixed and variable elements are incorrectly arranged, and what the minimum intervention is to correct that.

And the real intention behind it

India's Prototype Fast Breeder Reactor at Kalpakkam achieved first criticality on April 7, marking the country's definitive entry into Stage 2 of its three-stage nuclear programme and sending a powerful signal about breeder technology's viability for energy sovereignty [1]. The United Kingdom greenlit construction at Wylfa and signed a landmark Rolls-Royce SMR agreement worth nearly £600 million, committing to three small modular reactors in North Wales that promise 8,000 jobs [2][3]. The U.S. N...

Geometric Unity does not introduce torsion as an extension of GR; it introduces it as the only covariant coordinate on the space of connections. This post explains why torsion must be defined as a difference variable relative to a background connection, and why treating it perturbatively is meaningless.

Modern physics rests on two incompatible geometric formalisms: Riemannian geometry for gravity and Ehresmann (connection-based) geometry for gauge fields. This post isolates the precise obstruction to unifying them and explains why Geometric Unity (GU) does not attempt to merge them naively, but instead replaces a single crucial operation.

80 years ago, the most important person in the music business was James Petrillo. It’s difficult to imagine the head of the musician’s union on the cover of Time magazine, but there he was.

In Umbrel, LND recovery is a guided, destructive‑by‑design UI flow: restore Lightning seed → import SCB → force‑close → wait → funds recovered on‑chain.

I argue that as we see Salesforce and other big companies understand that their moat is slowly becoming only the data they hold, small companies with valuable data they'd like to keep internal should consider doing their own offsite analytics, and not wait for the shutters to close and have the data providers do all the analytics for them.

OpenAI's $852 billion valuation faces growing skepticism from its own backers. With $14 billion in projected losses, Anthropic overtaking revenue, and an internal fight over IPO timing, the pressure points are becoming visible.

---

From tallow balms to desert herbs 🐄🌵 Real pleb-made health & beauty, paid in sats 🗲

This will destroy every other banana bread recipe you’ve ever tried. No joke, don’t bother looking for another one. Just bookmark this and thank me later.

Trusting God when everything seems to be going wrong

Geometric Unity separates where physics lives from where it is experienced. This post introduces the native vs invasive distinction and explains how pullback filters physical content.

Introducing StormMap — A Hugo Sitemap Shortcode for Your Static Website. If you've been around the static site world for a while, you've probably heard of Hugo.

The square is where you buy robustness, at the price of admitting extra solutions.