Haku @Product Design

07 "Hakumei Iro no Wasureji"
Product Design / System Design

大学垢（AI関連も活発に呟いてます） → @stHaku0

[Haku @Product Design @pdhaku0]

人生で初めて名刺を刷った

[Haku @Product Design @pdhaku0]

200フォロワーだー

[Haku @Product Design @pdhaku0]

このために Grok Bot 契約するつもり

[Yu / ゆう @YuYoshimuta]

AI後の趣味として寿司は非常にアリかもしれない
- みんな食べたことあるのに、作ったことある人は少ない
- 食べられるのでモノは増えない
- 奥が深いので語れるようになる
- 楽しい・美味しい

もっと上手に握れるようになりたい！！

#aimeetup

[Haku @Product Design @pdhaku0]

こっちも激しく同意
どっかの投稿でも触れたと思うけど、プロジェクターとかでも同様にコントラスト激下がりするので、そういうときも大人しく真っ白と真っ黒を使う方が良いと思います

[瑠璃るるる @rurirrru]

あと、デザイナーが使ってるお高いMacの画面では真白と真黒はパキパキに見えるかもしれませんが、ビジネスPCの低品質な黄ばんだ白しか出ない液晶ではそれでちょうどよく、白を微妙に下げたりするとひどいことになります。もとよりコントラスト低いので

[Haku @Product Design @pdhaku0]

首を縦にぶんぶんします

[瑠璃るるる @rurirrru]

決定権のある人は、老眼で低コントラストの文字が辛いおっさんであることが多く、場合によってはユーザーもほとんどおっさんだったりするので、教科書通りの微妙に低コントラストにしたデザインは現場では嫌われることが多いです。

[OpenAI @OpenAI]

GPT-6.1 Terra: delivering fast and capable computer use at a lower price.

GPT-6.1 Terra understands what’s on screen, takes action across apps, writes naturally, and is a more capable model for your whole workday with the efficiency to take on more of it.

[Haku @Product Design @pdhaku0]

@Pupucha_n wwwwwww
それ私もめっちゃやらかす
ところで William さんのことやっぱ知ってた

[Haku @Product Design @pdhaku0]

@okogepoge わぁーい
こんな中身のないツイートがバズっちゃったので、近々ブルーバッジ取ってもっと刺さるツイートをコンスタントに生産しようかなと準備中です

[Haku @Product Design @pdhaku0]

比較用

白背景の場合でFFのものとFAのものをこうして並べちゃうと、FAの方が暗くてパッとしない印象を与えてしまうこともあります
ウェブサイトとか作る時に作ってるモノだけを見てると、これに気付けずに他社より暗い印象になっちゃうことも
スライドとか一画面全体にそれだけが表示される前提ならOK

[Haku @Product Design @pdhaku0]

プロのデザイナーでも、その2色を組み合わせることは "基本的には" しない（ハイコントラスト過ぎて認知負荷が高くなる）
クリーンにしたいってのは多分無彩色を求めていらっしゃるのでは
101010 とか FAFAFA とか

[Haku @Product Design @pdhaku0]

@okogepoge いいえ一介の19歳学生です

[Haku @Product Design @pdhaku0]

今日はみんな Muse と Grok Bot に注文させてたから、競合との差別化のために HaaS してた

[banri @banr1_]

情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！

たぶん世界初です。

Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。

昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。

開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。

Nyxisは大部分がLean言語で記述されており、形式検証によって

「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」

という認可安全性定理を機械的に証明しています。

認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。

形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。

先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。

こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。

Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。

もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。

この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。

一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。

本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。

世界をセキュアにする一助になれば嬉しいです。

https://t.co/p6fHK0KGwu

[Haku @Product Design @pdhaku0]

#aimeetup

[Pupuchan @Pupucha_n]

スタックチャンにMuseとCodexをつないで、Codexは音声入力も可能になった〜

[Taketo Fujimaki @tf_makimaki]

1password、学生はgithub student developer packで2年間無料です。
おれも今導入してる

[ぬこぬこ / NUKO 🇯🇵 @nukonuko]

いつからでも日本人になれるさ

[Haku @Product Design @pdhaku0]

@nukonuko @Pupucha_n 笑笑
SF に持ってかないとですもんね

[Haku @Product Design @pdhaku0]

まずい持ってない！
買った方が良いですか！？

[ぬこぬこ / NUKO 🇯🇵 @nukonuko]

昨夜のアナウンス

[Haku @Product Design @pdhaku0]

@nukonuko @Pupucha_n 良いんですか！？
多分みなさんあのメッセージ見て「買わなきゃ…」ってなってますよ！笑笑

[Haku @Product Design @pdhaku0]

@Pupucha_n 会場近くならご一緒したい

[Haku @Product Design @pdhaku0]

@Pupucha_n 無料体験中だったわサンガツ