Source: Gallery of Concept Visualization
Archives: Bookmarks
A/I Shuts Down Stay Human · Keep the Internet free
We cannot engage in a fight or expose ourselves to manipulations that threaten the lives of these people and their loved ones, leaving them at the mercy of autocrats, fascists and agencies that take extra-legal courses of action. The possibility that our work may cause legal and financial consequences to those who are close to us – or even only have something to do with us – leaves us no choice. A/I is shutting down. The Autistici/Inventati collective is shutting down and will soon discontinue all of the services we provide.
How Claude is accelerating protein design and analytical chemistry Anthropic
We ran Opus 4.8 and Mythos Preview in multi-target mode with 48 hours of wall time and up to 12,500 NVIDIA H100 hours of compute for running specialized protein design and folding models. We also ran Mythos Preview in single-target mode with 24 hours of wall time and up to 2,500 NVIDIA H100 hours of compute for each target.5
Source: How Claude is accelerating protein design and analytical chemistry Anthropic
Guide to Preferred Sources in Google Search for Web Publishers | Google Search Central | Documentation | Google for Developers
If you’re a website owner, you can help your audience find your publication as a preferred source in Google Search. When a user selects your site as a preferred source, your content is more likely to appear in “Top Stories”, highlighted with a “preferred” badge. In AI Mode and AI Overviews, your content can be highlighted with a “preferred” badge for users who have selected your site as a preferred source.
eviews-mcp — Drive EViews from Python and AI assistants
Drive EViews 13 from Python — or let an AI assistant drive it for you. A Model Context Protocol server and a Python library, sharing one engine. Every number comes from EViews itself.
Source: eviews-mcp — Drive EViews from Python and AI assistants
[2602.22631] TorchLean: Formalizing Neural Networks in Lean
Neural networks are increasingly deployed in scientific, safety critical, and mission critical pipelines, yet verification and analysis are often performed outside the programming environment that defines and runs the model. This creates a semantic gap between the executed network and the analyzed artifact: guarantees can depend on implicit conventions about operator semantics, tensor layouts, preprocessing, floating-point behavior, graph transformations, accelerated kernels, and external certificates. We present TorchLean, a unified framework for formalizing, executing, and verifying neural networks in Lean 4.
Source: [2602.22631] TorchLean: Formalizing Neural Networks in Lean
TorchPhysics – Deep Learning for PDEs
Welcome to TorchPhysics, an open-source PyTorch library that implements deep learning methods for partial differential equations, enabling engineers and applied mathematicians to use modern AI-based methods in their usual workflow.
Voicebox – Open Source Voice Cloning Desktop App
Clone voices, generate speech across seven TTS engines, dictate into any app, and talk to agents in voices you own. A free and local alternative to ElevenLabs and WisprFlow, running entirely on your machine.
Transcription Pearl
A Python-based GUI application for transcribing and processing images containing historical handwritten text using Large Language Models (LLMs) via API services (OpenAI, Google, and Anthropic APIs). Designed for academic and research purposes.
Tesserae V6
Tesserae is an intertextual analysis tool for discovering textual parallels in classical literature. It helps scholars find passages where one author may have been influenced by, alluding to, or directly quoting another text. Founded in 2008 by Neil Coffee (Department of Classics) and J. P. Koenig (Department of Linguistics) at the University at Buffalo, SUNY, this is Version 6, a modern reimplementation of the V3 algorithm.
Source: Tesserae V6