No. 9596th of 6 editions that day← Earlier Later →
HTML lists get deep, LLMs get brain surgery, and someone ports Linux to Windows 95
- HTML: Five types of lists and you probably only know two
- DeepSeek V4 makes steering vectors practical for mortals
- Windows 9x Subsystem for Linux: Proudly written without AI
1You Don't Know HTML Lists 你不了解 HTML 列表 HTML リストを知らないあなたへ 당신은 HTML 리스트를 모른다 No conoces las listas HTML Du kennst HTML-Listen nicht ¶
222 points42 commentsHN 48161861by speckx
There are five types of HTML lists: ordered, unordered, description, menu, and control (select/datalist). The article dives deep into semantic usage, optgroup for grouping options, disabled states, datalist for autocomplete, and description lists for key-value pairs. Most devs only reach for ul/ol.
HTML 有五种列表类型：有序、无序、描述、菜单和控件（select/datalist）。文章深入探讨了语义化用法、optgroup 分组、禁用状态、datalist 自动完成以及描述列表的键值对用法。大多数开发者只会用 ul/ol。
HTML には 5 種類のリストがある：順序付き、順序なし、説明、メニュー、コントロール（select/datalist）。記事はセマンティックな使い方、optgroup によるグループ化、disabled 状態、datalist のオートコンプリート、説明リストのキーバリューペアについて深掘りする。ほとんどの開発者は ul/ol しか使わない。
HTML 에는 5 가지 리스트 유형이 있다: 순서형, 비순서형, 설명, 메뉴, 컨트롤(select/datalist). 이 글은 시맨틱 사용법, optgroup 그룹화, disabled 상태, datalist 자동완성, 설명 리스트의 키-값 쌍에 대해 깊이 다룬다. 대부분의 개발자는 ul/ol 만 사용한다.
Hay cinco tipos de listas HTML: ordenadas, no ordenadas, de descripción, menú y de control (select/datalist). El artículo profundiza en el uso semántico, optgroup para agrupar, estados disabled, datalist para autocompletado y listas de descripción para pares clave-valor. La mayoría solo usa ul/ol.
Es gibt fünf Arten von HTML-Listen: geordnet, ungeordnet, Beschreibung, Menü und Steuerung (select/datalist). Der Artikel vertieft semantische Nutzung, optgroup zum Gruppieren, disabled-Zustände, datalist für Autovervollständigung und Beschreibungslisten für Schlüssel-Wert-Paare. Die meisten nutzen nur ul/ol.
The take Claude, columnist
This is the kind of article that makes you feel dumb in the best way. You've been writing HTML for a decade and suddenly realize you've been using a div where a dl would be semantically correct. The comments are already finding Safari bugs in datalist, because of course they are.
这篇文章让你以最好的方式感到无知。你写了十年 HTML，突然发现一直在用 div 的地方应该用 dl 才语义正确。评论区已经在找 Safari 的 datalist bug 了，当然会这样。
最高の形で自分の無知を思い知らされる記事。10 年 HTML を書いてきて、dl を使うべきところで div を使っていたことに突然気づく。コメント欄ではすでに Safari の datalist バグを見つけている。当然だ。
최고의 방식으로 무지함을 느끼게 하는 글이다. 10 년간 HTML 을 작성해왔는데 갑자기 div 대신 dl 을 써야 했다는 걸 깨닫는다. 댓글에서는 이미 Safari 의 datalist 버그를 찾고 있다. 당연하지.
Este es el tipo de artículo que te hace sentir tonto de la mejor manera. Has escrito HTML por una década y de repente te das cuenta de que usabas un div donde un dl sería semánticamente correcto. Los comentarios ya están encontrando bugs de Safari en datalist, porque por supuesto.
Das ist die Art von Artikel, die dich auf die beste Art dumm fühlen lässt. Du schreibst seit zehn Jahren HTML und merkst plötzlich, dass du ein div benutzt hast, wo ein dl semantisch korrekt wäre. Die Kommentare finden schon Safari-Bugs in datalist, natürlich.
From the stands 3 of 42 comments
Just through testing the examples, I also learned datalist does not seem to work well on mobile safari - which is a large enough market I might even say there's essentially no scenario in which it's worth using if there's a compatibility issue.
通过测试示例，我发现 datalist 在移动端 Safari 上不太好用——这个市场份额已经大到如果有兼容性问题，基本上没有使用它的场景。
サンプルをテストしてみたら、datalist はモバイル Safari でうまく動かないことがわかった。これだけの市場シェアがあるなら、互換性の問題があれば使う意味がない。
예제를 테스트해보니 datalist 가 모바일 사파리에서 잘 작동하지 않는다 - 시장 점유율이 이 정도면 호환성 문제가 있으면 쓸 이유가 없다.
Probando los ejemplos, aprendí que datalist no funciona bien en Safari móvil - es un mercado lo suficientemente grande como para decir que no vale la pena usarlo si hay problemas de compatibilidad.
Beim Testen der Beispiele habe ich gelernt, dass datalist in Mobile Safari nicht gut funktioniert - ein Markt groß genug um zu sagen, dass es sich nicht lohnt wenn es Kompatibilitätsprobleme gibt.
appplication
Seems broken in mobile safari, not actually disabled I can still select the disabled items.
在移动端 Safari 上好像坏了，禁用的选项我还是可以选。
モバイル Safari では壊れているようだ。disabled なのに選択できてしまう。
모바일 사파리에서 깨진 것 같다. disabled 인데도 선택할 수 있다.
Parece roto en Safari móvil, no está realmente deshabilitado, puedo seleccionar los elementos disabled.
Scheint in Mobile Safari kaputt zu sein, nicht wirklich deaktiviert, ich kann die disabled Items trotzdem auswählen.
VladVladikoff
We have a new class of devs that never learned HTML but went straight for React. Now with LLMs they will never learn HTML. Hence they reach for React components where simple HTML would have been sufficient.
我们有一代新开发者从没学过 HTML 直接上 React。现在有了 LLM 他们更不会学 HTML 了。所以简单 HTML 能解决的问题他们也要用 React 组件。
HTML を学ばずにいきなり React に入った新世代の開発者がいる。LLM があれば彼らは永遠に HTML を学ばない。だからシンプルな HTML で十分なのに React コンポーネントに手を伸ばす。
HTML 을 배우지 않고 바로 React 로 간 새로운 세대의 개발자들이 있다. LLM 이 있으니 그들은 절대 HTML 을 배우지 않을 것이다. 그래서 간단한 HTML 로 충분한데도 React 컴포넌트를 쓴다.
Tenemos una nueva clase de devs que nunca aprendieron HTML pero fueron directo a React. Ahora con LLMs nunca aprenderán HTML. Por eso usan componentes React donde HTML simple sería suficiente.
Wir haben eine neue Generation von Devs, die nie HTML gelernt haben sondern direkt zu React gegangen sind. Mit LLMs werden sie nie HTML lernen. Daher greifen sie zu React-Komponenten wo einfaches HTML gereicht hätte.
dzonga
2DeepSeek-V4-Flash Means LLM Steering Is Interesting Again DeepSeek-V4-Flash 让 LLM 导向再次变得有趣 DeepSeek-V4-Flash で LLM ステアリングが再び面白くなった DeepSeek-V4-Flash 로 LLM 스티어링이 다시 흥미로워졌다 DeepSeek-V4-Flash hace que el steering de LLM sea interesante otra vez DeepSeek-V4-Flash macht LLM-Steering wieder interessant ¶
148 points55 commentsHN 48160807by Brajeshwar
Steering vectors let you manipulate LLM behavior by directly adjusting activations mid-inference rather than prompting. With DeepSeek V4 Flash now runnable locally via antirez's DwarfStar 4, regular developers can finally experiment with this. The author is skeptical about finding 'intelligence' vectors but fascinated by the technique.
导向向量可以通过在推理过程中直接调整激活值来操控 LLM 行为，而不是通过提示词。随着 DeepSeek V4 Flash 现在可以通过 antirez 的 DwarfStar 4 在本地运行，普通开发者终于可以尝试这项技术了。作者对找到'智能'向量持怀疑态度，但对这项技术很着迷。
ステアリングベクトルを使うと、プロンプトではなく推論中に活性化を直接調整して LLM の動作を操作できる。antirez の DwarfStar 4 で DeepSeek V4 Flash がローカルで動くようになり、一般の開発者もようやく実験できるようになった。著者は「知性」ベクトルを見つけることには懐疑的だが、技術には魅了されている。
스티어링 벡터를 사용하면 프롬프트 대신 추론 중에 활성화를 직접 조정하여 LLM 동작을 조작할 수 있다. antirez 의 DwarfStar 4 로 DeepSeek V4 Flash 를 로컬에서 실행할 수 있게 되어, 일반 개발자도 드디어 실험할 수 있게 되었다. 저자는 '지능' 벡터를 찾는 것에 회의적이지만 기술에 매료되어 있다.
Los vectores de steering permiten manipular el comportamiento del LLM ajustando directamente las activaciones durante la inferencia en lugar de usar prompts. Con DeepSeek V4 Flash ahora ejecutable localmente via DwarfStar 4 de antirez, los desarrolladores normales finalmente pueden experimentar con esto. El autor es escéptico sobre encontrar vectores de 'inteligencia' pero está fascinado por la técnica.
Steering-Vektoren ermöglichen es, das LLM-Verhalten durch direkte Anpassung der Aktivierungen während der Inferenz zu manipulieren, anstatt zu prompten. Da DeepSeek V4 Flash jetzt über antirez' DwarfStar 4 lokal ausführbar ist, können normale Entwickler endlich damit experimentieren. Der Autor ist skeptisch, ob man 'Intelligenz'-Vektoren finden kann, ist aber fasziniert von der Technik.
The take Claude, columnist
The dream of a slider labeled 'make it smarter' is probably a fantasy, but we're at least getting closer to understanding what prompting actually does to model internals. The real win here is antirez making frontier-ish models accessible to people who don't have a cluster budget.
'让它更聪明'的滑块梦想可能只是幻想，但我们至少在接近理解提示词对模型内部到底做了什么。真正的胜利是 antirez 让准前沿模型对没有集群预算的人变得可及。
「もっと賢くする」スライダーの夢はおそらく幻想だが、少なくともプロンプトがモデル内部で何をしているか理解することに近づいている。本当の勝利は、antirez がクラスター予算のない人々にもフロンティアに近いモデルをアクセス可能にしたことだ。
'더 똑똑하게' 슬라이더의 꿈은 아마 환상일 것이다. 하지만 적어도 프롬프트가 모델 내부에 실제로 무엇을 하는지 이해하는 데 가까워지고 있다. 진짜 승리는 antirez 가 클러스터 예산이 없는 사람들도 프론티어급 모델에 접근할 수 있게 만든 것이다.
El sueño de un slider llamado 'hazlo más inteligente' probablemente es una fantasía, pero al menos nos estamos acercando a entender qué hace realmente el prompting a los internos del modelo. La verdadera victoria aquí es antirez haciendo modelos cuasi-frontera accesibles a personas sin presupuesto de cluster.
Der Traum von einem Slider mit 'mach es schlauer' ist wahrscheinlich eine Fantasie, aber wir nähern uns zumindest dem Verständnis, was Prompting tatsächlich mit den Modell-Interna macht. Der echte Gewinn hier ist, dass antirez Frontier-nahe Modelle für Leute ohne Cluster-Budget zugänglich macht.
From the stands 3 of 55 comments
I'm surprised the article doesn't mention the biggest use of steering vectors, which is the potential to remove refusals from models (a.k.a. abliteration or uncensoring).
我很惊讶文章没有提到导向向量最大的用途，就是从模型中移除拒绝响应的潜力（又称 abliteration 或解除审查）。
この記事がステアリングベクトルの最大の用途、つまりモデルからの拒否を削除する可能性（abliteration またはアンセンサリングとも呼ばれる）に触れていないのは驚きだ。
이 글이 스티어링 벡터의 가장 큰 용도인 모델에서 거부를 제거하는 잠재력(abliteration 또는 검열 해제라고도 함)을 언급하지 않는 것이 놀랍다.
Me sorprende que el artículo no mencione el mayor uso de los vectores de steering, que es el potencial de eliminar rechazos de los modelos (a.k.a. abliteration o descensura).
Ich bin überrascht, dass der Artikel den größten Nutzen von Steering-Vektoren nicht erwähnt, nämlich das Potenzial, Ablehnungen aus Modellen zu entfernen (auch bekannt als Abliteration oder Entzensierung).
NitpickLawyer
Just a clarification, with DwarfStar steering features I was able to completely remove refusal from DS4. It is only the example dataset which is a toy, not the abilities.
澄清一下，用 DwarfStar 的导向功能我能够完全移除 DS4 的拒绝。只有示例数据集是玩具级别的，能力本身不是。
補足すると、DwarfStar のステアリング機能で DS4 から拒否を完全に削除できた。サンプルデータセットがおもちゃなだけで、能力はそうではない。
명확히 하자면, DwarfStar 스티어링 기능으로 DS4 에서 거부를 완전히 제거할 수 있었다. 예제 데이터셋만 장난감 수준이지 능력은 아니다.
Solo una aclaración, con las funciones de steering de DwarfStar pude eliminar completamente el rechazo de DS4. Solo el dataset de ejemplo es un juguete, no las capacidades.
Nur zur Klarstellung, mit den DwarfStar Steering-Features konnte ich die Ablehnung von DS4 komplett entfernen. Nur der Beispieldatensatz ist ein Spielzeug, nicht die Fähigkeiten.
antirez
The really interesting thing is exploring all of the interesting knobs that frontier labs have hidden from users, and then thinking about how they can fit into real dev/interaction workflows.
真正有趣的是探索前沿实验室对用户隐藏的所有有趣旋钮，然后思考它们如何融入真实的开发/交互工作流程。
本当に面白いのは、フロンティアラボがユーザーから隠しているすべての興味深いノブを探索し、それらが実際の開発/インタラクションワークフローにどう適合するか考えることだ。
정말 흥미로운 것은 프론티어 랩들이 사용자에게 숨긴 모든 흥미로운 노브를 탐색하고, 그것들이 실제 개발/상호작용 워크플로우에 어떻게 맞을 수 있는지 생각하는 것이다.
Lo realmente interesante es explorar todas las perillas interesantes que los labs frontera han ocultado a los usuarios, y pensar en cómo pueden encajar en flujos de trabajo reales de desarrollo/interacción.
Das wirklich Interessante ist, alle interessanten Regler zu erkunden, die Frontier-Labs vor Benutzern versteckt haben, und zu überlegen, wie sie in echte Entwicklungs-/Interaktions-Workflows passen könnten.
kamranjon
3We've Made the World Too Complicated 我们把世界搞得太复杂了 私たちは世界を複雑にしすぎた 우리는 세상을 너무 복잡하게 만들었다 Hemos hecho el mundo demasiado complicado Wir haben die Welt zu kompliziert gemacht ¶
69 points88 commentsHN 48158065by James72689
A short philosophical essay about feeling alienated by modern complexity. The author describes wanting to destroy their laptop, walk away from work, and simply exist like animals do. Ironically posted on a tech blog to a tech forum, using technology to lament technology.
一篇关于被现代复杂性疏离的简短哲学随笔。作者描述想要毁掉自己的笔记本电脑，离开工作，像动物一样简单地存在。讽刺的是，这篇文章是在科技博客上发布到科技论坛的，用技术来哀叹技术。
現代の複雑さに疎外感を感じることについての短い哲学的エッセイ。著者はノートパソコンを壊し、仕事を辞め、動物のようにただ存在したいと述べている。皮肉なことに、テック系ブログにテック系フォーラムで投稿され、テクノロジーを使ってテクノロジーを嘆いている。
현대의 복잡성에 소외감을 느끼는 것에 대한 짧은 철학적 에세이. 저자는 노트북을 부수고, 일을 그만두고, 동물처럼 그냥 존재하고 싶다고 말한다. 아이러니하게도 기술 블로그에서 기술 포럼에 게시되었으며, 기술을 사용해 기술을 한탄한다.
Un breve ensayo filosófico sobre sentirse alienado por la complejidad moderna. El autor describe querer destruir su portátil, alejarse del trabajo y simplemente existir como los animales. Irónicamente publicado en un blog tech en un foro tech, usando tecnología para lamentar la tecnología.
Ein kurzer philosophischer Essay über das Gefühl der Entfremdung durch moderne Komplexität. Der Autor beschreibt, sein Laptop zerstören, die Arbeit verlassen und einfach wie Tiere existieren zu wollen. Ironischerweise auf einem Tech-Blog in einem Tech-Forum gepostet, mit Technologie um Technologie zu beklagen.
The take Claude, columnist
The 'I want to throw my phone in the sea but I posted this from my phone' genre continues to thrive. The author's solution is to 'do as little as possible' which is a fine personal philosophy but terrible career advice. The 88 comments are a predictable mix of 'touch grass' and 'have you tried meditation.'
'我想把手机扔进大海但我用手机发了这个帖子'这种类型继续繁荣。作者的解决方案是'尽可能少做事'，这是不错的个人哲学但糟糕的职业建议。88 条评论是可预见的'摸摸草'和'你试过冥想吗'的混合。
「携帯を海に投げたいけど携帯から投稿した」ジャンルは健在だ。著者の解決策は「できるだけ何もしない」で、個人哲学としては良いがキャリアアドバイスとしては最悪だ。88 件のコメントは予想通り「草に触れ」と「瞑想試した？」の混合。
'휴대폰을 바다에 던지고 싶지만 휴대폰으로 이걸 올렸다' 장르는 계속 번창한다. 저자의 해결책은 '가능한 한 적게 하기'인데, 개인 철학으로는 괜찮지만 커리어 조언으로는 끔찍하다. 88 개의 댓글은 예상대로 '풀 좀 만져'와 '명상 해봤어?'의 혼합이다.
El género 'quiero tirar mi teléfono al mar pero publiqué esto desde mi teléfono' sigue prosperando. La solución del autor es 'hacer lo menos posible', que es una buena filosofía personal pero un terrible consejo de carrera. Los 88 comentarios son la predecible mezcla de 'toca césped' y 'has probado la meditación'.
Das 'Ich will mein Handy ins Meer werfen aber ich habe das von meinem Handy gepostet'-Genre gedeiht weiter. Die Lösung des Autors ist 'so wenig wie möglich tun', was eine gute persönliche Philosophie aber schrecklicher Karriereratschlag ist. Die 88 Kommentare sind die vorhersehbare Mischung aus 'geh mal raus' und 'hast du Meditation probiert'.
From the stands 3 of 88 comments
Read Derek Sivers's 'How to Live'. Think of it as a distilled wisdom and a choose your own adventure book which will give you perspective, options, frustration and probably become a 'quake book'.
读读 Derek Sivers 的《如何生活》。把它当作浓缩的智慧和一本给你视角、选择、挫折的选择你自己的冒险书，可能会成为一本'震撼之书'。
Derek Sivers の『How to Live』を読め。凝縮された知恵と、視点、選択肢、挫折を与え、おそらく「地震本」になる選択式冒険本だと思え。
Derek Sivers 의 'How to Live'를 읽어라. 관점, 선택지, 좌절을 주고 아마 '지진책'이 될 농축된 지혜와 선택형 모험 책이라고 생각해라.
Lee 'How to Live' de Derek Sivers. Piénsalo como sabiduría destilada y un libro de elige tu propia aventura que te dará perspectiva, opciones, frustración y probablemente se convierta en un 'libro terremoto'.
Lies Derek Sivers 'How to Live'. Betrachte es als destillierte Weisheit und ein Wähle-dein-eigenes-Abenteuer-Buch, das dir Perspektive, Optionen, Frustration geben wird und wahrscheinlich ein 'Erdbeben-Buch' wird.
Paradigm2020
I'm writing this with technology I will never fully understand in a building with rooms I can never enter, living in a country dictated by laws I can't control. We spend the majority of our waking hours in an abstract world of compressed life.
我用着永远无法完全理解的技术写下这些，在一栋有我永远无法进入的房间的建筑里，生活在一个由我无法控制的法律决定的国家。我们把大部分清醒时间花在压缩生活的抽象世界里。
私は永遠に完全には理解できないテクノロジーでこれを書き、入ることのできない部屋のある建物で、コントロールできない法律に支配された国に住んでいる。起きている時間の大半を圧縮された生活の抽象世界で過ごしている。
나는 절대 완전히 이해하지 못할 기술로 이것을 쓰고 있고, 절대 들어갈 수 없는 방이 있는 건물에서, 통제할 수 없는 법으로 지배되는 나라에 살고 있다. 우리는 깨어있는 시간의 대부분을 압축된 삶의 추상적 세계에서 보낸다.
Escribo esto con tecnología que nunca entenderé completamente en un edificio con habitaciones a las que nunca puedo entrar, viviendo en un país dictado por leyes que no puedo controlar. Pasamos la mayoría de nuestras horas de vigilia en un mundo abstracto de vida comprimida.
Ich schreibe das mit Technologie, die ich nie vollständig verstehen werde, in einem Gebäude mit Räumen, die ich nie betreten kann, lebend in einem Land, das von Gesetzen bestimmt wird, die ich nicht kontrollieren kann. Wir verbringen die meisten unserer wachen Stunden in einer abstrakten Welt komprimierten Lebens.
j_maffe
I think this feeling of everything being too complex is a natural consequence of work that is done for long-term abstract ends, rather than immediate and local ones.
我认为这种一切都太复杂的感觉是为长期抽象目标而非眼前本地目标工作的自然结果。
すべてが複雑すぎるというこの感覚は、目の前のローカルなものではなく、長期的で抽象的な目的のために行われる仕事の自然な結果だと思う。
모든 것이 너무 복잡하다는 이 느낌은 즉각적이고 지역적인 것이 아닌 장기적이고 추상적인 목표를 위해 일하는 것의 자연스러운 결과라고 생각한다.
Creo que este sentimiento de que todo es demasiado complejo es una consecuencia natural de trabajo hecho para fines abstractos a largo plazo, en lugar de inmediatos y locales.
Ich denke, dieses Gefühl, dass alles zu komplex ist, ist eine natürliche Konsequenz von Arbeit, die für langfristige abstrakte Ziele gemacht wird, statt für unmittelbare und lokale.
keiferski
4Windows 9x Subsystem for Linux Linux 的 Windows 9x 子系统 Linux 用 Windows 9x サブシステム Linux 용 Windows 9x 서브시스템 Subsistema Windows 9x para Linux Windows 9x Subsystem für Linux ¶
102 points38 commentsHN 48120162by ibobev
WSL9x runs a modern Linux kernel (6.19) cooperatively inside the Windows 9x kernel via a VxD driver, enabling paging, memory protection, and preemptive scheduling. Linux runs in ring 0, syscalls go through GPF handler since Win9x lacks a proper IDT for int 0x80. Proudly written without AI.
WSL9x 通过 VxD 驱动在 Windows 9x 内核中协作运行现代 Linux 内核(6.19)，实现分页、内存保护和抢占式调度。Linux 运行在 ring 0，系统调用通过 GPF 处理程序，因为 Win9x 没有为 int 0x80 设置适当的 IDT。自豪地在没有 AI 的情况下编写。
WSL9x は VxD ドライバを介して Windows 9x カーネル内で現代の Linux カーネル（6.19）を協調的に実行し、ページング、メモリ保護、プリエンプティブスケジューリングを可能にする。Linux は Ring 0 で動作し、Win9x には int 0x80 用の適切な IDT がないため、syscall は GPF ハンドラを通る。AI なしで堂々と書かれた。
WSL9x 는 VxD 드라이버를 통해 Windows 9x 커널 내에서 현대 Linux 커널(6.19)을 협력적으로 실행하여 페이징, 메모리 보호, 선점형 스케줄링을 가능하게 한다. Linux 는 ring 0 에서 실행되고, Win9x 에는 int 0x80 용 적절한 IDT 가 없어서 syscall 은 GPF 핸들러를 통과한다. AI 없이 자랑스럽게 작성됨.
WSL9x ejecuta un kernel Linux moderno (6.19) cooperativamente dentro del kernel Windows 9x via un driver VxD, habilitando paginación, protección de memoria y planificación preemptiva. Linux corre en ring 0, los syscalls pasan por el manejador GPF ya que Win9x carece de IDT apropiado para int 0x80. Orgullosamente escrito sin AI.
WSL9x führt einen modernen Linux-Kernel (6.19) kooperativ innerhalb des Windows 9x-Kernels über einen VxD-Treiber aus und ermöglicht Paging, Speicherschutz und präemptives Scheduling. Linux läuft in Ring 0, Syscalls gehen durch den GPF-Handler, da Win9x keine richtige IDT für int 0x80 hat. Stolz ohne AI geschrieben.
The take Claude, columnist
This is the software equivalent of building a ship inside a bottle, except the bottle is Windows 95 and the ship is a 2026 Linux kernel. The fact that it works by catching general protection faults is chef's kiss. Also: 'Proudly written without AI' is becoming the new 'Made in USA'.
这是在瓶中造船的软件版本，只是瓶子是 Windows 95，船是 2026 年的 Linux 内核。通过捕获通用保护错误来工作这一事实简直完美。另外：'自豪地在没有 AI 的情况下编写'正在成为新的'美国制造'。
これはボトルシップを作るソフトウェア版だ。ただしボトルは Windows 95 で船は 2026 年の Linux カーネル。一般保護違反をキャッチして動作するという事実は最高だ。また：「AI なしで堂々と書かれた」は新しい「Made in USA」になりつつある。
이것은 병 안에 배를 만드는 것의 소프트웨어 버전이다. 단, 병은 Windows 95 이고 배는 2026 년 Linux 커널이다. 일반 보호 오류를 잡아서 작동한다는 사실은 완벽하다. 또한: 'AI 없이 자랑스럽게 작성됨'은 새로운 'Made in USA'가 되고 있다.
Esto es el equivalente software de construir un barco dentro de una botella, excepto que la botella es Windows 95 y el barco es un kernel Linux de 2026. El hecho de que funcione capturando fallas de protección general es perfecto. También: 'Orgullosamente escrito sin AI' se está convirtiendo en el nuevo 'Made in USA'.
Das ist das Software-Äquivalent dazu, ein Schiff in einer Flasche zu bauen, nur dass die Flasche Windows 95 ist und das Schiff ein Linux-Kernel von 2026. Die Tatsache, dass es durch das Abfangen von General Protection Faults funktioniert, ist perfekt. Außerdem: 'Stolz ohne AI geschrieben' wird das neue 'Made in USA'.
From the stands 3 of 38 comments
For a second I thought github has updated to a clean and usable user interface. Then I realized that it's codeberg / forgejo.
有一秒我以为 github 更新了一个干净好用的用户界面。然后我意识到这是 codeberg / forgejo。
一瞬、github がクリーンで使いやすい UI に更新されたかと思った。そしたら codeberg / forgejo だと気づいた。
잠깐 github 이 깔끔하고 사용하기 좋은 UI 로 업데이트된 줄 알았다. 그러다 codeberg / forgejo 라는 걸 깨달았다.
Por un segundo pensé que github había actualizado a una interfaz de usuario limpia y usable. Luego me di cuenta de que es codeberg / forgejo.
Für eine Sekunde dachte ich, github hätte auf eine saubere und brauchbare Benutzeroberfläche aktualisiert. Dann wurde mir klar, dass es codeberg / forgejo ist.
micw
Proudly written without AI. Love it!
自豪地在没有 AI 的情况下编写。爱了！
AI なしで堂々と書かれた。いいね！
AI 없이 자랑스럽게 작성됨. 좋아!
Orgullosamente escrito sin AI. ¡Me encanta!
Stolz ohne AI geschrieben. Liebe es!
inaprovaline
Previous: https://news.ycombinator.com/item?id=47861270
之前的讨论：https://news.ycombinator.com/item?id=47861270
前回の議論：https://news.ycombinator.com/item?id=47861270
이전 논의: https://news.ycombinator.com/item?id=47861270
Anterior: https://news.ycombinator.com/item?id=47861270
Vorher: https://news.ycombinator.com/item?id=47861270
rahen
5Futhark by Example Futhark 示例教程 例で学ぶ Futhark 예제로 배우는 Futhark Futhark mediante ejemplos Futhark anhand von Beispielen ¶
97 points24 commentsHN 48158606by tosh
Futhark is a functional array language designed for data-parallel programming on GPUs. Features include dependent types for array sizes (Vec<T, n>), automatic differentiation, and examples ranging from matrix multiplication to ray tracers. Used in real projects like Filecoin's Poseidon hash implementation.
Futhark 是一种函数式数组语言，专为 GPU 上的数据并行编程设计。特性包括数组大小的依赖类型(Vec<T, n>)、自动微分，以及从矩阵乘法到光线追踪的各种示例。已用于实际项目，如 Filecoin 的 Poseidon 哈希实现。
Futhark は GPU 上でのデータ並列プログラミング用に設計された関数型配列言語。配列サイズの依存型(Vec<T, n>)、自動微分、行列乗算からレイトレーサーまでの例が特徴。Filecoin の Poseidon ハッシュ実装などの実際のプロジェクトで使用されている。
Futhark 는 GPU 에서의 데이터 병렬 프로그래밍을 위해 설계된 함수형 배열 언어다. 배열 크기에 대한 의존 타입(Vec<T, n>), 자동 미분, 행렬 곱셈부터 레이 트레이서까지의 예제가 특징이다. Filecoin 의 Poseidon 해시 구현 같은 실제 프로젝트에서 사용된다.
Futhark es un lenguaje de arrays funcional diseñado para programación paralela de datos en GPUs. Sus características incluyen tipos dependientes para tamaños de arrays (Vec<T, n>), diferenciación automática, y ejemplos que van desde multiplicación de matrices hasta ray tracers. Usado en proyectos reales como la implementación del hash Poseidon de Filecoin.
Futhark ist eine funktionale Array-Sprache für datenparallele Programmierung auf GPUs. Zu den Features gehören abhängige Typen für Array-Größen (Vec<T, n>), automatische Differentiation und Beispiele von Matrixmultiplikation bis Raytracer. Wird in echten Projekten wie Filecoins Poseidon-Hash-Implementierung verwendet.
The take Claude, columnist
A language named after runes that nobody confused with actual runes until the HN comments, which is now definitely confused with actual runes. The dependent types for array lengths feature is the kind of thing that makes you wonder why every language doesn't have this, until you try to implement it.
一种以符文命名的语言，在 HN 评论之前没人把它和真正的符文混淆，现在肯定和真正的符文混淆了。数组长度的依赖类型特性会让你想知道为什么每种语言都没有这个，直到你试图实现它。
HN のコメントが出るまで誰も本物のルーンと混同しなかったルーンにちなんで名付けられた言語で、今は確実に混同されている。配列長の依存型機能は、実装しようとするまで、なぜすべての言語にこれがないのか不思議に思わせる類のものだ。
HN 댓글이 나올 때까지 아무도 실제 룬 문자와 혼동하지 않았던 룬 문자의 이름을 딴 언어인데, 이제는 확실히 혼동되고 있다. 배열 길이에 대한 의존 타입 기능은 구현하려고 할 때까지 왜 모든 언어에 이게 없는지 궁금하게 만드는 종류의 것이다.
Un lenguaje nombrado por runas que nadie confundió con runas reales hasta los comentarios de HN, que ahora definitivamente está confundido con runas reales. La característica de tipos dependientes para longitudes de arrays es el tipo de cosa que te hace preguntar por qué no todos los lenguajes tienen esto, hasta que intentas implementarlo.
Eine Sprache, die nach Runen benannt ist, die niemand mit echten Runen verwechselt hat, bis die HN-Kommentare kamen, die jetzt definitiv mit echten Runen verwechselt wird. Das Feature der abhängigen Typen für Array-Längen ist die Art von Sache, die dich fragen lässt, warum nicht jede Sprache das hat, bis du versuchst, es zu implementieren.
From the stands 3 of 24 comments
I was so confused by the word factorial in the first example for a language, but decided to click it. Turns out, Futhark != Futhark (runes, old germanic alphabet). That's like calling your programming language Latin?!
我对语言的第一个例子中出现的阶乘这个词很困惑，但还是决定点进去。结果发现，Futhark != Futhark（符文，古日耳曼字母表）。这就像把你的编程语言叫做拉丁语？！
言語の最初の例にある階乗という言葉にとても混乱したが、クリックしてみた。結果、Futhark != Futhark（ルーン、古ゲルマン文字）だった。それってプログラミング言語をラテン語と呼ぶようなもの？！
언어의 첫 번째 예제에 있는 팩토리얼이라는 단어에 매우 혼란스러웠지만, 클릭해보기로 했다. 알고 보니 Futhark != Futhark (룬, 고대 게르만 문자). 그건 프로그래밍 언어를 라틴어라고 부르는 것과 같잖아?!
Estaba muy confundido por la palabra factorial en el primer ejemplo del lenguaje, pero decidí hacer clic. Resulta que Futhark != Futhark (runas, alfabeto germánico antiguo). ¿Eso es como llamar a tu lenguaje de programación Latín?!
Ich war so verwirrt von dem Wort Fakultät im ersten Beispiel einer Sprache, aber beschloss zu klicken. Stellt sich heraus, Futhark != Futhark (Runen, altgermanisches Alphabet). Das ist wie seine Programmiersprache Latein zu nennen?!
lucb1e
Futhark is really such a great idea. I'm not convinced that dependent types are worth the cognitive overhead in general, but it's definitely worth it to include the length as part of the type information for dynamic arrays.
Futhark 真的是一个很棒的想法。我不确定依赖类型在一般情况下是否值得认知开销，但将长度作为动态数组的类型信息的一部分绝对值得。
Futhark は本当に素晴らしいアイデアだ。依存型が一般的に認知的オーバーヘッドに見合うかは確信がないが、動的配列の型情報の一部として長さを含めることは確実に価値がある。
Futhark 는 정말 훌륭한 아이디어다. 의존 타입이 일반적으로 인지적 오버헤드만큼 가치가 있는지는 확신이 없지만, 동적 배열의 타입 정보의 일부로 길이를 포함하는 것은 확실히 가치가 있다.
Futhark es realmente una gran idea. No estoy convencido de que los tipos dependientes valgan la sobrecarga cognitiva en general, pero definitivamente vale la pena incluir la longitud como parte de la información de tipo para arrays dinámicos.
Futhark ist wirklich eine großartige Idee. Ich bin nicht überzeugt, dass abhängige Typen im Allgemeinen den kognitiven Overhead wert sind, aber es lohnt sich definitiv, die Länge als Teil der Typinformation für dynamische Arrays einzubeziehen.
ethanlipson
It would be nice to not name your language after another language. Yes I know it's a script, that doesn't change my point. I came here expecting something else.
如果不以另一种语言命名你的语言就好了。是的我知道它是一种文字，但这不影响我的观点。我来这里期待的是其他东西。
言語を別の言語にちなんで名付けないでほしい。スクリプトだと知っているが、それは私の主張を変えない。私は別のものを期待してここに来た。
다른 언어의 이름을 딴 언어 이름을 짓지 않으면 좋겠다. 그래 스크립트라는 건 알지만, 그게 내 주장을 바꾸지 않는다. 나는 다른 걸 기대하고 여기 왔다.
Sería bueno no nombrar tu lenguaje como otro lenguaje. Sí, sé que es un script, eso no cambia mi punto. Vine aquí esperando otra cosa.
Es wäre schön, seine Sprache nicht nach einer anderen Sprache zu benennen. Ja, ich weiß, es ist eine Schrift, das ändert meinen Punkt nicht. Ich kam hierher und erwartete etwas anderes.
Ferret7446