Anthropic Introduces Claude Corps, a National AI Fellowship Program
Anthropic News2 days agoBusinessAnthropic introduced Claude Corps, described as a national fellowship program for people early in their careers. The program is aimed at participants who are passionate about extending the benefits of AI to communities across America. Based on the available source text, the announcement identifies the program’s purpose and audience but does not provide details on eligibility, application timelines, locations, funding, curriculum, or partner organizations.
Show HN: macOS menu bar gauges for your Claude Code quota
Hacker News (AI keywords)4 days agoNew ToolThis Show HN post points to a GitHub project for displaying Claude Code quota in the macOS menu bar. Based only on the title, it appears to be a lightweight developer utility focused on visibility and workflow convenience. Details such as data source, refresh behavior, installation, license, and accuracy are not available from the provided content.
Leanstral: Open-Source Foundation for Trustworthy Vibe-Coding★ 76
Mistral AI News6 days agoReleaseMistral AI introduced Leanstral, an open-source code agent designed for Lean 4 and formal proof engineering. The model is available through Apache 2.0 weights, Mistral Vibe, and a Labs API endpoint. Mistral positions it as a cost-efficient alternative for verified coding workflows, with FLTEval benchmarks comparing it against Claude family models and large open-source competitors.
Show HN: Lathe - Use LLMs to learn a new domain, not skip past it
Hacker News (AI keywords)7 days agoNew ToolLathe is an open-source tool for generating hands-on technical tutorials with LLM skills. It combines a Go CLI, local reading UI, and commands for asking questions, extending tutorials, and verifying outputs. The project supports Claude Code, Cursor, and Codex workflows, with an emphasis on learning by typing and reasoning through the material yourself.
Ask HN: What is your (AI) dev tech stack / workflow?
Hacker News (AI keywords)9 days agoCommentaryAn Ask HN thread asks developers to share their current AI-assisted development setup for upcoming in-person workshops. The author wants guidance for beginners and working developers, with use cases ranging from static sites to FastAPI tools and Linux home automation. Replies cover Claude Code, Cursor, GitHub Copilot, VSCode, spec-driven development, TDD, multi-agent workflows, reviews, and quality control.
Show HN: Formally verified polygon intersection, Opus 4.8 one-shot
Hacker News (AI keywords)9 days agoNew ToolThis GitHub project presents a formally verified multipolygon intersection algorithm checked in Lean 4. The author argues trust comes from the Lean checker and a small human-reviewed specification, not from trusting LLM output directly. It also documents how Claude Opus versions improved on Lean proof work, with Opus 4.8 reportedly completing larger proof strategies that earlier attempts could not.
Show HN: Boxes.dev: ditch localhost; run Claude Code and Codex in the cloud
Hacker News (AI keywords)10 days agoNew ToolBoxes.dev appeared on Hacker News as a Show HN post, positioning itself as a way to move Claude Code and Codex workflows from localhost to the cloud. Based only on the title, it seems aimed at cloud development or remote agent execution. The provided source does not include details on architecture, pricing, security, integrations, or limitations.
How LLMs Actually Work
Hacker News (AI keywords)10 days agoTutorialThe article explains how modern LLMs convert text into token IDs, embeddings, and position-aware vectors before passing them through stacked transformer blocks. It covers attention, multi-head attention, KV cache, GQA, feed-forward networks, MoE, residual streams, normalization, and decoding. Its goal is educational: helping readers understand the common architecture behind many current model families and read model cards or papers more confidently.
AI Agent Guidelines for CS336 at Stanford
Hacker News (AI keywords)13 days agoEthicsStanford CS336’s CLAUDE.md sets boundaries for AI coding assistants such as ChatGPT, Claude Code, GitHub Copilot, and Cursor. Agents may explain concepts, review student-written code, suggest debugging checks, and point to course materials. They should not write code, complete TODOs, edit repositories, run shell commands, or implement core assignment components for students.
Recreating a 1980s Retro Game with Claude: Simon Willison's "Mad House"
Simon Willison's Weblog21 days agoNew ToolSimon Willison leveraged Claude to convert a 1983 BASIC game called "Mad House" from a free Usborne PDF into a modern web app. By prompting Claude to generate a mobile-friendly, retro-styled vanilla JavaScript Artifact, he successfully revived the classic Commodore 64-era game with a green-on-black terminal aesthetic, showcasing LLMs' utility in software preservation and rapid prototyping.
事情的輪廓：我們目前所處的 AI 階段與未來展望 (The Shape of the Thing)★ 85
One Useful Thing (Mollick)94 days agoOpinionWharton School professor Ethan Mollick, in his latest article "The Shape of the Thing," sketches out a clear picture of the current state of AI technological…
代理人時代的 AI 選擇指南：不再只是聊天機器人★ 85
One Useful Thing (Mollick)116 days agoTutorialProminent scholar Ethan Mollick, in his latest article, points out that we have officially crossed beyond the era of simple "Chatbots" and entered what he…
2025 年末 AI 實用指南：Ethan Mollick 的主觀使用建議★ 85
One Useful Thing (Mollick)237 days agoTutorialWharton School professor Ethan Mollick has put together a highly personal and practical operating guide for the AI landscape of late 2025. He emphasizes that…
與魔法師共事：在參差不齊的技術前沿驗證 AI 的魔力★ 85
One Useful Thing (Mollick)275 days agoOpinionUniversity of Pennsylvania Wharton School professor Ethan Mollick, in his latest article, compares the experience of collaborating with generative AI (such as…
MCP for Research：如何將 AI 連接到學術研究工具★ 75
Hugging Face Blog300 days agoTutorialAs the use of AI in academic research becomes increasingly widespread, enabling large language models (LLMs) to access the latest scientific literature in real…
立即上手 AI：實用快速指南 (Ethan Mollick 著)★ 85
One Useful Thing (Mollick)356 days agoTutorialUniversity of Pennsylvania Wharton School professor Ethan Mollick recently published an extremely practical AI quick guide, "Using AI Right Now: A Quick…