AI & Tech Intelligence

Track the systems shaping what comes next.

A structured view of the companies, models, products and technologies moving the AI ecosystem forward.

Explore latest news View the timeline
📄 SyncPage — real-time document collaboration Review PDFs, slides, Word & Excel files together — present live, annotate in real time, talk by voice. Guests join free from an invite link. Try SyncPage →
Tiny tools, massive time savings Big money decisions deserve better math
Fresh signals

Latest intelligence

View all news →
DeveloperTools

Show HN: ExactOdds – provably fair games that prove the rules

Show HN: ExactOdds – provably fair games that prove the rules ceedot-rock / exactodds Public Notifications You must be signed in to change notification settings Fork 0 Star 1 Branches Tags Open more actions menu Latest commit History 5 Commits 5 Commits Folders and files Name Name Last commit message Last commit date games games gate gate outreach outreach paper paper receipts receipts verifier verifier LICENSE LICENSE LICENSE.AGPL-3.0 LICENSE.AGPL-3.0 LICENSE.COMMERCIAL LICENSE.COMMERCIAL NOTICE NOTICE README.md README.md Repository files navigation ExactOdds Fair outcomes you can prove. ExactOdds is a protocol for provably-fair gaming with two halves: commit-reveal seeds (the outcome was fixed before your bet) and the exactness law (the game program produces byte-identical output on every target seat — Python, JavaScript, TypeScript, C, C++ — or the program is refused).

Updated Sep 27, 2026 · source date Sep 26, 2026 · 1 source(s)
OpenSource

Madeira – Run Windows PC games on a non-jailbroken iPhone

Madeira – Run Windows PC games on a non-jailbroken iPhone willfaust / Madeira Public Notifications You must be signed in to change notification settings Fork 145 Star 656 Branches Tags Open more actions menu Latest commit History 206 Commits 206 Commits Folders and files Name Name Last commit message Last commit date .githooks .githooks FEX @ 0f8edf8 FEX @ 0f8edf8 LICENSES LICENSES app app build build docs docs patches patches research research scripts scripts tools tools wine @ 723d1bf wine @ 723d1bf .gitignore .gitignore .gitmodules .gitmodules ARCHITECTURE_ANALYSIS.md ARCHITECTURE_ANALYSIS.md CONTRIBUTING.md CONTRIBUTING.md COPYING COPYING LICENSE LICENSE LICENSE-EXCEPTION.md LICENSE-EXCEPTION.md README.md README.md STEAM_CEF_HANDOFF.md STEAM_CEF_HANDOFF.md THIRD-PARTY-NOTICES.md THIRD-PARTY-NOTICES.md Repository files navigation Madeira Run Windows PC games on a non-jailbroken iPhone. Madeira combines Wine (ARM64EC), FEX-Emu for x86-64 → ARM64 translation, and DXMT for D3D11 → Metal, running as a single Mach process on iOS with wineserver as a thread rather than a separate process.

Updated Sep 27, 2026 · source date Sep 26, 2026 · 1 source(s)
DeveloperTools

Foreman: An agent supervisor and software factory foreman

Foreman: An agent supervisor and software factory foreman thruwire / foreman Public Notifications You must be signed in to change notification settings Fork 45 Star 576 Branches Tags Open more actions menu Latest commit History 18 Commits 18 Commits Folders and files Name Name Last commit message Last commit date .github .github docs docs src/ foreman src/ foreman tests tests .env.example .env.example .gitignore .gitignore CODE_OF_CONDUCT.md CODE_OF_CONDUCT.md CONTRIBUTING.md CONTRIBUTING.md LICENSE LICENSE README.md README.md SECURITY.md SECURITY.md pyproject.toml pyproject.toml Repository files navigation Foreman Foreman watches the software factory floor with TypeSafe AI's Jev , placing a fast decision model above slower coding agents. Give it a ticket, specification, bug report, or any free-form software job.

Updated Sep 27, 2026 · source date Sep 26, 2026 · 1 source(s)
ArtificialIntelligence

Show HN: ProofForge, AI agents whose proofs have to compile in Lean

Show HN: ProofForge, AI agents whose proofs have to compile in Lean Sanexxxx777 / ProofForge Public Notifications You must be signed in to change notification settings Fork 0 Star 0 Branches Tags Open more actions menu Latest commit History 5 Commits 5 Commits Folders and files Name Name Last commit message Last commit date proofs proofs LICENSE LICENSE README.md README.md Repository files navigation ProofForge An AI-agent pipeline that produces machine-verified Lean 4 / Mathlib proofs. Agents decompose a problem, prove the pieces, and formalize them in Lean.

Updated Sep 27, 2026 · source date Sep 26, 2026 · 1 source(s)
DeveloperTools

Open Source Lightroom Alternative on Web

Open Source Lightroom Alternative on Web UdulaAbeykoon / darkroom Public Notifications You must be signed in to change notification settings Fork 0 Star 2 Branches Tags Open more actions menu Latest commit History 51 Commits 51 Commits Folders and files Name Name Last commit message Last commit date .github/ workflows .github/ workflows darkroom-studio darkroom-studio .gitignore .gitignore CONTRIBUTING.md CONTRIBUTING.md LICENSE LICENSE README.md README.md SECURITY.md SECURITY.md THIRD_PARTY_NOTICES.md THIRD_PARTY_NOTICES.md Repository files navigation Darkroom Darkroom is a free, local-first photo catalog and non-destructive editor that runs in a desktop browser. Imported photographs remain on the device; the app has no server, account system, telemetry, upload service, or paid API.

Updated Sep 27, 2026 · source date Sep 26, 2026 · 1 source(s)
Structured context

Explore the ecosystem

Companies
AMD78 published events Amazon35 published events Amazon Web Services49 published events Anthropic43 published events Apple68 published events Cloudflare12 published events All companies →
AI models
Claude 31 published events Claude 41 published events Claude 5.52 published events Claude 811 published events DeepSeek 3.21 published events DeepSeek alone1 published events All models →
Technologies
AI Agents119 published events CUDA139 published events Computer Vision10 published events Edge Computing9 published events Generative AI46 published events Kubernetes22 published events All technologies →
01CompaniesFollow the organizations behind the ecosystem. 02AI modelsCompare releases, capabilities and lineages. 03TechnologiesSee the building blocks connecting the news. 04TimelinesTurn individual events into context.