Lets Encrypt will disable OCSP about 6 months after Microsoft Root program allows it to (the browsers have already okayed it).
This all could be over in a year, year and a half. If you need OCSP for your business, you need to investigate alternatives NOW - which are all proprietary.
Apache ACME will handle this change just fine. Stapling will of course no longer be provided to clients.
https://letsencrypt.org/2024/07/23/replacing-ocsp-with-crls/
Steam updated its platform to clarify that game purchases grant a license, not ownership, in response to California's AB 2426 law, which takes effect in 2025. So yes, the games you buy don’t actually belong to you https://alternativeto.net/news/2024/10/steam-now-makes-it-crystal-clear-that-you-re-purchasing-a-license-not-the-actual-game/
@joxean @buherator yes! And it’s quite convenient to use, e.g. https://security.humanativaspa.it/big-update-to-my-semgrep-c-cpp-ruleset/
TIL there is a thing called #Sarif, a Static Analysis Results Interchange Format, developed by Microsoft.
https://groups.oasis-open.org/communities/tc-community-home2?CommunityKey=c64ae352-bebf-446d-8ebf-018dc7d3eeb0
🎮 Announcing Steam gaming on Fedora Asahi Remix! 🎮
Get the scoop here: alx.sh/gaming.
... or just dnf install steam and give it a go!
Bibi-binary is a hexadecimal notation system from 1968 with its own binary-derived symbols and single-syllable pronunciations for each digit https://en.wikipedia.org/wiki/Bibi-binary
❄️
Apple did the research; LLMs cannot do formal reasoning. Results change by as much as 10% if something as basic as the names change.
https://garymarcus.substack.com/p/llms-dont-do-formal-reasoning-and
Sent from San Diego, California, U.S.A. on April 4, 1994. https://postcardware.net/?id=20-18
🤖 GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
"Recent advancements in Large Language Models (LLMs) have sparked interest in their formal reasoning capabilities, particularly in mathematics. The GSM8K benchmark is widely used to assess the mathematical reasoning of models on grade-school-level questions. While the performance of LLMs on GSM8K has significantly improved in recent years, i…"