Fil-C: A memory-safe C implementation
Fil-C - реализация C и C++ с безопасной памятью, позволяющая существующему коду работать безопасно без изменений. Несмотря на молодость проекта и одного активного разработчика, Fil-C уже компилирует весь безопасный пользовательский Linux. Это форк Clang с лицензией Apache v2.0, который изначально был медленным, но после оптимизации работает всего в несколько раз медленнее оригинала. Тест с Bash показал практически незаметную разницу в производительности.
Основная сложность проекта - обработка указателей. Текущая реализация "InvisiCaps" разделяет указатели на доверенную "capability" и недоверенную "address" части, позволяя им соответствовать естественному размеру архитектуры. Для поддержки безопасности Fil-C использует другую внутреннюю ABI, чем Clang, что требует полной перекомпиляции проекта. При выделении объекта в куче Fil-C добавляет два слова метаданных для проверки границ доступа и хранения дополнительной информации о указателях.
Комментарии (88)
- Fil-C — это компилятор C → C, добавляющий проверки безопасности памяти, но при этом оставляющий программы полностью совместимыми с существующим кодом и не требующий изменений в исходном коде.
- Проект разрабатывается в рамках Nix, что позволяет легко собирать любые пакеты с Fil-C, а также предоставляет кэш сборок.
- Обсуждение выявило, что Fil-C в первую очередь ориентирован на безопасность, а не на производительность, и что он не решает проблему безопасности в полном объеме, но является важным шагом вперед.
- Некоторые участники обсуждения выразили обеспокоенность по поводу того, что Fil-C может быть непрактичен из-за производительности, но другие отметили, что для некоторых приложений безопасность важнее производительности.
I've been loving Claude Code on the web
Автор активно использует Claude Code в веб-версии, называя его "v1" продуктом с уникальной функциональностью: при вводе запроса запускается контейнер для агента, создается ветка, которую можно открыть как PR, или скопировать команду claude --teleport <uuid> для продолжения работы локально. Автор использует это как "самоисполняемый список дел" — бросает задачи в разные проекты и возвращается позже, чтобы увидеть выполненную работу. Доступность в iOS-приложении позволяет задавать вопросы в пути, получая ответы позже.
Интересно, что аналогичный продукт Cursor был выпущен 4 месяца назад, но автор предпочитает Claude Code. Причина — качество реализации: Cursor описывается как "капризный", "с рывками" и "хрупкий", в то время как Claude Code ощущается "надежным" и "стабильным". Именно это различие в качестве продукта, по мнению автора, и стало решающим фактором при выборе.
Комментарии (93)
- Участники обсуждают, что Codex (GPT-5) даёт более качественный код, но медленнее и дороже, тогда как Claude Code быстрее и дешевле, но иногда «ленивит» и пропускает детали.
- Несколько человек отмечают, что веб-версия Claude Code позволяет работать из любого места с телефона, в то время как Codex CLI требует локального терминала.
- Обсуждается, что Codex не поддерживает devcontainers и имеет проблемы с установкой зависимостей, в то время как Claude Code может использовать любые инструменты.
- Участники делятся опытом использования различных инструментов: кто-то предпочитает Sonnet для простых задач и переключается на Codex для сложных, кто-то использует разные модели в зависимости от задачи.
- Некоторые участники поднимают вопрос о том, что стоит ли продолжать обучение в колледже, если уже есть такие мощные инструменты, и обсуждают, что стоит ли учиться программированию, если можно просто использовать эти инструменты.
Why does Swiss cheese have holes? 💬 Длинная дискуссия
Дырочки в швейцарском сыре образуются благодаря пузырькам углекислого газа, которые производят бактерии Propionibacteria (Props). Эти бактерии естественным образом присутствуют в сене, травах и почве, а могут содержаться в сыром молоке. Пастеризация уничтожает большинство бактерий, поэтому сыровары часто добавляют Props обратно, чтобы обеспечить характерные пузырьки. В процессе ферментации бактерии создают углекислый газ, формируя знаменитые "глазки" и придаству сыру ореховый вкус.
После производства и посола швейцарский сыр выдерживают в теплых помещениях, что позволяет бактериям активно выделять углекислый газ, сохраняя при этом текстуру сыра. Количество, размер и распределение этих "глазок" тщательно контролируются в процессе производства, что является важным качественным показателем. Интересно, что до 2015 года считалось, что дырочки образуются от кусочков соломы, но исследования подтвердили микробиологическую природу этого явления.
Комментарии (196)
- Обсуждение показало, что "Swiss cheese" в США — это не сыр из Швейцарии, а маркетинговый термин, который не имеет отношения к стране происхождения.
- Участники обсуждали, что в США "Swiss cheese" — это не конкретный сорт сыра, а скорее стиль, который может быть произведён где угодно.
- Было отмечено, что в Швейцарии делают сыр без дырок, а в США — с дырками, потому что именно такой сыр туда экспортируют.
- Участники также обсудили, что дырки в сыре — это результат неправильного хранения и транспортировки, а не особенность производства.
- Было отмечено, что в США "Swiss cheese" — это не сыр, а стиль, который может быть произведён где угодно, и что в Швейцарии делают сыр без дырок, а в США — с дырками, потому что именно такой сыр туда экспортируют.
Комментарии (108)
- Обсуждение показало, что лицензия HOPL сейчас нежизнеспособна: она не может быть соблюдена, не может быть применена к AI и, вероятно, не будет принята сообществом из-за юридических и практических проблем.
- Участники обсуждения выразили сомнение в том, что лицензия может быть применима к программному обеспечению, которое использует или обучает AI, и в том, что она может быть применима к программному обеспечению, которое использует AI.
- Обсуждение также подняло вопрос о том, что лицензия может быть несовместима с существующими лицензиями, такими как AGPL, и что она может быть несовместима с ними.
- Участники обсуждения также выразили сомнение в том, что лицензия может быть применима к программному обеспечению, которое использует AI для перевода или других целей, и что она может быть применима к программному обеспечению, которое использует AI для обучения или тестирования.
- Некоторые участники обсуждения также выразили сомнение в том, что лицензия может быть применима к программному обеспечению, которое использует AI для обучения или тестирования, и что она может быть применима к программному обеспечению, которое использует AI для обучения или тестирования.
Show HN: Pipelex – Declarative language for repeatable AI workflows
Представлен Pipelex - новый open-source язык, созданный специально для AI агентов с целью разработки и выполнения повторяющихся AI рабочих процессов. Проект призван упростить создание сложных автоматизированных систем с использованием искусственного интеллекта, предоставляя разработчикам специализированный инструмент для реализации своих идей.
На данный момент репозиторий предлагает базовую структуру проекта, но подробная документация и примеры использования еще не полностью раскрыты. Цель разработчиков - создать гибкую платформу, которая позволит эффективно соединять различные AI сервисы и модели в единую рабочую среду, снижая порог входа для создания сложных AI-ориентированных приложений.
Комментарии (20)
- Declarative workflow DSL (Pipelex) позволяет описывать пайплайны на высоком уровне, что делает его более читаемым и удобным для совместной работы между техническими и нетехническими участниками.
- В отличие от BAML, Pipelex фокусируется на том, чтобы предоставить DSL для описания логики, а не только для LLM вызовов.
- Пользователи могут запускать пайплайны как локально через CLI, так и удалённо через API сервер, который также доступен как Docker образ.
- Поддержка MCP серверов в разработке, но уже сейчас можно использовать PipeFunc для вызова любых Python функций и инструментов.
- Сообщество приветствует вклад в развитии и интеграцию с другими инструментами и сервисами.
The decline of deviance 💬 Длинная дискуссия
Современное общество переживает упадок девиантного поведения — подростки стали значительно более конформистскими, чем их родители и бабушки с дедушками. Данные CDC показывают, что школьники сегодня менее чем наполовину склонны к употреблению алкоголя по сравнению с 1990-ми, реже курят, занимаются сексом, участвуют в драках или принимают наркотики от марихуаны до героина. Даже курение вейпа снижается, а использование ремней безопасности и ношение оружия в школе стало менее распространенным.
Этот культурный сдвиг, затрагивающий все сферы общества, начался задолго до интернета и имеет как положительные, так и отрицательные стороны. С одной стороны, это "чудесное и фантастическое" явление, достойное торжеств; с другой — "мрачное и депрессивное", требующее вмешательства. Автор подчеркивает, что многие ошибочно связывают эти изменения только с интернетом или ограничивают их одной сферой жизни, тогда как на самом деле это комплексное явление с едиными корнями.
Комментарии (185)
- Сообщество отмечает, что «странность» исчезает не только в культуре, но и в повседневном поведении людей, что связано с ростом стоимости жизни и страхом ошибиться в условиях экономической нестабильности.
- Обсуждающие подчеркивают, что интернет-гомогенизация и алгоритмы соцсетей сокращают пространство для самовыражения, а крупные корпорации и государство усиливают контроль за личной жизнью людей.
- Участники также отмечают, что снижение «девиаций» может быть связано с уменьшением свободы и безопасности в обществе, что ведет к меньшему риску и меньшему желанию людей выделяться.
- Некоторые комментаторы подчеркивают, что кризисы в экономике и жилье, а также рост стоимости жизни вынуждают людей к более консервативному и риск-избегающему поведению, что может снижать уровень креативности и экспериментов.
Using AI to negotiate a $195k hospital bill down to $33k 🔥 Горячее 💬 Длинная дискуссия
Meta запустила Threads, приложение для обмена сообщениями, которое достигло 100 миллионов пользователей всего за пять дней после релиза в июле 2023 года. Это самый быстрый рост для любого приложения в истории, превзойдя даже ChatGPT. Threads интегрирован с Instagram, позволяя пользователям импортировать список подписчиков и создавать аккаунт без дополнительных усилий. Приложение позиционируется как альтернатива Twitter, особенно после недавних изменений в политике конкурента.
Разработчики столкнулись с критикой за отсутствие API и функцию удаления аккаунта, которая фактически деактивирует профиль, а не удаляет данные. Основатель Meta Марк Цукерберг заявил, что компания планирует добавить поддержку ActivityPub для децентрализованной социальной сети. Несмотря на первоначальный ажиотаж, аналитики отмечают, что удержание пользователей остается ключевым вызовом для Threads, учитывая высокую конкуренцию на рынке социальных платформ.
Комментарии (814)
- Американская система здравоохранения оставляет пациентов уязвимыми к астрономическим счетам, даже если у них есть страховка, и в то же время не предоставляет прозрачности в ценообразовании.
- Искусственный интеллект, включая ChatGPT и Claude, становится инструментом, который позволяет людям оспаривать счета, которые часто включают ошибки или даже мошенничество.
- Система здравоохранения США оставляет людей в долгах, даже если они умерли, и в то же время не предоставляет прозрачности в ценообразовании.
- Искусственный интеллект может помочь людям оспаривать счета, которые часто включают ошибки или даже мошенничество.
Nvidia takes $1B stake in Nokia 🔥 Горячее 💬 Длинная дискуссия
—
Комментарии (164)
- Nvidia больше похож на суверенный инвестиционный фонд, чем на обычную компанию, и его деньги влияют на политику США.
- Nvidia и Nokia делают ставку на то, что AI-оборудование будет востребовано дольше, чем кажется, и поэтому они инвестируют в инфраструктурные компании.
- Пока что рынок не может оценить это, потому что он не может оценить будущий рост, и поэтому он оценивает компании по их доходам от продажи GPU, что создает иллюзию, что Nvidia стоит 3 триллиона.
- Но если рынок проснется, то это может привести к катастрофе, подобной той, что может вызвать кризис в 2008 году.
- И в то же время, Nvidia может быть национализирована, потому что она может оказаться критически важной для национальной безопасности.
Whole Earth Index
Создан практически полный архив публикаций Whole Earth, серии журналов и каталогов, восходящих к Whole Earth Catalog, издававшихся Стюартом Брандом и POINT Foundation с 1968 по 2002 год. Материалы доступны для научных, образовательных и исследовательских целей.
Whole Earth Catalog, выходивший с 1968 по 1998 год, был культовым контркультурным журналом и каталогом продуктов, главным лозунгом которого стало "доступ к инструментам". Основное внимание уделялось самодостаточности, экологии, альтернативному образованию, принципам "сделай сам" и холизму. Архив содержит десятки выпусков, включая оригинальные каталоги 1968-1970 годов и специальные дополнения, такие как "Difficult But Possible" и "Whole Earth Epilog".
Коллекция также включает CoEvolution Quarterly, Whole Earth Software Review, Whole Earth Review и другие издания, представляющие собой уникальное историческое наследие повлиявшего на несколько поколений мыслителей движения за экологию и технологическую независимость.
Комментарии (50)
- Воспоминания о 70-х и 90-х, когда «всё казалось возможным», контрастируют с нынешним ощущением «конца истории» и технологического пессимизма.
- Каталог Whole Earth и его наследие продолжают вдохновлять, но их влияние на сегодняшний день остаётся предметом ностальгической тоски.
- Обсуждение указывает на то, что вместо того, чтобы строить будущее, мы «строим» цифровые платформы, которые, как кажется, не ведут к тому самому будущему, которое обещало каталог.
- Участники делятся личными историями о том, как они впервые столкнулись с каталогом, и как он сформировал их взгляды.
- Ирония в том, что в то время как каталог стремился предоставить доступ к инструментам и знаниям, сегодняшние технологические гиганты делают то же самое, но в более централизованой и закрытой форме.
Комментарии (10)
One reason the 747 has had such a long life is that when it was developed, the expectation was that it would soon be replaced by faster supersonic aircraft, so it was designed to be easily re-purposed/retrofitted to serve as a cargo aircraft --- that said, despite its vast cargo