9241
My Future with Elixir: set-theoretic types
We announce and explore the possibilities for bringing set-theoretic types into Elixir.
New
The latest blog posts to take off on Hacker News. 31,678 posts.
9242
Discovering Novel Algorithms with AlphaTensor
In our paper, published today in Nature, we introduce AlphaTensor, the first artificial intelligence (AI) system for discovering novel, efficient, and provably correct algorithms for fundamental tasks such as matrix multiplication. This sheds light on a 50-year-old open question in mathematics about finding the…
9243
Nobel Prize in Chemistry Awarded to Bertozzi, Meldal, and Sharpless
The Nobel Prize in Chemistry 2022 was awarded jointly to Carolyn R. Bertozzi, Morten Meldal and K. Barry Sharpless "for the development of click chemistry and bioorthogonal chemistry"
9244
Study: Time-Restricted Eating Improves Cardiovascular Health for Firefighters
In a recent collaborative effort, physicians with UC San Diego Health and scientists at the Salk Institute reported a form of intermittent fasting, called time-restricted eating, improved the health of study participants who had been diagnosed with metabolic syndrome.
9245
Internet Archive Seeks Material for Library of Amateur Radio and Communications
Internet Archive has begun gathering content for the Digital Library of Amateur Radio and Communications (DLARC), which will be a massive online library of materials and collections related to amateur radio and early digital communications. The DLARC is funded by a significant grant from the Amateur Radio Digital…
9246
9247
C++20 coroutines: “The bug is in the C++ standard, not GCC.” (2020)
Anubis could not load its JavaScript. The server may be overloaded. Please reload the page to try again.
9248
Introducing NVK
Say hello to a brand new, open-source Vulkan driver for NVIDIA hardware in Mesa.
9249
Steve Yegge Joins as Head of Engineering of Sourcegraph
TL;DR: Steve Yegge has joined Sourcegraph as Head of Engineering, where we are building the world's most open and comprehensive code intelligence platform (CIP).
9250
Ignore 98% of dependency alerts: introducing Semgrep Supply Chain
An extensible developer-friendly application security platform that scans source code to surface true and actionable security issues with AI-assisted SAST, SCA, and Secrets Detection solutions.
9251
Building a Startup on Clojure
After first getting hooked on Clojure in 2018 I decided to build my business, Wobaka.com, on 100% Clojure the following year. That's how much I enjoyed it. I thought I'd share some of my experience and technical stack for anyone else thinking about building and running their business on
9252
ClickHouse Cloud is now in Public Beta
ClickHouse Cloud has entered public beta. Get your free trial now!
9253
Nobel Prize in Physics Awarded to Alain Aspect, John Clauser and Anton Zeilinger
The Nobel Prize in Physics 2022 was awarded jointly to Alain Aspect, John F. Clauser and Anton Zeilinger "for experiments with entangled photons, establishing the violation of Bell inequalities and pioneering quantum information science"
9254
VideoLAN has issued a legal notice to Indian Gov for banning their website
VideoLAN’s URL from which users download the VLC Media Player appears to have been banned by the DoT in India since March 2021. This was done without any prior notice, or affording VideoLAN an opportunity of hearing, which is contrary to the Indian law.
9255
Highlights from Git 2.38
Another new release of Git is here! Take a look at some of our highlights on what's new in Git 2.38.
9256
Raft Is So Fetch: The Raft Consensus Algorithm Explained Through Mean Girls
Understanding the Raft Consensus Algorithm can be tough. In honor of "Mean Girls" day (October 3), we present Raft as explained through the movie "Mean Girls."
9257
Apple’s ad business set to boom on the back of its own anti-tracking crackdown
Apple is the one tech giant that has never been associated with ads, proudly declaring its customer a jewel it will never sell to advertisers. But it seems that Apple is now immersing itself deep into the ad business. Will its promises be kept?
9258
Have lots of AWS accounts
“You should have lots of AWS accounts” has moved to https://src-bin.com/substrate/blog/you-should-have-lots-of-aws-accounts/ .
9259
mod_wasm: Run WebAssembly with Apache
mod_wasm is a new module to run WebAssembly (Wasm) modules in Apache httpd
9260
Postgres WASM
We're open sourcing postgres-wasm, a PostgresQL server that runs inside a browser, with our friends at Snaplet.
9261
The next generation of Materialize
Today, we’re excited to announce a product that we feel is transformational: a persistent, scalable, cloud-native Materialize.
9262
Fandom Acquires GameSpot, Giant Bomb, GameFAQs, TV Guide and Metacritic
World’s Largest Fan-Generated Entertainment & Gaming Platform | Fandom Fandom’s brands help fans get more out of the entertainment and games they love,…
9263
Google’s “million’s of search results” are not being served
SerpApi’s Google Search API results serves all the results Google serves to users…But the amount of searches are quite different than what is being told below the search bar.
9264
Autistic children with imaginary friends have better social skills
Results suggest that pretend play provides similar social benefits to autistic children as it does to neurotypical children.
9265
How a razor blade can be damaged as it cuts human hair (2020)
A new study by MIT engineers shows how shaving can damage blades. Human hair, 50 times softer than steel, can chip away a razor’s edge, the engineers found.
9266
New Pegasus spyware abuses identified in Mexico
Mexican digital rights organization R3D, with technical support from the Citizen Lab, has determined that Mexican journalists and a human rights defender were infected with Pegasus between 2019 and 2021. The infections occurred years after the first revelations of Pegasus abuses in Mexico, and after Mexico’s current…
9267
9268
Text Is the Universal Interface
Roon guest-authors a post on large language models and the future of computing.
9269
230K Chinese “persuaded to return” from abroad to establish Extraterritoriality
This latest installment in Safeguard Defenders’ Investigations series takes a deep dive into the Chinese police’s expanding global policing toolkit by examining a seemingly recent campaign to counter transnational telecom and online fraud (accordin
9270
Stellarium 1.0
The Stellarium team did it. Stellarium 1.0 is here!