A tool has been developed to help users find quality non-fiction books, contrasting them with inferior AI-generated content. The creator reflects on the significant intellectual experience gained from a college job shelving books in a library.
resobscura.substack.com
10 min
7/22/2026
NotebookLM has been renamed to Gemini Notebook. The tool is used by over 30 million individuals and 600,000 organizations for various applications, including creating interactive onboarding materials and converting notes into audio and video summaries.
blog.google
1 min
7/16/2026
Newer Claude models, such as Opus 4.8, sometimes generate extra, invented fields in the nested edits[] array when calling Pi's edit tool. This results in mismatched arguments that cause Pi to reject the tool call and request a retry.
lucumr.pocoo.org
10 min
7/4/2026
The cost and tooling of formal verification have become widely accessible, allowing for increased use in software development. AI is reducing the barriers to formal verification by eliminating the costs associated with writing proofs, enabling the creation of software that guarantees mathematically correct business rules.
queue.acm.org
14 min
6/29/2026
Local Qwen is a distinct AI tool, not inferior to Opus, with versions 27B and 35-A3B being compared to Opus level capabilities. Evidence from software businesses and open source projects supports this differentiation.
blog.alexellis.io
24 min
6/18/2026
TREX is a code reviewer developed by Greptile that executes code and identifies errors during the review process. It enhances traditional code inspection methods by integrating code execution with pull request reviews.
greptile.com
8 min
6/17/2026
Version 15 of Wolfram Language and Mathematica has been launched, introducing built-in AI capabilities and significant new core functionality. This release marks the evolution of the software beyond its original focus on mathematics over the past 38 years.
writings.stephenwolfram.com
87 min
6/16/2026
DaVinci Resolve 21 introduces a Photo page with advanced color tools for still photography and a new generation of AI tools for media search, slate data reading, de-aging, and blemish removal. Enhancements include improved keyframing and graphic format support on the Edit and Cut pages, optimized color workflows with MultiMaster trim passes and layer list node graphs, and over 70 new graphics in Fusion through the Krokodove toolset.
blackmagicdesign.com
12 min
6/3/2026
Google offers a hidden Reference Desk feature that helps users find specific information more efficiently. The Reference Desk framework includes 40 distinct features and alternative search engines to enhance search capabilities beyond traditional methods.
cardcatalogforlife.substack.com
20 min
5/6/2026
A tool has been developed to help users find quality non-fiction books, contrasting them with inferior AI-generated content. The creator reflects on the significant intellectual experience gained from a college job shelving books in a library.
resobscura.substack.com
10 min
7/22/2026
Newer Claude models, such as Opus 4.8, sometimes generate extra, invented fields in the nested edits[] array when calling Pi's edit tool. This results in mismatched arguments that cause Pi to reject the tool call and request a retry.
lucumr.pocoo.org
10 min
7/4/2026
Local Qwen is a distinct AI tool, not inferior to Opus, with versions 27B and 35-A3B being compared to Opus level capabilities. Evidence from software businesses and open source projects supports this differentiation.
blog.alexellis.io
24 min
6/18/2026
Version 15 of Wolfram Language and Mathematica has been launched, introducing built-in AI capabilities and significant new core functionality. This release marks the evolution of the software beyond its original focus on mathematics over the past 38 years.
writings.stephenwolfram.com
87 min
6/16/2026
NotebookLM has been renamed to Gemini Notebook. The tool is used by over 30 million individuals and 600,000 organizations for various applications, including creating interactive onboarding materials and converting notes into audio and video summaries.
blog.google
1 min
7/16/2026
The cost and tooling of formal verification have become widely accessible, allowing for increased use in software development. AI is reducing the barriers to formal verification by eliminating the costs associated with writing proofs, enabling the creation of software that guarantees mathematically correct business rules.
queue.acm.org
14 min
6/29/2026
TREX is a code reviewer developed by Greptile that executes code and identifies errors during the review process. It enhances traditional code inspection methods by integrating code execution with pull request reviews.
greptile.com
8 min
6/17/2026
DaVinci Resolve 21 introduces a Photo page with advanced color tools for still photography and a new generation of AI tools for media search, slate data reading, de-aging, and blemish removal. Enhancements include improved keyframing and graphic format support on the Edit and Cut pages, optimized color workflows with MultiMaster trim passes and layer list node graphs, and over 70 new graphics in Fusion through the Krokodove toolset.
blackmagicdesign.com
12 min
6/3/2026
Google offers a hidden Reference Desk feature that helps users find specific information more efficiently. The Reference Desk framework includes 40 distinct features and alternative search engines to enhance search capabilities beyond traditional methods.
cardcatalogforlife.substack.com
20 min
5/6/2026
A tool has been developed to help users find quality non-fiction books, contrasting them with inferior AI-generated content. The creator reflects on the significant intellectual experience gained from a college job shelving books in a library.
resobscura.substack.com
10 min
7/22/2026
The cost and tooling of formal verification have become widely accessible, allowing for increased use in software development. AI is reducing the barriers to formal verification by eliminating the costs associated with writing proofs, enabling the creation of software that guarantees mathematically correct business rules.
queue.acm.org
14 min
6/29/2026
Version 15 of Wolfram Language and Mathematica has been launched, introducing built-in AI capabilities and significant new core functionality. This release marks the evolution of the software beyond its original focus on mathematics over the past 38 years.
writings.stephenwolfram.com
87 min
6/16/2026
Google offers a hidden Reference Desk feature that helps users find specific information more efficiently. The Reference Desk framework includes 40 distinct features and alternative search engines to enhance search capabilities beyond traditional methods.
cardcatalogforlife.substack.com
20 min
5/6/2026
NotebookLM has been renamed to Gemini Notebook. The tool is used by over 30 million individuals and 600,000 organizations for various applications, including creating interactive onboarding materials and converting notes into audio and video summaries.
blog.google
1 min
7/16/2026
Local Qwen is a distinct AI tool, not inferior to Opus, with versions 27B and 35-A3B being compared to Opus level capabilities. Evidence from software businesses and open source projects supports this differentiation.
blog.alexellis.io
24 min
6/18/2026
DaVinci Resolve 21 introduces a Photo page with advanced color tools for still photography and a new generation of AI tools for media search, slate data reading, de-aging, and blemish removal. Enhancements include improved keyframing and graphic format support on the Edit and Cut pages, optimized color workflows with MultiMaster trim passes and layer list node graphs, and over 70 new graphics in Fusion through the Krokodove toolset.
blackmagicdesign.com
12 min
6/3/2026
Newer Claude models, such as Opus 4.8, sometimes generate extra, invented fields in the nested edits[] array when calling Pi's edit tool. This results in mismatched arguments that cause Pi to reject the tool call and request a retry.
lucumr.pocoo.org
10 min
7/4/2026
TREX is a code reviewer developed by Greptile that executes code and identifies errors during the review process. It enhances traditional code inspection methods by integrating code execution with pull request reviews.
greptile.com
8 min
6/17/2026