Matt Pocock’s skills, all-MiniLM-L6-v2, Karpathy CLAUDE.md – Oct 11

skills: Matt Pocock's collection of daily agent skills

mattpocock/skills

• ★ 284.9k
• ⮂ 23.8k

A Shell-scripted, MIT-licensed repository where TypeScript educator Matt Pocock shares the AI agent skills he uses daily for what he calls "real engineering – not vibe coding". The files come straight from his own .agents directory, so they are working examples rather than tutorials. The repo has 284,898 stars and 23,843 forks, with a homepage at aihero.dev/skills.

all-MiniLM-L6-v2: compact sentence-embedding model for semantic search

sentence-transformers/all-MiniLM-L6-v2

• ♥ 6,238
• ⇣ 225.6M

all-MiniLM-L6-v2 is a sentence-transformers model that maps sentences and paragraphs into a 384-dimensional dense vector space, making it a common choice for clustering and semantic search. It has 225,633,601 downloads and 6,238 likes on Hugging Face. It is Apache-2.0 licensed and ships in multiple formats including PyTorch, ONNX, and OpenVINO.

How Do We Extract the “Why” from a PR into a CHANGELOG with Jev? 🤔

• ♥ 64
• 💬 19

Hoi hoi! 👋 I'm @nyaomaru, a frontend engineer currently building an AI-assisted CHANGELOG generator… Context: Dev.to – AI/ML.

andrej-karpathy-skills: CLAUDE.md file to steer Claude Code

multica-ai/andrej-karpathy-skills

• ★ 218.5k
• ⮂ 22k

This repository provides a single CLAUDE.md file intended to improve Claude Code's behavior, with guidance derived from Andrej Karpathy's observations about common LLM coding pitfalls. Users drop the file into their Claude Code setup so the agent follows its rules instead of recurring failure patterns. The repo has 218,467 stars and 22,002 forks, and its README also points to Multica, an open-source platform for running coding agents with reusable skills.

bge-m3: multilingual multi-function embedding model from BAAI

BAAI/bge-m3

• ♥ 3,843
• ⇣ 33M

BAAI/bge-m3 is an embedding model for sentence-similarity tasks, usable with the sentence-transformers library. It is built on XLM-RoBERTa and supports dense, sparse, and multi-vector retrieval with multi-functionality, multi-linguality, and multi-granularity, covering long inputs. It ships PyTorch and ONNX weights under an MIT license, with 33,016,456 downloads and 3,843 likes on Hugging Face.

bert-base-uncased: Google's classic English fill-mask model

google-bert/bert-base-uncased

• ♥ 3,398
• ⇣ 36.6M

bert-base-uncased is Google's pretrained BERT base model for English, trained with a masked language modeling objective and commonly used for fill-mask tasks and fine-tuning. It is uncased, meaning text is lowercased during tokenization. Released under the Apache-2.0 license, it has 3,398 likes and 36,586,526 downloads on Hugging Face, with weights available in PyTorch, TensorFlow, JAX, ONNX, and other formats.

Build your own decision model

• ▲ 219
• 💬 52

Build your own decision model Mastodon "System one" decision models are models that infer and respond with calibrated probabilities or every allowed answer.

Mxc: Microsoft Execution Containers version 1.0.0

• ▲ 182
• 💬 41

Mxc is Microsoft's version 1.0.0 release of Execution Containers, a policy-driven containment mechanism for AI agents, announced on the Windows Developer Blog. It addresses the security risk that agents working across files, networks, and applications introduce, since customers otherwise face a choice between giving agents unrestricted access or limiting them. The Hacker News discussion drew 182 points and 41 comments.

12 of 13 AI models knew the new name and still wrote the old one

• ♥ 25
• 💬 8

This is a submission for the Kaggle Benchmarking Challenge What I Benchmarked TL;DR. I… Context: Dev.to – AI/ML.

agent-skills: production engineering skills for AI coding agents

addyosmani/agent-skills

• ★ 104.6k
• ⮂ 10.9k

agent-skills is a MIT-licensed JavaScript repository by Addy Osmani providing reusable, production-grade engineering skills for AI coding agents such as Claude Code, Codex, Cursor, and Antigravity. Skills are structured instructions that guide agents on practices like code review and implementation discipline. The repo has 104,598 stars and 10,914 forks, with 128 open issues.

OpenSCAD the Programmers Solid 3D CAD Modeller

• ▲ 131
• 💬 104

OpenSCAD is a free solid 3D CAD modeller designed for people who prefer describing geometry as code rather than manipulating shapes with a mouse. Models are defined as scripts, making designs parametric, version-controllable, and reproducible. The site points to an active community on the libera.chat IRC network, a user manual and tutorial, and a new English book, This is OpenSCAD by Roberto Hamm.

Docker just shipped the agent wall I wanted. It's off by default.

• ♥ 16
• 💬 21

docker-agent comes preinstalled with Docker Desktop 4.63 — declarative YAML agents, MCP toolsets, and a VM sandbox with default-deny egress you have to opt into. A source read. Context: Dev.to – DevOps.

How to Make Playwright Autonomous (Without Letting an AI Agent Run Wild)

• ♥ 11
• 💬 4

Playwright is very good at following instructions. Tell it to click a button, it clicks the button…. Context: Dev.to – Playwright.

A hash chain proves the ordering. Four attacks prove it's not enough.

• ♥ 7
• 💬 14

Randal L. Schwartz published a gate-attack catalog built from real failures. I replayed it against my reconciliation layer as a test suite. The score, not the slogan. Context: Dev.to – Ai.

ReSO AI

ReSO is a generative engine optimization platform that helps brands show up in AI search results. It’s built for founders, CMOs, and growth teams who want to turn buyer intent in ChatGPT, Perplexity, and Google AIO into visibility, citations, and traffic. What makes it different is that it doesn’t just track rankings,… Worth checking for automation claims, data-access patterns, and human-in-the-loop requirements.

TapNoise

Meet Tappy, a little keycap who lives on your Mac's desktop. Tappy sweats when you type fast, gets dizzy when you slap your MacBook, eats when the charger goes in and naps when you're away. Coding with Claude Code, Codex or Cursor? Tappy chimes when your agent is done and sweats until you knock twice on your MacBook t… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Lune

Lune is Exa.ai for scientific research. It connects AI agents to research knowledge and tools built for scientific workflows, and provides high-quality knowledge grounding based on papers from top-tier academic conferences. 10x the efficiency and trustworthiness of literature review, experimental design, writing and p… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Claude Opus 5.5 decompiles a PS2-era game overnight, and hundreds of them now run in browser tabs

A Reddit thread on r/artificial reports that Claude Opus 5.5 was used to decompile a PlayStation 2-era game overnight, and that hundreds of such games can now reportedly run in browser tabs. The claim is community-sourced and marked only as a community signal, so it has not been independently verified. For practitioners, it illustrates how capable large models are becoming at large-scale reverse-engineering tasks.

Non-text AI model maker Jev valued at $7.5B just weeks after launch

A Reddit discussion in r/artificial reports that Jev, a startup building non-text AI models, has reached a $7.5 billion valuation just weeks after launching. The claim is a community signal rather than verified reporting, so practitioners should treat the figure cautiously and evaluate the underlying model capability, data requirements, cost, and operational limits before drawing conclusions.

Microsoft's Satya Nadella says AI models need an 'emergency brake'

A Reddit discussion on r/artificial reports that Microsoft CEO Satya Nadella said AI models need an "emergency brake," a mechanism to halt or limit AI systems when they misbehave. The post is a community signal rather than verified reporting, so practitioners should treat the quote as unconfirmed. It touches on ongoing debates about AI safety controls and kill switches for deployed models.

A Florida local newspaper ran an op-ed. It was an Iranian AI fake.

This is a Reddit discussion in r/artificial about a reported incident where a local Florida newspaper published an op-ed that was later identified as an AI-generated fake attributed to an Iranian operation. The item matters to practitioners because it illustrates how generative text can be planted in small local outlets, which often have limited editorial verification resources. Only the headline-level claim is available in the context; no article details or verification fin…

Observations On Artificial Intelligence for Everyday People

A Reddit discussion thread in r/artificial titled "Observations On Artificial Intelligence for Everyday People," flagged as a community signal rather than a verified news source. It appears to collect a layperson's views on how AI tools behave or affect daily life. Because the fetched page contains no article text or comment details, the substance of the observations themselves is not available from the provided context.

Task-structured modularity emerges in artificial networks and aligns with brain architecture

A research article discussed on r/artificial reports that artificial neural networks trained on tasks spontaneously develop modular organization that matches patterns seen in brain architecture. The finding matters to practitioners studying interpretability and biological plausibility, suggesting task structure alone can shape network organization without explicit design. No additional method details or author information were available from the fetched context.

Tips from scientists about conscious use of AI – National Centre for Atmospheric Science (NCAS) – September 2025

This is a Reddit thread in r/artificial linking a September 2025 article from the UK's National Centre for Atmospheric Science (NCAS), in which scientists offer practical guidance on using AI deliberately and critically in research. The article ends with quick tips and recommended resources for conscious AI use. It is relevant to practitioners thinking about how AI should be applied responsibly in scientific work.

Super Micro case 'fixer' pleads guilty to sending AI servers to China

This is a news report, discussed on r/artificial, that a man described as a case "fixer" for Super Micro pleaded guilty to charges related to sending AI servers to China. The case matters to practitioners because it touches on US export controls around AI hardware and channel compliance. The available context is only the headline and a bare Reddit page snippet, so details of the plea, charges, and timeline are not provided.

Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation

Byte Language Models: Scaling, Emergent Abstractions, and Information Allocation is a practitioner-focused engineering link from Lobste.rs; review it for implementation detail, operational lessons, and discussion quality.

CVE-2015-5477: ISC BIND Data Processing Errors Vulnerability

CVE-2015-5477: ISC BIND Data Processing Errors Vulnerability is a security signal; verify the primary advisory, affected versions, and mitigation guidance.

Verification: cisa kev confirmed.

CVE-2016-3081: Apache Struts Command Injection Vulnerability

CVE-2016-3081 is a command injection vulnerability affecting Apache Struts, listed in CISA's Known Exploited Vulnerabilities catalog, which indicates it has been exploited in the wild. It is an older 2016-era flaw, so patching urgency applies mainly to legacy systems still running affected Struts versions. Exact affected versions and mitigation steps should be confirmed from the NVD entry or the primary Apache advisory.

CVE-2023-22894: Strapi Cleartext Storage of Sensitive Information Vulnerability

CVE-2023-22894 is a vulnerability in Strapi, a headless CMS, involving cleartext storage of sensitive information. It is listed in the CISA Known Exploited Vulnerabilities catalog, meaning federal agencies and other operators are expected to treat it as actively exploited in the wild. Affected Strapi versions, the exact data exposed, and patch or mitigation steps should be confirmed from the primary advisory and vendor guidance, as the fetched page did not load substantive d…

Nix wrote half of my debugger

• ▲ 174
• 💬 37

A blog post by Farid Zakaria describing how a deterministic virtual machine, called Rewind VM, functions as much of his debugging workflow. Because every run of a Nix build becomes a pure function of its inputs, including the thread schedule, he can reliably find, reproduce, and fix race conditions in Nix builds. The post drew 174 points and 37 comments on Hacker News.

Why 'externalized' proofs of cyclic trait impls does not work

A blog post by Niko Matsakis (baby steps) examining a design problem in Rust's trait system: proving that cyclic trait impls are valid. It is part of an ongoing series on cyclic trait impls and argues why an 'externalized' proof approach, where the proof obligation lives outside the impl itself, does not work. The post is aimed at language designers and compiler implementers working on coherence and trait checking.

The YAML Norway problem and cron's day-of-month trap: two config formats that lie to you

• ♥ 19
• 💬 1

Feed four innocent lines to PyYAML, Python's everyday YAML library: python3 -c 'import yaml;… Context: Dev.to – DevOps.

The same app dropped 51 requests on Kubernetes and none on DigitalOcean's App Platform

• ♥ 15

I deployed the worst version of my app, one that exits the instant it gets SIGTERM, to App Platform and redeployed it four times under load. 278,014 requests, none lost to a deploy. Then I found the one window where requests still fail, and the setting that closes it. Context: Dev.to – Web Dev.

Isly

Isly turns the MacBook notch into a living control center: music from any app with cover art and scrubber, live timers and calendar events, clean volume/brightness readouts, and more – all without leaving your workflow. Light on resources (≈0.2% CPU idle, ~49 MB RAM), smooth animations, and a one-time €3.99 license wi… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Cue

Your headphones become a focus switch. Put your AirPods in and your Mac turns on your Focus mode, blocks distracting sites and starts a timer in the notch. Take them out: break time, sites come back. Also in the notch: now playing, volume and brightness, your own colors, session history and two tiny buddies that react… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Claude Dashboards & Motion

Claude Dashboards and Claude Motion are beta artifacts in Claude. Dashboards connects to BigQuery, Databricks, Snowflake, Redshift, ClickHouse or Salesforce and turns a plain language question into a live dashboard that refreshes as your data changes, with the query behind every number. Motion turns reports, charts an… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

2D Vehicles

• ▲ 430
• 💬 94

The story of a 2D vehicle physics prototype created in 1996 and later remastered as Motion Lab.

A city-building game in which the city would prefer you didn't

• ▲ 281
• 💬 95

A browser-based city-building game by Oliver Sin in which players attempt to get housing approved in San Francisco while the city resists. Gameplay elements shown on the site include height limits, supervisor districts, homeowner and coalition politics, city map and sites, and an in-game newspaper, The Fog City Ledger. It drew 281 points and 95 comments on Hacker News.

Knuth reward check

• ▲ 182
• 💬 68

A personal article recounting how, twenty years ago, the author received one of Donald Knuth's famous reward checks. Knuth confirmed an error the author had found in one of his books and mailed the coveted check, a hexadecimal-valued token Knuth has long sent to readers who report mistakes. The discussion on Hacker News drew 182 points and 68 comments.

Unikernels were hard. key word: were

• ▲ 141
• 💬 60

An essay arguing that unikernels are ready for a comeback now that the friction that made them impractical has been removed. The author, in conversation with Justin Cormack (formerly of MirageOS and Unikernel Systems), contends the operating system is design debt and that security-conscious teams should seriously consider unikernels. The piece is part of a series of conversations Cormack is running in his newsletter. The Hacker News thread drew 141 points and 60 comments.

Consistency is not a localized property

An engineering blog post arguing that developers commonly assume consistency can be achieved within a single component, when it actually depends on the whole system. The author illustrates this with an example where making writes exactly-once took a team of distributed systems engineers years, required several new components, and forced a complete rewrite of older components. The lesson is relevant to anyone designing services that promise consistency guarantees.

Kiesel Devlog #15: Release 0.4.0

This is a development log post by Linus Groh announcing version 0.4.0 of Kiesel, published on 2026-10-08. The devlog format documents the engineering work behind the release, making it relevant to practitioners tracking incremental implementation progress and release decisions on the project. The fetched page snippet only confirms the title, author, and publication date, so further specifics on features or fixes could not be verified from context.

Inside a 1980s filter chip that uses switched capacitors

This is a hardware teardown article examining the internals of a 1980s-era Harris filter integrated circuit built on switched-capacitor techniques. CuriousMarc found the chip in a box of old ICs labeled "F1-10-5", a part number that did not appear in any databooks, prompting identification via microscope. The article explains how switched capacitors implement filtering on-chip and why such chips were used before continuous-time alternatives dominated.

Making np.searchsorted up to 25× Faster in NumPy 2.5

A performance engineering write-up by Alejandro Candioti on the scientific Python blog explaining how np.searchsorted was sped up in NumPy 2.5. It batches independent binary searches with NumPy's vectorized operations, then reformulates the algorithm so all searches advance together using only O(1) additional memory, and ports the code to C++, reaching up to a 25× speedup over NumPy 2.4's implementation. Useful for evaluating profiling and allocation trade-offs in similar co…

SNTPings, draw on a canvas using ICMPv6

SNTPings is a network-art project by Studenten Net Twente, the University of Twente's student network association, that renders images on a canvas using ICMPv6 echo traffic. Visitors' pings act as paint strokes, turning live protocol responses into a shared pixel drawing. It is being revived as an edition timed to the October 9 launch of SURFnet Infinity.

JSON Tiles: Fast Analytics on Semi-Structured Data (2021)

%PDF-1.5 %���� 1 0 obj stream x�mUMo�0��Wx���N�W����H �� Z�&��T��� 3ڮ�z ��y�87?�����n�k��N�ehܤ��=77U�\�;?:׺v�==��o��n�U����;O^u���u ���½��O ��ۍ�=٘�a�?���kLy�6F��/7��}��̽���][�H ���2���$�TY'�(Zq����BJŌ )K�̌%553 stream x�mTˎ�0��+�$���$0�� ���
�� �a A%�…