aazaidane@gmail.com

21066 Posts
leanprover-community/mathlib4: The math library of Lean 4

leanprover-community/mathlib4: The math library of Lean 4

🚀 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?…
Read More
The Best Modern Science Fiction, Fantasy, and Horror Movies – Review Report | books

The Best Modern Science Fiction, Fantasy, and Horror Movies – Review Report | books

✨ 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…
Read More

An Implementation of J

🔥 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 More
Add to playlist: Acolyte slow dope and the best new tracks of the week | music

Add to playlist: Acolyte slow dope and the best new tracks of the week | music

💥 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…
Read More

Andy Wingo, Alx Sa, Govdirectory — Free Software Foundation — Working together for free software

🚀 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 More
Sleeper Songs, Science Fiction Sculptures and Martin Parr About Martin Parr – The Week in Art | Art and design

Sleeper Songs, Science Fiction Sculptures and Martin Parr About Martin Parr – The Week in Art | Art and design

🚀 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 More
zoicware/RemoveWindowsAI: Force Remove Copilot, Recall and More in Windows 11

zoicware/RemoveWindowsAI: Force Remove Copilot, Recall and More in Windows 11

💥 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…
Read More
Watch: Trump calls deadly shooting at Brown University a “terrible thing” and a “disgrace”

Watch: Trump calls deadly shooting at Brown University a “terrible thing” and a “disgrace”

✨ 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…
Read More
Robert Plant Saving Grace review – The self-effacing megastar still looks amazing | Robert Plant

Robert Plant Saving Grace review – The self-effacing megastar still looks amazing | Robert Plant

🚀 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…
Read More
Gear News of the Week: Android gets emergency live video, Pixel Watch 4 supports gestures

Gear News of the Week: Android gets emergency live video, Pixel Watch 4 supports gestures

🚀 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…
Read More