文章

RTX 5090搭載PCが18万円引き！ パソコンショップSEVEN、11月4日限定セール

パソコンショップSEVENを運営するセブンアールジャパンが11月4日に24時間限定セールを実施。最新のゲーミングPCやデスクトップPCを対象に、最大18万円オフ、送料無料で全10商品を販売する。

ASCII.jp · JA

DeepSeek が描く AI エージェントの未来像

DeepSeek が Super-agent という AI エージェントの構想を公開しました。利用者と会話を続けながら複数の仕事を進め、GitHub やチャットの変化にも対応します。人が作業やセッションを管理する負担をどう減らすのか、既存のエージェントとの違いも含めてまとめました。 TL;DR Super-agent は仕事の進行やセッションの管理をシステムへ任せ、人が細かく指示・確認する負担を減らす構想です。 利用者との会話と仕事の振り分けは Router、個々の作業は Worker が担当します。GitHub やチャットの通知も受け取り、対応が必要なものを担当へ届けます。 ...

Zenn · JA

Tauto で型付き言語を作る: 型付け規則から証明付きの検査器を生成する

小さな言語の型検査器を書いて、「検査器が通した式は評価で行き詰まらない」ことと「検査器は型が付く式を取りこぼさない」ことを証明します。使うのは Tauto です。 この記事では、小さな言語を例に、Tauto のマクロで構文木の型や型検査器を生成する方法を紹介します。生成器が扱える形の型付け規則であれば、検査結果に導出・反証・型の一意性の証明を持たせられます。評価器や構文木の変換関数、それらに関する定理は別途記述します。 https://github.com/Hihaheho/tauto コードは examples/typed-lang にあります。この記事のコードと出力は、2026-11...

Zenn · JA

quench を管理者アカウントから卒業させる：シャットダウン専用の Windows アカウント svc-power

はじめに 前回の記事で、ラズパイから Windows PC をシャットダウンするコマンド quench を作りました。quench foo と打てば、確認を挟んで SSH で shutdown を送り、PC が止まるまで待ってくれます。 ただ、前回の記事の最後にも書いたとおり、今の quench は Windows の管理者アカウントで SSH しています。ラズパイに置いてあるこの秘密鍵があれば、シャットダウンどころか、ソフトのインストールもファイルの削除も、何でもできてしまいます。 最近、企業の情報漏洩のニュースを目にすることが急増しています。個人の環境であっても、「必要以上に強い...

Zenn · JA

バイブコーディングで機能を継ぎ足していて見えてきたClaudeCodeの実装のクセ

「業務フローがよくわからないんだよね」という状態でも、チャラくバイブコーディングで自力でシステムが作れる時代が来ました。特にエンジニアは、アイディアをすぐに形にできます。普段からClaude CodeなどのAIエージェントに慣れ親しんでいれば、バイブコーディングのハードルは数ミリ程度まで下がっています。その結果、要件定義できるほどの解像度はない、できてからいろいろ意見はしたい、でも人の介在は最小限にしたい、という ガチのシステム屋さんに言ったら殴られそうな 要望を持つことも多いでしょう。 TL;DR 要件が固まらないままClaude Codeでバイブコーディングしたら、テストは通る...

Zenn · JA

ADRをregoでlintする

AIが書くADRのフォーマットをどう揃えるか 自分のリポジトリでは、設計の決定を ADR（Architecture Decision Records）として docs/adr/ に残している。最近は、その ADR の多くを Claude Code に書いてもらっている。決定を相談して、「これを ADR にしておいて」と頼むと書いてくれる。 ただ、AI に書かせた ADR は、少しずつ自由になっていく。テンプレートを置いて書き方を指示していても、ずれるときはずれる。たとえば、 Decision に、画面のメニュー項目の一覧や定数、構造体の定義まで書いてある。仕様書に近づいて、コードを...

Zenn · JA

GitHub、より高度なコードレビューを行う「Copilot Code Review Max」発表。GitHub Universe 2026

GitHubは、米サンフランシスコで10月28日と29日の2日間開催した年次イベント「GitHub Universe 2026」で、より高度なコードレビューを行う新機能「Copilot Code Review Max」を発表しました。 Gi...

Publickey · JA

GitHubが従来比180倍のスループット性能向上を実現へ、来年初頭に。AIエージェント時代に対応。GitHub Universe 2026

GitHubは、米サンフランシスコで10月28日と29日の2日間開催した年次イベント「GitHub Universe 2026」で、AIエージェント時代に対応した大幅な性能向上を実現することを明らかにしました。 性能向上はGitHubの基盤...

Publickey · JA

車で踏んでも壊れないLEDテープライトを買ったので実際に車で踏んでみた

GIGAZINE編集部は地域のイベントなどに参加して物販テントを設営することがあります。夜間に物品を明るく照らせるように使い心地のいい照明を探していたところ、明るくて丈夫なテープ型ライト「温度センサー付LEDテープライト(片面発光タイプ)」を発見。「車で踏んでも壊れない」という頼りになりそうなアピールもされていたので実際に買って使ってみました。 続きを読む...

Gigazine · JA

Uberはリトライストームからどのように身を守っているのか

Uberのエンジニアリングチームは、複雑に絡み合うサービス間依存関係を持つシステムで発生する「リトライストーム」現象によりビジネス運用やブランド信頼が受ける悪影響に対処するため、「エラーオーナーシップ」という概念に基づいたソリューションを開発・実装しました。このアプローチは、単一のサービス障害が連鎖的な障害を引き起こし、システム全体に波及する「ドミノ効果」を防ぐことを目的としています。 続きを読む...

Gigazine · JA

歩くのと同じくらいゆっくりなランニングでも気分が良くなって認知機能が向上する

ランニングは手軽に取り入れやすい運動のひとつですが、「すぐに疲れてしまうのでゆっくりでしか走れない」という悩みを抱えている人もいるはず。ところが、筑波大学などの研究チームが行った実験では、歩くのと同じくらいゆっくりなランニングであっても、メンタルヘルスや脳に良い影響が生じるとの結果が報告されています。 続きを読む...

Gigazine · JA

Майолика, бревно, аптека

По проекту компании «М.Г. Прайват Реконстракшн» в Петербурге вернули к жизни особняк Эдуарда Бремме – редкий для города памятник деревянного зодчества. Реставрацию провели методом полной переборки сруба: пригодными для сохранения оставалось не более 30% бревен, недостающие собирали в Ленинградской области. Теперь здание стало частью жилого комплекса Amo.

Archi.ru · RU

Школа как центр сообщества

Архитектурное бюро akvk+partners выпустило книгу, в которой соединило свой опыт проектирования образовательных пространств с исследованием концепции школы как центра городского сообщества. Книга предлагает экскурс в историю педагогики и сопутствующую реакцию архитектуры, богатый иллюстративный материал, а также практические рекомендации, собранные в удобные схемы и диаграммы.

Archi.ru · RU

Прайм-эра охоты на злодеев. Кто такой Крис Хансен — герой «Прайм-тайма» с Паттинсоном

Профайл В цифровой прокат вышел фильм «Прайм-тайм» с Робертом Паттинсоном — в новом хите А24 он играет телеведущего Криса Хансена. Его имя для США тесно связано с массовой культурой и телевидением благодаря программе «To Catch a Predator» о поисках педофилов. Кем был Крис Хансен на самом деле, что сделало его проект столь значимым для истории. Конфликт актера и его прототипаВскоре после выхода «Прайм-тайма» американский телеведущий Крис Хансен выступил с критикой фильма и даже пригласил сыгравшего его Роберта Паттинсона на интервью в свое шоу. «Могу сказать, что большая часть [показанного в „П

Afisha · RU

«К востоку от Эдема»: за что ругали роман — основу главного сериала осени

Разбор Сериал Netflix вызвал очередную волну массового интереса к книге «К востоку от Эдема». Рассказываем, о чем она, за что критики ее ругали и как новые поколения раз за разом переоткрывают для себя роман Стейнбека. «Все остальное было практикой»: как Стейнбек писал свою главную книгуЛетом 1951 года Джон Стейнбек сделал ящик из красного дерева и вырезал на крышке одно слово на иврите. Уже на Рождество он положил в него рукопись «К востоку от Эдема» и отправил своему редактору Паскалю Ковичи, приписав: «Вот твой ящик. В нем почти всё, что у меня есть, и он не полон». Ковичи когда-то подарил

Afisha · RU

Мы узнали, что заставит Дмитрия Маликова побриться налысо. Большое интервью

Интервью В преддверии сольного фортепианного концерта «Pianomaniя», который состоится 4 ноября в Доме музыки, мы поговорили с Дмитрием Маликовым о новом инструментальном альбоме «Северное сияние», популярности среди зумеров и сотрудничестве с молодыми артистами, а еще выяснили, как рояль может спасти от пенсии и что заставит музыканта побриться налысо. — Мы с вами встречаемся к выходу альбома «Северное сияние», я его как раз послушала.— Интересно мнение зумера.— Это музыка, максимально отстраненная от реальности. Мне она помогает абстрагироваться от внешнего мира. Как вы сами пишете такую музы

Afisha · RU

Происхождение жизни, первые РНК и цинковый мир — Мыслить как ученый #66

Как из неживой химии могла возникнуть система, способная воспроизводить саму себя?

Postnauka · RU

В кости динозавра возрастом 115 миллионов лет впервые обнаружили клетки крови

Ученые впервые предоставили убедительные доказательства того, что в окаменелостях динозавров могут сохраняться биомолекулы, в частности эритроциты и компоненты гемоглобина. Это открытие опровергло устоявшееся представление о том, что за миллионы лет органика полностью разлагается.

Naked Science · RU

Пчелы на австралийском острове изменили состав меда после лесных пожаров

Лесные пожары меняют растительность и лишают пчел привычных источников нектара. Австралийские ученые обнаружили, что после пожаров 2019-2020 годов на острове Кенгуру пчелы стали производить мед с химическим составом, который не встречался в исследованных допожарных образца

Naked Science · RU

Ученые надели на гусениц «доспехи» и помогли им ползать по стеклу

Гусеницы виртуозно ползают по деревьям, но на гладком стекле становятся беспомощными. Чтобы выяснить, как создавать вездеходных мягких роботов, инженеры надели на этих животных полимерную броню и приклеили грузики, превратив их в крошечные броневики.

Naked Science · RU

Астрономы обнаружили сверхновую, «раздевшуюся» перед взрывом

Сверхновая SN 2025dys еще до момента взрыва сбросила значительную часть внешних слоев — и они окружили ее плотным облаком газа. В результате взрыв выглядел не так, как должен у сверхновой этого типа. Необычный случай позволил ученым разобраться, почему взрывы подобных звезд могут выглядеть иначе, чем предсказывает теория.

Naked Science · RU

Экспериментальное лечение волчанки «пощадило» здоровые иммунные клетки

Аутоиммунные заболевания, при которых иммунитет атакует клетки организма, проще всего лечить, подавляя активность опасных иммунных клеток. Но тогда пострадают и остальные клетки этой системы, то есть человек станет уязвим для болезней. Новые эксперименты на животных и с клетками человека показали, что можно подавить первые, не навредив вторым. В будущем это позволит врачам не ослаблять иммунитет…

Naked Science · RU

Киберпсихоз: искусственный мозг научили сохранять стабильность при высокой активности нейронов

Ученые МФТИ с коллегами из Института биологии и биомедицины ННГУ им. Н. И. Лобачевского разработали механизм, который позволяет искусственным нейронным сетям, имитирующим работу мозга, сохранять стабильность и избегать сбоев. Разработка открывает путь к созданию сверхнадежных нейроморфных вычислительных систем.

Naked Science · RU

Бывшие линейные игроки в американский футбол сильнее пострадали от бляшек в коронарных сосудах

Бывшие линейные игроки в американский футбол сильнее пострадали от бляшек в коронарных сосудах

N+1 · RU