#Lean

In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…

I've long had a soft spot for dependently-typed languages like Coq Rocq and Lean. They offer the possibility of a type system capable of encoding and enforcing arbitrarily subtle invariants.…

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…

From Deadline RSS Feed: David Lean Returns To Cannes In ‘Maverick’ Documentary, Exploring How Director Overcame Father’s Scorn To Become One Of Cinema’s Greatest

A small formalization experiment about invariants, missing boundaries, and what it means for architecture to preserve something.

From Dev.to - beginners: The Role of AI in Lean Product Development: Accelerant, Disruptor, or Both?

Simone’s role at W.M. Jordan, a construction management and real estate development firm, enables her to lead companywide training programs and lean implementation across offices in Virginia, North Carolina and South Carolina.

From Dev.to - beginners: The Science of Ceramides: Why "Blue Zone" Nutrients are Trending in Metabolic Health

5’10, 67kg. Started working out 4 months ago. I lift 5x a week (PPL) and do Zone 2 cardio for 30 minutes on rest days. I eat college dining hall food, so I can’t estimate how much I exactly eat, but it’s roughly around 2500 calories with 140g protein.…

Yung Lean stars in and lends his voice to a new music video short film with some of the best choreography you'll see all year.

Early market testing based on lean startup principles could do more harm than good, according to new Wharton research.…Read More

Working in secret for more than two years, a group of mathematicians has set out to resolve one of the longest and most bitter battles in modern mathematics