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

mitmproxy/mitmproxy

The toolkit for intercepting, inspecting and scripting HTTPS traffic — mitmproxy offers three interfaces—console (mitmproxy), CLI (mitmdump, like tcpdump for HTTP), and web UI (mitmweb)—for intercepting SSL/TLS traffic across HTTP/1, HTTP/2, and WebSockets. It's built for penetration testers and developers who need to inspect, modify, or script HTTP traffic interactively.

An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.

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

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

php/php-src

The Source Behind PHP, Still Under Active Development — This is the official C source for the PHP interpreter, the engine behind countless websites and CMSs. The repo is useful mainly for contributors building PHP from source, testing new language features, or tracking engine internals rather than for typical application developers.

The PHP Interpreter

amazonlinux/amazon-linux-2023

Amazon Linux 2023: Fedora-based OS with AWS-backed long-term support — This is the official tracker for Amazon Linux 2023, AWS's Fedora-derived OS offering long-term support and continuous security updates at no extra cost. It's useful for anyone running cloud workloads on AWS who wants release notes, roadmap visibility, and a place to file issues or feedback on the distribution.

Amazon Linux 2023