Ollama: run large language models locally & Claude: System Prompts – Aug 17

Ollama: run large language models locally

ollama/ollama

• ★ 178.7k
• ⮂ 17.4k

Ollama is an open-source tool, written in Go and MIT-licensed, that lets users download and run large language models such as DeepSeek, Qwen, Gemma, gpt-oss, Kimi-K2.6, GLM-5.2, and MiniMax on their own machines. It ships an official Docker image on Docker Hub and has 178,739 stars and 17,437 forks on GitHub.

Claude: System Prompts

• ▲ 619
• 💬 248

Anthropic maintains a changelog documenting updates to the core system prompts used by Claude on claude.ai and the Claude iOS and Android apps. The notes show how prompt wording shapes behavior, for example encouraging Claude to always provide code snippets in Markdown. The prompt is periodically updated to improve responses, making this a useful reference for anyone studying or designing system prompts. The Hacker News thread drew 619 points and 248 comments.

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

sentence-transformers/all-MiniLM-L6-v2

• ♥ 5,211
• ⇣ 258.1M

all-MiniLM-L6-v2 is a sentence-transformers model that maps sentences and paragraphs to a 384-dimensional dense vector space, used for tasks such as clustering and semantic search. It is Apache-2.0 licensed and ships in multiple formats including PyTorch, TensorFlow, ONNX, OpenVINO, and Rust bindings. It has 258,119,855 downloads and 5,211 likes on Hugging Face, indicating very wide adoption for embedding workloads.

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

BAAI/bge-m3

• ♥ 3,403
• ⇣ 35.6M

bge-m3 is a sentence-similarity embedding model from BAAI, built on XLM-RoBERTa and usable via sentence-transformers. It stands out for combining multi-functionality (dense, sparse, and multi-vector retrieval), multilinguality, and multi-granularity support for inputs up to long documents. Released under the MIT license, it has 35,568,785 downloads and 3,403 likes on Hugging Face, with ONNX and PyTorch weights available.

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

google-bert/bert-base-uncased

• ♥ 2,734
• ⇣ 115.7M

bert-base-uncased is Google's pretrained BERT base model for English, trained with a masked language modeling (MLM) objective and commonly used for fill-mask tasks and as a base for fine-tuning. It ships in the transformers library with PyTorch, TensorFlow, JAX, Rust, CoreML, ONNX, and safetensors weights, and is Apache-2.0 licensed. It remains heavily used, with 115,691,784 downloads and 2,734 likes on Hugging Face.

Pawford Academy — A SwiftUI Puppy Training App with ElevenLabs AI Voice 🐾🎓

• ♥ 16
• 💬 2

Pawford Academy is a hobby iOS project built in SwiftUI for puppy training, submitted to a Dev.to weekend coding challenge (Dog Days Edition). The app integrates ElevenLabs text-to-speech so the training guidance is delivered via an AI-generated voice. The article documents the build as a challenge entry rather than a production release, and has drawn 2 comments so far.

Qwen 3.8 27B is excellent, but it defaults to overthinking things

• ▲ 308
• 💬 126

A blog post by Simon Willison reviewing Qwen 3.8 27B, a newly released 27B-parameter vision-capable LLM from Alibaba's Qwen research lab. Willison finds the model excellent overall but notes it defaults to "wildly overthinking" responses. The model is Apache 2 licensed. The post drew strong community discussion on Hacker News, with a score of 308 and 126 comments, reflecting practical interest in reasoning-model behavior.

The AI Credit Resale Economy

• ▲ 266
• 💬 113

An article by Matt Lenhard on the Vectoral blog examining the brokers who buy unused AI credits from startups and resell them. It maps the marketplaces, bulk-discount routers, and message boards where off-market inference capacity changes hands, following an earlier piece on the token relay market. The Hacker News discussion drew 266 points and 113 comments, reflecting practitioner interest in how discounted AI access circulates outside official channels.

I built a security scanner that checks if you are a dog

• ♥ 12
• 💬 2

A live-video scanner that barks when it sees a dog, built by a self-paced AI loop over one weekend. Every green checkmark in this project was, at some point, green over something broken. Context: Dev.to – AI/ML.

CLI-Anything: toolkit to make all software agent-native

HKUDS/CLI-Anything

• ★ 47.7k
• ⮂ 4,415

CLI-Anything is a Python project from HKUDS that aims to make existing software usable by AI agents by wrapping it with command-line interfaces, turning any tool into something an agent can drive directly. It is Apache-2.0 licensed and has 47,655 stars and 4,415 forks. Project demos show agents using the generated CLIs to produce artifacts such as CAD builds, 3D scenes, diagrams, and subtitles.

How do you form a group nobody can admit they're in?

• ♥ 6
• 💬 3

Arun invoiced a design agency ₹1,20,000 in January. It's August. He is in a 4,000-member designers'… Context: Dev.to – Ai.

llmfit: CLI to find LLMs that fit your hardware

AlexsJones/llmfit

• ★ 31.9k
• ⮂ 1,983

llmfit is a MIT-licensed Rust command-line tool that matches large language models from hundreds of models and providers to a user's local hardware with a single command. It covers formats and ecosystems including GGUF, MLX, and unsloth, targeting people running models locally with tools like LocalAI. A recent feature lets users benchmark on their own machines and share real numbers to improve fit estimates for everyone. The repo has 31,940 stars and 1,983 forks.

Kimi K3 Is 2.8T Parameters. That’s Not the Hardest Part of Serving It.

• ♥ 3
• 💬 1

When I first looked at Kimi K3, the obvious number was 2.8 trillion parameters. That sounds like the… Context: Dev.to – AI/ML.

Three Silent Failures in Two Weeks: What My Agent Pipeline Never Told Me

• ♥ 2
• 💬 1

A corrupt video that every tool called valid, a backup that stopped running while its timer looked healthy, and an API account that hit zero without a single alert. Three production outages from one solo pipeline, and the one monitoring rule that wou. Context: Dev.to – DevOps.

freebuff: free open-source AI coding agent

CodebuffAI/freebuff

• ★ 9,716
• ⮂ 1,096

freebuff is an open-source coding agent from CodebuffAI, written in TypeScript and released under the Apache-2.0 license. Its README positions it as five free AI products covering coding, building, and research. The repository has 9,716 stars and 1,096 forks, with 272 open issues, so review maintenance activity and the issue tracker before relying on it in production workflows.

My AI Agent Tried to Delete Every Customer Record. Here's What Stopped It.

• ♥ 1
• 💬 1

Last Tuesday, 2:47 AM. I was asleep. My AI coding agent was not. It had been running autonomously… Context: Dev.to – DevOps.

Context Is a Platform Capability Now

• ♥ 1

Watch a developer start an agent session on real enterprise work and you will see a ritual. Before… Context: Dev.to – DevOps.

CostLogic

CostLogic is a construction takeoff and job-costing workspace with a powerful agent called Onyx. Onyx can perform actions on your behalf. Upload plans, detect rooms, calibrate scale, measure quantities, turn takeoffs into estimates, and send invoices, all in one browser-based workflow. Go from blueprint to invoice wit… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

HarnessRouter Community Edition

HarnessRouter is an open-source unified interface that lets product teams plug Codex, Claude Code, Hermes, and other supported agent harnesses into their products through one Agent API. It enables them to build and scale agent-powered products quickly without managing separate agent backends. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Chert

Build and deploy conversational iMessage agents for customer service, inbound lead capture, and more. Simply configure the system prompt and tone, and you can create your own conversational iMessage agent for inbound handling, outbound follow-up, or whatever workflow you want to test. You can also integrate with CRMs… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Blume

Ship beautiful, fast, AI-ready documentation from plain markdown. Blume gives you search, theming, SEO, and one-command deploys on Astro and Vite. Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

I figured out a loophole to remove Claude watermark WITHOUT rephrasing

A Reddit post on r/artificial reports an experiment in removing Anthropic's Claude text watermark by editing rather than rephrasing generated text. The author built a watermark generator and detector covering Claude, OpenAI, and Gemini outputs, then tested attack techniques against gpt-oss-20b and Qwen text. The post is a community claim marked as community signal, not independently verified, and full details are only on the linked thread.

U.S. bans foreign-made humanoid robots, targeting China over national security

This is a Reddit discussion on r/artificial about reported U.S. restrictions on foreign-made humanoid robots, framed as targeting China over national security. Commenters note the headline overstates the measure: it is not a ban but an addition to the FCC's Covered List, which blocks new models from receiving FCC equipment authorization. Already-owned robots keep working, and government use is exempt.

The median company is spending lunch money on AI while the top 1% is burning real budget

A Reddit discussion on r/artificial analyzing Ramp AI Index data, also referenced by a16z, on how much companies spend on AI. The spend covers LLM subscriptions, coding agents, API usage, and GPU cloud costs. The poster argues the top 1% of companies spend heavily while the median company spends very little, suggesting most firms are still experimenting with AI rather than committing serious budget.

1.7B model leading strict-7 formal reasoning above Qwen3-8B and Gemma-4-26B – specialists eating generalist territory?

A Reddit discussion in r/artificial claims that TwIL-LM2, a PEFT LoRA adapter built on SmolLM2-1.7B and specialized for formal logic translation, outperforms Qwen3-8B and Gemma-4-26B on strict-7 formal reasoning benchmarks. The post argues that reasoning gains from large labs depend on scale, and that narrow, task-specialized small models may be eroding generalist territory. The claim carries a community_signal verification status, not formal verification.

Koboldcpp v1.119 released

Koboldcpp is an open-source tool for running large language models locally, and this item signals the release of version 1.119, announced on Reddit's r/artificial community. The project lets users run GGML-format models on their own hardware without a server setup. Context for this release is thin beyond the announcement itself, so specific changes in v1.119 are not detailed in the available material.

A split from neuroscience (cortex vs hippocampus) is the best explanation I've found for why AI agents fail on real company work

A Reddit discussion post in r/artificial argues that AI agents fail on real company work because, like the brain, they lack two separate memory systems. Drawing on Complementary Learning Systems theory (McClelland et al. 1995), it compares the neocortex's slow general learning with the hippocampus's fast episodic memory, suggesting agents need an analogous split. The author frames it as an analogy rather than a literal claim.

Data entry specialists, accountants, and office staff: what routine task do you still have to perform manually, and how much time—or perhaps even *too much* time—does it take up?

This is a discussion thread on r/artificial inviting data entry specialists, accountants, and office staff to name routine tasks they still perform manually and estimate how much time those tasks consume. The poster frames the question around whether anything remains that AI cannot yet automate and that still requires a specialized system. Context is thin: only the submission text is available, not the comment replies.

Every Fucking Website

Every AI-generated landing page, all at once, labelling itself as it goes.

You can just choose how many bugs you want now

A blog post by Nolan Lawson arguing that AI-assisted coding introduces a strange new dynamic: developers can effectively decide how many bugs their software will have. He frames this as a bizarre aspect of AI coding he has been trying to pin down, where the level of defects becomes a deliberate choice rather than an emergent property of the development process. It follows his earlier piece on using AI to write better code more slowly.

Models Are Getting Dumber on Purpose

A blog post by Walter van der Giessen arguing that AI labs are deliberately reducing world knowledge embedded in models to cut per-token compute while reasoning benchmark scores keep climbing. He frames this as the right trade-off, citing GLM-5.2 scoring 99.2% on AIME 2026 with about 40 billion parameters active per token. The post matters to practitioners choosing models for knowledge-heavy versus reasoning-heavy tasks.

AI Software Development – What Does The Data Say?

A blog post by Codemanship compiling recent sources on how well LLMs actually perform in software development. The author gathers mostly recent material, including some peer-reviewed studies alongside other evidence, to assess what the data says rather than relying on anecdotes. It is aimed at practitioners evaluating whether AI coding tools genuinely improve development outcomes.

Shipping a vision-model verdict on Bedrock and Lightsail

• 💬 1

One FastAPI route, one Converse call with forced tool use, one container service — and the three AWS details that cost me the most time. 20/20 on the fixture set, median 880 ms against the live deployment. Context: Dev.to – Aws.

CVE-2026-20349: Cisco Secure Firewall Adaptive Security Appliance (ASA) and Secure Firewall Threat Defense (FTD) Heap Inspection Vulnerability

CVE-2026-20349 is a heap inspection vulnerability affecting Cisco Secure Firewall Adaptive Security Appliance (ASA) and Secure Firewall Threat Defense (FTD). It is listed in the CISA Known Exploited Vulnerabilities catalog, indicating it requires priority remediation attention. Specific affected versions, exploit details, and mitigation guidance were not available in the fetched context; readers should consult the NVD entry and Cisco's advisory to verify scope and patches.

Verification: cisa kev confirmed.

CVE-2026-68820: Microsoft Windows Ancillary Function Driver for WinSock Use-After-Free Vulnerability

CVE-2026-68820 is a use-after-free vulnerability in the Microsoft Windows Ancillary Function Driver for WinSock, a kernel component involved in network socket operations. The issue is listed in CISA's Known Exploited Vulnerabilities catalog, indicating it is confirmed to be actively exploited. Affected versions and mitigation guidance should be verified against the primary NVD and vendor advisories, as detailed technical context was not available in the fetched page.

CVE-2026-72898: Metabase SQL Injection Vulnerability

CVE-2026-72898 is a SQL injection vulnerability affecting Metabase, listed in the CISA Known Exploited Vulnerabilities catalog, which indicates it is being actively exploited and warrants prompt patching. The entry is confirmed against CISA KEV, but the specific affected versions, exploit details, and mitigation steps could not be verified from the available context and should be checked against the primary NVD advisory.

remotion-dev/remotion

• ★ 56.5k
• ⮂ 4,254

🎥 Make videos programmatically with React. Github trending; javascript, react, video.

Omarchy: opinionated Arch-based Linux desktop from Basecamp

basecamp/omarchy

• ★ 25.6k
• ⮂ 2,609

Omarchy is an open-source Linux distribution created by DHH (David Heinemeier Hansson) of Basecamp, positioned as a beautiful, modern, and opinionated desktop setup. The repository is written primarily in Shell script, ships under the MIT license, and has 25,619 stars and 2,609 forks. It targets users wanting a curated Linux desktop rather than assembling one manually.

res-downloader: open-source Go tool for downloading video and media streams

putyy/res-downloader

• ★ 19.3k
• ⮂ 2,400

res-downloader is an open-source desktop application, written in Go and licensed under Apache-2.0, for downloading common network resources from platforms such as WeChat Channels, Douyin, Kuaishou, Xiaohongshu, mini-programs, live streams, m3u8 files, and music services like Kugou and QQ Music. It has 19,269 stars and 2,400 forks. The maintainer notes that limited personal time is currently slowing issue responses, PR reviews, and releases.

A faster way to calculate the day-of-the-week

A performance engineering write-up on converting a day-count ("rata die") into a weekday faster than compiler-generated code. The author explores a range of fast modulus techniques that beat the compiler's output, examining allocation trade-offs and profiling decisions along the way. It is useful as a case study for evaluating whether similar micro-optimizations apply to comparable integer-heavy code paths.

Protecting the Rust standard library from accidental breakage

An engineering blog post by Predrag Gruevski explaining how and why the Rust project runs cargo-semver-checks in its CI to guard the standard library against accidental breaking changes. Accidental breakage can happen in any codebase, and the post covers the practical approach of automated semantic-versioning linting to catch API changes before they ship. It is aimed at practitioners interested in CI tooling and library maintenance.

People of ACM – Russ Cox

This is an ACM interview profile with Russ Cox, the tech lead for the Go programming language at Google and a longtime contributor to open-source developer tools. Cox is known for his work on Go's module system and tooling as well as earlier software like the Plan 9 and Inferno operating systems, making his views on language design and engineering practice relevant to practitioners.

A Tour of Magit's Status Interface

An article walking through the status buffer of Magit, an Emacs Git client that the author credits with drawing them to Emacs in the first place. It explains what repository state Magit surfaces at a glance, such as staged and unstaged changes, and which Git commands are accessible directly from the status view, aiming to make the interface's workflow legible to practitioners.

Pony's Arena Allocator

An engineering blog post from the Pony language team explaining the arena allocator used in the Pony compiler and runtime. It covers how allocation groups objects into arenas, enabling cheap bulk deallocation and improving cache locality compared with general-purpose allocators. Practitioners working on compilers or performance-sensitive runtimes can use it as a concrete case study of arena allocation trade-offs. The fetched snippet only confirms the page title.

SCM_RIGHTS API quirks (2019)

This is a 2019 engineering write-up, shared via a GitHub gist and surfaced on Lobste.rs, about pitfalls in the Linux SCM_RIGHTS API used to pass file descriptors between processes over Unix domain sockets. The gist records quirks practitioners hit when implementing descriptor passing, such as behaviors of the ancillary-data API that differ from what documentation suggests. It is aimed at engineers debugging or building fd-passing code.

Low-Tech Ceramic Water Filter

• ▲ 152
• 💬 40

A wiki page from Low-Tech Lab describing a low-tech ceramic water filter for purifying drinking water without expensive equipment. It matters to practitioners interested in appropriate technology and off-grid water treatment. The page gained traction on Hacker News with a score of 152 and 40 comments, where the community discussed its practical construction and effectiveness.

My checker scored one component compliant and another deviant. Neither had a rule behind it.

• ♥ 1

This is a follow-up to part four, not a new part. Part four measured my stated routing policy against… Context: Dev.to – DevOps.

AirAlarm

AirAlarm turns your iPhone and AirPods into a gentler sleep alarm. Set a wake window, drift off with built-in sounds or your own media, and wake at the end of a 90-minute cycle. No Apple Watch, account, ads, analytics, or cloud sleep profile. Worth checking for automation claims, data-access patterns, and human-in-the-loop requirements.

Expeditione

Created by a single person, Expeditione is an Interactive 3D Encyclopedia built to make learning fun and memorable. Instead of simply reading about a subject, you can enter handcrafted, explorable worlds and discover them through interaction. It runs directly in the browser, with no login, ads, or tracking, and is opt… Worth checking for pricing vs value, integrations, data ownership, and workflow fit.

Ichiraku Ramen — A Cozy Japanese Restaurant Landing Page 🍜🌸

• ♥ 32
• 💬 5

This is a submission for Frontend Challenge – Comfort Food Edition, Perfect Landing What… Context: Dev.to – Devchallenge.

A third world engineer responds to “RISC-V: They should have known better”

• ▲ 459
• 💬 234

An essay response by a self-described Third World embedded engineer to Dmitry Grinberg's critical piece "RISC-V: They Should Have Known Better." The author argues against Grinberg's negative take on the RISC-V instruction set architecture, drawing on practical embedded-development experience. The exchange matters to practitioners evaluating RISC-V for real products, and the Hacker News discussion drew 459 points and 234 comments.

Kitchen-Sune: A Community Cookbook

• ♥ 14
• 💬 2

This is a submission for Frontend Challenge – Comfort Food Edition, Perfect Landing What I… Context: Dev.to – Web Dev.

I Can Finally Delete My max-height: 9999px Animation Hack

• ♥ 13

Open any accordion, dropdown, or "show more" panel you've shipped and grep its CSS for max-height…. Context: Dev.to – Web Dev.

The Life and Death of Direct File [pdf]

• ▲ 169
• 💬 77

This is a Berkeley School of Information report (PDF) chronicling the lifecycle of Direct File, the IRS's free online tax-filing service, from its launch through its eventual demise. The linked Hacker News thread drew notable engagement, with a score of 169 and 77 comments, indicating practitioner interest in the policy and design factors behind a government-built consumer service being discontinued.

The Suite Was Green. Four Binding Controls Hadn't Established Their Claims.

• ♥ 8
• 💬 6

Part three of: OpenAI Says Verified Defenders Get More Access. I'm Going to Test That. On August 5… Context: Dev.to – Python.

React useLatest Hook: Read Fresh State in Async Callbacks (2026)

• ♥ 7
• 💬 1

Here's an autosave button that lies to the user: function Editor({ docId }: { docId: string }) { … Context: Dev.to – React.

How We Increased Shannon Entropy Throughput in Go by 41% Using a Lookup Table.

• ♥ 6

How We Increased Shannon Entropy Throughput in Go by 41% Using a Lookup Table. is a developer community article; review the code, assumptions, and comments before treating the technique as production guidance. Context: Dev.to – Go.

SIMD in the 90s: Programming Intel's Pentium MMX

• ▲ 105
• 💬 43

This is a technical retrospective article on MMX, Intel's late-1990s extension that brought SIMD (Single Instruction, Multiple Data) instructions to mainstream desktop Pentium CPUs. It walks through how the instruction set worked and how developers programmed it, looking past the era's 'Intel Inside MMX' marketing to the actual architecture. The piece drew 105 points and 43 comments on Hacker News.

Online Python events between Aug 17 – Aug 26

• ♥ 1
• 💬 1

I found the following Python-related online events for the next 10 days. Online events remove the… Context: Dev.to – Python.

I thought I was building a C replacement. I was wrong

A blog post from the C3 programming language project, in which the language's developer explains how the original goal of building a C replacement proved wrong and how C3's direction shifted. It is aimed at practitioners interested in language design trade-offs and the gap between C's semantics and a safer, more modern alternative. The post is hosted on the official C3 language site alongside its documentation.

Human Interface Guidelines from various platforms

A linked article on Unsung (a blog about software craft) points to a compilation of Human Interface Guidelines from various platforms. Developer Matt Sephton and others gathered many of Apple's human interface guidelines from 1980 through 2014, including early draft material. It is relevant to practitioners studying how interface design conventions evolved and what older guideline documents still teach.

Anti-Social Media

Anti-Social Media Christian Heilmann Skip to content Christian Heilmann Anti-Social Media Tuesday, August 11th, 2026 at 7:10 pm [prompt: create a viral hero image that shows what I mean.