crescit_eundo

Complete title: "Lean Game Server: A repository of learning games for the proof assistant Lean (Lean 4) and its mathematical library mathlib"

Complete title: “Boeing Knew About New 737 MAX Software Glitch For Nearly Two Years—United And Southwest Won’t Accept Aircraft With It”

complete title: “ Autonomous Buying Of Experiment Equipment: Claude Code semi-autonomously helps me online shop for large lists of electrical components with mixed success.”

full title: How To Read Something: The book is a block of wood. You don't stare at blocks of wood.

full title: "The Difference Between a Line and a Curve: Why software, venture, and a lot of careers are all about to get sorted"

Full title + subtitle: "Treasure Hunting: Trillions of dollars of critical minerals are sitting on the sea floor. The US and China are racing to get them first."

Link to correct section discussing who invented the California roll:

<https://www.japanesegreenteain.com/blogs/green-tea-and-healt...>

Reminds of me of RubberDuckGPT (rubber-duck-gpt.com):

“I won't give you answers. Instead, I'll reflect your questions back to help you think more deeply about your problems.”

Original title: “How to Not Let Them Get Away With It: A Note on the Mathematics of Infinite Exploitation”

Complete title is: "Introducing boron buckyballs: Theory predicts B80 cages can’t be made. Experimentalists just proved otherwise"

The posted title was altered to accommodate HN’s title char restrictions, original title was: “Both Engines Died At 41,000 Feet — Canada’s Metric Switch Left A Brand New Boeing 767 With Half The Fuel It Needed”

Full title got cut off by title char restrictions: "Why BookScan Is Different from Book Sales (Which Are Different from Royalty Statements)"

Full title which got cut off by HN's title char limits: "In-situ electron microscopy probes how atoms adsorb on surfaces at solid–liquid interfaces"

A static link for the report. The original download link can be found on The Collective Intelligence Project's Global Dialogues site (globaldialogues.ai).

You might want to take a look at “Quantum Computing Since Democritus” by Scott Aaronson. I believe it’s based on the course he taught at the University of Waterloo.

I clicked again on the link I posted to make sure it’s correct (https://worldhistory.substack.com/p/plastic-before-plastic) and it brought me directly to the blog post without needing to scroll through anything else. Wondering where the link you clicked on dumped you into?

From the video’s description: "There aren’t that many places where it makes sense, but when you compare the options for holding a reservoir back in a narrow canyon valley, arches make a pretty compelling case."