TorchLean codebase is now available! TorchLean is a Lean 4 framework for verified neural-network software. It supports typed tensors, runnable training, graph IRs, verified autograd, Float32/IEEE semantics, CROWN / IBP-style verification, certificate checking, PyTorch interop,
OPEN SOURCE
-
Sigma Browser Adds Hermes Agent Support
By
–
Sigma browser now supports Hermes Agents 🤯
— Charly Wargnier (@DataChaz) 11 mai 2026
You can now run open-source models natively via their Eclipse engine for unlimited agentic workflows.
Private. Local.
Open-Source. No cloud. No subs.
Mac. Windows. iOS. Android 👀↓pic.twitter.com/tMwwPolCq9 https://t.co/XNCTCQXD1uSigma browser now supports Hermes Agents You can now run open-source models natively via their Eclipse engine for unlimited agentic workflows. Private. Local. Open-Source. No cloud. No subs. Mac. Windows. iOS. Android ↓
-
Anthropic cautious vs OpenAI open on cyber-capable AI releases
By
–
Anthropic: “Claude Mythos is too cyber-capable to release broadly. We need tight controls. 😳”
— Chubby♨️ (@kimmonismus) 11 mai 2026
OpenAI: “Here’s GPT-5.5-Cyber, Codex Security, Trusted Access tiers, repo scanning, patch generation, and red-team workflows. Please be verified first, but yes, go find the bugs. 😎” https://t.co/8vZwl8tVwfAnthropic: “Claude Mythos is too cyber-capable to release broadly. We need tight controls. ” OpenAI: “Here’s GPT-5.5-Cyber, Codex Security, Trusted Access tiers, repo scanning, patch generation, and red-team workflows. Please be verified first, but yes, go find the bugs. ”
-
Anthropic adds self-learning memory and teamwork to Claude
By
–
/4 Anthropic has added self-learning memory and multi-agent teamwork capabilities to Claude. Claude Managed Agents now includes four major upgrades, enabling you to build agents that become smarter over time. Try it out via the /claude-api skill in Claude Code or the open-source repository. Link:
-
Local open-weight AI outpaces Moore’s Law twofold
By
–
Local open-weight AI running on a laptop has been improving at more than twice the rate of Moore's Law! Between May 2024 and May 2026, the most expensive MacBook Pro available still capped at 128 GB of unified memory. The hardware ceiling barely budged. Yet the most advanced open-weight model…
-
Technical Requirements for Evaluating AI Model Architecture
By
–
Thanks, but there are no open weights yet, right? Asking because it would be impossible to cover architecture details without open weights and/or a detailed technical report
-
MACE-Dance: Motion-Appearance Experts for Music-Driven Dance
By
–
MACE-Dance Motion-Appearance Cascaded Experts for Music-Driven Dance Generation
-
Community inquiry into Hermes AI model usage and applications
By
–
Who out there is using Hermes, and for what?
-
Local AI surges with GGUF models
By
–
Local AI is experiencing a major boom! Here’s the number of new GGUF models created each month over the past 8 months, along with insights from our internal HF agent (May data is partial): – 176,000 total public GGUF models on HF – Two distinct phases: Oct–Feb averaged ~5.1K new GGUF models per month