GitHub - google/budouxYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
MoonBit による静的解析：簡易言語の分析から MCIL まで
著者：lampese 一、 はじめに コードを書いているとき、まるで「予知能力」があるかのようなツールに好奇心を抱いたことはありませんか？ C/C++ のコンパイラが「変数が初期化されていない可能性があります」と警告したり、TypeScript の IDE があるオブジェクトが「null である可能性があります」と提示したりするとき、それらはプログラムを実行しているのではなく、単にソースコードを「スキャン」することで、潜在的な実行時のリスクを正確に予見しているのです。その背後に隠されているのが、プログラミングの世界における強力かつエレガントな技術 —— 静的解析です。 しかし、多くのアプリケーション開発者にとって、コンパイラや静的解析ツールの仕組みは神秘的なブラックボックスのようなものです。私たちはそれらの恩恵を受けていながら、その内部の設計ロジックや共通のパターンを必ずしも理解しているわ
【イベントレポート】UI Lab #1「ノブ」
イベント概要 開催日:2025/12/3 テーマ:「ノブ」をテーマにUIを作って持ち寄る"UI大喜利” 参加人数:22人(オフライン：8人/オンライン：14人) イベントページ:https://studio.connpass.com/event/373723/ レポート 2025年12月3日に、Studioオフィスで、テーマに合わせたUIを作成し持ち寄る「UI LAB#1」を開催しました。 UI Lab #1 (2025/12/03 19:00〜) これまではStudio社内に限定して開催していたUI Lab。今回からは社外のUIラバーにも一緒に楽しんでいただきたいと思い、社外公開することにしました。 今回の記事では、UI LAB#1の様子を、参加者のみなさんが実際に作ってくれたUIとともにレポートします。 #1のテーマは「ノブ」のUI UI LABはUIの可能性を追求し、批評は一切なしで
The State of OpenSSL for pyca/cryptography — Cryptography 47.0.0.dev1 documentation
The recipes layer Fernet (symmetric encryption) X.509 The hazardous materials layer Primitives Exceptions Random number generation Decrepit cryptography The cryptography open source project Installation Changelog Frequently asked questions Development Use of OpenSSL Security Known security limitations API stability Doing a release Community Glossary Statements The State of OpenSSL for pyca/cryptog
Node.js作者の発言「人間がコードを書く時代は終わった」について思うこと | maguro.dev
日本語訳: これまで何千回も言われてきたことだけど、自分の声も加えさせてほしい――人間がコードを書く時代は終わった。ソフトウェアエンジニアを自認する我々にとっては穏やかでない話だが、それでも事実だ。ソフトウェアエンジニアの仕事がなくなるという意味ではなく、プログラムのシンタックスを直接書くことはソフトウェアエンジニアの仕事ではなくなった、ということだ。 正直、内心ぎょっとした。 Ryanは Deno Land Inc. を共同創業し、Node.jsに代わる新しいJavaScript/TypeScriptランタイムであるDenoを作っている。僕はその会社でソフトウェアエンジニアとして働いている。自分の会社のCEOが「人間がコードを書く時代は終わった」と言っている。 ソフトウェアエンジニアとして、これまで通りのやり方を続けていたら何が起きるかわからない——最悪のケース、つまりレイオフだってあり
Spec DrivenではなくImplementation Drivenを選ぶ理由
Implementation-Driven Developmentという考え方 近年、AI を活用したコーディングが一般化し、ソフトウェア開発の進め方そのものが改めて問われていると感じています。その中で仕様を起点として開発を行う Spec Driven Development（仕様駆動開発） が、有力なアプローチとして語られる場面も増えてきました。 本稿では、Spec（仕様）という成果物そのものを否定するのではなく、Spec Driven Development という開発観に対して少し距離を取りながら考えてみます。その上で、私自身が最近しっくり来ている Implementation-Driven Development（以下 IDD） という考え方について整理します。 なぜ今、Spec Driven Developmentが注目されているのか AI が書くコードは非常に強力です。その一方
プログラマの抱いている「住所」についての誤謬
この記事は Patrick McKenzie さんのブログ・エントリ、 “Falsehoods Programmers Believe About Names” および Shibata Masaaki さんによるその対訳 “プログラマの抱いている名前についての誤謬” のオマージュです。 欧米のシステムに日本人が住所を登録するとき、表記方法やそのバリデーションに悩まされ、正しいか自信のない住所を入力することが多いだろう。 住所はECを中心とする多くのサービスを提供するための必須情報であり、システムは正しい住所を正しく処理するべきだ。 わたしの住所は漢字と数字からなるアドレス、28文字のアルファベットからなるマンション名、英数字記号が混在した7文字からなる部屋番号を持ち、決まりきった形式の住所しか受け付けないシステムを何度もクラッシュさせてきた。 同様に、べらぼうな超大企業がビジネスをグローバ
【脱・初心者】なぜAWSのプロは「IAMユーザー」を使わないのか？ 9割が知らない「AssumeRole」の正体
初心者の間違い：全部「社員（User）」でやろうとする 「EC2からS3にアクセスしたい」という時、EC2の中に「アクセスキー（社員証）」を埋め込んでいませんか？ それは、社員証をサーバー室に置きっぱなしにするのと同じで、非常に危険です。 そこで登場するのが、「IAMロール（帽子）」です。 2. IAMロールは「魔法の帽子」である IAMロールは、特定の「人」ではありません。 「その帽子を被っている間だけ、権限を行使できるアイテム」です。 IAMユーザー: 「私は田中です」（証明書はずっと持っている） IAMロール: 「私は今、管理者です」（帽子を被っている間だけ有効） この「帽子を被る」というアクションのことを、AWS用語で AssumeRole（アシューム・ロール） と呼びます。 ▼ 【図解】IAMユーザーとIAMロールの違い プロの現場では、EC2やLambdaなどの「機械」には、絶
ソシオメディア | ヒューマンインターフェース ガイドライン
ソシオメディアがまとめている、ヒューマンインターフェースをデザインする際の指針です。これらは、インターフェースデザインに関する様々な文献と、実際のデザインコンサルティングで得た知見をもとに、ソシオメディアが独自に編纂したものです。継続的に追加・更新していきます。 すべてモデルインタラクションプレゼンテーション
アクリル板なしで話した山上被告との10時間 宗教学者が見たもの：朝日新聞
「いかなる理由があっても殺人は許されない」 弁護人は、裁判の最後にそう述べた上で、山上徹也被告（45）が「宗教が関わった虐待の被害者でもある」と強調した。 どうすれば事件をとめられたのか。その手がか…
wit-deps-cliのちょっとした仕様変更 - Qiita
はじめに WASM Componentとして、実装のボイラープレートを生成するツールとしてwit-bindgen-cliがある。 このツールはwit定義から生成するのだが、他のパッケージに依存する場合は 所定のフォルダ構成 で事前に依存解決しておく必要がある。 wit-deps-cliはこの依存解決を行うツール。 wit-deps-cli 0.6.0でちょっとした仕様変更により、どハマりしたのでその内容を記録として残す。 TL;DR deps.tomlにて以下のようにprefixを指定することでアーカイブ内のサブフォルダを依存として取り込むことができる。 filesystem = { url = "https://github.com/WebAssembly/WASI/archive/refs/tags/v0.2.9.tar.gz", prefix = "WASI-0.2.9/propos
AI で nix に移行する、Vibe nix してみた - tokuhirom's blog
去年、nix 使ってみようと思ったけど謎エラーが出て諦めてしまっていた。 nix だとDSLを覚える必要がある上に、エラーメッセージがあんまり親切じゃないので、エラーになりすぎて諦めてしまっていた。 しかし、今は、Claude Code などの AI が発達しているので、再挑戦することに。謎エラーも、AIに渡せばググったりして解決してくれるからね。 Gemini に聞いたところ、Determinate のインストーラーを使って、Flakes にすると良さそうだということがわかった。 ここまでわかれば、以下の要件を伝えたら移行出来る。元々の dotfiles が入っているディレクトリにたいして claude を起動して、以下のように伝える。 Determinate installer を使うこと。 Flakes をつかうこと Linux, mac で動くこと ホスト名、ユーザー名をレポジトリ
あなたの拾ってきた野良（マーケット）Skills、セキュリティトラブルを発生させていませんか？
「〇〇さんが紹介していたSkill、便利そうだから使ってみよう」 そんな軽い気持ちで野良Skillsを導入していませんか？〇〇さんが導入したときは、問題なかったかもしれませんが、あなたが導入しようとしたときも安全とは限りませんよ？ はじめに Claude CodeやCodexをはじめ、Skills（エージェント拡張）を共有・配布するマーケットが急速に注目されています。便利なワークフローをすぐに取り込める一方で、Skillsは「設定ファイル」ではなく「実行可能な拡張」である点を忘れてはいけません。 結論から言えば、中身を自分で理解・評価できないのであれば、AnthropicまたはOpenAIの公式マーケット以外は推奨できません。 Anthropic（Claude Skills）：https://github.com/anthropics/skills OpenAI（Codex Skills）
AIはソフトウェアエンジニアの仕事を変容させる: 『バイブコーディングを超えて』 - Don't Repeat Yourself
時間ある時に読もうと思っていた『Beyond Vibe Coding』ですが、結局時間ある時というのは来なくて、翻訳が出たのを知ったのでついに読みました。結局母国語で読んだら数倍のスピードで読めるのでROIは悪くなさそうなんですが、一方でこの1年くらい私がウンウンと考えていた問題がすでに言語化されていることを知り、もっと早く読んでおけばよかったとも思いました。やはりAI関連の書籍は今は原文で読む時間をまとめて取るべき、という結論になりました。 バイブコーディングを超えて ―AI時代を生き抜く開発者の未来 作者:Addy Osmani,佐藤 直生（翻訳）オーム社Amazon さて簡単に本書から考えた内容を記しておきます。なお、Claude CodeやCodexのようなコーディングに使用するエージェントのことは、AIではなく「コーディングエージェント」ないしは「エージェント」とこの記事では呼ぶ
AIで数学の未解決問題をほぼ自動的に解くことに成功、AIツールにおける重要な進展に
20世紀で最も多くの論文を書いた数学者として知られるポール・エルデシュはその生涯で多くの未解決問題を発案しており、これらは「エルデシュの問題」として知られています。そのエルデシュの問題のうちの1問をGPT-5.2 Proが解決し、著名な数学者であるテレンス・タオ氏が「私たちの知る限り、既存の文献では再現されない、ほぼ自律的な解決であり、AIの能力が本当に向上したことを示すものだ」とコメントしています。 How We Used GPT-5.2 to Solve an Erdos Problem : r/singularity https://www.reddit.com/r/singularity/comments/1q6vaxj/how_we_used_gpt52_to_solve_an_erdos_problem/ AI contributions to Erdős problems ·
Claude Code Skills、結局どれを入れる？用途別おすすめ9選
各Skillの詳細解説 1. Playwright Browser Automation 概要 ClaudeがPlaywrightを使用してブラウザ自動化を実行するSkill。事前に用意されたスクリプトに制限されず、ユーザーの要求に応じてカスタムのPlaywrightコードをその場で記述・実行できる。 こんなときに使う Webサイトのテストを行いたいとき ブラウザ操作を自動化したいとき フロントエンドのUIテストやデバッグが必要なとき 具体的なユースケース ログインフローのテスト フォーム入力・送信の自動化 レスポンシブデザインの検証（複数ビューポートでのスクリーンショット取得） リンク切れのチェック E2Eテストの実行 使用例 2. prompt-engineering 概要 LLMのパフォーマンス、信頼性、制御性を最大化するための高度なプロンプトエンジニアリング技術を提供するSkill
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - soegaard/webracket: The WebRacket language is a subset of Racket that compiles to WebAssembly
GitHub - gemini-cli-extensions/conductor: Conductor is a Gemini CLI extension that allows you to specify, plan, and implement software features.
GitHub - VibiumDev/vibium: Browser automation for AI agents and humans
GitHub - MotiaDev/motia: AI Agent Framework For Software Engineers
