RSS 생중계
India Launches NASA-ISRO Satellite To Track Climate Threats From Space
Read more of this story at Slashdot.
Dropbox Pulls the Plug on Password Manager
Read more of this story at Slashdot.
Google is Using AI Age Checks To Lock Down User Accounts
Read more of this story at Slashdot.
Tech CEO's Negative Coverage Vanished from Google via Security Flaw
Read more of this story at Slashdot.
AI Code Generators Are Writing Vulnerable Software Nearly Half the Time, Analysis Finds
Read more of this story at Slashdot.
We need a European Sovereign Tech Fund (GitHub blog)
GitHub director of developer policy, Felix Reda, has published a blog post about a GitHub-commissioned study by Open Forum Europe, Fraunhofer ISI and the European University Institute. The study finds, not surprisingly, "a profound mismatch between the importance of open source maintenance and the public attention it receives"; it calls for a European sovereign tech fund (STF) modeled after Germany's Sovereign Tech Agency.
The study proposes two alternative institutional setups for the EU-STF: either the creation of a centralized EU institution (the moonshot model), or a consortium of EU member states that provide the initial funding and apply for additional resources from the EU budget (the pragmatic model). In both cases, to make the fund a success, the minimum contribution from the upcoming EU multiannual budget should be no less than €350 million. This would not be enough to meet the open source maintenance need, but it could form the basis for leveraging industry and national government co-financing that would make a lasting impact.The European Union is currently starting negotiations for its 2028-2034 budget, the Multiannual Financial Framework; GitHub and others hope to persuade EU legislators to include a European STF in that framework.
[$] Extending run-time verification for the kernel
There are a lot of things people expect the Linux kernel to do correctly. Some of these are checked by testing or static analysis; a few are ensured by run-time verification: checking a live property of a running Linux system. For example, the scheduler has a handful of different correctness properties that can be checked in this way. Nam Cao posted a patch series that aims to extend the kinds of properties that the kernel's run-time verification system can check, by adding support for linear temporal logic (LTL). The patch set has seen eleven revisions since the first version in March 2025, and recently made it into the linux-next tree, from where it seems likely to reach the mainline kernel soon.
JPMorgan Spooks Fintechs With Plans To Charge For Access To Customer Data
Read more of this story at Slashdot.
Only 27% of Managers Worldwide Feel Engaged at Work
Read more of this story at Slashdot.
Zuckerberg Says Meta's AI Systems Have Begun Improving Themselves, And Developing Superintelligence is Now in Sight
Read more of this story at Slashdot.
[$] On becoming a Python contributor
Security updates for Wednesday
Google Execs Say Employees Have To 'Be More AI-Savvy'
Read more of this story at Slashdot.
Famous Double-Slit Experiment Holds Up When Stripped To Its Quantum Essentials
Read more of this story at Slashdot.
A Pill for Sleep Apnea Could Be on the Horizon
Read more of this story at Slashdot.
India's One-Airline State
Read more of this story at Slashdot.
Cheyenne To Host Massive AI Datacenter Using More Electricity Than All Wyoming Homes Combined
Read more of this story at Slashdot.
Apple's iOS 26 Text Filters Could Cost Political Campaigns Millions of Dollars
Read more of this story at Slashdot.
YouTube Rolls Out Age-Estimation Tech To Identify US Teens, Apply Additional Protections
Read more of this story at Slashdot.
Minnesota Activates National Guard After St. Paul Cyberattack
Read more of this story at Slashdot.
페이지
