Claude Opus 5, Matt Pocock’s AI Agent Skills, BGE-M3 Model – Jul 25

skills: Matt Pocock's collection of everyday AI agent skills

mattpocock/skills

• ★ 187.2k
• ⮂ 16.1k

This is a Shell-based MIT-licensed repository containing reusable AI agent skills authored by Matt Pocock, organized directly from his personal .agents directory. The project provides prompts and tool definitions designed for practical, day-to-day engineering tasks rather than casual experimentation. It has accumulated 187,183 stars and 16,078 forks across 227 open issues.

Claude Opus 5

• ▲ 1,461
• 💬 805

Claude Opus 5 is Anthropic's newest large language model, announced July 24, 2026, representing a step-change improvement for the Opus tier aimed at powering long-running agents with enhanced coding and professional work capabilities. Anthropic states it approaches the frontier intelligence of Claude Fable 5 at half the price. The launch drew significant community attention, generating 1,461 points and 805 comments on Hacker News.

all-MiniLM-L6-v2: lightweight sentence embedding model

sentence-transformers/all-MiniLM-L6-v2

• ♥ 5,120
• ⇣ 255.3M

all-MiniLM-L6-v2 is a sentence-transformers model that maps sentences and paragraphs into a 384-dimensional dense vector space for tasks such as clustering or semantic search. It is a compact BERT-based model available under the Apache-2.0 license with broad framework support including PyTorch, TensorFlow, ONNX, and Rust. It has accumulated 255,316,543 downloads and 5,120 likes on Hugging Face, reflecting widespread adoption for embedding workflows.

Dev Opportunity Radar #9: A Fully Funded AI Security Residency, SF Founder Residency, Figma Campus Leaders & More

• ♥ 45
• 💬 14

TL;DR Welcome back to Dev Opportunity Radar. This is a weekly series where I share opportunities,…

bge-m3: multilingual sentence embedding model

BAAI/bge-m3

• ♥ 3,262
• ⇣ 35.5M

BGE-M3 is a sentence-similarity embedding model from BAAI that supports multi-functionality, multi-linguality, and multi-granularity text representation. Built on an XLM-RoBERTa architecture, it is designed for feature-extraction tasks across many languages and handles inputs from short sentences to long documents. Released under the MIT license, it has accumulated 35,474,414 downloads and 3,262 likes on Hugging Face.

6 Open Source Tools That Give You the Web Back

• ♥ 24
• 💬 1

Hello, I'm Maneshwar. I'm building git-lrc, a Micro AI code reviewer that runs on every commit. It is… Context: Dev.to – Web Dev.

bert-base-uncased: Google's foundational English masked-language model

google-bert/bert-base-uncased

• ♥ 2,714
• ⇣ 93.3M

BERT base model (uncased) is a pretrained English language model that predicts masked tokens in text using a masked language modeling objective. It remains a widely used baseline for NLP tasks, with 93,252,036 downloads and 2,714 likes on Hugging Face. The model is available under the Apache-2.0 license and supports multiple framework backends including PyTorch, TensorFlow, JAX, Rust, CoreML, ONNX, and Safetensors.

If coding has been solved, why does software keep getting worse?

• ▲ 709
• 💬 532

An essay on ptrchm.com argues that despite rapid advances in AI coding tools, software quality is declining rather than improving. The author observes that while models keep improving and programmers face layoffs, the practical reality is that nothing seems to work properly. The piece challenges the prevailing narrative that AI-driven development automatically produces better software outcomes. The discussion drew 709 points and 532 comments on Hacker News.

Nvidia, Microsoft, Meta warn against overregulating open-weight models

• ▲ 576
• 💬 257

An article reporting that Nvidia, Microsoft, and Meta signed a letter urging policymakers not to overregulate open-weight AI models, arguing that restrictive rules could handicap American companies. The article notes that Chinese open-weight models are gaining ground against US offerings, and that OpenAI and Anthropic notably did not sign the letter. The Hacker News discussion drew 576 upvotes and 257 comments.

'World Models' Will Be the Next Buzzword. The Man Saying That Just Raised $1B to Build One

• ♥ 12
• 💬 1

In March, the CEO of a research lab with zero products closed a $1.03 billion seed round — the… Context: Dev.to – AI/ML.

Teaching Google Antigravity to Paint: A Stateful Image-Editing Skill Built on Gemini's Interactions API and MCP

• ♥ 8
• 💬 2

How nb2lite-skill-agy packages Google's gemini-3.1-flash-lite-image as an Antigravity skill + MCP server — with multi-turn stateful edits, a simple install guide, and a dogfooded cover image. Context: Dev.to – AI/ML.

Opus 5 is currently #1 on Artificial Analysis Intelligence Leaderboard

• ▲ 238
• 💬 139

Anthropic's Opus 5 model has reached the number-one position on the Artificial Analysis Intelligence Leaderboard, which benchmarks large language models on quality alongside metrics like price, output speed, latency, and context window. The achievement drew significant attention on Hacker News, accumulating 238 points and 139 comments. The leaderboard provides comparative analysis to help practitioners evaluate model trade-offs across multiple dimensions.

Anthropic cuts API costs with Opus 5 as rivals unite to defend open weights

• ♥ 5

Anthropic dominated the day’s product cycle with the surprise launch of Claude Opus 5, a model that… Context: Dev.to – AI/ML.

Show HN: I simulated closing the Strait of Hormuz on real oil trade data

• ▲ 149
• 💬 78

An interactive visualization tool that simulates the systemic impact of closing the Strait of Hormuz using real global crude oil trade data. Built by Supply Chain Network Dynamics, the SCN Global Flow Monitor models destabilized nodes, systemic deficit in MMbbl/wk, throughput ratios, and clearing prices. An accompanying paper is available on arXiv. The Hacker News discussion drew 149 points and 78 comments.

open-code-review: Alibaba's hybrid AI code review tool

alibaba/open-code-review

• ★ 12.5k
• ⮂ 849

open-code-review is an open-source, CLI-based code review tool from Alibaba that combines deterministic rule pipelines with an LLM agent to produce precise, line-level comments on pull requests. It ships with a fine-tuned ruleset covering issues such as NPE, thread-safety, XSS, and SQL injection, and integrates with OpenAI- and Anthropic-compatible models. Written in Go and licensed under Apache-2.0, it has 12,490 stars and 849 forks.

I Was Optimizing Ranking While the Real Problem Was Selection

• ♥ 2
• 💬 1

I mistook movement for improvement. For three months, I changed our ranking algorithm every two… Context: Dev.to – AI/ML.

Buzz

a new groupchat platform for teams of people and agents of all sizes, built to reduce our dependency on slack and github. model-agnostic, decentralized, self-sovereign, and open source. 🐝. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Pushary

Your AI agents stop when they need a permission or an answer. Pushary puts that yes or no on your lock screen, so the work keeps moving while you are away. New in this launch: native iPhone and Android apps. Pair with your terminal by scanning a QR code, no key to paste. Approvals, questions, and task-done alerts from… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Fluree AI

Fluree is an enterprise AI data platform and verifiable knowledge graph database that combines immutability, security, and semantic graph capabilities. It operates as a unified intelligence layer, helping organizations connect fragmented information into a single "source of truth" to power zero-hallucination AI agents… Worth checking for automation claims, data-access patterns, and human-in-the-loop requirements.

Prosed

You've spent years creating—newsletters, podcasts, LinkedIn posts, courses. The book is in there. You just haven't had time to assemble it. Prosed's Inkwell pipeline analyzes your voice, structures your scattered content into chapters, and produces a manuscript that actually sounds like you. Not generic AI writing or… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

White House offers its science blueprint: More AI, less life sciences. ‘Science: A New Golden Age’ report calls for shifting billions from universities to tech companies

A White House report titled 'Science: A New Golden Age' proposes rebalancing federal science funding to prioritize artificial intelligence over life sciences. The blueprint calls for redirecting billions in research dollars from universities to technology companies. The report is being discussed in the r/artificial community, though the underlying article was not accessible for independent verification of specific claims.

Bipartisan bill would require companies to tell users when they're talking to AI

A proposed bipartisan bill would compel companies to notify users whenever they are interacting with an AI system rather than a human. The legislation, discussed in the r/artificial community, targets transparency in consumer-facing AI interactions. If enacted, it would create a legal obligation for businesses to explicitly label AI-driven chat, support, and content-generation experiences at the point of contact.

China’s open AI strategy is changing the race

An article discussing how Chinese AI labs are using open model releases to reshape competitive dynamics, with Moonshot AI's Kimi K3 cited as a case where openly sharing a model lets external companies contribute compute resources that benefit the model's originator. The piece frames this openness as a strategic move turning distributed computing power into a competitive advantage for Chinese AI firms.

Opus 5's effort dial is not monotonic. Above "high", coding scores go down, and Anthropic's own migration guide says so.

A community signal on r/artificial reports that Claude Opus 5's five effort levels (low, medium, high, xhigh, max) do not monotonically improve coding results. On the FrontierCode benchmark, scores reportedly decline above the high setting, with the stated reason being that the model begins making unnecessary changes. Anthropic's own migration guide is cited as confirming this non-monotonic behavior, suggesting users defaulting to max effort may get worse coding outcomes.

Avichal Garg (Electric Capital, 10 unicorns) names the 3 moats AI can't touch — and #3 isn't a skill

Electric Capital partner Avichal Garg, who has co-founded and backed 10 unicorns, outlines three categories of value that AI cannot absorb. He identifies physical-world work as the first moat, since robotics lags digital AI and atoms-based tasks resist automation. The third category is noted as something other than a skill. The full discussion originated on the r/artificial subreddit.

What do you follow to stay current with AI?

A Reddit thread on r/artificial asks practitioners how they stay informed about the rapid pace of AI development without excessive scrolling. The original poster notes the near-daily launch of new models, tools, coding assistants, and workflows, and invites community members to share their regular information sources, whether newsletters, podcasts, feeds, or other channels. The thread surfaces crowd-sourced recommendations from people actively working in the field.

You shall not pass… the Turing test? You have my sword, my bow, and my training data

A community discussion thread on the r/artificial subreddit playfully referencing the Turing test and Lord of the Rings, likely debating whether current AI language models can convincingly pass as human in conversation. The thread title's reference to "training data" suggests participants are examining how large language model training methods relate to classic benchmarks of machine intelligence and conversational ability.

A Love Letter to Object Orientation

An essay arguing that object-oriented programming discarded its most valuable idea when it fell out of fashion. The author traces the origins of OOP and introduces the Abject project and its Ask protocol, which attempt to restore the message-passing essence of objects in a context shaped by AI. The piece is practitioner-oriented and aims to clarify a concept the author has been refining based on reader feedback.

Open Weights and American AI Leadership

This is a Microsoft corporate-responsibility position paper arguing that open-weight AI models can expand access, strengthen competition, and improve security while helping sustain American AI leadership. It draws a historical parallel to the 1980s open-source software movement, framing transparent, modifiable model weights as a mechanism for broad developer participation. The paper was surfaced on Lobste.rs for community discussion.

I'm running the ICFP programming contest (2026)

A blog post by the organizer of the 29th annual ICFP Programming Contest, which began July 24, 2026 and runs for three days. The central design challenge addressed is how to run a competitive programming contest in a world where participants can use AI agents. The author collaborated with three others over several months to create the contest structure and problems.

Kimi K3 exploited the latest Redis server

• ▲ 191
• 💬 55

A social media post by Chaofan Shou claims that Kimi K3, an AI model, discovered and exploited a zero-day vulnerability in a recent Redis server release. The Hacker News submission reached 191 points and 55 comments, indicating the community is evaluating the claim's credibility. The report is unverified beyond the original post, so practitioners should await technical details before drawing conclusions about Redis security.

CVE-2026-16232: Check Point SmartConsole Improper Authentication Vulnerability

CVE-2026-16232 is an improper authentication vulnerability affecting Check Point SmartConsole, a security management console used to configure firewall policies. The flaw is listed in the CISA Known Exploited Vulnerabilities catalog, indicating active exploitation in the wild. Specific affected versions, CVSS score, and patching guidance were not available in the provided context and should be confirmed via the primary NVD advisory.

CVE-2026-50522: Microsoft SharePoint Deserialization of Untrusted Data Vulnerability

CVE-2026-50522 is a deserialization-of-untrusted-data vulnerability affecting Microsoft SharePoint, listed on the CISA Known Exploited Vulnerabilities catalog. Deserialization flaws in SharePoint can allow attackers to execute arbitrary code by sending crafted data that the server processes. No specific affected versions, CVSS score, or exploit details are available from the provided context; engineers should consult the NVD entry and Microsoft advisory for authoritative mit…

Verification: cisa kev confirmed.

CVE-2026-60137: WordPress Core SQL Injection Vulnerability

CVE-2026-60137 is a SQL injection vulnerability affecting WordPress Core that has been confirmed on the CISA Known Exploited Vulnerabilities catalog, indicating active exploitation. SQL injection flaws can allow attackers to manipulate database queries, potentially exposing or modifying site data. No specific details regarding affected versions, attack vectors, or mitigation steps were available from the fetched NVD page, so engineers should consult the primary advisory dire…

Half-Life 2 running natively on HaikuOS

• ▲ 289
• 💬 54

A community effort to bring modern gaming to the Haiku operating system, demonstrating Half-Life 2 running natively on the platform. The project leverages a port of NVIDIA's open GPU kernel modules, released under MIT license, targeting Turing and later GPUs. The discussion on the Haiku forum covers progress on integrating the NVIDIA driver stack, with 289 points and 54 comments on Hacker News indicating significant community interest.

superfile: terminal-based file manager written in Go

yorukot/superfile

• ★ 19.7k
• ⮂ 602

superfile is an open-source terminal file manager written in Go that provides a visual interface for browsing and manipulating files from the command line. Built with the bubbletea TUI framework, it supports macOS, Linux, and Windows with multiple installation methods including Winget and Scoop. The MIT-licensed project has accumulated 19,718 stars and 602 forks on GitHub.

The new Firecrawl /search

The API to search, scrape, and interact with the web at scale. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Delightful integration tests in Rust

This is a specific guide within the rust-magic-patterns repository, which collects and simplifies advanced Rust programming patterns. The linked document focuses on structuring integration tests in Rust, aimed at practitioners seeking maintainable test setups. The parent repository is written in Rust, has 1,874 stars and 55 forks, and covers topics including blog content and Rust language techniques.

FreeBSD ports frozen after someone commits the entire 150MB Linux Copilot binary

The FreeBSD ports tree was frozen after someone committed the entire 150MB Linux Copilot binary into the repository, triggering an unusual operational disruption for the project. A ports freeze halts normal commits to the package collection, meaning maintainers cannot land routine updates until the large binary is removed and the tree is restored to a clean state.

My security camera shipped a GitHub admin token in its login page

• ▲ 557
• 💬 188

A hardware security camera shipped a web login page that exposed a GitHub personal access token with admin-level privileges, according to a Hacker News discussion with 557 points and 188 comments. The embedded token could allow unauthorized repository access to the manufacturer's source code and infrastructure. The report concerns Hanwha camera firmware and highlights the risk of secrets accidentally committed to shipped device software.

Firefox Containers Preview

• ▲ 286
• 💬 93

Mozilla is introducing native Containers as a preview feature in Firefox 153, letting users separate work, personal, and other browsing contexts without installing an add-on. Each container keeps cookies, sessions, and stored logins isolated from others, so a user can stay logged into multiple accounts on the same site simultaneously or reduce cross-site tracking. The Hacker News discussion drew 286 points and 93 comments.

Postgres LISTEN/NOTIFY actually scales

• ▲ 275
• 💬 49

A blog post demonstrating that PostgreSQL's built-in LISTEN/NOTIFY mechanism can support high-throughput data streams in production. The authors optimized the feature to achieve 60,000 writes per second on a single Postgres server with millisecond-scale latency, challenging the common assumption that the notification system is unsuitable for scaled workloads. The post received 275 points and 49 comments on Hacker News.

DSCI – CI with regular programming languages instead of YAML

• ♥ 2

DSCI is a Forgejo CI runner that lets developers write pipeline logic in regular programming languages such as Python or Raku rather than YAML. Users place two files—a small .dsci/jobs.yaml descriptor and a .dsci/job.py script—into a .dsci/ directory at the repository root to get started, allowing pipeline steps to leverage familiar language features and tooling.

The Hidden Complexity of PostgreSQL Logical Replication

• ♥ 1
• 💬 3

We were building a PostgreSQL Logical Replication monitoring system — topology visualization, lag… Context: Dev.to – Postgres.

Hotspot Meter

Hotspot Meter is a free macOS menu-bar app that shows exactly how much data each Wi-Fi network and phone hotspot uses. See live download and upload speeds, track session and per-network totals, review usage history, and get an alert before reaching your data cap. Everything runs locally on your Mac: no analytics, no a… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

HealthyNotch

You've been at your desk for six hours. Haven't had water since breakfast. Neck locked in one position, eyes dry from the screen. You didn't even notice until now. HealthyNotch lives quietly in your Mac's notch and nudges you before it gets that far: stand up, drink water, blink, stretch. No dock icon, no logging, no… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Liso

Highlight any article, newsletter, blog post, or page on the internet. Liso instantly turns it into beautiful audio. Your personal audiobook, built from the things you actually want to read. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Fedica 2.0

Fedica: Publish and grow your profile across social apps Product Hunt Fedica Publish and grow your profile across social apps 4.9 • 32 reviews • 1.4K followers Publish and grow your profile across social apps 4.9 • 32 reviews • 1.4K followers Visit website Social media managemen… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

YC has it

Describe your problem in plain English. ychasit searches 4,000+ active YC companies and finds the startups that solve it, with reasoning, pricing, and integrations. 100% Free forever. No login. No signup. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

India's first privately-developed rocket reaches orbit on debut launch

• ▲ 566
• 💬 165

An Ars Technica article reporting that India's first privately developed rocket successfully reached orbit on its debut launch attempt. The achievement marks a milestone for the country's commercial space sector, as reaching orbit on a first attempt is rare in orbital rocketry. The launch drew significant community attention, generating 566 points and 165 comments on Hacker News.

I turned a photo of my handwriting into a real font, then open-sourced the whole pipeline

• ♥ 9
• 💬 1

I wrote my alphabet in a spiral notebook, took one photo in dim light, and got an installable TTF out… Context: Dev.to – Opensource.

Taylor Farms Called White House to Try to Delay Cyclospora Recall

• ▲ 179
• 💬 64

A Wall Street Journal article reports that Taylor Farms contacted the White House in an attempt to postpone a recall linked to a Cyclospora parasite contamination. The recall affected bagged salad products, and the report raises questions about political influence over food safety regulatory processes. The Hacker News discussion drew 179 points and 64 comments, reflecting significant public interest in the intersection of industry pressure and public health oversight.

An old patent inspired the new "Y-zipper", a three-sided fastener

• ▲ 170
• 💬 35

MIT CSAIL researchers developed a system for designing three-sided fasteners called Y-zippers, based on a patent concept that is roughly four decades old. The system also 3D prints the resulting components. Y-zippers can be attached to or embedded in items such as camping equipment, medical gear, robots, and art installations, allowing each item to switch between soft and rigid states. The Hacker News discussion drew 170 points and 35 comments.

Designing an Ethernet Switch ASIC

• ▲ 160
• 💬 43

This is a technical project page detailing the design of an Ethernet switch ASIC, a custom silicon chip that routes packets between network ports at wire speed. It attracted significant community attention, reaching 160 points with 43 comments on Hacker News. The resource covers the architectural decisions and engineering challenges involved in building dedicated switching hardware rather than relying on software-based routing.

Users tried to object to their chatgpt logs being handed to the NYT. the court ruled they were "non-parties" to their own conversations.

A court ruling in the OpenAI copyright case determined that ChatGPT users have no standing to prevent their conversation logs from being handed over as evidence. The order requires preservation of every ChatGPT output log, including chats users had deleted. When affected users attempted to intervene to protect their own conversations, the court ruled they were non-parties, meaning they had no legal claim over the content they personally typed into the system.

Chrome registers a global shortcut for Gemini popup window

A blog post on Unsung documents Chrome registering a global operating-system keyboard shortcut that triggers a Gemini popup window, tying up a system-wide key combination that other applications can no longer use. The author frames this as part of a pattern of user-hostile Chrome behavior, citing prior incidents including a problematic updater and the automatic installation of a large file.

Watching Go's new garbage collector move through the heap

An engineering article examining Go 1.26's switch to the Green Tea garbage collector as the default GC. The author uses perf to observe the collector's cache-friendliness, visualizes heap allocation patterns, and investigates a sparse-page problem inherent to non-moving collectors. It offers practitioners concrete tools and methods for understanding how the new GC traverses memory and where allocation fragmentation can cause issues.

Systems and Delays (2026)

An engineering essay by Martin Janiczek examining how delays in systems behave in counterintuitive ways. The article is aimed at practitioners building or debugging timed processes, and was surfaced via Lobste.rs community discussion. Beyond the stated premise that delays can produce surprising outcomes, the available context does not include specific examples or implementation details, so the full argument requires reading the original post.

git rebase -i is not that scary

A practitioner-focused article that demystifies git rebase -i for developers who avoid the command out of caution. The author, a junior developer, observes that fear of interactive rebasing is widespread even among experienced engineers. The piece serves as a walkthrough guide aimed at reducing that anxiety by explaining how the command works in practice, making it approachable for day-to-day Git workflows.

We Are Not Special

This is an essay by Hillel Wayne, surfaced via Lobste.rs, arguing against the belief that one's own project or team faces unique conditions that exempt it from established engineering practices. It is part two of a crossover project and has been adapted into a conference talk. The context available is limited to the title and structural metadata, so the specific examples and arguments within the piece could not be extracted.