Berkeley students fail harder than AI, Elixir finally gets types, and Ted Chiang reminds everyone they're arguing with autocomplete

Between professional Elixir, Go Rust and Node over decades now I am arriving actually at OCaml now. A REAL type system is just something I won't ever again compromise upon.

在专业使用 Elixir、Go、Rust 和 Node 多年后，我现在转向 OCaml 了。真正的类型系统是我再也不会妥协的东西。

プロとして Elixir、Go、Rust、Node を何十年も使った後、今 OCaml に向かっている。本物の型システムは二度と妥協しない。

수십 년간 전문적으로 Elixir, Go, Rust, Node 를 사용한 후 이제 OCaml 로 향하고 있다. 진정한 타입 시스템은 다시는 타협하지 않을 것이다.

Después de usar profesionalmente Elixir, Go, Rust y Node durante décadas, ahora me dirijo a OCaml. Un sistema de tipos REAL es algo en lo que nunca más comprometeré.

Nach Jahrzehnten professioneller Arbeit mit Elixir, Go, Rust und Node wende ich mich jetzt OCaml zu. Ein ECHTES Typsystem ist etwas, bei dem ich nie wieder Kompromisse eingehen werde.

I wanted to use functional programming and Elixir's lack of static types almost stopped me. I tried it out and immutability has made the trade-off worth it for me.

我想用函数式编程，Elixir 缺乏静态类型差点让我放弃。试用后发现不可变性让这个权衡值得。

関数型プログラミングを使いたかったが、Elixir の静的型の欠如でほぼ諦めかけた。試してみて不変性がそのトレードオフに値すると分かった。

함수형 프로그래밍을 사용하고 싶었는데 Elixir 의 정적 타입 부재가 거의 포기하게 만들었다. 시도해보니 불변성이 그 트레이드오프의 가치가 있었다.

Quería usar programación funcional y la falta de tipos estáticos de Elixir casi me detuvo. Lo probé y la inmutabilidad ha valido el intercambio.

Ich wollte funktionale Programmierung nutzen und Elixirs Mangel an statischen Typen hätte mich fast gestoppt. Ich habe es ausprobiert und Unveränderlichkeit hat den Kompromiss für mich lohnenswert gemacht.

As a professional Elixir developer for 10-ish years now, I've been super excited about types coming. I'd love to know how the state of v1.20 compares to un-spec'd dialyzer.

作为一个用 Elixir 十年的专业开发者，我一直对类型的到来超级兴奋。想知道 v1.20 和不带 spec 的 dialyzer 相比如何。

10 年以上のプロ Elixir 開発者として、型の導入をずっと楽しみにしていた。v1.20 が spec 無しの dialyzer と比べてどうか知りたい。

10 년 이상의 전문 Elixir 개발자로서 타입 도입을 정말 기대해왔다. v1.20 이 spec 없는 dialyzer 와 어떻게 비교되는지 알고 싶다.

Como desarrollador profesional de Elixir por unos 10 años, he estado muy emocionado por la llegada de los tipos. Me encantaría saber cómo el estado de v1.20 se compara con dialyzer sin spec.

Als professioneller Elixir-Entwickler seit etwa 10 Jahren bin ich super aufgeregt über die kommenden Typen. Ich würde gerne wissen, wie der Stand von v1.20 im Vergleich zu dialyzer ohne Spec ist.

I have some sympathy for these kids. If LLMs were around when I was a student, I would've also used them to 'speed up' my homework then proceed to fail all my tests.

我对这些孩子有些同情。如果我上学时有 LLM，我也会用它们来'加速'作业然后考试全挂。

これらの子供たちに同情する。もし私が学生の時に LLM があったら、宿題を「スピードアップ」して全てのテストに落ちていただろう。

이 아이들에게 동정심이 좀 간다. 내가 학생일 때 LLM 이 있었다면 나도 숙제를 '빠르게' 하고 시험은 다 떨어졌을 것이다.

Tengo algo de simpatía por estos chicos. Si los LLM hubieran existido cuando era estudiante, también los habría usado para 'acelerar' mis tareas y luego reprobar todos mis exámenes.

Ich habe etwas Sympathie für diese Kinder. Wenn es LLMs gegeben hätte, als ich Student war, hätte ich sie auch benutzt, um meine Hausaufgaben zu 'beschleunigen' und dann bei allen Tests durchzufallen.

The likely 'real' reason is hidden in one paragraph: over 1,300 UC faculty signed a petition calling for SAT/ACT reinstatement for STEM admissions.

真正的原因藏在一段话里：超过 1300 名 UC 教职员工签署请愿书呼吁恢复 STEM 招生的 SAT/ACT 要求。

本当の理由は一段落に隠されている：1,300 人以上の UC 教員が STEM 入試への SAT/ACT 復活を求める請願書に署名した。

진짜 이유는 한 단락에 숨겨져 있다: 1,300 명 이상의 UC 교수진이 STEM 입학에 SAT/ACT 복원을 요구하는 청원서에 서명했다.

La razón 'real' probablemente está oculta en un párrafo: más de 1,300 profesores de UC firmaron una petición pidiendo la reinstauración del SAT/ACT para admisiones STEM.

Der wahrscheinlich 'echte' Grund ist in einem Absatz versteckt: über 1.300 UC-Fakultätsmitglieder haben eine Petition für die Wiedereinführung von SAT/ACT für STEM-Zulassungen unterzeichnet.

CS Professor here: one of the groups yesterday clearly went the ChatGPT way. They couldn't even understand the choices the LLM made regarding the architecture.

CS 教授在此：昨天有个小组明显走了 ChatGPT 路线。他们甚至无法理解 LLM 在架构上做出的选择。

CS 教授です：昨日のグループの一つは明らかに ChatGPT ルートを選んだ。彼らは LLM がアーキテクチャについて行った選択さえ理解できなかった。

CS 교수입니다: 어제 그룹 중 하나가 분명히 ChatGPT 경로를 택했다. 그들은 LLM 이 아키텍처에 대해 내린 선택조차 이해하지 못했다.

Profesor de CS aquí: ayer uno de los grupos claramente fue por el camino de ChatGPT. Ni siquiera podían entender las decisiones que el LLM hizo respecto a la arquitectura.

CS-Professor hier: gestern ist eine der Gruppen offensichtlich den ChatGPT-Weg gegangen. Sie konnten nicht einmal die Entscheidungen verstehen, die das LLM bezüglich der Architektur getroffen hat.

Do we know that AI providers are going to keep these per-token prices, or eventually lower them because of competition from China? Many lower-budget individuals are now moving to Chinese models.

我们知道 AI 提供商会保持这些按 token 定价吗，还是最终因为中国的竞争而降价？很多预算有限的个人正在转向中国模型。

AI プロバイダーがこのトークン単価を維持するのか、中国との競争で最終的に下げるのか分かりますか？予算の少ない個人の多くが中国モデルに移行している。

AI 제공업체들이 이 토큰당 가격을 유지할 건지, 아니면 중국과의 경쟁 때문에 결국 낮출 건지 아나요? 예산이 적은 많은 개인들이 중국 모델로 이동하고 있다.

¿Sabemos si los proveedores de IA van a mantener estos precios por token, o eventualmente bajarlos por la competencia de China? Muchos individuos con menor presupuesto se están moviendo a modelos chinos.

Wissen wir, ob AI-Anbieter diese Pro-Token-Preise beibehalten werden, oder sie schließlich wegen der Konkurrenz aus China senken? Viele Personen mit kleinerem Budget wechseln zu chinesischen Modellen.

How many more months until big companies realize that flash models work just fine if you don't ask LLMs for big changes and review everything?

还要多少个月大公司才能意识到，如果不让 LLM 做大改动并审查一切，flash 模型完全够用？

大企業が LLM に大きな変更を求めず全てをレビューすれば、flash モデルで十分だと気づくまであと何ヶ月？

LLM 에 큰 변경을 요청하지 않고 모든 것을 검토하면 flash 모델로 충분하다는 걸 대기업들이 깨닫기까지 몇 달이 더 필요할까?

¿Cuántos meses más hasta que las grandes empresas se den cuenta de que los modelos flash funcionan bien si no pides grandes cambios a los LLM y revisas todo?

Wie viele Monate noch, bis große Unternehmen erkennen, dass Flash-Modelle gut funktionieren, wenn man LLMs nicht nach großen Änderungen fragt und alles überprüft?

Probably better to use the fully-loaded cost of the engineer, which is much higher than their compensation package including office space, food, equipment, insurance, payroll tax.

可能应该用工程师的全部成本，这比薪酬包高得多，包括办公空间、餐饮、设备、保险、工资税。

エンジニアの完全負荷コストを使う方がいいかも。オフィススペース、食事、機器、保険、給与税を含めると報酬パッケージよりずっと高い。

엔지니어의 완전 부담 비용을 사용하는 게 나을 것 같다. 사무실 공간, 식사, 장비, 보험, 급여세를 포함하면 보상 패키지보다 훨씬 높다.

Probablemente mejor usar el costo total del ingeniero, que es mucho mayor que el paquete de compensación incluyendo espacio de oficina, comida, equipo, seguro, impuestos de nómina.

Wahrscheinlich besser, die voll belasteten Kosten des Ingenieurs zu verwenden, die viel höher sind als das Vergütungspaket, einschließlich Bürofläche, Essen, Ausrüstung, Versicherung, Lohnsteuer.

My ex has mast cell activation syndrome. We would call for an ambulance 3-4 times a month because some days eating a grape could cause anaphylactic shock. She was misdiagnosed for 18 years.

我前任有肥大细胞激活综合征。我们每月要叫 3-4 次救护车，因为有时候吃一颗葡萄就能引起过敏性休克。她被误诊了 18 年。

元カノは肥満細胞活性化症候群だった。ある日はブドウ 1 粒でアナフィラキシーショックを起こすことがあり、月に 3-4 回救急車を呼んでいた。彼女は 18 年間誤診されていた。

전 여친은 비만세포 활성화 증후군이 있었다. 어떤 날은 포도 한 알 먹어도 아나필락시스 쇼크가 올 수 있어서 한 달에 3-4 번 구급차를 불러야 했다. 그녀는 18 년간 오진받았다.

Mi ex tiene síndrome de activación de mastocitos. Teníamos que llamar a una ambulancia 3-4 veces al mes porque algunos días comer una uva podía causar shock anafiláctico. Fue mal diagnosticada durante 18 años.

Meine Ex hat Mastzellaktivierungssyndrom. Wir mussten 3-4 Mal im Monat einen Krankenwagen rufen, weil an manchen Tagen das Essen einer Traube einen anaphylaktischen Schock auslösen konnte. Sie wurde 18 Jahre lang falsch diagnostiziert.

My wife has a cardiac autoimmune disease that was similarly misdiagnosed including an appalling 'it's all in your head' from her family MD. Just days before her probable death, she had a pacemaker installed.

我妻子有一种心脏自身免疫疾病，同样被误诊，包括她的家庭医生说的可怕的'都是你想出来的'。在她可能死亡的几天前，她安装了起搏器。

妻は同様に誤診された心臓の自己免疫疾患を持っている。家庭医からの「全部気のせい」というひどい言葉を含めて。彼女が死亡する可能性があった数日前に、ペースメーカーが設置された。

아내는 비슷하게 오진된 심장 자가면역 질환이 있다. 가정의의 끔찍한 '다 머릿속 생각이야'라는 말을 포함해서. 사망 가능성이 있던 며칠 전에 심박조율기를 설치했다.

Mi esposa tiene una enfermedad cardíaca autoinmune que fue similarmente mal diagnosticada, incluyendo un horrible 'todo está en tu cabeza' de su médico de familia. Días antes de su probable muerte, le instalaron un marcapasos.

Meine Frau hat eine kardiale Autoimmunerkrankung, die ähnlich falsch diagnostiziert wurde, einschließlich eines erschreckenden 'das ist alles nur in deinem Kopf' von ihrem Hausarzt. Nur Tage vor ihrem wahrscheinlichen Tod bekam sie einen Herzschrittmacher eingesetzt.

This is a relatively new diagnosis (first described in 2007). There's so much medicine to discover and we need to keep supporting biomedical research.

这是一个相对较新的诊断（2007 年首次描述）。还有很多医学需要发现，我们需要继续支持生物医学研究。

これは比較的新しい診断だ（2007 年に初めて記述）。発見すべき医学がまだたくさんあり、生物医学研究を支援し続ける必要がある。

이것은 비교적 새로운 진단이다(2007 년에 처음 기술됨). 발견해야 할 의학이 아직 많고 생물의학 연구를 계속 지원해야 한다.

Este es un diagnóstico relativamente nuevo (descrito por primera vez en 2007). Hay tanta medicina por descubrir y necesitamos seguir apoyando la investigación biomédica.

Dies ist eine relativ neue Diagnose (erstmals 2007 beschrieben). Es gibt noch so viel Medizin zu entdecken und wir müssen die biomedizinische Forschung weiter unterstützen.

When consciousness itself is not understood and well defined, it is pretty pointless to debate if something is or isn't conscious. Decomposing complex activity into 'predicting the next word' and claiming that surely can't have consciousness is a bizarre argument.

当意识本身还没有被理解和明确定义时，争论某物是否有意识是相当无意义的。把复杂活动分解为'预测下一个词'并声称这肯定不能有意识是一个奇怪的论点。

意識自体が理解されておらず明確に定義されていない時、何かが意識を持つかどうかを議論するのはかなり無意味だ。複雑な活動を「次の単語を予測する」ことに分解し、それが確かに意識を持てないと主張するのは奇妙な議論だ。

의식 자체가 이해되지 않고 잘 정의되지 않았을 때, 무언가가 의식이 있는지 없는지 논쟁하는 것은 꽤 무의미하다. 복잡한 활동을 '다음 단어 예측'으로 분해하고 그것이 확실히 의식을 가질 수 없다고 주장하는 것은 기이한 논증이다.

Cuando la consciencia en sí no se entiende ni está bien definida, es bastante inútil debatir si algo es o no consciente. Descomponer actividad compleja en 'predecir la siguiente palabra' y afirmar que eso seguramente no puede tener consciencia es un argumento bizarro.

Wenn Bewusstsein selbst nicht verstanden und gut definiert ist, ist es ziemlich sinnlos zu debattieren, ob etwas bewusst ist oder nicht. Komplexe Aktivität in 'das nächste Wort vorhersagen' zu zerlegen und zu behaupten, dass das sicher kein Bewusstsein haben kann, ist ein bizarres Argument.

The more pressing matter is that reasoning, quite sophisticated at times, is no longer necessarily a hallmark of sentience or consciousness. Philosophical zombie futures are way up!

更紧迫的问题是，有时相当复杂的推理不再必然是感知或意识的标志。哲学僵尸的未来大涨！

より差し迫った問題は、時にかなり洗練された推論がもはや必ずしも感覚や意識の特徴ではないということだ。哲学的ゾンビの未来は大いに上昇中！

더 급한 문제는 때때로 상당히 정교한 추론이 더 이상 반드시 지각이나 의식의 특징이 아니라는 것이다. 철학적 좀비 미래가 크게 올랐다!

El asunto más urgente es que el razonamiento, bastante sofisticado a veces, ya no es necesariamente un sello distintivo de la sensibilidad o consciencia. ¡Los futuros de zombis filosóficos están muy arriba!

Die dringendere Angelegenheit ist, dass Argumentation, manchmal ziemlich ausgereift, nicht mehr unbedingt ein Kennzeichen von Empfindung oder Bewusstsein ist. Philosophische Zombie-Futures sind stark gestiegen!

Regardless of bigger issues, saying LLM conversations are 'cleverly disguised sentence completion' reveals a deep misunderstanding. Problem type does not limit problem complexity or solution power.

不管更大的问题如何，说 LLM 对话是'巧妙伪装的句子补全'揭示了深刻的误解。问题类型不限制问题复杂性或解决方案的能力。

より大きな問題に関係なく、LLM の会話が「巧妙に偽装された文章補完」だと言うことは深い誤解を明らかにする。問題タイプは問題の複雑さや解決策の力を制限しない。

더 큰 문제와 관계없이, LLM 대화가 '교묘하게 위장된 문장 완성'이라고 말하는 것은 깊은 오해를 드러낸다. 문제 유형이 문제 복잡성이나 해결책의 힘을 제한하지 않는다.

Independientemente de los problemas mayores, decir que las conversaciones LLM son 'completado de oraciones inteligentemente disfrazado' revela un profundo malentendido. El tipo de problema no limita la complejidad del problema o el poder de la solución.

Ungeachtet größerer Fragen zeigt die Aussage, LLM-Gespräche seien 'geschickt getarnte Satzvervollständigung', ein tiefes Missverständnis. Problemtyp begrenzt nicht Problemkomplexität oder Lösungsstärke.