Trending archive for Oct 30, 2026

openai/math

OpenAI's model-generated math proofs, with Lean formalizations in progress — A collection of 719 mathematical manuscripts in 372 families produced by an internal OpenAI model tackling open research problems, released as model-development evaluations saturated on existing benchmarks. About 42% of top-line results have Lean formal proofs so far, with reasoning summaries and a comparator tool included for verification.

obsproject/obs-studio

OBS Studio Remains the Core Tool for Free Streaming and Recording — OBS Studio is the open-source engine behind most free live streaming and screen recording setups, handling capture, compositing, and encoding for platforms like Twitch and YouTube. Backed by an active community, plugin ecosystem, and translation project, it stays the default choice for streamers and recorders who need a capable, no-cost tool.

herdrdev/herdr-app

A desktop terminal manager built around coding agents — Herdr organizes terminal work into spaces, tabs and panes, and surfaces which coding agents are Working, Blocked or Done across all your spaces in one sidebar. Terminals keep running after you close the window, and it pairs with a separate herdr-core component it can install for you. Built in Rust for Linux, macOS and Windows.

notaroomba/keybytes

A keyboard where every key is its own rearrangeable PCB module — Keybytes is an open-hardware keyboard project where each key, called a Keybit, has its own CH32V003 RISC-V chip and connects via pogo pins on all four sides, letting keys be freely rearranged and held together with magnetic cases. A separate Keyword board handles Bluetooth, USB-C and battery charging. Good read for hardware hackers into KiCad PCB design and modular input devices.

SheepSeb/tinyworldformer

A Looped Transformer World Model That Dreams Games on a $6 Pico 2W — Two tiny neural nets (26k-131k params) run entirely on a Raspberry Pi Pico 2W: one generates game frames via a looped, weight-reused transformer, the other plays using the generated frames via streaming RL. Interesting for anyone exploring microcontroller-scale generative world models or looped transformer architectures.

Zagitta/gpu-unlock

A Linux kernel module unlocks hidden BF16/FP16 speed on RTX 3000 GPUs — This kernel module combines the CMP unlocker's V67/PLM technique with UEFI-style pre-driver timing to double FP/BF16 FMA throughput on GA102/103/104/106 GeForce cards, without patching NVIDIA's driver each release. Benchmarks show BF16 GEMM gains of 25-80% depending on the card, useful for anyone running ML workloads on consumer RTX 3000 GPUs.

nrslib/takt

YAML-defined workflows that discipline multi-agent coding loops — TAKT is a CLI that encodes planning, implementation, review and fix loops as YAML workflows, assigning each step its own role, context and transition rules rather than relying on one agent to remember everything. It runs tasks in isolated worktrees with traceable logs and human checkpoints, aimed at teams tired of babysitting AI coding agents like Claude Code or Codex.

aquasecurity/trivy

An all-in-one scanner for vulnerabilities, misconfigs, secrets and SBOMs — Trivy scans container images, filesystems, git repos, VM images and Kubernetes clusters for CVEs, IaC misconfigurations, exposed secrets, license issues and SBOM data in one tool. It plugs into GitHub Actions, a Kubernetes operator and a VS Code extension, making it useful for DevSecOps teams wanting a single scanner across their pipeline.

aquasecurity/trivy-action

Trivy Scanning Baked Into Your GitHub Actions Pipeline — This official GitHub Action wraps Trivy to scan container images, filesystems, Git repos, IaC configs, and private registries, and can also generate SBOMs. It integrates directly with GitHub Code Scanning, making it a quick way to add vulnerability checks and fail CI builds on findings without installing Trivy manually.

CVEProject/cvelistV5

The Official CVE List Mirrored Daily in JSON 5 Format — This repo caches the complete official CVE List in CVE JSON 5 format, updated regularly with a deltaLog.json tracking recent record changes. It recently moved to Record Format 5.2.0, adding PackageURL (PURL) support for affected components, making it useful for anyone building vulnerability tooling or tracking CVE data changes over time.

electron/electron

The framework behind VS Code keeps powering desktop apps — Electron combines Node.js and Chromium so developers can ship cross-platform desktop apps using JavaScript, HTML and CSS. It powers VS Code and many other apps, with prebuilt binaries for macOS, Windows and Linux, including Apple Silicon and ARM support.