Trending archive for Oct 29, 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.

oosexgang/hakios-xnu-kernel

Booting Apple's actual XNU kernel and iOS 16.5 userspace on a Snapdragon Android phone — HackiOS runs Apple's open-source XNU kernel (from iOS 16.5) with the unmodified iOS userspace — launchd through SpringBoard — on a POCO X5 Pro 5G or QEMU, using a custom EFI loader, UEFI port, and a Linux Wi-Fi compatibility layer instead of Apple's closed drivers. No Apple files are bundled; IPSW content is fetched directly from Apple's CDN. A striking project for OS porting and reverse-engineering enthusiasts.

NVIDIA/OpenShell

NVIDIA's policy-enforced sandbox runtime for AI agent fleets — OpenShell confines autonomous agents with kernel-level sandboxing and policy checks on file, syscall, and network access, injecting credentials only for approved endpoints. Formal verification flags risky policy changes before approval. Version 0.1.x adds new isolation primitives, an expanded extension surface, and new APIs.

OpenShell is the safe, private runtime for autonomous AI agents.

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.

OBS Studio - Free and open source software for live streaming and screen recording

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.

A truly modular keyboard

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.

Your GeForce runs AI at half speed. This fixes it for 20/30/40 series cards. Up to 2× FP16 / BF16 / TF32 tensor throughput

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.

TAKT Agent Koordination Topology - Define how AI agents coordinate, where humans intervene, and what gets recorded — in YAML

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.

CVE cache of the official CVE List in CVE JSON 5 format

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.

:electron: Build cross-platform desktop apps with JavaScript, HTML, and CSS

yuiseki/map-from-scratch

A from-scratch skill that lets AI agents build one-off, minimal map renderers — Instead of one general map engine, this gives AI agents a skill and harness to rebuild the smallest, fastest renderer for each specific request, picking language/API/runtime per case (Canvas2D, WebGL2, C+EGL, even microcontrollers). Each example is defined in spec.yaml with measurable requirements and benchmarks that the harness checks pass/fail, drawing on techniques from 48 reference map engines.

「Xをしたいから地図を作って」という依頼ごとに、その目的だけを満たす最小・最速の地図描画器をほぼゼロから作り、性能と正しさを計測して確かめる、 AI エージェントのためのスキルとハーネス

tester-army/e2e

AI agents drive your app so tests read like plain English — e2e lets you write tests as natural-language goals that an AI agent executes, then verify results with familiar locators and assertions in the same test. Built on Playwright, it targets both web and mobile apps, aiming to cut the brittle selector maintenance of traditional e2e suites.

Next generation e2e testing framework for web and mobile apps.