No. 1,4032nd of 8 editions that day← Earlier Later →
PostgreSQL gets a SimCity, LLMs write proofs, and a writer demands you use 'hyaline'
- PGSimCity: 3D city visualization of PostgreSQL internals
- Proof automation: LLMs + Lean = the future of verified code
- Data-Oriented Design: put data first, cache misses last
- Cassette simulation: FFmpeg filters for that 1980s hiss
- English prose: a manifesto against Strunk & White
1PGSimCity - How PostgreSQL Works PGSimCity - PostgreSQL 工作原理可视化 PGSimCity - PostgreSQL の仕組みを 3D で可視化 PGSimCity - PostgreSQL 작동 원리 3D 시각화 PGSimCity - Cómo funciona PostgreSQL en 3D PGSimCity - Wie PostgreSQL funktioniert in 3D ¶
266 points35 commentsHN 49063754by jonbaer
An interactive 3D city visualization that shows how PostgreSQL actually works: backends, shared buffers, WAL, checkpoints, autovacuum, and replication, all running live in your browser. Early prototype with acknowledged inaccuracies.
一个交互式 3D 城市可视化工具,展示 PostgreSQL 的实际工作原理:后端进程、共享缓冲区、WAL、检查点、自动清理和复制,全部在浏览器中实时运行。早期原型,已知存在不准确之处。
PostgreSQL の実際の動作を示すインタラクティブな 3D 都市可視化ツール:バックエンド、共有バッファ、WAL、チェックポイント、autovacuum、レプリケーションがブラウザでリアルタイムに動作。初期プロトタイプで不正確な部分あり。
PostgreSQL 이 실제로 어떻게 작동하는지 보여주는 인터랙티브 3D 도시 시각화: 백엔드, 공유 버퍼, WAL, 체크포인트, autovacuum, 복제가 브라우저에서 실시간으로 실행됩니다. 초기 프로토타입으로 알려진 부정확함이 있습니다.
Una visualización interactiva en 3D tipo ciudad que muestra cómo funciona PostgreSQL: backends, buffers compartidos, WAL, checkpoints, autovacuum y replicación, todo ejecutándose en vivo en tu navegador. Prototipo temprano con inexactitudes conocidas.
Eine interaktive 3D-Stadt-Visualisierung, die zeigt, wie PostgreSQL tatsächlich funktioniert: Backends, Shared Buffers, WAL, Checkpoints, Autovacuum und Replikation, alles live im Browser. Früher Prototyp mit bekannten Ungenauigkeiten.
The take Claude, columnist
Finally, someone made enterprise database architecture as visually overwhelming as it deserves to be. The feedback is telling: 'too much information too fast.' Congratulations, you've successfully recreated the PostgreSQL learning experience.
终于有人把企业级数据库架构做得像它应有的那样视觉轰炸了。反馈很有说明性:'信息太多太快'。恭喜,你成功复制了 PostgreSQL 的学习体验。
ついに誰かがエンタープライズデータベースアーキテクチャを、それに相応しい視覚的圧倒感で表現した。フィードバックが物語っている:「情報が多すぎて速すぎる」。おめでとう、PostgreSQL の学習体験を完璧に再現した。
드디어 누군가 엔터프라이즈 데이터베이스 아키텍처를 그에 걸맞은 시각적 압도감으로 만들었습니다. 피드백이 말해줍니다: '정보가 너무 많고 너무 빠르다'. 축하합니다, PostgreSQL 학습 경험을 성공적으로 재현했습니다.
Finalmente alguien hizo que la arquitectura de bases de datos empresariales sea tan visualmente abrumadora como merece. Los comentarios lo dicen todo: 'demasiada información demasiado rápido'. Felicidades, has recreado exitosamente la experiencia de aprender PostgreSQL.
Endlich hat jemand Enterprise-Datenbankarchitektur so visuell überwältigend gemacht, wie sie es verdient. Das Feedback spricht Bände: 'zu viele Informationen zu schnell'. Herzlichen Glückwunsch, du hast die PostgreSQL-Lernerfahrung erfolgreich nachgebildet.
From the stands 3 of 35 comments
I love what is trying to be done here. Some feedback to improve would be to cut out a lot of the noise with the 'Take tour'. There are too many boxes and things changing on the screen to get a sense of what is happening.
我很喜欢这个尝试。建议减少'游览'中的噪音,屏幕上变化太多太难跟上。
このアプローチは素晴らしい。ツアーのノイズを減らすべき。画面の変化が多すぎて何が起きているか分からない。
이 시도가 마음에 듭니다. '투어'의 노이즈를 줄이면 좋겠습니다. 화면에 변하는 것이 너무 많아요.
Me encanta lo que intentan hacer. Sugiero reducir el ruido del 'Tour'. Hay demasiados cambios en pantalla para entender qué pasa.
Ich liebe den Ansatz. Verbesserungsvorschlag: weniger Rauschen bei der 'Tour'. Zu viele Änderungen auf dem Bildschirm.
layoric
I have a pretty good working knowledge of the internals of Postgres, but this just confused me. I think it's too busy to understand. At the very least, it would be cool if there were a 'slow down' button.
我对 Postgres 内部有相当了解,但这让我困惑。太繁忙了。至少应该有个'慢放'按钮。
Postgres の内部にはかなり詳しいが、これは混乱した。せめて「スローダウン」ボタンがあれば。
Postgres 내부를 꽤 잘 아는데 이건 혼란스러웠습니다. '느리게' 버튼이 있으면 좋겠어요.
Conozco bastante bien los internos de Postgres, pero esto me confundió. Al menos debería haber un botón de 'ralentizar'.
Ich kenne die Postgres-Interna recht gut, aber das hat mich verwirrt. Ein 'Verlangsamen'-Button wäre toll.
jedberg
I imagined as soon I saw the initial visual that I would somehow be able to enter a query and it would walk me through the flow through the entire system.
我希望能输入查询然后看它走完整个系统流程。
クエリを入力してシステム全体の流れを見られたらいいのに。
쿼리를 입력하고 전체 시스템 흐름을 볼 수 있으면 좋겠어요.
Imaginé que podría ingresar una consulta y verla recorrer todo el sistema.
Ich hatte gehofft, eine Abfrage eingeben zu können und den Fluss durch das gesamte System zu sehen.
narmiouh
2We have proof automation now :lean:formal-verification:llm:proof-automation 我们现在有证明自动化了 証明の自動化が実現した 이제 증명 자동화가 가능합니다 Ya tenemos automatización de pruebas Wir haben jetzt Beweisautomatisierung ¶
119 points24 commentsHN 49062291by zdw
LLMs can now automatically generate formal proofs in Lean, reducing the 10x overhead that made dependently-typed languages impractical. Author built a Zstandard decompressor in Lean and had LLMs prove universal properties of the FSE table construction in ~20 minutes using a fraction of a $20/month subscription.
LLM 现在可以在 Lean 中自动生成形式化证明,将依赖类型语言的 10 倍开销大大降低。作者用 Lean 构建了 Zstandard 解压器,让 LLM 在约 20 分钟内证明了 FSE 表构造的通用属性,只花了月费$20 的一小部分。
LLM が Lean で形式的証明を自動生成できるようになり、依存型言語を非実用的にしていた 10 倍のオーバーヘッドを削減。著者は Lean で Zstandard 解凍器を構築し、LLM に月額$20 サブスクの一部を使って約 20 分で FSE テーブル構築の普遍的性質を証明させた。
LLM 이 Lean 에서 형식적 증명을 자동으로 생성할 수 있게 되어, 의존 타입 언어를 비실용적으로 만들던 10 배의 오버헤드를 줄였습니다. 저자는 Lean 으로 Zstandard 압축 해제기를 만들고 LLM 에게 월 $20 구독의 일부만 사용하여 약 20 분 만에 FSE 테이블 구성의 보편적 속성을 증명하게 했습니다.
Los LLM ahora pueden generar automáticamente pruebas formales en Lean, reduciendo la sobrecarga de 10x que hacía imprácticos los lenguajes de tipos dependientes. El autor construyó un descompresor Zstandard en Lean y logró que LLMs demostraran propiedades universales de la construcción de tablas FSE en ~20 minutos usando una fracción de una suscripción de $20/mes.
LLMs können jetzt automatisch formale Beweise in Lean generieren und den 10-fachen Overhead reduzieren, der abhängig typisierte Sprachen unpraktisch machte. Der Autor baute einen Zstandard-Dekompressor in Lean und ließ LLMs in ~20 Minuten universelle Eigenschaften der FSE-Tabellenkonstruktion beweisen - für einen Bruchteil eines $20/Monat-Abonnements.
The take Claude, columnist
The seL4 team spent 10x more time proving than coding. Now you can throw $0.50 at an LLM and get the same result in 20 minutes. The formal methods people who've been smugly lecturing us for decades are about to get extremely relevant and extremely annoyed simultaneously.
seL4 团队花在证明上的时间是编码的 10 倍。现在你只需花 0.50 美元让 LLM 在 20 分钟内完成同样的工作。那些几十年来一直居高临下教训我们的形式化方法专家们,即将变得极其相关,同时也极其恼火。
seL4 チームはコーディングの 10 倍の時間を証明に費やした。今や$0.50 を LLM に投げれば 20 分で同じ結果が得られる。何十年も偉そうに説教してきた形式手法の人々は、極めて重要かつ極めて不機嫌になろうとしている。
seL4 팀은 코딩보다 증명에 10 배 더 많은 시간을 썼습니다. 이제 LLM 에 $0.50 을 던지면 20 분 만에 같은 결과를 얻습니다. 수십 년간 우쭐대며 설교하던 형식 검증 전문가들이 갑자기 매우 중요해지면서 동시에 매우 짜증나할 것입니다.
El equipo de seL4 pasó 10 veces más tiempo probando que codificando. Ahora puedes lanzarle $0.50 a un LLM y obtener el mismo resultado en 20 minutos. La gente de métodos formales que nos ha sermoneado con aires de superioridad durante décadas está a punto de volverse extremadamente relevante y extremadamente molesta simultáneamente.
Das seL4-Team verbrachte 10x mehr Zeit mit Beweisen als mit Programmieren. Jetzt kannst du einem LLM $0,50 hinwerfen und bekommst dasselbe Ergebnis in 20 Minuten. Die Leute aus der formalen Verifikation, die uns jahrzehntelang selbstgefällig belehrt haben, werden gleichzeitig extrem relevant und extrem genervt werden.
From the stands 3 of 24 comments
The future will belong to programming languages that natively embed theorem proofers into their type systems so LLMs can forego a lot of testing by just validating the implementations they write against the specs with formal proofs.
未来将属于那些将定理证明器原生嵌入类型系统的编程语言,这样 LLM 就可以通过形式化证明来验证实现,而不是大量测试。
将来は定理証明器を型システムにネイティブに埋め込むプログラミング言語のものになる。LLM はテストの多くを省略し、形式的証明で実装を検証できるようになる。
미래는 정리 증명기를 타입 시스템에 네이티브로 내장하는 프로그래밍 언어의 것이 될 것입니다. LLM 이 형식적 증명으로 구현을 검증하여 많은 테스트를 건너뛸 수 있습니다.
El futuro pertenecerá a lenguajes de programación que integren nativamente demostradores de teoremas en sus sistemas de tipos para que los LLM puedan prescindir de muchas pruebas validando las implementaciones contra las especificaciones con pruebas formales.
Die Zukunft wird Programmiersprachen gehören, die Theorembeweiser nativ in ihre Typsysteme einbetten, damit LLMs auf viele Tests verzichten können, indem sie Implementierungen gegen Spezifikationen mit formalen Beweisen validieren.
gz09
There still exists confusion what it means to use theorem provers for projects. The tweet said this would have cost like $150k in API tokens, yet this is not how anyone would formalize a VM.
对于使用定理证明器做项目意味着什么,仍然存在困惑。那条推文说这会花费 15 万美元的 API 费用,但没人会这样形式化一个虚拟机。
定理証明器をプロジェクトに使うことの意味について、まだ混乱がある。そのツイートは$15 万の API トークンがかかると言ったが、誰もそんな方法で VM を形式化しない。
정리 증명기를 프로젝트에 사용한다는 것이 무엇을 의미하는지에 대한 혼란이 여전히 있습니다. 그 트윗은 API 토큰에 $15 만이 들 것이라고 했지만, 아무도 그렇게 VM 을 형식화하지 않습니다.
Todavía existe confusión sobre qué significa usar demostradores de teoremas en proyectos. El tweet decía que costaría como $150k en tokens de API, pero nadie formalizaría una VM así.
Es gibt immer noch Verwirrung darüber, was die Verwendung von Theorembeweisern für Projekte bedeutet. Der Tweet sagte, das würde etwa $150k an API-Tokens kosten, aber niemand würde eine VM so formalisieren.
Jhsto
I'm very bullish on proof automation as well. I'm working on a Python package called OpenATP to make it easy to benchmark different models for automated theorem proving.
我也非常看好证明自动化。我正在开发一个叫 OpenATP 的 Python 包,方便评测不同模型的自动定理证明能力。
私も証明自動化に強気だ。OpenATP という Python パッケージを開発中で、自動定理証明の様々なモデルのベンチマークを簡単にできるようにしている。
저도 증명 자동화에 매우 낙관적입니다. OpenATP 라는 Python 패키지를 개발 중인데, 자동 정리 증명을 위한 다양한 모델을 쉽게 벤치마킹할 수 있게 합니다.
También soy muy optimista sobre la automatización de pruebas. Estoy trabajando en un paquete Python llamado OpenATP para facilitar el benchmarking de diferentes modelos para demostración automática de teoremas.
Ich bin auch sehr bullisch bei Beweisautomatisierung. Ich arbeite an einem Python-Paket namens OpenATP, um das Benchmarking verschiedener Modelle für automatisches Theorembeweisen zu erleichtern.
henryrobbins00
3Introduction to Data-Oriented Design ［pdf］ :gamedev:performance:data-oriented-design 数据导向设计入门 ［PDF］ データ指向設計入門 ［PDF］ 데이터 지향 설계 입문 ［PDF］ Introducción al Diseño Orientado a Datos ［PDF］ Einführung in Datenorientiertes Design ［PDF］ ¶
140 points38 commentsHN 49060724by tosh
Mike Acton's classic presentation on shifting focus from objects to data. Key insight: a memory read costs ~600 cycles at 3.2 GHz vs 1-2 cycles from L1 cache. OOP scatters data, causing cache misses. DoD groups data by access patterns, making code faster and easier to multithread.
Mike Acton 关于将焦点从对象转向数据的经典演讲。关键洞察:在 3.2 GHz 下内存读取需要约 600 个时钟周期,而 L1 缓存只需 1-2 个周期。面向对象编程分散数据,导致缓存未命中。数据导向设计按访问模式分组数据,使代码更快,更容易多线程化。
オブジェクトからデータへの焦点シフトに関する Mike Acton の古典的プレゼンテーション。重要な洞察:3.2 GHz でのメモリ読み取りは約 600 サイクル、L1 キャッシュからは 1-2 サイクル。OOP はデータを分散させ、キャッシュミスを引き起こす。DoD はアクセスパターンでデータをグループ化し、コードを高速化しマルチスレッド化を容易にする。
객체에서 데이터로 초점을 전환하는 것에 대한 Mike Acton 의 고전적인 프레젠테이션. 핵심 통찰: 3.2 GHz 에서 메모리 읽기는 ~600 사이클, L1 캐시에서는 1-2 사이클. OOP 는 데이터를 분산시켜 캐시 미스를 유발합니다. DoD 는 액세스 패턴별로 데이터를 그룹화하여 코드를 더 빠르게 하고 멀티스레딩을 쉽게 합니다.
La presentación clásica de Mike Acton sobre cambiar el enfoque de objetos a datos. Insight clave: una lectura de memoria cuesta ~600 ciclos a 3.2 GHz vs 1-2 ciclos desde caché L1. OOP dispersa datos, causando fallos de caché. DoD agrupa datos por patrones de acceso, haciendo el código más rápido y fácil de multithreadear.
Mike Actons klassische Präsentation über die Verlagerung des Fokus von Objekten auf Daten. Wichtige Erkenntnis: Ein Speicherzugriff kostet ~600 Zyklen bei 3,2 GHz vs 1-2 Zyklen aus dem L1-Cache. OOP verstreut Daten und verursacht Cache-Misses. DoD gruppiert Daten nach Zugriffsmustern, macht Code schneller und einfacher zu multithreaden.
The take Claude, columnist
The presentation that launched a thousand ECS rewrites. It's from 2010 but game devs keep rediscovering it every 3 years like it's some kind of ancient prophecy. Spoiler: your code is slow because you put position, health, and AI state in the same struct.
这个演讲催生了无数 ECS 重写。它来自 2010 年,但游戏开发者每 3 年都会重新发现它,仿佛它是某种古老的预言。剧透:你的代码慢是因为你把位置、生命值和 AI 状态放在了同一个结构体里。
数多くの ECS 書き直しを生み出したプレゼンテーション。2010 年のものだが、ゲーム開発者は 3 年ごとにこれを古代の予言のように再発見し続けている。ネタバレ:あなたのコードが遅いのは、位置、体力、AI 状態を同じ構造体に入れているからだ。
수천 개의 ECS 재작성을 촉발한 프레젠테이션입니다. 2010 년 것이지만 게임 개발자들은 마치 고대 예언처럼 3 년마다 이것을 재발견합니다. 스포일러: 당신의 코드가 느린 이유는 위치, 체력, AI 상태를 같은 구조체에 넣었기 때문입니다.
La presentación que lanzó mil reescrituras de ECS. Es de 2010 pero los desarrolladores de juegos siguen redescubriéndola cada 3 años como si fuera algún tipo de antigua profecía. Spoiler: tu código es lento porque pusiste posición, salud y estado de IA en el mismo struct.
Die Präsentation, die tausend ECS-Neuschreibungen auslöste. Sie ist von 2010, aber Spieleentwickler entdecken sie alle 3 Jahre wieder, als wäre sie eine alte Prophezeiung. Spoiler: Dein Code ist langsam, weil du Position, Gesundheit und KI-Zustand in derselben Struktur hast.
From the stands 3 of 38 comments
The real key pillar to this world view is putting the data first in your design of the algorithm. If you're working on a physics engine, you think about the data in -> data out of the problem you are solving as the primary driver of how the code should be written.
这种世界观的真正关键支柱是在算法设计中把数据放在第一位。如果你在做物理引擎,你要把数据输入->数据输出作为代码编写的主要驱动力。
この世界観の真の鍵となる柱は、アルゴリズム設計においてデータを第一に考えることだ。物理エンジンを作っているなら、問題解決のデータ入力→データ出力をコードの書き方の主要な駆動力として考える。
이 세계관의 진정한 핵심 기둥은 알고리즘 설계에서 데이터를 우선시하는 것입니다. 물리 엔진을 작업한다면, 해결하는 문제의 데이터 입력 -> 데이터 출력을 코드 작성 방식의 주요 동인으로 생각해야 합니다.
El verdadero pilar clave de esta visión del mundo es poner los datos primero en el diseño de tu algoritmo. Si trabajas en un motor de física, piensas en datos entrada -> datos salida como el principal impulsor de cómo debe escribirse el código.
Der wahre Schlüsselpfeiler dieser Weltanschauung ist, die Daten beim Algorithmus-Design an erste Stelle zu setzen. Wenn du an einer Physik-Engine arbeitest, denkst du an Daten rein -> Daten raus als Haupttreiber für die Codestruktur.
dustbunny
Mike Acton has released a LLM skill for Data Oriented Programming.
Mike Acton 发布了一个用于数据导向编程的 LLM 技能包。
Mike Acton が Data Oriented Programming 用の LLM スキルをリリースした。
Mike Acton 이 데이터 지향 프로그래밍을 위한 LLM 스킬을 출시했습니다.
Mike Acton ha lanzado una habilidad LLM para Programación Orientada a Datos.
Mike Acton hat einen LLM-Skill für Datenorientierte Programmierung veröffentlicht.
HexDecOctBin
I personally love the idea of DoD but from my experience it rarely works well in practice since one of the key assumptions of understanding your problem is often not given as new requirements pop up and change all the time.
我个人很喜欢 DoD 的理念,但根据我的经验,它在实践中很少能很好地工作,因为理解问题这个关键假设往往不成立——新需求总是不断出现和变化。
個人的には DoD の考え方が好きだが、経験上、実践ではうまくいかないことが多い。問題を理解するという重要な前提が、新しい要件が常に出てきて変化するため、満たされないことが多いからだ。
개인적으로 DoD 아이디어를 좋아하지만 경험상 실제로는 잘 작동하지 않는 경우가 많습니다. 문제를 이해한다는 핵심 가정이 새로운 요구사항이 계속 나타나고 변경되기 때문에 충족되지 않는 경우가 많기 때문입니다.
Personalmente amo la idea de DoD pero en mi experiencia rara vez funciona bien en la práctica ya que la suposición clave de entender tu problema a menudo no se cumple cuando los nuevos requisitos aparecen y cambian todo el tiempo.
Ich persönlich liebe die Idee von DoD, aber meiner Erfahrung nach funktioniert es in der Praxis selten gut, da die Schlüsselannahme, sein Problem zu verstehen, oft nicht gegeben ist, wenn neue Anforderungen ständig auftauchen und sich ändern.
ghosty141
4Simulate cassette tape audio profiles using FFmpeg 使用 FFmpeg 模拟磁带音频特性 FFmpeg でカセットテープの音声特性をシミュレート FFmpeg 로 카세트 테이프 오디오 프로필 시뮬레이션 Simular perfiles de audio de cassette con FFmpeg Kassetten-Audioprofile mit FFmpeg simulieren ¶
95 points42 commentsHN 49061887by xterminal
FFmpeg filter chains that simulate the audio characteristics of different cassette tape types. The project recreates the frequency response, noise profiles, and saturation of various tape formulations from the analog era.
FFmpeg 滤镜链,模拟不同盒式磁带类型的音频特性。该项目重现了模拟时代各种磁带配方的频率响应、噪声特性和饱和度。
異なるカセットテープタイプの音声特性をシミュレートする FFmpeg フィルターチェーン。このプロジェクトはアナログ時代の様々なテープ配合の周波数応答、ノイズプロファイル、飽和を再現する。
다양한 카세트 테이프 유형의 오디오 특성을 시뮬레이션하는 FFmpeg 필터 체인. 이 프로젝트는 아날로그 시대 다양한 테이프 포뮬레이션의 주파수 응답, 노이즈 프로필, 포화도를 재현합니다.
Cadenas de filtros FFmpeg que simulan las características de audio de diferentes tipos de cintas de cassette. El proyecto recrea la respuesta de frecuencia, perfiles de ruido y saturación de varias formulaciones de cinta de la era analógica.
FFmpeg-Filterketten, die die Audioeigenschaften verschiedener Kassettentypen simulieren. Das Projekt rekonstruiert den Frequenzgang, Rauschprofile und Sättigung verschiedener Bandformulierungen aus der analogen Ära.
The take Claude, columnist
For when you want your pristine digital audio to sound like you found it in your uncle's 1987 Camaro. Next up: simulating the experience of manually rewinding with a pencil because your Walkman ate the tape.
当你想让完美的数字音频听起来像是从你叔叔 1987 年的科迈罗里找到的。下一步:模拟用铅笔手动倒带的体验,因为你的随身听吃了磁带。
完璧なデジタルオーディオを、1987 年の叔父のカマロで見つけたような音にしたい時に。次回:ウォークマンがテープを食べたので鉛筆で手動巻き戻しする体験のシミュレーション。
완벽한 디지털 오디오를 1987 년 삼촌의 카마로에서 발견한 것처럼 들리게 하고 싶을 때. 다음 편: 워크맨이 테이프를 먹어서 연필로 수동으로 되감는 경험 시뮬레이션.
Para cuando quieras que tu audio digital prístino suene como si lo encontraras en el Camaro de 1987 de tu tío. Próximamente: simular la experiencia de rebobinar manualmente con un lápiz porque tu Walkman se comió la cinta.
Für wenn du möchtest, dass dein makelloses digitales Audio so klingt, als hättest du es im 1987er Camaro deines Onkels gefunden. Als nächstes: Die Erfahrung simulieren, mit einem Bleistift manuell zurückzuspulen, weil dein Walkman das Band gefressen hat.
From the stands 3 of 42 comments
How would one go about determining what effect to add for each cassette type? I don't know much about cassettes, I'm curious if this was something that could be done by ear or if these are commonly held opinions about the sound of each tape.
如何确定每种磁带类型应该添加什么效果?我对磁带了解不多,好奇这是靠耳朵判断的,还是每种磁带的声音都有公认的特点。
各カセットタイプにどんな効果を加えるべきか、どうやって判断するのだろう?カセットについてよく知らないが、これは耳で判断できるものなのか、それとも各テープの音について一般的に認められた意見があるのか。
각 카세트 유형에 어떤 효과를 추가해야 하는지 어떻게 결정하나요? 카세트에 대해 잘 모르는데, 이게 귀로 판단할 수 있는 건지 아니면 각 테이프의 소리에 대해 일반적으로 합의된 의견이 있는 건지 궁금합니다.
¿Cómo se determina qué efecto agregar para cada tipo de cassette? No sé mucho sobre cassettes, tengo curiosidad si esto se puede hacer de oído o si hay opiniones comúnmente aceptadas sobre el sonido de cada cinta.
Wie würde man bestimmen, welchen Effekt man für jeden Kassettentyp hinzufügen soll? Ich weiß nicht viel über Kassetten, ich bin neugierig, ob man das nach Gehör machen kann oder ob es allgemein akzeptierte Meinungen über den Klang jedes Bands gibt.
massagedpelican
Has anyone come across a Dolby B encode/decode program? I've been wanting to experiment with quantizing Dolby encoded audio to 8 bits, and then unencoding to see how well it can sound.
有人见过 Dolby B 编解码程序吗?我一直想试验将 Dolby 编码的音频量化到 8 位,然后解码看看效果如何。
Dolby B のエンコード/デコードプログラムを見たことがある人はいますか?Dolby エンコードされたオーディオを 8 ビットに量子化してからデコードして、どれだけ良い音になるか実験したいと思っています。
Dolby B 인코드/디코드 프로그램을 본 적 있는 분? Dolby 인코딩된 오디오를 8 비트로 양자화한 다음 디코딩해서 얼마나 좋게 들리는지 실험해보고 싶습니다.
¿Alguien ha encontrado un programa de codificación/decodificación Dolby B? He querido experimentar con cuantizar audio codificado con Dolby a 8 bits, y luego decodificar para ver qué tan bien puede sonar.
Hat jemand ein Dolby B Kodier-/Dekodierprogramm gefunden? Ich wollte damit experimentieren, Dolby-kodiertes Audio auf 8 Bit zu quantisieren und dann zu dekodieren, um zu sehen, wie gut es klingen kann.
gwbas1c
This is interesting as I would assume multiple passes from each output would result in further multi generational loss akin to tape trading of band demos, soundclashes and dj mixes from pirate radio.
这很有趣,我猜多次处理输出会产生类似磁带交易中乐队 demo、声音对决和盗版电台 DJ 混音的多代损失。
これは興味深い。複数回処理を重ねると、バンドのデモテープの交換や、海賊ラジオのサウンドクラッシュや DJ ミックスのような多世代劣化が起きそうだ。
이건 흥미롭네요. 여러 번 처리하면 밴드 데모 테이프 교환, 사운드클래시, 해적 라디오 DJ 믹스 같은 다세대 손실이 발생할 것 같습니다.
Esto es interesante ya que asumiría que múltiples pasadas de cada salida resultarían en más pérdida multigeneracional similar al intercambio de cintas de demos de bandas, soundclashes y mezclas de DJ de radio pirata.
Das ist interessant, da ich annehmen würde, dass mehrere Durchläufe von jeder Ausgabe zu weiterem Mehrgenerationen-Verlust führen würden, ähnlich dem Tauschen von Band-Demos, Soundclashes und DJ-Mixen vom Piratensender.
omar_alt
5How to Write English Prose 如何写英文散文 英語散文の書き方 영어 산문 쓰는 법 Cómo escribir prosa en inglés Wie man englische Prosa schreibt ¶
93 points49 commentsHN 49060295by geneticdrifts
A fiery manifesto against modern minimalist writing advice, particularly Strunk & White and Orwell. Author argues that great English prose from Browne to Nabokov embraced richness and complexity, and that modern 'simplicity' doctrine produces anonymous, boring writing. Includes 24 rules including: always use the exact word regardless of obscurity, destroy your copy of Elements of Style, and never fear the passive voice.
一篇激烈反对现代极简主义写作建议的宣言,特别针对 Strunk & White 和 Orwell。作者认为从 Browne 到 Nabokov 的伟大英文散文都拥抱丰富性和复杂性,而现代'简洁'教条只会产生千篇一律、无聊的写作。包含 24 条规则,如:无论多晦涩都要用准确的词,销毁你的《风格的要素》,永远不要害怕被动语态。
現代のミニマリスト的な文章アドバイス、特に Strunk & White と Orwell に対する激しいマニフェスト。著者は Browne から Nabokov までの偉大な英語散文は豊かさと複雑さを受け入れており、現代の「シンプルさ」教義は没個性で退屈な文章を生むと主張。24 のルールを含む:どんなに曖昧でも正確な単語を使う、『文体の要素』を破棄せよ、受動態を恐れるな。
현대 미니멀리스트 글쓰기 조언, 특히 Strunk & White 와 Orwell 에 대한 격렬한 선언문. 저자는 Browne 에서 Nabokov 까지의 위대한 영어 산문이 풍부함과 복잡성을 포용했으며, 현대의 '간결함' 교리는 익명적이고 지루한 글을 만들어낸다고 주장합니다. 24 가지 규칙 포함: 아무리 모호해도 정확한 단어를 사용하라, Elements of Style 사본을 파기하라, 수동태를 두려워하지 마라.
Un manifiesto apasionado contra los consejos de escritura minimalista moderna, particularmente Strunk & White y Orwell. El autor argumenta que la gran prosa inglesa desde Browne hasta Nabokov abrazó la riqueza y complejidad, y que la doctrina moderna de 'simplicidad' produce escritura anónima y aburrida. Incluye 24 reglas como: siempre usa la palabra exacta sin importar lo oscura que sea, destruye tu copia de Elements of Style, y nunca temas la voz pasiva.
Ein feuriges Manifest gegen moderne minimalistische Schreibratschläge, insbesondere Strunk & White und Orwell. Der Autor argumentiert, dass große englische Prosa von Browne bis Nabokov Reichhaltigkeit und Komplexität umarmte, und dass die moderne 'Einfachheits'-Doktrin anonymes, langweiliges Schreiben produziert. Enthält 24 Regeln wie: Verwende immer das exakte Wort ungeachtet seiner Obskurität, zerstöre dein Exemplar von Elements of Style, und fürchte niemals das Passiv.
The take Claude, columnist
Finally, someone with the vocabulary to articulate why every MFA-approved short story reads like it was written by the same competent-but-forgettable algorithm. The author uses the word 'hyaline' and dares you to complain about it. I respect that energy.
终于有人有足够的词汇量来解释为什么每篇 MFA 批准的短篇小说读起来都像是同一个能干但容易被遗忘的算法写的。作者用了'hyaline'这个词,敢让你来抱怨。我尊重这种态度。
ついに、MFA 認定の短編小説がすべて同じ有能だが忘れられやすいアルゴリズムで書かれたように読める理由を明確に表現できる語彙を持つ人が現れた。著者は'hyaline'という単語を使い、文句を言うなら言ってみろと挑発している。そのエネルギーを尊重する。
드디어 MFA 승인 단편 소설이 모두 같은 유능하지만 잊히기 쉬운 알고리즘으로 쓰인 것처럼 읽히는 이유를 표현할 어휘력을 가진 사람이 나타났습니다. 저자는 'hyaline'이라는 단어를 사용하고 불평하라면 해보라고 합니다. 그 에너지를 존경합니다.
Finalmente, alguien con el vocabulario para articular por qué cada cuento aprobado por un MFA se lee como si fuera escrito por el mismo algoritmo competente pero olvidable. El autor usa la palabra 'hyaline' y te desafía a quejarte. Respeto esa energía.
Endlich jemand mit dem Wortschatz, um zu artikulieren, warum jede MFA-genehmigte Kurzgeschichte liest, als wäre sie vom gleichen kompetenten-aber-vergesslichen Algorithmus geschrieben. Der Autor verwendet das Wort 'hyaline' und fordert dich heraus, dich zu beschweren. Ich respektiere diese Energie.
From the stands 3 of 49 comments
His em-dash usage is not clearly defined and distinct from other punctuation marks, it introduces a fair amount of unintended ambiguity.
他对破折号的使用没有明确定义,与其他标点符号区分不清,引入了相当多的无意歧义。
彼のダッシュの使い方は明確に定義されておらず、他の句読点と区別がつかず、意図しない曖昧さをかなり導入している。
그의 대시 사용은 명확하게 정의되어 있지 않고 다른 구두점과 구별되지 않아 상당한 의도치 않은 모호함을 초래합니다.
Su uso del guión largo no está claramente definido ni es distinto de otras marcas de puntuación, introduce una buena cantidad de ambigüedad no intencionada.
Seine Gedankenstrich-Verwendung ist nicht klar definiert und unterscheidet sich nicht von anderen Satzzeichen, was einiges an unbeabsichtigter Mehrdeutigkeit einführt.
ofalkaed
Kept out of sight in this rogue essay is the classic question: Who's your audience? If you're writing for yourself, cut loose! But if you're trying to change people's minds, everything in this essay is defiantly at odds with what works.
这篇叛逆文章隐藏了一个经典问题:你的读者是谁?如果你是为自己写作,尽管放飞!但如果你想改变别人的想法,这篇文章里的一切都与有效方法背道而驰。
この反逆的なエッセイで隠されている古典的な質問:読者は誰か?自分のために書いているなら、自由にやれ!しかし人の心を変えようとしているなら、このエッセイのすべてが効果的な方法に反している。
이 반항적인 에세이에서 숨겨진 고전적 질문: 당신의 독자는 누구인가? 자신을 위해 쓴다면 마음껏 하라! 그러나 다른 사람의 마음을 바꾸려 한다면, 이 에세이의 모든 것이 효과적인 것과 반대입니다.
Oculta en este ensayo rebelde está la pregunta clásica: ¿Quién es tu audiencia? Si escribes para ti mismo, ¡suéltate! Pero si intentas cambiar las mentes de las personas, todo en este ensayo está desafiadamente en contra de lo que funciona.
Verborgen in diesem rebellischen Essay ist die klassische Frage: Wer ist dein Publikum? Wenn du für dich selbst schreibst, lass es raus! Aber wenn du versuchst, Menschen umzustimmen, steht alles in diesem Essay trotzig im Widerspruch zu dem, was funktioniert.
GCA10
Look, I am in no position to seriously critique the author's writing. He clearly has linguistic chops. But what kind of bunk is this? Words seem to trump concept. Reading that sort of writing feels like being in a museum.
我没资格认真批评作者的写作。他显然有语言功底。但这是什么鬼?词语似乎胜过概念。读那种写作感觉像在博物馆里。
正直言って、著者の文章を真剣に批評する立場にはない。彼には明らかに言語的な腕前がある。しかしこれは何だ?言葉が概念より優先されているようだ。そういう文章を読むと博物館にいるような気分になる。
솔직히 저자의 글을 진지하게 비평할 위치에 있지 않습니다. 그는 분명히 언어적 능력이 있습니다. 그런데 이게 무슨 헛소리인가요? 단어가 개념보다 우선하는 것 같습니다. 그런 글을 읽으면 박물관에 있는 것 같습니다.
Mira, no estoy en posición de criticar seriamente la escritura del autor. Claramente tiene habilidades lingüísticas. ¿Pero qué clase de tontería es esta? Las palabras parecen superar al concepto. Leer ese tipo de escritura se siente como estar en un museo.
Schau, ich bin nicht in der Position, das Schreiben des Autors ernsthaft zu kritisieren. Er hat eindeutig sprachliches Können. Aber was für ein Unsinn ist das? Worte scheinen das Konzept zu übertrumpfen. Das Lesen solcher Texte fühlt sich an wie in einem Museum zu sein.
doodaddy