🚀 Read this must-read post from Hacker News 📖 📂 Category: 💡 Key idea: Mathlib is a user maintained library for the Lean theorem prover. It contains both programming infrastructure and mathematics, as well as tactics that use the former and allow to develop the latter. You can find detailed instructions to install Lean, mathlib, and supporting tools on our website. Alternatively, click on one of the buttons below to open a GitHub Codespace or a Gitpod workspace containing the project. Using mathlib4 as a dependency Please refer to https://github.com/leanprover-community/mathlib4/wiki/Using-mathlib4-as-a-dependency Got everything installed? Why not start with the tutorial project?…
✨ Discover this must-read post from Culture | The Guardian 📖 📂 Category: Books,Science fiction books,Fantasy books,Horror books,Culture,Fiction ✅ Key idea: The Halcyon Years by Alistair Reynolds (Gollancz, £25)Yuri Gagarin, the Russian cosmonaut who was the first man in space, is reborn as a private eye aboard the spacecraft Halcyon as it approaches the end of a centuries-long voyage. Yuri knows that he first died in the 1960s, long before the technology needed to launch such advanced spaceships existed, but he believes his remains have been preserved and stored for future resurrections. Life on the ship is modeled after a…
🔥 Discover this awesome post from Hacker News 📖 📂 Category: ✅ Main takeaway: An Implementation of J ' An Implementation of JRoger K.W. Hui Copyright © 1990-2011, Jsoftware Inc. last updated: 2000-06-23 Preface J is a dialect of APL freely available on a wide variety of machines. It is the latest in the line of development known as "dictionary APL". The spelling scheme uses the ASCII alphabet. The underlying concepts, such as arrays, verbs, adverbs, and rank, are extensions and generalizations of ideas in APL\360. Anomalies have been removed. The result is at once simpler and more powerful than…
💥 Read this trending post from Culture | The Guardian 📖 📂 Category: Music,Culture 📌 Main takeaway: from EdinburghRecommended if you like Dry Cleaning, Massive Attack, Nick's Cavethe next “Warm Days in December” is out now, and a new EP is scheduled for release in early 2026As a fixture in Edinburgh's arts-turned-performance scene, Acolyte's strange, earthy psychedelia is as likely to be found onstage at the Traverse Theater as it is in the steamy-windowed brew of Leith Walk. Swirling basslines and poet Iona Lee's velvety, powerful voice conjure a sense of slow hypnosis – and just like their music, Acolyte…
🚀 Check out this trending post from Hacker News 📖 📂 Category: 💡 Main takeaway: This year's Free Software Awards recipients are Andy Wingo, Alx Sa, and Govdirectory. Andy Wingo is the winner of the Award for the Advancement of Free Software, which is given to an individual who has made a great contribution to the progress and development of free software through activities in accordance with the spirit of software freedom. Andy is one of the co-maintainers of GNU Guile, the official extension language of the GNU operating system and the Scheme "backbone" of GNU Guix. Upon receiving the…
🚀 Read this must-read post from Culture | The Guardian 📖 📂 Category: Art and design,Culture,Painting,Photography,Art,Exhibitions ✅ Key idea: Exhibition of the weekTo improvise the mountainIllustrator Lynette Yiadom-Boakye depicts fictional people in makeup settings. Where does she get her disturbing thoughts from? Here she reveals her inspirations, from Walter Sickert to Bas-Jan Adair. MK Gallery, Milton Keynes, until 25 Januaryalso appearThe sleepersHelen Cammock, Tracey Emin and others explore what it means to sleep and not be able to sleep. Murray Edwards College, Cambridge, until 22 FebruaryHarold GosneyA closer look at how this Yorkshire sculptor works with bronze and other materials…
💥 Read this insightful post from Hacker News 📖 📂 Category: 📌 Here’s what you’ll learn: The current 25H2 build of Windows 11 and future builds will include increasingly more AI features and components. This script aims to remove ALL of these features to improve user experience, privacy and security. Disable Registry Keys Disable Copilot Disable Recall Disable Input Insights and typing data harvesting Copilot in Edge Image Creator in Paint Remove AI Fabric Service Disable AI Actions Disable AI in Paint Disable Voice Access Disable AI Voice Effects Disable AI in Settings Search Prevent Reinstall of AI Packages Installs…
✨ Explore this must-read post from PBS NewsHour - Politics 📖 📂 Category: brown university,Donald Trump news,Gun violence,mass shootings,school shootings,shootings 📌 Key idea: At least two people were killed and eight others were seriously injured in a shooting Saturday at Brown University in Rhode Island. Watch President Donald Trump's remarks in the video player above. Providence Mayor Brett Smiley said the shooter was not in custody. Shelter in effect in the greater Brown University area. Read more: At least two people were killed and eight others were injured in a shooting at Brown University Brown University Dean Frank Doyle said…
🚀 Explore this trending post from Culture | The Guardian 📖 📂 Category: Robert Plant,Music,Culture,Pop and rock,Folk music,Led Zeppelin,Southbank Centre ✅ Key idea: forBetween songs, Robert Plant describes his latest project, Saving Grace, as hailing "from the West Side of common sense." It's a self-effacing observation but he has a point. Most rock stars of his caliber and stature (78 next year, somewhere between 200 million and 300 million albums sold with Led Zeppelin) would be there to assert their status by touring hits. But as anyone who followed Plant's post-Zeppelin career will tell you, the live option didn't seem…
🚀 Explore this must-read post from WIRED 📖 📂 Category: Gear,Gear / Gear News and Events,Gear / Products / Watches,Gear / Products / Health and Fitness,Gear / Products / Speakers,Gear / Products / Lifestyle,Gear Roundup 📌 Main takeaway: Forget just calling 911; If you have an Android phone, you can now share live video directly with the sender. It's a new feature Google announced this week called Android Emergency Live Video, and it's rolling out to people in the US, along with select regions in Germany and Mexico, for phones running Android 8 and later with Google Play Services.This capability…
