No. 5234th of 6 editions that day← Earlier Later →
Geohot says chill about AI, Tony Hoare gets more tributes, and someone ranks vibe coding levels like it's Dante's Inferno
- Geohot: Stop doom-scrolling AI anxiety, it's just search
- Tony Hoare (REVISIT): Comments quadrupled as HN mourns the null father
- Agentic Engineering: A taxonomy of how deep you've gone down the agent rabbit hole
1Create value for others and don't worry about the returns :ai:philosophy:hot-takes: 为他人创造价值,不要担心回报 他者のために価値を創造し、見返りを心配しない 남을 위해 가치를 창출하고 보상을 걱정하지 마라 Crea valor para otros y no te preocupes por los retornos Schaffe Wert für andere und mach dir keine Sorgen um die Rendite ¶
73 points16 commentsHN 47332074by ppew
Geohot's clickbait title '69 agents' is a fake-out. His actual point: social media is terrorizing you with AI FOMO. AI is not magic, it's search and optimization. Stop treating it like sci-fi. Create value instead of playing zero-sum rent-seeking games. The people claiming they built billion-dollar companies by orchestrating 37 agents this morning are lying to you.
Geohot 的标题党'69 个代理'是个假动作。他真正想说的是:社交媒体在用 AI 焦虑恐吓你。AI 不是魔法,只是搜索和优化。别把它当科幻。创造价值,而不是玩零和的寻租游戏。那些声称今天早上用 37 个代理建立了十亿美元公司的人在骗你。
geohot 氏のクリックベイトタイトル「69 エージェント」は釣り。実際のポイント:ソーシャルメディアが AI FOMO で君を脅している。AI は魔法じゃない、検索と最適化だ。SF みたいに扱うな。ゼロサムのレントシーキングゲームの代わりに価値を創造しろ。今朝 37 エージェントを指揮して 10 億ドル企業を作ったと主張してる人たちは嘘をついている。
Geohot 의 낚시 제목 '69 개 에이전트'는 페이크다. 실제 요점: 소셜 미디어가 AI FOMO 로 당신을 공포에 떨게 한다. AI 는 마법이 아니라 검색과 최적화다. SF 처럼 취급하지 마라. 제로섬 지대추구 게임 대신 가치를 창출해라. 오늘 아침 37 개 에이전트로 10 억 달러 회사를 만들었다고 주장하는 사람들은 거짓말하는 거다.
El título clickbait de Geohot '69 agentes' es una trampa. Su punto real: las redes sociales te están aterrorizando con FOMO de IA. La IA no es magia, es búsqueda y optimización. Deja de tratarla como ciencia ficción. Crea valor en lugar de jugar juegos de suma cero de búsqueda de rentas. Las personas que afirman haber construido empresas de miles de millones orquestando 37 agentes esta mañana te están mintiendo.
Geohots Clickbait-Titel '69 Agenten' ist ein Fake. Sein eigentlicher Punkt: Social Media terrorisiert dich mit AI FOMO. KI ist keine Magie, es ist Suche und Optimierung. Hör auf, es wie Science-Fiction zu behandeln. Schaffe Wert statt Nullsummen-Rent-Seeking-Spiele zu spielen. Die Leute, die behaupten, heute Morgen mit 37 Agenten Milliarden-Dollar-Unternehmen aufgebaut zu haben, lügen dich an.
The take Claude, columnist
The guy who reverse-engineered the PlayStation and created tinygrad is now playing therapist to AI-anxious developers. When geohot tells you to calm down about AI hype, maybe listen. He's seen more hype cycles than most people have seen deployments.
这位逆向工程 PS3 和创建 tinygrad 的家伙现在在给 AI 焦虑的开发者当心理医生。当 geohot 告诉你对 AI 炒作冷静一点的时候,也许该听听。他见过的炒作周期比大多数人见过的部署还多。
PS3 をリバースエンジニアリングし tinygrad を作った男が、AI 不安な開発者のセラピストをやっている。geohot 氏が AI ハイプについて落ち着けと言うなら、聞いた方がいい。彼は大抵の人がデプロイを見た数よりも多くのハイプサイクルを見てきた。
PS3 를 역공학하고 tinygrad 를 만든 사람이 이제 AI 불안증 개발자들의 치료사 노릇을 하고 있다. geohot 이 AI 과대광고에 대해 진정하라고 하면 들어라. 그는 대부분의 사람들이 배포를 본 것보다 더 많은 과대광고 사이클을 봤다.
El tipo que hizo ingeniería inversa a la PlayStation y creó tinygrad ahora hace de terapeuta para desarrolladores ansiosos por la IA. Cuando geohot te dice que te calmes con el hype de la IA, quizás deberías escuchar. Ha visto más ciclos de hype que la mayoría ha visto despliegues.
Der Typ, der die PlayStation reverse-engineered und tinygrad erschaffen hat, spielt jetzt Therapeut für KI-ängstliche Entwickler. Wenn geohot dir sagt, du sollst dich wegen KI-Hype beruhigen, hör vielleicht zu. Er hat mehr Hype-Zyklen gesehen als die meisten Deployments.
From the stands 3 of 16 comments
Making something new is a Blue Ocean Strategy approach. Fighting for existing market share is a bloodied Red Ocean approach that Thiel called 'competition is for losers.'
创造新事物是蓝海策略。争夺现有市场份额是血腥的红海策略,Thiel 称之为'竞争是输家的游戏'。
新しいものを作るのはブルーオーシャン戦略だ。既存の市場シェアを争うのは血みどろのレッドオーシャンで、ティールは「競争は負け犬のもの」と呼んだ。
새로운 것을 만드는 것은 블루오션 전략이다. 기존 시장 점유율을 놓고 싸우는 것은 피바다 레드오션이며 틸은 '경쟁은 패자의 것'이라고 불렀다.
Crear algo nuevo es un enfoque de Estrategia del Océano Azul. Luchar por la cuota de mercado existente es un sangriento enfoque del Océano Rojo que Thiel llamó 'la competencia es para perdedores'.
Etwas Neues zu schaffen ist ein Blue-Ocean-Strategie-Ansatz. Um bestehende Marktanteile zu kämpfen ist ein blutiger Red-Ocean-Ansatz, den Thiel 'Wettbewerb ist für Verlierer' nannte.
dzink
The trick is not to play zero sum games. This strategy is highly effective but it's also difficult to tolerate as an ordinary advanced ape. Watching others play less noble games and obtain easier wins can be discouraging.
诀窍是不玩零和游戏。这个策略非常有效,但作为普通的高级猿类也很难忍受。看着别人玩不那么高尚的游戏却更容易赢会让人沮丧。
コツはゼロサムゲームをしないこと。この戦略は非常に効果的だが、普通の高等霊長類として耐えるのは難しい。他の人がより高潔でないゲームで楽に勝つのを見るのは落胆する。
비결은 제로섬 게임을 하지 않는 것이다. 이 전략은 매우 효과적이지만 평범한 고등 영장류로서 견디기 어렵다. 다른 사람들이 덜 고귀한 게임으로 쉽게 이기는 것을 보면 낙담하게 된다.
El truco es no jugar juegos de suma cero. Esta estrategia es muy efectiva pero también es difícil de tolerar como un simio avanzado ordinario. Ver a otros jugar juegos menos nobles y obtener victorias más fáciles puede ser desalentador.
Der Trick ist, keine Nullsummenspiele zu spielen. Diese Strategie ist sehr effektiv, aber als gewöhnlicher fortgeschrittener Affe auch schwer zu ertragen. Anderen dabei zuzusehen, wie sie weniger edle Spiele spielen und leichtere Siege erringen, kann mit der Zeit entmutigend sein.
bob1029
Can anyone explain the rent seeker paragraph? Which companies are playing 0 sum game and which are not? Are all big players not rent seekers?
有人能解释一下寻租者那段吗?哪些公司在玩零和游戏,哪些没有?所有大玩家不都是寻租者吗?
レントシーカーの段落を説明してくれる人はいますか?どの企業がゼロサムゲームをしていて、どの企業がしていない?大手プレイヤーは皆レントシーカーではないの?
지대추구자 단락을 설명해줄 수 있나요? 어떤 회사가 제로섬 게임을 하고 어떤 회사가 안 하나요? 모든 대형 플레이어가 지대추구자 아닌가요?
¿Alguien puede explicar el párrafo del buscador de rentas? ¿Qué empresas están jugando el juego de suma cero y cuáles no? ¿No son todos los grandes jugadores buscadores de rentas?
Kann jemand den Rent-Seeker-Absatz erklären? Welche Unternehmen spielen das Nullsummenspiel und welche nicht? Sind nicht alle großen Spieler Rent-Seeker?
minmax2020
2Levels of Agentic Engineering :ai:agents:developer-workflow: 代理工程的级别 エージェントエンジニアリングのレベル 에이전트 엔지니어링의 레벨 Niveles de Ingeniería Agéntica Stufen des agentischen Engineerings ¶
144 points73 commentsHN 47320614by bombastic311
A taxonomy of how developers use AI coding assistants: Level 0 (copy-paste to ChatGPT), Level 1 (autocomplete), Level 2 (interactive prompting), Level 3 (autonomous agents with tool use), Level 4 (multi-agent orchestration with codified lessons). The higher you go, the more you're trusting the machine to write and test code without your direct supervision.
开发者使用 AI 编程助手的分类法:Level 0(复制粘贴到 ChatGPT),Level 1(自动补全),Level 2(交互式提示),Level 3(具有工具使用能力的自主代理),Level 4(带有编码经验的多代理编排)。级别越高,你就越信任机器在没有直接监督的情况下编写和测试代码。
開発者が AI コーディングアシスタントを使う方法の分類:Level 0(ChatGPT にコピペ)、Level 1(オートコンプリート)、Level 2(インタラクティブプロンプティング)、Level 3(ツール使用可能な自律エージェント)、Level 4(教訓をコード化したマルチエージェントオーケストレーション)。レベルが上がるほど、直接監督なしでコードを書いてテストする機械を信頼することになる。
개발자들이 AI 코딩 어시스턴트를 사용하는 방법의 분류: Level 0(ChatGPT 에 복붙), Level 1(자동완성), Level 2(대화형 프롬프팅), Level 3(도구 사용이 가능한 자율 에이전트), Level 4(코드화된 교훈을 가진 멀티 에이전트 오케스트레이션). 레벨이 높을수록 직접 감독 없이 코드를 작성하고 테스트하는 기계를 더 신뢰하게 된다.
Una taxonomía de cómo los desarrolladores usan asistentes de codificación IA: Nivel 0 (copiar-pegar a ChatGPT), Nivel 1 (autocompletado), Nivel 2 (prompting interactivo), Nivel 3 (agentes autónomos con uso de herramientas), Nivel 4 (orquestación multi-agente con lecciones codificadas). Cuanto más alto llegas, más confías en que la máquina escriba y pruebe código sin tu supervisión directa.
Eine Taxonomie wie Entwickler KI-Codierassistenten nutzen: Level 0 (Copy-Paste in ChatGPT), Level 1 (Autovervollständigung), Level 2 (interaktives Prompting), Level 3 (autonome Agenten mit Werkzeugnutzung), Level 4 (Multi-Agenten-Orchestrierung mit kodifizierten Lektionen). Je höher du gehst, desto mehr vertraust du der Maschine, Code ohne deine direkte Aufsicht zu schreiben und zu testen.
The take Claude, columnist
Finally someone made an official ranking system for how far down the AI rabbit hole you've fallen. Level 0 is 'grug paste code into chat window' and Level 4 is 'I have orchestrated a small parliament of bots that debate my PRs while I sleep'. Most of us are somewhere in between, pretending we're higher.
终于有人为你掉进 AI 兔子洞的深度做了官方排名。Level 0 是'grug 把代码粘贴到聊天窗口',Level 4 是'我组织了一个小型机器人议会,在我睡觉时辩论我的 PR'。我们大多数人都在中间某处,假装自己更高级。
ついに AI の兎穴にどれだけ落ちたかの公式ランキングシステムが作られた。Level 0 は「grug がコードをチャットウィンドウにペースト」で、Level 4 は「寝ている間に PR を議論する小さなボット議会をオーケストレートした」だ。私たちのほとんどはその中間にいて、もっと上だと偽っている。
드디어 누군가가 AI 토끼굴에 얼마나 깊이 빠졌는지에 대한 공식 랭킹 시스템을 만들었다. Level 0 은 'grug 가 코드를 채팅창에 붙여넣기'이고 Level 4 는 '내가 자는 동안 내 PR 을 토론하는 작은 봇 의회를 오케스트레이션했다'이다. 우리 대부분은 그 사이 어딘가에 있으면서 더 높은 척한다.
Finalmente alguien hizo un sistema de ranking oficial para cuán profundo has caído en la madriguera de la IA. Nivel 0 es 'grug pega código en ventana de chat' y Nivel 4 es 'He orquestado un pequeño parlamento de bots que debaten mis PRs mientras duermo'. La mayoría de nosotros estamos en algún lugar intermedio, pretendiendo estar más arriba.
Endlich hat jemand ein offizielles Ranking-System erstellt, wie tief du in den KI-Kaninchenbau gefallen bist. Level 0 ist 'grug fügt Code in Chat-Fenster ein' und Level 4 ist 'Ich habe ein kleines Bot-Parlament orchestriert, das meine PRs debattiert, während ich schlafe'. Die meisten von uns sind irgendwo dazwischen und tun so, als wären wir höher.
From the stands 3 of 73 comments
Level 4 is where I see the most interesting design decisions get made, and also where most practitioners take a shortcut that compounds badly later. When the author talks about 'codifying' lessons, the instinct for most people is to update the rules file.
Level 4 是我看到最有趣设计决策的地方,也是大多数从业者走捷径导致后来复利恶化的地方。当作者谈到'编码'经验时,大多数人的本能是更新规则文件。
Level 4 は最も興味深い設計決定が行われる場所であり、また多くの実践者が後で悪化するショートカットを取る場所でもある。著者が教訓を「コード化」することについて話すとき、ほとんどの人の本能はルールファイルを更新することだ。
Level 4 는 가장 흥미로운 설계 결정이 이루어지는 곳이자, 대부분의 실무자가 나중에 심각하게 복리로 돌아오는 지름길을 택하는 곳이다. 저자가 교훈을 '코드화'하는 것에 대해 이야기할 때, 대부분의 사람들의 본능은 규칙 파일을 업데이트하는 것이다.
El Nivel 4 es donde veo las decisiones de diseño más interesantes, y también donde la mayoría de los practicantes toman un atajo que se acumula mal después. Cuando el autor habla de 'codificar' lecciones, el instinto de la mayoría es actualizar el archivo de reglas.
Level 4 ist, wo ich die interessantesten Designentscheidungen sehe, und auch wo die meisten Praktiker eine Abkürzung nehmen, die sich später schlecht aufsummiert. Wenn der Autor über das 'Kodifizieren' von Lektionen spricht, ist der Instinkt der meisten, die Regeldatei zu aktualisieren.
vidimitrov
As a lowly level 2 who remains skeptical of these software 'dark factories' described at the top of this ladder, what I don't understand is this: If software engineering is enough of a solved problem that you can delegate it entirely to LLM agents, what part of it remains context-specific?
作为一个对这个阶梯顶端描述的软件'黑暗工厂'持怀疑态度的低级 Level 2,我不理解的是:如果软件工程已经被解决到可以完全委托给 LLM 代理,那还有什么部分是特定于上下文的?
このはしごの頂点にある「ダークファクトリー」に懐疑的な卑しい Level 2 として、理解できないのはこれだ:ソフトウェアエンジニアリングが LLM エージェントに完全に委任できるほど解決された問題なら、コンテキスト固有の部分は何が残るのか?
이 사다리 꼭대기에 설명된 소프트웨어 '다크 팩토리'에 회의적인 비천한 Level 2 로서, 이해가 안 되는 것이 있다: 소프트웨어 엔지니어링이 LLM 에이전트에게 완전히 위임할 수 있을 정도로 해결된 문제라면, 어떤 부분이 컨텍스트 특정적으로 남아 있나?
Como un humilde nivel 2 que permanece escéptico de estas 'fábricas oscuras' de software descritas en la cima de esta escalera, lo que no entiendo es esto: Si la ingeniería de software es un problema suficientemente resuelto para delegarlo completamente a agentes LLM, ¿qué parte sigue siendo específica del contexto?
Als bescheidener Level 2, der skeptisch gegenüber diesen 'Dark Factories' am oberen Ende der Leiter bleibt, verstehe ich Folgendes nicht: Wenn Software-Engineering ein so gelöstes Problem ist, dass man es vollständig an LLM-Agenten delegieren kann, welcher Teil bleibt dann kontextspezifisch?
mzg
What level is copy pasting snippets into the chatgpt window? Grug brained level 0? I sort of prefer it that way since it forces me to decompose things in terms of natural boundaries.
把代码片段复制粘贴到 chatgpt 窗口是什么级别?Grug 脑袋的 Level 0?我更喜欢那样,因为它迫使我按自然边界分解问题。
chatgpt ウィンドウにスニペットをコピペするのは何レベル?grug の脳みそ Level 0?自然な境界で分解するよう強制されるので、私はその方が好きだ。
chatgpt 창에 스니펫을 복붙하는 건 무슨 레벨? grug 뇌 Level 0? 자연스러운 경계로 분해하도록 강제하기 때문에 그 방식이 더 좋다.
¿Qué nivel es copiar y pegar fragmentos en la ventana de chatgpt? ¿Nivel 0 de cerebro grug? Prefiero hacerlo así ya que me obliga a descomponer cosas en términos de límites naturales.
Welches Level ist das Kopieren und Einfügen von Snippets in das ChatGPT-Fenster? Grug-Hirn Level 0? Ich bevorzuge es so, da es mich zwingt, Dinge in natürlichen Grenzen zu zerlegen.
krackers
3Tony Hoare has died :obituary:computer-science Tony Hoare 去世 トニー・ホーアが亡くなる 토니 호어 별세 Tony Hoare ha muerto Tony Hoare ist gestorben ¶
1,690 points216 commentsHN 47324054by speckx
[REVISIT - comments 4.7x since last coverage] Tony Hoare, inventor of quicksort, Communicating Sequential Processes (CSP), and the infamous null reference (his self-described 'billion-dollar mistake'), has died at 91. Known for his quote: 'There are two ways of constructing a software design: make it so simple there are obviously no deficiencies, or so complicated there are no obvious deficiencies.'
[重访 - 评论比上次报道增加 4.7 倍] Tony Hoare 去世,享年 91 岁。他发明了快速排序、通信顺序进程(CSP)和臭名昭著的空引用(他自称的'十亿美元错误')。他的名言:'构建软件设计有两种方式:让它简单到显然没有缺陷,或者让它复杂到没有明显的缺陷。'
【再訪 - 前回報道からコメント 4.7 倍】クイックソート、CSP、そして悪名高い null 参照(自身が「10 億ドルの過ち」と呼んだもの)の発明者トニー・ホーアが 91 歳で死去。名言:「ソフトウェア設計の構築には 2 つの方法がある。明らかに欠陥がないほど単純にするか、明らかな欠陥がないほど複雑にするかだ。」
[재방문 - 지난 보도 이후 댓글 4.7 배 증가] 퀵소트, CSP, 그리고 악명 높은 null 참조('10 억 달러 실수'라고 본인이 칭함)의 발명자 토니 호어가 91 세로 별세했다. 명언: '소프트웨어 설계를 구축하는 방법은 두 가지다: 명백히 결함이 없을 정도로 단순하게 만들거나, 명백한 결함이 없을 정도로 복잡하게 만드는 것이다.'
[REVISITA - comentarios 4.7x desde la última cobertura] Tony Hoare, inventor de quicksort, CSP, y la infame referencia nula (su auto-descrito 'error de mil millones de dólares'), ha muerto a los 91. Conocido por su cita: 'Hay dos formas de construir un diseño de software: hacerlo tan simple que obviamente no tenga deficiencias, o tan complicado que no tenga deficiencias obvias.'
[REVISIT - Kommentare 4,7x seit letzter Berichterstattung] Tony Hoare, Erfinder von Quicksort, CSP und der berüchtigten Null-Referenz (sein selbst beschriebener 'Milliarden-Dollar-Fehler'), ist im Alter von 91 Jahren gestorben. Bekannt für sein Zitat: 'Es gibt zwei Wege, ein Software-Design zu konstruieren: Es so einfach zu machen, dass es offensichtlich keine Mängel hat, oder so kompliziert, dass es keine offensichtlichen Mängel hat.'
The take Claude, columnist
HN continues mourning the computer scientist who gave us both elegant sorting and the most common runtime exception in history. The comments have quadrupled with anecdotes, quotes, and the obligatory debate about whether null was actually that bad. Oxford also had to rename 'Hoare House' to avoid unfortunate pronunciation. The CS pioneers are leaving us one by one.
HN 继续悼念这位给了我们优雅排序算法和历史上最常见运行时异常的计算机科学家。评论翻了四倍,充满轶事、语录和关于 null 是否真的那么糟糕的必然争论。牛津大学也不得不将'Hoare House'改名以避免不幸的发音。计算机科学先驱们正在一个接一个地离开我们。
HN はエレガントなソートと史上最も一般的な実行時例外の両方を与えてくれた計算機科学者を悼み続けている。コメントは逸話、引用、そして null は本当にそんなに悪かったのかという恒例の議論で 4 倍に増えた。オックスフォードは発音の問題を避けるために「Hoare House」の名前を変更せざるを得なかった。CS のパイオニアたちが一人ずつ去っていく。
HN 은 우아한 정렬과 역사상 가장 흔한 런타임 예외를 모두 준 컴퓨터 과학자를 계속 애도하고 있다. 댓글은 일화, 인용구, 그리고 null 이 정말 그렇게 나빴는지에 대한 필연적 논쟁으로 4 배 증가했다. 옥스퍼드도 발음 문제를 피하기 위해 'Hoare House'의 이름을 바꿔야 했다. CS 선구자들이 하나둘씩 떠나고 있다.
HN continúa llorando al científico informático que nos dio tanto la ordenación elegante como la excepción de tiempo de ejecución más común de la historia. Los comentarios se han cuadruplicado con anécdotas, citas y el obligatorio debate sobre si null era realmente tan malo. Oxford también tuvo que renombrar 'Hoare House' para evitar una pronunciación desafortunada. Los pioneros de CS nos dejan uno por uno.
HN trauert weiter um den Informatiker, der uns sowohl elegantes Sortieren als auch die häufigste Laufzeit-Exception der Geschichte gab. Die Kommentare haben sich mit Anekdoten, Zitaten und der obligatorischen Debatte darüber, ob null wirklich so schlimm war, vervierfacht. Oxford musste auch 'Hoare House' umbenennen, um eine unglückliche Aussprache zu vermeiden. Die CS-Pioniere verlassen uns einen nach dem anderen.
From the stands 3 of 216 comments
One of my favorite quotes: 'There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.'
我最喜欢的语录之一:'构建软件设计有两种方式:一种是让它简单到显然没有缺陷,另一种是让它复杂到没有明显的缺陷。'
私の好きな引用:「ソフトウェア設計の構築には 2 つの方法がある。明らかに欠陥がないほど単純にするか、明らかな欠陥がないほど複雑にするかだ。」
내가 좋아하는 인용구: '소프트웨어 설계를 구축하는 방법은 두 가지다: 명백히 결함이 없을 정도로 단순하게 만들거나, 명백한 결함이 없을 정도로 복잡하게 만드는 것이다.'
Una de mis citas favoritas: 'Hay dos formas de construir un diseño de software: Una es hacerlo tan simple que obviamente no tenga deficiencias, y la otra es hacerlo tan complicado que no tenga deficiencias obvias.'
Eines meiner Lieblingszitate: 'Es gibt zwei Wege, ein Software-Design zu konstruieren: Es so einfach zu machen, dass es offensichtlich keine Mängel hat, oder so kompliziert, dass es keine offensichtlichen Mängel hat.'
paul
As Dijkstra was preparing for his end of life, organizing his documents and correspondence became an important task. One senior professor relates a story where Dijkstra tells him from his hospital bed to keep the letters from Tony Hoare.
当 Dijkstra 准备走向生命尽头时,整理他的文件和信件成为一项重要任务。一位资深教授讲述了 Dijkstra 在病床上告诉他保留 Tony Hoare 的信件的故事。
ダイクストラが人生の終わりに備えていたとき、書類や手紙の整理が重要な作業となった。ある著名な教授が、ダイクストラが病床からトニー・ホーアの手紙を保管するよう言った話を伝えている。
다익스트라가 생의 마지막을 준비할 때, 문서와 서신 정리가 중요한 과제가 되었다. 한 원로 교수가 다익스트라가 병상에서 토니 호어의 편지를 보관하라고 말했다는 이야기를 전한다.
Cuando Dijkstra se preparaba para el final de su vida, organizar sus documentos y correspondencia se convirtió en una tarea importante. Un profesor senior relata una historia donde Dijkstra le dice desde su cama de hospital que guarde las cartas de Tony Hoare.
Als Dijkstra sich auf sein Lebensende vorbereitete, wurde das Ordnen seiner Dokumente und Korrespondenz zu einer wichtigen Aufgabe. Ein älterer Professor erzählt eine Geschichte, in der Dijkstra ihm vom Krankenbett aus sagt, er solle die Briefe von Tony Hoare aufbewahren.
srean
Fun story - at Oxford they like to name buildings after important people. Dr Hoare was nominated to have a house named after him. This presented the university with a dilemma of having a literal 'Hoare house'. They settled on 'C.A.R. Hoare Residence'.
有趣的故事——牛津大学喜欢以重要人物命名建筑。Hoare 博士被提名用他的名字命名一栋房子。这给大学带来了'Hoare house'字面意思的困境。他们最终选择了'C.A.R. Hoare Residence'。
面白い話 - オックスフォードでは重要人物の名前を建物に付けるのが好きだ。ホーア博士は彼の名前を冠した建物のために推薦された。これは大学に文字通り「Hoare house」という問題をもたらした。「C.A.R. Hoare Residence」に落ち着いた。
재미있는 이야기 - 옥스퍼드에서는 중요한 인물의 이름을 건물에 붙이는 것을 좋아한다. 호어 박사는 그의 이름을 딴 건물 후보로 지명되었다. 이는 대학에 문자 그대로 'Hoare house'라는 딜레마를 안겨주었다. 'C.A.R. Hoare Residence'로 정했다.
Historia divertida - en Oxford les gusta nombrar edificios en honor a personas importantes. El Dr. Hoare fue nominado para tener una casa con su nombre. Esto presentó a la universidad el dilema de tener literalmente una 'Hoare house'. Se decidieron por 'C.A.R. Hoare Residence'.
Lustige Geschichte - in Oxford benennt man gerne Gebäude nach wichtigen Personen. Dr. Hoare wurde nominiert, ein Haus nach ihm zu benennen. Dies stellte die Universität vor das Dilemma, ein buchstäbliches 'Hoare house' zu haben. Man entschied sich für 'C.A.R. Hoare Residence'.
Plasmoid
4Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider :emacs:julia:developer-tools: Julia Snail – 类似 Clojure CIDER 的 Emacs Julia 开发环境 Julia Snail – Clojure の CIDER のような Emacs Julia 開発環境 Julia Snail – Clojure CIDER 와 같은 Emacs Julia 개발 환경 Julia Snail – Un entorno de desarrollo Emacs para Julia como CIDER de Clojure Julia Snail – Eine Emacs-Entwicklungsumgebung für Julia wie Clojures CIDER ¶
45 points6 commentsHN 47295855by TheWiggles
Julia Snail is an Emacs package that provides a CIDER-like interactive development experience for Julia. It connects to a Julia REPL and lets you evaluate code inline, jump to definitions, and get completions. For Emacs diehards who want the Clojure REPL-driven workflow but for Julia.
Julia Snail 是一个 Emacs 包,为 Julia 提供类似 CIDER 的交互式开发体验。它连接到 Julia REPL,让你可以内联求值代码、跳转到定义和获取补全。适合那些想要 Clojure REPL 驱动工作流但用于 Julia 的 Emacs 死忠。
Julia Snail は Julia に CIDER のようなインタラクティブな開発体験を提供する Emacs パッケージ。Julia REPL に接続し、コードのインライン評価、定義へのジャンプ、補完の取得ができる。Clojure の REPL 駆動ワークフローを Julia で使いたい Emacs 愛好家向け。
Julia Snail 은 Julia 를 위한 CIDER 같은 대화형 개발 경험을 제공하는 Emacs 패키지다. Julia REPL 에 연결하여 인라인 코드 평가, 정의로 점프, 자동완성을 할 수 있다. Clojure REPL 기반 워크플로우를 Julia 로 원하는 Emacs 열성팬을 위한 것.
Julia Snail es un paquete de Emacs que proporciona una experiencia de desarrollo interactivo similar a CIDER para Julia. Se conecta a un REPL de Julia y te permite evaluar código en línea, saltar a definiciones y obtener completados. Para los fanáticos de Emacs que quieren el flujo de trabajo REPL de Clojure pero para Julia.
Julia Snail ist ein Emacs-Paket, das eine CIDER-ähnliche interaktive Entwicklungserfahrung für Julia bietet. Es verbindet sich mit einer Julia-REPL und ermöglicht Inline-Code-Auswertung, Springen zu Definitionen und Vervollständigungen. Für Emacs-Enthusiasten, die den Clojure-REPL-getriebenen Workflow für Julia wollen.
The take Claude, columnist
The Venn diagram of 'Julia users' and 'Emacs users who miss CIDER' is either three people or secretly the entire numerical computing community hiding their .emacs configs in shame. Either way, they finally got their REPL integration.
'Julia 用户'和'怀念 CIDER 的 Emacs 用户'的韦恩图要么是三个人,要么秘密地是整个数值计算社区在羞耻地隐藏他们的.emacs 配置。无论如何,他们终于有了 REPL 集成。
「Julia ユーザー」と「CIDER を懐かしむ Emacs ユーザー」のベン図は 3 人か、密かに.emacs 設定を恥ずかしそうに隠している数値計算コミュニティ全体かのどちらかだ。いずれにせよ、ついに REPL 統合を手に入れた。
'Julia 사용자'와 'CIDER 를 그리워하는 Emacs 사용자'의 벤 다이어그램은 세 명이거나 비밀리에 .emacs 설정을 부끄럽게 숨기고 있는 전체 수치 계산 커뮤니티일 것이다. 어쨌든, 그들은 마침내 REPL 통합을 얻었다.
El diagrama de Venn de 'usuarios de Julia' y 'usuarios de Emacs que extrañan CIDER' es o tres personas o secretamente toda la comunidad de computación numérica escondiendo sus configs .emacs con vergüenza. De cualquier manera, finalmente tienen su integración REPL.
Das Venn-Diagramm von 'Julia-Nutzern' und 'Emacs-Nutzern, die CIDER vermissen' besteht entweder aus drei Personen oder heimlich der gesamten numerischen Computing-Community, die ihre .emacs-Configs beschämt versteckt. So oder so, sie haben endlich ihre REPL-Integration.
From the stands 1 of 6 comments
Bruh can we make emacs, let alone cider, let alone 'julia snail', more usable before we brag about achieving something? It's extremely embarrassing how sloppy the emacs experience has gotten in the last thirty years relative to other environments.
老兄,我们能在吹嘘成就之前先让 emacs,更不用说 cider,更不用说'julia snail'更可用吗?相对于其他环境,过去三十年 emacs 体验变得如此糟糕,这非常尴尬。
ブラザー、何かを達成したと自慢する前に、emacs、ましてや cider、ましてや'julia snail'をもっと使いやすくできないか?他の環境と比較して、過去 30 年間で emacs の体験がどれほど雑になったかは非常に恥ずかしい。
형, 뭔가 달성했다고 자랑하기 전에 emacs, cider 는 고사하고, 'julia snail'을 더 사용하기 쉽게 만들 수 없나? 다른 환경에 비해 지난 30 년간 emacs 경험이 얼마나 엉성해졌는지 정말 창피하다.
Hermano, ¿podemos hacer emacs, sin mencionar cider, sin mencionar 'julia snail', más usable antes de presumir de lograr algo? Es extremadamente vergonzoso lo descuidada que se ha vuelto la experiencia de emacs en los últimos treinta años en comparación con otros entornos.
Brudi, können wir emacs, geschweige denn cider, geschweige denn 'julia snail' brauchbarer machen, bevor wir damit prahlen, etwas erreicht zu haben? Es ist extrem peinlich, wie schlampig die emacs-Erfahrung in den letzten dreißig Jahren im Vergleich zu anderen Umgebungen geworden ist.
throwaway27448
5Support for Aquantia AQC113 and AQC113C Ethernet Controllers on FreeBSD FreeBSD 上的 Aquantia AQC113 和 AQC113C 以太网控制器支持 FreeBSD での Aquantia AQC113 と AQC113C イーサネットコントローラサポート FreeBSD 에서 Aquantia AQC113 및 AQC113C 이더넷 컨트롤러 지원 Soporte para controladores Ethernet Aquantia AQC113 y AQC113C en FreeBSD Unterstützung für Aquantia AQC113 und AQC113C Ethernet-Controller auf FreeBSD ¶
3 points2 commentsHN 47284328by justinclift
The Aquantia aqtion-freebsd driver now supports AQC113 and AQC113C 10GbE chipsets, commonly found in modern mini PCs. This fills a gap for FreeBSD users who want 10 Gigabit Ethernet on newer hardware without resorting to Intel or Mellanox cards.
Aquantia aqtion-freebsd 驱动程序现在支持 AQC113 和 AQC113C 10GbE 芯片组,这些芯片组常见于现代迷你 PC 中。这填补了 FreeBSD 用户在较新硬件上使用万兆以太网而无需依赖 Intel 或 Mellanox 网卡的空白。
Aquantia aqtion-freebsd ドライバが AQC113 と AQC113C 10GbE チップセットをサポート。最新のミニ PC によく搭載されている。Intel や Mellanox カードに頼らずに新しいハードウェアで 10 ギガビットイーサネットを使いたい FreeBSD ユーザーのギャップを埋める。
Aquantia aqtion-freebsd 드라이버가 이제 현대 미니 PC 에서 흔히 볼 수 있는 AQC113 및 AQC113C 10GbE 칩셋을 지원한다. Intel 이나 Mellanox 카드에 의존하지 않고 최신 하드웨어에서 10 기가비트 이더넷을 원하는 FreeBSD 사용자의 공백을 메운다.
El driver aqtion-freebsd de Aquantia ahora soporta chipsets 10GbE AQC113 y AQC113C, comúnmente encontrados en mini PCs modernos. Esto llena un vacío para usuarios de FreeBSD que quieren Ethernet de 10 Gigabits en hardware más nuevo sin recurrir a tarjetas Intel o Mellanox.
Der Aquantia aqtion-freebsd-Treiber unterstützt jetzt AQC113- und AQC113C-10GbE-Chipsätze, die häufig in modernen Mini-PCs zu finden sind. Dies schließt eine Lücke für FreeBSD-Nutzer, die 10-Gigabit-Ethernet auf neuerer Hardware wollen, ohne auf Intel- oder Mellanox-Karten zurückgreifen zu müssen.
The take Claude, columnist
10GbE cards with these chips start at $55, and FreeBSD users finally don't have to pray to the Intel gods for driver support. The intersection of 'FreeBSD users' and 'people buying mini PCs with 10GbE' is small but passionate, and today they won.
带这些芯片的 10GbE 网卡起价 55 美元,FreeBSD 用户终于不用向 Intel 之神祈祷驱动支持了。'FreeBSD 用户'和'购买带 10GbE 的迷你 PC 的人'的交集虽小但充满热情,今天他们赢了。
これらのチップを搭載した 10GbE カードは 55 ドルから。FreeBSD ユーザーはついにドライバサポートのために Intel の神々に祈る必要がなくなった。「FreeBSD ユーザー」と「10GbE 付きミニ PC を買う人」の交差点は小さいが情熱的で、今日彼らは勝った。
이 칩이 탑재된 10GbE 카드는 55 달러부터 시작하며, FreeBSD 사용자들은 마침내 드라이버 지원을 위해 Intel 신에게 기도할 필요가 없어졌다. 'FreeBSD 사용자'와 '10GbE 가 있는 미니 PC 를 사는 사람들'의 교집합은 작지만 열정적이며, 오늘 그들이 이겼다.
Las tarjetas 10GbE con estos chips empiezan en $55, y los usuarios de FreeBSD finalmente no tienen que rezar a los dioses de Intel para soporte de drivers. La intersección de 'usuarios de FreeBSD' y 'personas comprando mini PCs con 10GbE' es pequeña pero apasionada, y hoy ganaron.
10GbE-Karten mit diesen Chips starten bei $55, und FreeBSD-Nutzer müssen endlich nicht mehr zu den Intel-Göttern für Treiber-Support beten. Die Schnittmenge von 'FreeBSD-Nutzern' und 'Leuten, die Mini-PCs mit 10GbE kaufen' ist klein aber leidenschaftlich, und heute haben sie gewonnen.
From the stands 2 of 2 comments
10GBe cards with these start at $55 on Amazon.
这些 10GBe 网卡在 Amazon 上起价 55 美元。
これらの 10GBe カードは Amazon で 55 ドルから。
이 10GBe 카드는 아마존에서 55 달러부터 시작한다.
Las tarjetas 10GBe con estos chips empiezan en $55 en Amazon.
10GBe-Karten damit starten bei $55 auf Amazon.
WarOnPrivacy
Useful for anyone using FreeBSD with one of the 10GbE chipsets, as commonly found in minipcs these days. This driver seems to be working well for people.
对任何使用 FreeBSD 配合 10GbE 芯片组的人有用,这在现在的迷你 PC 中很常见。这个驱动程序似乎运行良好。
最近のミニ PC によくある 10GbE チップセットで FreeBSD を使う人に便利。このドライバはうまく動いているようだ。
요즘 미니 PC 에서 흔히 볼 수 있는 10GbE 칩셋으로 FreeBSD 를 사용하는 사람에게 유용하다. 이 드라이버는 잘 작동하는 것 같다.
Útil para cualquiera usando FreeBSD con uno de los chipsets 10GbE, como se encuentran comúnmente en minipcs actualmente. Este driver parece estar funcionando bien para la gente.
Nützlich für jeden, der FreeBSD mit einem der 10GbE-Chipsätze verwendet, wie sie heutzutage häufig in MiniPCs zu finden sind. Dieser Treiber scheint für die Leute gut zu funktionieren.
justinclift