Tell HN: Litellm 1.82.7 and 1.82.8 on PyPI are compromised
Microsoft's "fix" for Windows 11
#2Unified Admin Portal for Microsoft 365 SMBs5/10A single-pane management dashboard that consolidates Microsoft 365's fragmented admin portals into one stable interface for small and medium business IT administrators. Wine 11 rewrites how Linux runs Windows games at kernel with massive speed gains
Epoch confirms GPT5.4 Pro solved a frontier math open problem
#1AI-Powered Open Math Problem Solving PlatformP6/10A managed platform that pairs frontier AI models with optimized scaffolding to systematically attack open problems in mathematics, selling results and methodology to research institutions. #2AI Scaffold Benchmarking and Optimization Suite6/10A platform that lets AI teams systematically test, compare, and optimize the scaffolding (tool use, task decomposition, auto-critique) that surrounds foundation models for complex reasoning tasks. #3Formal Proof Generation Loop for Lean/Isabelle7/10An AI-powered service that takes mathematical conjectures and iteratively generates, checks, and refines formal proofs in Lean 4 or Isabelle, targeting the large space of provable-but-unproven theorems. Show HN: Gemini can now natively embed video, so I built sub-second video search
#1Natural Language Video Search for Security FootageP7/10A managed platform that indexes security camera and dashcam footage using native video embeddings, enabling instant natural-language search across hours of video without transcription or frame captioning. #2AI-Powered Home Security Video Search Platform7/10A consumer-friendly home security add-on that lets homeowners search all their camera footage with natural language queries like 'did the cat go outside' or 'package delivered to front door'. #3Open-Source Local Video Embedding Model6/10An open-weights model that performs native video-to-vector embedding locally, eliminating API costs and privacy concerns of uploading footage to cloud providers. Show HN: Email.md – Markdown to responsive, email-safe HTML
#1AI-Native Email Authoring Platform for DevelopersP4/10A developer-first email platform where you write emails in markdown (or let AI draft them), and the tool handles all cross-client HTML rendering, deliverability optimization, and template management. Missile defense is NP-complete
Ripgrep is faster than grep, ag, git grep, ucg, pt, sift (2016)
#3Composable Rust Search Primitives as a Service5/10A commercial platform offering battle-tested, composable text search building blocks (regex engines, SIMD matchers, file walkers) as easy-to-integrate libraries with support contracts for companies building search-dependent products. Show HN: I took back Video.js after 16 years and we rewrote it to be 88% smaller
#3Universal Rich Media Gallery With Lazy Loading5/10A framework-agnostic, performance-optimized media gallery component that handles mixed video and image content with virtual scrolling for collections of hundreds or thousands of items. Is anybody else bored of talking about AI?
#1AI Content Filter for Developer Platforms5/10A browser extension and API that intelligently filters AI-related content from GitHub Trending, Hacker News, Reddit, and other developer feeds based on user preferences. #2AI Code Review Intelligence for Generated Code7/10A code review tool purpose-built for AI-generated code that flags patterns humans miss — dependency risks, bloat, hallucinated APIs, and style drift across large generated diffs. I wanted to build vertical SaaS for pest control, so I took a technician job
#1Tech-Enabled Pest Control Roll-Up PlatformP7/10Acquire small pest control operators and layer in AI-powered upselling, hands-free CRM data entry, and smart trap monitoring to dramatically improve unit economics before rolling up more locations. #3Hands-Free Field Service Data Entry via AI7/10A voice-first AI assistant that lets field technicians narrate their work while on the job, automatically populating CRM fields, generating service reports, and triggering upsell recommendations — no typing required. #4Local Service Provider Direct Discovery Platform5/10A search and discovery platform that exclusively surfaces verified local service businesses (not aggregators or lead-gen middlemen), using business license verification and locality signals to ensure searchers connect directly with the company doing the work. Malicious litellm_init.pth in litellm 1.82.8 PyPI package – credential stealer
#2Secure AI Dependency Proxy With Integrity VerificationP6/10A managed proxy layer that sits between developer environments and AI package registries, verifying package integrity, scanning for credential exfiltration, and enforcing allowlists before any AI dependency is installed. LaGuardia pilots raised safety alarms months before deadly runway crash
Log File Viewer for the Terminal
#1TUI Grafana for JSON Log Exploration5/10A terminal-based observability dashboard that lets developers split, filter, query, and visualize JSON-structured logs without leaving the command line. Mystery jump in oil trading ahead of Trump post draws scrutiny
#1Real-Time Political Risk Trading Signal PlatformP6/10A monitoring platform that detects anomalous trading volumes in commodities and futures markets correlated with political announcements, delivering alerts to institutional traders and compliance teams. #2Geopolitical Event-Driven Market Integrity Analytics5/10A SaaS tool for institutional investors and journalists that tracks, timestamps, and correlates political social media posts with unusual market activity across commodities, currencies, and regional assets. #3Retail Investor Political Volatility Hedging Tool5/10A consumer fintech app that automatically hedges retail portfolios against politically-induced commodity and market volatility by monitoring government communications and adjusting positions. Epic Games to cut more than 1k jobs as Fortnite usage falls
#3Independent PC Game Storefront With Sustainable Economics5/10A PC game distribution platform that competes with Steam through meaningfully better economics for developers (lower rev share) while actually investing in discovery, community, and buyer features that Epic Games Store never built.