Корпорация «Тэнди», часть 1 ( abortretry.fail )
Source: news.ycombinator.com
LeetCode для проектирования систем ( leetsys.dev )
Теоретически, это должно быть самым простым обсуждением на собеседовании, если вы выполнили какую-то связанную работу или имеете квалификацию. Вместо этого это просто превращается в очередную безумную игру с культом карго, где вам нужно делать вещи по каким-то странным правилам и использовать определенные модные словечки.
Ваш комментарий звучит так, будто вы считаете, что собеседования по проектированию систем хороши, если вы их прошли, но плохи, если вы их провалили.
“системный дизайн”, как это делают сейчас все, – это плохое собеседование, смогу я его пройти или нет. Нужно просто нажимать на нужные модные словечки или рисовать нужные рамки. Насколько это эффективно?
Source: news.ycombinator.com
Tesla запускает поездки на роботакси в Остине ( techcrunch.com )
https://youtu.be/_s-h0YXtF0c?t=0h7m15s
Кто-то будет владеть платформой, которая координирует движение автомобилей, и тогда всем автомобилям нужно будет заплатить, чтобы попасть на эту координационную платформу, которая будет сообщать каждому автомобилю, как ехать, какой маршрут выбрать и т. д. Каждый автомобиль будет знать, что будут делать все остальные автомобили в его районе, так что массовая координация станет возможной. Вот как можно получить полностью заполненную автомагистраль, но при этом все будут двигаться со скоростью 65 миль в час на расстоянии 1 фута друг от друга.
Waymo, похоже, впереди всех по моему абсолютному аутсайдерскому мнению. Мне кажется, что все остальные находятся далеко позади.
> 10 или около того автомобилей
> водитель-человек за рулем (за исключением этой бета-версии)
> по приглашению (судя по всему, очень ограниченная аудитория)
> геозона не только для города, но и для небольшой группы районов
> первые отчеты показывают, что для разъединения требуется дистанционное повторное взаимодействие
Надеюсь, они доберутся туда, большая конкуренция в этой области — это хорошо. Но это жалко. Они так сильно отстают от Waymo, что это даже не смешно.
Source: news.ycombinator.com
Французская художественная литература «merveilleux-scientifique» переосмыслила реальность. Эссе ( aeon.co )
[1] https://sf-encyclopedia.com/entry/renard_maurice
Source: news.ycombinator.com
Показать HN: Lego Island, в который можно играть в браузере ( isle.pizza )
Source: news.ycombinator.com
Tensor Manipulation Unit (TMU): реконфигурируемый, почти память, высокопроизводительный ИИ ( arxiv.org )
Похоже, американские санкции стимулируют новую волну инноваций в Китае.
«Эта работа устраняет этот пробел, представляя Tensor Manipulation Unit (TMU): реконфигурируемый, почти оперативный аппаратный блок, предназначенный для эффективного выполнения операторов с интенсивным перемещением данных (DMI). TMU манипулирует длинными потоками данных в режиме «память-память», используя модель выполнения, вдохновленную RISC, и унифицированную абстракцию адресации, что обеспечивает широкую поддержку как грубо-, так и мелкозернистых тензорных преобразований.
Предлагаемая архитектура объединяет TMU вместе с TPU в высокопроизводительной AI SoC, используя двойную буферизацию и пересылку выходных данных для улучшения использования конвейера. Изготовленный по технологии SMIC 40 нм, TMU занимает всего 0,019 мм2, поддерживая более 10 репрезентативных операторов TM. Сравнительный анализ показывает, что TMU в одиночку достигает снижения задержки на уровне оператора до 1413,43× и 8,54× по сравнению с ARM A72 и NVIDIA Jetson TX2 соответственно.
При интеграции с собственным TPU вся система достигает сокращения сквозной задержки вывода на 34,6%, демонстрируя эффективность и масштабируемость реконфигурируемой тензорной манипуляции в современных ИИ-системах на кристалле».
Source: news.ycombinator.com
Python теперь может запускать Mojo ( koaning.io )
Меня просто беспокоит, какой объем венчурного финансирования они привлекли и какое влияние это может оказать на их бизнес-модель по мере их развития.
Source: news.ycombinator.com
Глушитель Bluetooth ( github.com/emenstanougat )
Source: news.ycombinator.com
Полисостояние: составные конечные автоматы ( github.com/sdzx-1 )
1. Запишите состояние конечного автомата на уровне типа.
2. Достижение компонуемых конечных автоматов посредством композиции типов.
Практические эффекты полистата
1. Определить общее поведение программы через композиционные объявления. Это означает, что мы получаем возможность указать общее поведение программы на уровне типа. Это значительно улучшает корректность императивных структур программы. Этот стиль программирования также побуждает нас перепроектировать состояние программы с точки зрения типов и композиции, тем самым улучшая компоновку кода.
2. Построение сложных конечных автоматов путем составления простых состояний. Впервые мы можем достичь повторного использования кода на семантическом уровне посредством композиции типов. Другими словами, мы нашли способ выразить повторное использование кода на семантическом уровне на уровне типов. Этот подход одновременно достигает трех эффектов: краткости, корректности и безопасности.
3. Автоматически генерировать диаграммы состояний. Поскольку общее поведение программы определяется декларациями, polystate может автоматически генерировать диаграммы состояний. Пользователи могут интуитивно понимать общее поведение программы с помощью этих диаграмм.
Поскольку у меня есть опыт только с Haskell и Zig, мне интересно, есть ли другие языки или библиотеки с похожими реализациями?
https://blog.cofree.coffee/2025-03-05-chat-bots-revisited/ https://github.com/cofree-coffee/cofree-bot
Также используется библиотека линз для кодирования машин Мура как полиномиальных функторов: https://blog.cofree.coffee/2024-07-02-lensy-moore/
Source: news.ycombinator.com