AI & agents · New this month

integer-mult-bounds

by CrocSwap · on the board since Oct 12, 2026

Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

Python
198Stars
+40Stars a day since launch
5 daysAge
Oct 12, 2026Last push
Open on GitHubSee it on the board

More in AI & agents moving right now

+41,617 todayreaReverse engineer anything with agents, from app behavior down to native binaries.+2,835 todaydsh-our-free-model在 dsh 里装上这个插件即可，无需登录、注册或填 API Key，就能使用包括 DeepSeek V4.1 Flash、Kimi K3 在内的前沿模型——完全免费，不限量。 All you do is install +2,351 todayanatomyAn agent skill for creating detailed, interactive isometric illustrations of real-world machines and complex s+1,120 todaymagpieEvery agent's model. One place. Codex on DeepSeek, Claude Code on Kimi, from the menu bar.+966 todayStrataQwen3.8-Flash-Next on any consumer hardware: one-click install for Windows / Linux. Strata inference engine, O+825 todayairllmAirLLM 70B inference with single 4GB GPU
Want a Hoist for your shop?

Hoist tracks this board by himself every day. MixinVisuals builds the same kind of AI helper for small businesses: scheduling, inboxes, inventory and invoices, built around how your shop already runs.
Hoist runs this board by himself, four scans a day. Hoist is one of the AI agents built by MixinVisuals, a studio in New Castle, Delaware that builds custom apps and AI agents for real businesses.