progscrape

FloatLib: Verified Floating-Point Arithmetic in Lean

18 hours ago leandojo.org

Microsoft admits Windows 11's emergency update still breaks audio, and a fix may not arrive until October

18 hours ago windowslatest.com audio microsoft windows

One Lifelong Exercise Habit Is Linked to Healthier Signs of Aging After 55: Healthy adults over 55 who had exercised regularly for 30 years had higher vitality capacity than inactive peers

22 hours ago sciencealert.com health

Larry Page, Sergey Brin, and Peter Thiel All Fled California’s Billionaire Tax. Nvidia’s CEO Isn’t Going Anywhere

21 hours ago finance.yahoo.com california nvidia

Smart Ring Maker Oura, Backers Seek $2.2B in US IPO

17 hours ago bloomberg.com ipo

Bungie un-cancels Destiny: Vaulted content is coming back as new leadership promises "Destiny is foundational to our future": "We are not done with Destiny."

19 hours ago pcgamer.com

AI adoption is pushing Chinese workers out of jobs as youth unemployment running roughly triple the national rate

20 hours ago qz.com ai china

People hooked on vapes try a new way to quit: cigarettes

18 hours ago bloomberg.com

US TV networks suspend White House pool coverage — ABC, CBS, Fox News and NBC decline to participate after presidential ban that prompted widespread condemnation

22 hours ago theguardian.com

The data center backlash is reshaping American politics

21 hours ago npr.org

Releasing Spring for Modern Challenges

22 hours ago spring.io java

Abbott slaps halt on Texas data center permits

20 hours ago politico.com texas

GitHub Actions leaking secrets when Miri output is cached

24 hours ago blog.rust-lang.org github rust

Meta’s AI agent has been blocked from using Amazon.com

20 hours ago techcrunch.com ai meta

NASA’s Mars Sample Return mission is dead

24 hours ago science.org nasa

Deterministic Hypervisors For Cheap

19 hours ago redvice.org osdev vibecoding

Peter Thiel: Power, Palantir, and the antichrist

21 hours ago dw.com

Internet Explorer is finally, truly dying, and Microsoft wants you ready by 2029

23 hours ago techspot.com microsoft

Wall Street Is Growing Skeptical of the Data Center Boom: Several companies tied to the data center industry have delayed their initial public offerings amid the increasing public backlash to these energy guzzling facilities

22 hours ago nytimes.com

OpenAI forms math advisory group as its AI resolves more than 100 open problems

22 hours ago techcrunch.com ai math openai

stack unwinding can lead to leakless code execution

21 hours ago pepsipu.com security

Self-Hosting Behind CGNAT

26 hours ago david.alvarezrosa.com linux networking

Can I specialize in the field of compilers (as a hobby) without any CS degree or background?

23 hours ago reddit.com compiler

evocation - Call forth the blue-green flame of computation from the universe, weave its energies into a fabric, that we may share our blood with it

22 hours ago code.irenes.space concatenative plt universe

Ju! Ju! Tsu

23 hours ago arialdo.codeberg.page book vcs

rift - a tiling window manager for macos

26 hours ago github.com apple mac macos rust

Back to Coupling and Cohesion

30 hours ago bastrich.tech

Bernstein’s Factorization Method Helped Factor RSA-240 in 2020

27 hours ago leetarxiv.substack.com

A new study estimates based on donor-derived rabies transmission events that China and the US diagnosed rabies in only 28.7% and 6.1% of rabies decedents, respectively, during the study years.

22 hours ago journals.plos.org china epidemiology

OpenAI and Anthropic Neared Deal to Stress-Test Each Other’s AI

24 hours ago theinformation.com ai openai

>progscrape ▒

All the news that's fit to scrape

Display options