1141
I can’t believe that I can prove that it can sort
When an enthusiastic Ada programmer and a SPARK expert pair up to prove the most "stupid" sorting algorithm, lessons are learned! Join us in this…
New
The latest blog posts to take off on Hacker News. 2,332 posts.
1142
1143
Keep calm and use the runbook
Uncover the power of runbooks for IT operations and DevOps. Learn what they are and how to create them. Improve workflows and speed up incident response.
1144
1145
Ethereum Energy Consumption
The basic information you need to understand Ethereum's energy consumption.
1146
Google now deleting health clinic searches from location history automatically
Editor's note – May 12, 2023Last year, we launched an important update to Location History. We remain committed to improving the experience and making it as helpful…
1147
Darktable 4.0
We’re proud to announce the new feature release of darktable, 4.0.0! The github release is here: https://github.com/darktable-org/darktable/releases/tag/release-4.0.0. As always, please don’t use the autogenerated tarball provided by github, but only our tar.xz file. The checksums are: $ sha256sum…
1148
Artificial photosynthesis can produce food without sunshine
Scientists are developing artificial photosynthesis to help make food production more energy-efficient here on Earth, and one day possibly on Mars
1149
We are splitting our database into Main and CI
We are splitting our database into Main and CI to improve the scalability and reliability of GitLab.com.
1150
Hardening attack surfaces with formally proven binary format parsers
With an eye toward performance, interoperability, or legacy concerns, low-level system software often must parse binary encoded data formats. Few tools are available for this task, especially since the formats involve a mixture of arithmetic and data dependence, beyond what can be handled by typical parser generators…
1151
1152
No Refrigerant Left Behind
We have a plan to prevent 2 billion tons CO2e in the next 10 years by collecting and destroying superpotent refrigerants.
1153
Porting Graphing Calculator from C++ to Swift
Developer Spotlight is a series highlighting interesting Swift developers from around the world. This post is authored by Ron Avitzur, author of the Pacific Tech Graphing Calculator.
1154
Kaspersky: Poorly detected backdoor targeting governments and NGOs around globe
Kaspersky experts have brought to light a poorly detected SessionManager backdoor that was set up as a malicious module within the Internet Information Services (IIS), a popular web server edited by Microsoft. Once propagated, SessionManager enables a wide range of malicious activities, starting from collecting emails…
1155
Mozilla and Google Objections Overruled on “Decentralized Identifiers” by W3C
The W3C Member review of the Decentralized Identifier (DID) 1.0 Proposed Recommendation concluded with Formal Objections from three organizations.
1156
Vim 9.0
The previous release was version 8.2 in December 2019. Since the latest source code is always available on GitHub, many have already picked up later patch versions (there are more than 5000 of them!). Therefore the changes have already been tried out by many users. On top of that bugs have been fixed, security issues…
1157
1158
1159
MIT engineers fly first-ever plane with no moving parts (2018)
MIT engineers have flown the first silent, fuel-free “ion plane.” The light aircraft is the first plane to fly with no propellers, turbine blades, or other moving parts.
1160
Give up GitHub: The time has come
Those who forget history often inadvertently repeat it. Some of us recall that twenty-one years ago, the most popular code hosting site, a fully Free and Open Source (FOSS) site called SourceForge, proprietarized all their code — never to make it FOSS again. Major FOSS projects slowly left SourceForge since it was…
1161
Why I’m Cryptophobic
Adam Fisher’s exegesis on why he believes that despite the recent crash, crypto will rise again to the detriment of society.
1162
Raspberry Pi Pico W: your $6 IoT platform
Today, we’re launching three new members of the Raspberry Pi Pico family: Raspberry Pi Pico W ($6), Pico H ($5) and Pico WH ($7).
1163
EU Digital ID wallet is coming
As you were browsing something about your browser made us think you were a bot. There are a few reasons this might happen:
1164
1165
Mastering Nim – now available on Amazon
My book 'Mastering Nim - A complete guide to the programming language' is now available on Amazon
1166
Improve Git monorepo performance with a file system monitor
Monorepo performance can suffer due to the sheer number of files in your working directory. Git’s new builtin file system monitor makes it easy to speed up monorepo performance.
1167
Battersea Power Station in London unveils the newly restored Control Room A
⦁ Battersea Power Station has revealed the fully restored Control Room A, the first of the Grade II* listed building’s two original Control Rooms which
1168
TikTok updated privacy policy to collect faceprints and voiceprints (2021)
TikTok has violated privacy regulations before, and they are in position to share millions of American users' data with the Chinese government.
1169
Increased Subscription Pricing for IDEs, .NET Tools, and the All Products Pack
Since the introduction of subscriptions 7 years ago, we have not increased the pricing of our IDEs, .NET Tools, or the All Products Pack. During this time, we have introduced new products that have been included at no extra cost to everyone using the latter. However, we are at the point where we need to increase our…
1170
Humans can't endure temperatures and humidities as high as previously thought
Penn State researchers found that the maximum wet-bulb temperature humans can endure is lower than previously thought — about 31°C wet-bulb or 87°F at 100% humidity — even for young, healthy subjects. The temperature for older populations, who are more vulnerable to heat, is likely even lower.