• New Foundations is consistent – a difficult mathematical proof proved using Lean https://leanprover-community.github.io/con-nf/ 162 comments 23/4/2024
• Why Working at Facebook Inspired Me to Write Lean Out https://medium.com/@MarissaG/why-working-at-facebook-inspired-me-to-write-lean-out-5849eb48af21 2 comments 30/12/2018

• Democratic-leaning voters less likely to choose Biden after debate, survey finds https://www.politico.com/news/2024/06/29/democrat-voters-biden-survey-after-debate-00165931 139 comments 3/7/2024 politics
• Rupert Murdoch’s answer to Google News is dead after only 18 months: The shuttered news aggregator offered stories mainly from right-leaning sources. https://arstechnica.com/gadgets/2021/07/rupert-murdochs-answer-to-google-news-is-dead-after-only-18-months/ 264 comments 10/7/2021 technology
• Why Police Aggression Is Far More Pronounced Against Left-Leaning Protesters https://fivethirtyeight.com/videos/why-police-aggression-is-far-more-pronounced-against-left-leaning-protesters/ 66 comments 9/1/2021 politics
• Americans’ Respect for Police Surges to Near All-Time High | "The single largest jump in esteem for the police ... came among liberals, with 71 percent of left-leaning Americans expressing great respect for our men and women in blue, up from 50 percent in 2015." http://nymag.com/daily/intelligencer/2016/10/americans-respect-for-police-surges-to-near-all-time-high.html 8 comments 25/10/2016 politics
• Facebook scrambles to contain fallout from allegations that it has suppressed right-leaning political content. http://thehill.com/policy/technology/279835-facebook-scrambles-to-contain-fallout 23 comments 13/5/2016 politics
• Peter Schiff, the libertarian-leaning economist who's best known for seeing the economic collapse coming before it hit, says he's seriously considering a run for the Senate against Chris Dodd (D-Connecticut). http://theplumline.whorunsgov.com/economy/analyst-who-predicted-meltdown-leaning-towards-challening-chris-dodd/ 9 comments 3/6/2009 politics
• ​Romania Needs Replacement for T-55 Tanks, Leaning Toward S.Korea K2 Instead of M1 Abrams https://en.defence-ua.com/news/romania_needs_replacement_for_t_55_tanks_leaning_toward_korean_k2_instead_of_m1_abrams-10297.html 126 comments 25/4/2024 worldnews
• Productivity in software development: the lean response to McKinsey https://blog.buildtosell.org/productivity-in-software-development-the-lean-perspective/ 11 comments 18/1/2024 programming
• [Russini] The Jets want to make a switch at QB. The team is leaning towards Zach Wilson to take over, but he is reluctant to stepping back in, sources tell @ZackBlatt and me. The team is discussing next steps. https://twitter.com/DMRussini/status/1731741475992412520 1255 comments 4/12/2023 nfl
• [Zorya Londonsk] Mykhaylo Mudryk is leaning towards the move to Bayer Leverkusen. https://twitter.com/ZoryaLondonsk/status/1522604283983802369 4 comments 6/5/2022 soccer
• Supreme Court Leans Toward Coach in Case on School Prayer https://www.nytimes.com/2022/04/25/us/politics/supreme-court-prayer-football-coach.html 244 comments 26/4/2022 law
• [Patrik Bexell] Lean and mean - Sabers [sic] Rasmus Dahlin looks ready to start the season tomorrow, as he passes me at Frölunda’s pratige [sic] facility. https://twitter.com/Zeb_Habs/status/1434823324631195650 17 comments 8/9/2021 hockey
• [Keefer] In a chat this evening, Jim Irsay makes it clear: Colts don’t know when Carson Wentz will be ready, and he’s told the QB himself they won’t let him play until he’s back to 100%. Team is leaning toward rolling with Eason/Ehlinger if Wentz isn’t ready. Trade seems very unlikely. https://twitter.com/zkeefer/status/1425928700005072899?s=21 17 comments 12/8/2021 nfl
• Trump leans on QAnon figures in flailing effort to overturn election https://www.politico.com/news/2020/12/23/trump-qanon-effort-overturn-election-450301 35 comments 23/12/2020 politics
• Analysis: Trump leans on tone that turns off voters he needs https://apnews.com/article/election-2020-joe-biden-virus-outbreak-donald-trump-chris-wallace-20c2c6d892bbae83aa49a49e8a431011 4 comments 1/10/2020 politics
• Trump leans into his ‘180,000 deaths is a statistic’ reelection strategy: The White House is increasingly obvious about shrugging at the coronavirus https://www.washingtonpost.com/politics/2020/08/31/trump-leans-into-his-180000-deaths-is-statistic-reelection-strategy/ 8 comments 31/8/2020 politics
• Trump administration to remove EPA board members in the hopes of making boards more industry leaning https://www.scientificamerican.com/article/trump-officials-act-to-tilt-federal-science-boards-toward-industry/ 21 comments 17/5/2020 politics
• Amid Trade War, Farmers Lean on a New Crop: Hemp https://www.nytimes.com/2019/10/06/us/hemp-farming-trade-war.html 6 comments 8/10/2019 politics
• Poll: Latinx voters are leaning Democratic in 2020 battleground states https://www.vox.com/2019/8/28/20836799/latinx-voters-trump-democrats-2020-turnout 78 comments 29/8/2019 politics
• 300+ Free Datasets for Machine Leaning divided into 10 Use Cases https://lionbridge.ai/business-resources/open-datasets-for-machine-learning/ 11 comments 20/6/2019 datascience
• Alexandria Ocasio-Cortez: ‘I Lean Into the Misconceptions’ https://www.rollingstone.com/politics/politics-features/alexandria-ocasio-cortez-interview-2-732173/ 34 comments 8/10/2018 politics
• Man crashes Jaguar after allegedly leaning out to spit out paan masala, succumbs to injuries https://www.hindustantimes.com/noida/man-crashes-jaguar-after-allegedly-leaning-out-to-spit-out-paan-masala-succumbs-to-injuries/story-bzdldc6imzbprmn18qp0kl.html 3 comments 29/9/2018 nottheonion
• Trump leaning toward former pharma exec for health secretary http://www.politico.com/story/2017/10/17/alex-azar-trump-health-secretary-243876 5 comments 17/10/2017 politics
• Canada pig feet shipment flagged in China for banned drug.--- US Lean Hogs rocket is about to take off. http://ca.reuters.com/article/businessNews/idCAKBN18Q2HB-OCABS?pageNumber=2&virtualBrandChannel=0&sp=true 13 comments 1/6/2017 wallstreetbets
• Supreme Court Asks Courts to Lean in Favour of Nation's Economic Interest http://www.news18.com/news/india/law-vs-economics-sc-asks-courts-to-lean-in-favour-of-nations-economic-interest-1415403.html 4 comments 29/5/2017 india
• Matt Maiocco: "To me, it's probably the bleakest episode since Dennis Erickson's last year. The reason I say that is... this team does not have a future at quarterback... They're starting below square one because you have to find that quarterback you want to lean on." http://www.csnbayarea.com/video/maiocco-49ers-do-not-have-future-quarterback 54 comments 24/10/2016 nfl
• Russell Martin leans into the dugout to make a sweet catch http://mediadownloads.mlb.com/mlbam/mp4/2016/08/14/1050340783/1471203408258/asset_2500k.mp4 47 comments 14/8/2016 baseball
• Getting started with Lean: a guide for first-time founders http://www.femalefounderstories.com/adora-cheung.html 9 comments 8/7/2016 startups
• Utilise: Lean JavaScript Utilities as Micro-Libraries https://github.com/utilise/utilise 11 comments 8/7/2015 javascript
• Despite Pro-Russian Protests, Majority of Ukrainians Lean Toward Europe http://www.newrepublic.com/article/117357/despite-pro-soviet-protests-majority-ukrainians-lean-toward-europe 56 comments 16/4/2014 europe
• Conservatives to women: Lean back http://www.washingtonpost.com/opinions/dana-milbank-conservatives-to-women-lean-back/2014/03/31/e8b96c00-b91b-11e3-9a05-c739f29ccb08_story.html?tid=pm_pop 5 comments 1/4/2014 politics
• Why we killed 2/3rds of the features of our startup - before launch. Lean it out. http://insanemission.com/post/48882991609/booknug-lean-startup 3 comments 25/4/2013 startups
• Searching Steve Novak, and came across this article. It's about NBA fandom in China, there are some no brainers, and some surprises as well. The guy who wrote it is a Knicks fan, so it leans a little their way, but still some cool insight into to being an NBA fan in China. http://www.postingandtoasting.com/2012/11/1/3520318/a-knicks-season-preview-from-china 3 comments 14/12/2012 nba
• In almost all major cities, growth in spending is outpacing the growth in revenues; in some cities, governments are already spending more than they are taking in. After years of unprecedented growth, how will China cope with lean times? http://english.caixin.com/2012-09-12/100436728.html 4 comments 13/9/2012 worldnews
• Mitt Romney dismisses Newsweek cover calling him a 'wimp' - Lean Forward http://leanforward.msnbc.com/_news/2012/07/29/13019160-mitt-romney-dismisses-newsweek-cover-calling-him-a-wimp?lite 4 comments 30/7/2012 politics
• Conservative turned Dem Jonathan Krohn changes political leanings, right wing noise machine attacks http://freakoutnation.com/2012/07/04/conservative-turned-dem-jonathan-krohn-changes-political-leanings-right-wing-noise-machine-attacks/ 15 comments 4/7/2012 politics
• Lunatic Right spends big money, brings in TV right wing celebs, leans on Right Wing Radio. Results? Guaranteed repub house seat, held for 120 years by Repubs - Goes to Dem! http://www.dailykos.com/storyonly/2009/11/4/800311/-ny-23:-hoffman-(c)-concedes 23 comments 4/11/2009 politics
• Reid: We're Leaning Toward Talking About The Public Option http://tpmdc.talkingpointsmemo.com/2009/10/reid-im-discussing-the-public-option-with-democrats-and-republicans.php 8 comments 21/10/2009 politics