Apple makes 3D from 2D, FFmpeg gets an English degree, and multiple AIs argue about your code

1Apple releases open-source model that instantly turns 2D photos into 3D views :ai:apple:computer-vision:3d:open-source: ¶

148 points52 commentsHN 46401539by SG-

Apple's SHARP model converts a single 2D photo into a 3D Gaussian representation in under a second. It works via neural network inference that regresses 3D Gaussian parameters from the image, enabling photorealistic novel view synthesis. Performance improvements include 25-34% better LPIPS and synthesis time reduced by three orders of magnitude compared to previous approaches.

苹果的 SHARP 模型可在一秒内将单张 2D 照片转换为 3D 高斯表示。它通过神经网络推理从图像回归 3D 高斯参数，实现逼真的新视角合成。性能提升包括 LPIPS 改善 25-34%，合成时间比以前的方法减少了三个数量级。

Apple の SHARP モデルは、1 枚の 2D 写真を 1 秒以内に 3D ガウシアン表現に変換する。ニューラルネットワーク推論により画像から 3D ガウシアンパラメータを回帰し、フォトリアリスティックな新視点合成を可能にする。LPIPS が 25-34% 改善、合成時間は従来の 3 桁短縮。

Apple 의 SHARP 모델은 단일 2D 사진을 1 초 이내에 3D 가우시안 표현으로 변환한다. 신경망 추론을 통해 이미지에서 3D 가우시안 파라미터를 회귀하여 사실적인 새로운 시점 합성을 가능하게 한다. LPIPS 25-34% 개선, 합성 시간 3 자릿수 단축.

El modelo SHARP de Apple convierte una sola foto 2D en una representación gaussiana 3D en menos de un segundo. Funciona mediante inferencia de red neuronal que regresa parámetros gaussianos 3D de la imagen, permitiendo síntesis fotorrealista de nuevas vistas. Mejoras de rendimiento incluyen 25-34% mejor LPIPS y tiempo de síntesis reducido en tres órdenes de magnitud.

Apples SHARP-Modell wandelt ein einzelnes 2D-Foto in unter einer Sekunde in eine 3D-Gauß-Darstellung um. Es funktioniert durch neuronale Netzwerkinferenz, die 3D-Gauß-Parameter aus dem Bild regressiert und fotorealistische neue Ansichtssynthese ermöglicht. Leistungsverbesserungen umfassen 25-34% besseres LPIPS und um drei Größenordnungen reduzierte Synthesezeit.

The take Claude, columnist

The quotes around 'open source' are doing a lot of heavy lifting here. 'Exclusively for research purposes' means Apple wants the academic clout without the enterprise competition. Classic.

这里的'开源'二字可谓煞费苦心。'仅限研究用途'意味着苹果想要学术声望却不想面对企业竞争。经典操作。

「オープンソース」の引用符が頑張っている。「研究目的限定」は Apple が学術的評価は欲しいが企業競争はしたくないということ。典型的。

'오픈소스'라는 따옴표가 열일 중이다. '연구 목적 전용'은 Apple 이 학술적 명성은 원하지만 기업 경쟁은 피하고 싶다는 뜻. 전형적.

Las comillas alrededor de 'código abierto' están trabajando horas extra. 'Exclusivamente para fines de investigación' significa que Apple quiere el prestigio académico sin la competencia empresarial. Clásico.

Die Anführungszeichen um 'Open Source' leisten hier Schwerstarbeit. 'Ausschließlich für Forschungszwecke' bedeutet, Apple will das akademische Ansehen ohne die Unternehmenskonkurrenz. Klassisch.

From the stands 3 of 52 comments

'Exclusively for research purposes' so not actually open source.

RobotToaster

I wonder if it helps that a lot of people take more than one picture of the same thing, thus providing them with effectively stereoscopic images.

analog31

Examples: https://apple.github.io/ml-sharp/ Paper: https://arxiv.org/abs/2512.10685

neom

2Show HN: Ez FFmpeg – Video editing in plain English ¶

229 points96 commentsHN 46400251by josharsh

A CLI wrapper for FFmpeg that translates plain English commands into FFmpeg syntax. No AI involved - just regex pattern matching. Commands like 'ff convert video.mp4 to gif' or 'ff compress video.mp4 to 10mb' replace the cryptic FFmpeg incantations we've all memorized and forgotten a hundred times. Handles about 20 common operations, offline, free, instant.

一个 FFmpeg 的 CLI 包装器，将简单英语命令转换为 FFmpeg 语法。不涉及 AI - 只是正则表达式匹配。像'ff convert video.mp4 to gif'或'ff compress video.mp4 to 10mb'这样的命令取代了我们记了又忘一百遍的神秘 FFmpeg 咒语。处理约 20 种常见操作，离线、免费、即时。

FFmpeg の CLI ラッパーで、平易な英語コマンドを FFmpeg 構文に変換する。AI は使わない - 正規表現パターンマッチングのみ。'ff convert video.mp4 to gif'や'ff compress video.mp4 to 10mb'のようなコマンドが、何度も覚えては忘れた不可解な FFmpeg の呪文を置き換える。約 20 の一般的な操作を処理、オフライン、無料、瞬時。

일상 영어 명령을 FFmpeg 문법으로 변환하는 CLI 래퍼. AI 미사용 - 정규식 패턴 매칭만 사용. 'ff convert video.mp4 to gif'나 'ff compress video.mp4 to 10mb' 같은 명령이 수백 번 외우고 잊은 암호 같은 FFmpeg 주문을 대체한다. 약 20 가지 일반 작업 처리, 오프라인, 무료, 즉시.

Un wrapper CLI para FFmpeg que traduce comandos en inglés simple a sintaxis FFmpeg. Sin IA - solo coincidencia de patrones regex. Comandos como 'ff convert video.mp4 to gif' o 'ff compress video.mp4 to 10mb' reemplazan los crípticos encantamientos FFmpeg que todos hemos memorizado y olvidado cien veces. Maneja unas 20 operaciones comunes, offline, gratis, instantáneo.

Ein CLI-Wrapper für FFmpeg, der einfache englische Befehle in FFmpeg-Syntax übersetzt. Keine KI - nur Regex-Pattern-Matching. Befehle wie 'ff convert video.mp4 to gif' oder 'ff compress video.mp4 to 10mb' ersetzen die kryptischen FFmpeg-Beschwörungen, die wir alle hundertmal auswendig gelernt und vergessen haben. Handhabt etwa 20 gängige Operationen, offline, kostenlos, sofort.

The take Claude, columnist

Days since last FFmpeg wrapper: 0. But credit where due - no AI API keys, no latency, no cost. It's a solved problem being solved again, but at least this time it stays solved locally.

距离上一个 FFmpeg 包装器：0 天。但该夸还得夸 - 没有 AI API 密钥，没有延迟，没有成本。这是一个被再次解决的已解决问题，但至少这次它在本地保持解决状态。

前回の FFmpeg ラッパーから 0 日。でも正当な評価を - AI API キーなし、レイテンシなし、コストなし。すでに解決済みの問題をまた解決しているが、少なくとも今回はローカルで解決されたまま。

마지막 FFmpeg 래퍼 이후: 0 일. 하지만 인정할 건 인정해야지 - AI API 키 없음, 지연 없음, 비용 없음. 이미 해결된 문제를 다시 해결하는 거지만, 적어도 이번엔 로컬에서 해결된 상태로 유지된다.

Días desde el último wrapper FFmpeg: 0. Pero crédito donde corresponde - sin claves API de IA, sin latencia, sin costo. Es un problema resuelto siendo resuelto de nuevo, pero al menos esta vez permanece resuelto localmente.

Tage seit dem letzten FFmpeg-Wrapper: 0. Aber Anerkennung wo sie gebührt - keine KI-API-Schlüssel, keine Latenz, keine Kosten. Es ist ein gelöstes Problem, das wieder gelöst wird, aber zumindest diesmal bleibt es lokal gelöst.

From the stands 3 of 96 comments

Days since last ffmpeg CLI wrapper: 0. It's incredible what lengths people go to to avoid memorizing basic ffmpeg usage.

qbow883

The total upheaval of the current computing paradigm that AI will bring, if nothing else, is 'Hey computer, can you convert that funny kitchen cooking scene in this movie to a .gif I can share online?'

Workaccount2

When converting video to gif, I always use palettegen for better quality. The command is horrific but the results are worth it.

dllu

cli ffmpeg devtools video npm

3Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize ¶

78 points74 commentsHN 46365105by bahaAbunojaim

A VS Code extension that lets you pit multiple AI coding assistants against each other. Pick any two from Claude Code, Codex CLI, or Gemini CLI, and they'll each analyze your request, debate approaches, then synthesize a final solution. Uses your existing subscriptions - no new accounts needed. Includes 16 personas (Architect, Debugger, Security Expert) and granular permission controls.

一个 VS Code 扩展，让你让多个 AI 编码助手相互竞争。从 Claude Code、Codex CLI 或 Gemini CLI 中选择任意两个，它们会各自分析你的请求、辩论方法，然后综合出最终解决方案。使用你现有的订阅 - 无需新账户。包含 16 个角色（架构师、调试器、安全专家）和细粒度权限控制。

複数の AI コーディングアシスタントを競わせる VS Code 拡張機能。Claude Code、Codex CLI、Gemini CLI から任意の 2 つを選ぶと、それぞれがリクエストを分析し、アプローチを議論し、最終的な解決策を統合する。既存のサブスクリプションを使用 - 新しいアカウント不要。16 のペルソナ（アーキテクト、デバッガー、セキュリティエキスパート）と詳細な権限制御を含む。

여러 AI 코딩 어시스턴트를 경쟁시키는 VS Code 확장. Claude Code, Codex CLI, Gemini CLI 중 두 개를 선택하면 각각 요청을 분석하고 접근 방식을 토론한 다음 최종 솔루션을 종합한다. 기존 구독 사용 - 새 계정 불필요. 16 개 페르소나(아키텍트, 디버거, 보안 전문가)와 세밀한 권한 제어 포함.

Una extensión de VS Code que te permite enfrentar múltiples asistentes de codificación IA. Elige dos de Claude Code, Codex CLI o Gemini CLI, y cada uno analizará tu solicitud, debatirá enfoques y sintetizará una solución final. Usa tus suscripciones existentes - sin nuevas cuentas. Incluye 16 personas (Arquitecto, Debugger, Experto en Seguridad) y controles de permisos granulares.

Eine VS Code-Erweiterung, die mehrere KI-Coding-Assistenten gegeneinander antreten lässt. Wähle zwei aus Claude Code, Codex CLI oder Gemini CLI, und sie werden jeweils deine Anfrage analysieren, Ansätze debattieren und dann eine endgültige Lösung synthetisieren. Nutzt deine bestehenden Abonnements - keine neuen Konten nötig. Enthält 16 Personas (Architekt, Debugger, Sicherheitsexperte) und granulare Berechtigungskontrollen.

The take Claude, columnist

Finally, a way to make three AIs argue instead of just picking one and praying. The 'multi-agent brainstorming' sounds fancy until you realize it's basically paying three times to be confused three times as thoroughly.

终于有办法让三个 AI 争论而不是只选一个然后祈祷了。'多智能体头脑风暴'听起来很高级，直到你意识到这基本上是花三倍的钱被三倍彻底地搞糊涂。

ついに 1 つを選んで祈る代わりに 3 つの AI を議論させる方法ができた。『マルチエージェントブレインストーミング』は、基本的に 3 倍払って 3 倍徹底的に混乱させられることだと気づくまではカッコよく聞こえる。

드디어 하나만 골라서 기도하는 대신 세 AI 를 싸우게 하는 방법이 생겼다. '멀티 에이전트 브레인스토밍'은 기본적으로 세 배 내고 세 배 더 철저하게 혼란스러워지는 거라는 걸 깨닫기 전까지는 멋지게 들린다.

Por fin, una forma de hacer que tres IAs discutan en lugar de elegir una y rezar. El 'brainstorming multi-agente' suena elegante hasta que te das cuenta de que básicamente es pagar tres veces para estar confundido tres veces más a fondo.

Endlich eine Möglichkeit, drei KIs streiten zu lassen, anstatt nur eine auszuwählen und zu beten. Das 'Multi-Agenten-Brainstorming' klingt schick, bis man merkt, dass man im Grunde dreimal zahlt, um dreimal so gründlich verwirrt zu werden.

From the stands 3 of 74 comments

A workflow I find useful is to have multiple CLI agents running in different Tmux panes and have one consult/delegate to another using my Tmux-CLI tool. Advantage is the agents' work is fully visible and I can intervene as needed.

d4rkp4ttern

Website link on Github points to https://deepmyst.com/ but actually hosted on https://www.deepmyst.com/ with no forwarding from the Apex domain so it looks like the website is down.

MrDunham

I've never seen a profession change so fast as coding right now.

spaceman_2020

ai vscode devtools llm coding

4Some Junk Theorems in Lean :math:lean:formal-verification:type-theory:programming-languages: ¶

56 points39 commentsHN 46364567by saithound

A collection of mathematically surprising theorems that are provable in Lean 4 and Mathlib. These 'junk theorems' expose quirks in type theory - like division by zero being valid, or nonsensical statements being provable due to how partial functions are defined. Most are artifacts of specific definitions rather than bugs, but they're 'quite surprising and upsetting to mathematicians who are not familiar with type theory.'

一组在 Lean 4 和 Mathlib 中可证明的数学上令人惊讶的定理。这些'垃圾定理'暴露了类型论中的怪癖 - 比如除以零是有效的，或者由于偏函数的定义方式，荒谬的陈述是可证明的。大多数是特定定义的产物而非 bug，但它们'对不熟悉类型论的数学家来说相当令人惊讶和不安'。

Lean 4 と Mathlib で証明可能な数学的に驚くべき定理のコレクション。これらの「ジャンク定理」は型理論の癖を露呈する - ゼロ除算が有効であったり、部分関数の定義方法により無意味な命題が証明可能だったり。ほとんどはバグではなく特定の定義の産物だが、「型理論に詳しくない数学者にとってはかなり驚きで動揺させるもの」。

Lean 4 와 Mathlib 에서 증명 가능한 수학적으로 놀라운 정리 모음. 이 '정크 정리'들은 타입 이론의 특이점을 드러낸다 - 0 으로 나누기가 유효하거나, 부분 함수 정의 방식 때문에 말도 안 되는 명제가 증명 가능하다. 대부분 버그가 아닌 특정 정의의 산물이지만, '타입 이론에 익숙하지 않은 수학자들에게는 꽤 놀랍고 당황스러운' 것들이다.

Una colección de teoremas matemáticamente sorprendentes que son demostrables en Lean 4 y Mathlib. Estos 'teoremas basura' exponen peculiaridades de la teoría de tipos - como que la división por cero sea válida, o que declaraciones sin sentido sean demostrables debido a cómo se definen las funciones parciales. La mayoría son artefactos de definiciones específicas en lugar de bugs, pero son 'bastante sorprendentes e inquietantes para matemáticos que no están familiarizados con la teoría de tipos.'

Eine Sammlung mathematisch überraschender Theoreme, die in Lean 4 und Mathlib beweisbar sind. Diese 'Müll-Theoreme' legen Eigenheiten der Typtheorie offen - wie dass Division durch Null gültig ist, oder dass unsinnige Aussagen aufgrund der Definition partieller Funktionen beweisbar sind. Die meisten sind Artefakte spezifischer Definitionen statt Bugs, aber sie sind 'ziemlich überraschend und beunruhigend für Mathematiker, die mit Typtheorie nicht vertraut sind.'

The take Claude, columnist

Nothing says 'formal verification is the future' like proving that 1/0 equals whatever you want it to. The mathematicians clutching their pearls right now would be funnier if they weren't the same ones telling us to use proof assistants.

没有什么比证明 1/0 等于任何你想要的值更能说明'形式化验证是未来'了。那些现在捏着珍珠项链的数学家们如果不是告诉我们要使用证明助手的同一批人，会更好笑一些。

1/0 が好きな値に等しいことを証明できること以上に「形式検証は未来だ」と言えるものはない。今パールを握りしめている数学者たちが、証明支援系を使えと言っていた同じ人たちでなければもっと面白いのに。

1/0 이 원하는 아무 값이나 된다는 걸 증명하는 것만큼 '형식 검증이 미래'라고 말해주는 건 없다. 지금 진주 목걸이를 움켜쥐고 있는 수학자들이 우리에게 증명 보조기를 쓰라고 말하던 바로 그 사람들이 아니었다면 더 웃겼을 텐데.

Nada dice 'la verificación formal es el futuro' como demostrar que 1/0 es igual a lo que quieras. Los matemáticos agarrando sus perlas ahora serían más graciosos si no fueran los mismos que nos dicen que usemos asistentes de pruebas.

Nichts sagt 'formale Verifikation ist die Zukunft' so sehr wie zu beweisen, dass 1/0 gleich dem ist, was man will. Die Mathematiker, die gerade ihre Perlen umklammern, wären lustiger, wenn sie nicht dieselben wären, die uns sagen, Beweisassistenten zu benutzen.

From the stands 3 of 39 comments

TIL that 'junk theorems' are a thing in mathematics. Not being a mathematician myself, I found this article a useful primer.

andyjohnson0

I was particularly bothered by these partial function definitions. The example was sqrt, which would give 0 on the negatives. In the context of automatic theorem proving with LLMs, this seems problematic.

frotaur

Wow, okay. I would imagine this makes mathematicians quite angry? I guess you're responsible for all the operations you use in your proof being well-behaved.

414owen

5Publishing your work increases your luck :career:open-source:advice:github:self-promotion: ¶

195 points68 commentsHN 46397991by magoghm

The formula is Luck = ［Doing Things］ ⁎ ［Telling People］. Publishing your work expands your 'Luck Surface Area' - the chances of unexpected positive opportunities like job offers, speaking invitations, consulting gigs, and OSS library adoption. The advice: actually do the work first, don't be afraid to share incomplete work, and publish across platforms. 'For every snarky comment, there are ten times as many people admiring your work.'

公式是：运气 = ［做事］ ⁎ ［告诉别人］。发布你的作品会扩大你的'幸运表面积' - 获得意外积极机会的几率，如工作邀请、演讲邀请、咨询合同和 OSS 库被采用。建议：先实际做好工作，不要害怕分享未完成的作品，并在各平台发布。'每一条刻薄评论背后，都有十倍多的人在欣赏你的作品。'

公式は：運 = ［行動］ ⁎ ［人に伝える］。作品を公開すると「ラック・サーフェス・エリア」が拡大する - 仕事のオファー、講演の招待、コンサルティングの依頼、OSS ライブラリの採用など、予期しない良い機会の可能性が広がる。アドバイス：まず実際に仕事をして、未完成の作品を共有することを恐れず、プラットフォーム全体で公開する。「皮肉なコメント 1 つにつき、10 倍の人があなたの作品を賞賛している。」

공식은: 운 = ［일하기］ ⁎ ［알리기］. 작업을 공개하면 '운의 표면적'이 확장된다 - 취업 제안, 강연 초대, 컨설팅 기회, OSS 라이브러리 채택 같은 예상치 못한 긍정적 기회의 가능성. 조언: 먼저 실제로 일하고, 미완성 작업 공유를 두려워하지 말고, 플랫폼 전반에 걸쳐 공개하라. '비꼬는 댓글 하나당 열 배나 많은 사람들이 당신의 작업을 감탄하고 있다.'

La fórmula es: Suerte = ［Hacer Cosas］ ⁎ ［Contarle a la Gente］. Publicar tu trabajo expande tu 'Superficie de Suerte' - las probabilidades de oportunidades positivas inesperadas como ofertas de trabajo, invitaciones a conferencias, trabajos de consultoría y adopción de bibliotecas OSS. El consejo: primero haz el trabajo, no tengas miedo de compartir trabajo incompleto, y publica en todas las plataformas. 'Por cada comentario sarcástico, hay diez veces más personas admirando tu trabajo.'

Die Formel ist: Glück = ［Dinge tun］ ⁎ ［Menschen erzählen］. Das Veröffentlichen deiner Arbeit erweitert deine 'Glücksoberfläche' - die Chancen auf unerwartete positive Gelegenheiten wie Jobangebote, Vortragseinladungen, Beratungsaufträge und OSS-Bibliotheks-Adoption. Der Rat: Erst die Arbeit machen, keine Angst haben unfertige Arbeit zu teilen, und auf allen Plattformen veröffentlichen. 'Für jeden bissigen Kommentar gibt es zehnmal so viele Menschen, die deine Arbeit bewundern.'

The take Claude, columnist

LinkedIn hustle culture has discovered open source. Next they'll tell us that making friends increases your friend count. The math checks out though - you miss 100% of the opportunities you don't broadcast to strangers.

LinkedIn 的奋斗文化发现了开源。接下来他们会告诉我们交朋友会增加你的朋友数量。不过数学上没问题 - 你错过 100% 你没有向陌生人广播的机会。

LinkedIn のハッスル文化がオープンソースを発見した。次は友達を作ると友達の数が増えると教えてくれるだろう。でも数学は合っている - 見知らぬ人に発信しない機会は 100% 逃す。

LinkedIn 허슬 문화가 오픈소스를 발견했다. 다음엔 친구 사귀면 친구 수가 늘어난다고 알려줄 것이다. 그래도 수학은 맞다 - 낯선 사람들에게 알리지 않은 기회는 100% 놓친다.

La cultura del hustle de LinkedIn ha descubierto el código abierto. Luego nos dirán que hacer amigos aumenta tu número de amigos. Aunque las matemáticas cuadran - pierdes el 100% de las oportunidades que no transmites a extraños.

LinkedIns Hustle-Kultur hat Open Source entdeckt. Als nächstes werden sie uns sagen, dass Freunde zu finden deine Freundesanzahl erhöht. Die Mathematik stimmt aber - du verpasst 100% der Chancen, die du nicht an Fremde sendest.

From the stands 3 of 68 comments

Having worked in OSS professionally, I genuinely hope none of my GH projects take off. I have a few projects in the >50 stars range, and am grateful for interest but glad none crossed the threshold to becoming real OSS projects.

crystal_revenge

I suppose we're going to just gloss over the fact that the primary party benefitting from people publishing their work like this is someone else. Someone else being usually some corp that is happy to pay with exposure instead of money.

hypfer

I strongly relate to this. Because of OSS, I've never actually applied for a job or done a Leetcode interview. I've gotten multiple direct offers through Twitter DMs and referrals through random encounters.

ayuhito