E retweeted
Discordのweb公開のﾔﾂ、大半の人が対象外かつ個人の設定も簡単だから焦らないでほしい🫠
サーバー管理してる人向け
サーバー設定でコミュニティ機能が1枚目と同じくオフなら問題なし、オンなら周りで騒いでるひとがやってる公開しない設定を入れよう
個人向け
2枚目のプライバシー設定の項目をオフにしとこう
これだけよ
あぶない！！みたいにやたら煽る投稿するひとはブロックブロック〜☺️
1
1,266
3,093
203,371
【応用情報 科目A対策のための一問一答動画を作りました】
youtu.be/0R3m6gTji4g
本日から応用情報の「科目A」試験が開始ですね。「それに間に合え！」という気持ちで作りました。
※リプライ&ブックマークお願いします！せっかく作ったので・・・
一問一答を、なんと５７４個用意。軽く喉が枯れましたw 寝ながら、通勤中にでも聞いてください。
普通に聞いたら２時間２０分だけど、２倍速なら１時間ちょっと。通勤の往復で聴けるでしょう。
何回も聴いたら、きっと点数がどんどん上がると思います。
取り合えが５７４個はもちろん「よく出る」ものですが、さらに「ちょっと上のランク」も意識してピックアップ。
いつもの「公開鍵」もありますが「魔の川」「IaC」とか「なんか聞いたことがあるような・・・」も結構入れてます。
そして「PUE」とか「VUCA（ブーカ）」とか「マズローの欲求段階説」とか「のれん」とか、よくわからないのもちらほら入ってますw
でもシラバスにあるし、出る可能性もあります。
５７４個。ちょっと多いし長いのですが、ぜひ聞いて欲しいです。
最後の応用情報。みんなで楽しく合格しよう！
※リプライを心底お願い！
4
186
2,053
187,946
E retweeted
[Apple製品利用者対象:大型セキュリティパッチ]
macOSは27.2/26.7.2/15.8.2のいずれかへ
iOSは27.2/26.7.2/18.7.11のいずれかへ
Safariも27.2へ
更新をお願いします〜
RCEやカーネルへの干渉を含む重大な脆弱性への修正が含まれます
Appleちゃんと中間証明書をRevokeしてなくて，
各認証局のOCSPサーバーにどうも依存してるらしい
つまり，eMudhraのOCSPをDDoSで落とすことでAppleユーザーはまたしても証明書を信頼してしまう可能性がある
昨日CN=EM DV TLS CA - G3B, O=eMudhra BV, C=NLあたりが更新しても❌️だったのはOCSP-Bが落ちてたのが原因で確定で，MacOSやiOSは未だにすでにrevokeされているべきrootストアに今回の侵害された中間証明書のrootであるemSignのG3が残ってる
/etc/ssl/cert.pemにも残ってるし
一応対策方法はMacOSにはある(iOSにはない)
推奨はしないけど
今回の問題を確認できるサイトにも情報はあるのと，このサイトに日本語PRがマージされるまでの間のつなぎで日本語PRを追加したからどうしても必要な人は自分でやるかAIエージェントにやらせて
2
378
1,251
84,563
E retweeted
【途中広告なし】
ゴッホ、モネ、ドガ、ファン・エイクなどの名画100作品をジャズBGMにのせてご紹介します。
作業用・勉強用BGMやリラックスタイムにもぜひどうぞ。
↓動画はこちらから↓
youtu.be/KhLgu0IhcEs
22
158
15,515
E retweeted
🚨Cyber Alert ‼️
🇯🇵Japan - 𝗕𝗮𝗻𝗱𝗮𝗶 𝗡𝗮𝗺𝗰𝗼 𝗛𝗼𝗹𝗱𝗶𝗻𝗴𝘀 / 𝗕𝗔𝗡𝗗𝗔𝗜 𝗦𝗣𝗜𝗥𝗜𝗧𝗦 𝗖𝗼., 𝗟𝘁𝗱. / 𝗕𝗮𝗻𝗱𝗮𝗶 𝗟𝗼𝗴𝗶𝗽𝗮𝗹 𝗖𝗼., 𝗟𝘁𝗱.
Bandai Namco Holdings has disclosed unauthorised access to the logistics system of its subsidiary Bandai Logipal, discovered on October 21, 2026.
An unidentified third party reportedly misused a company account to access a server containing customer delivery information for Ichiban Kuji Online.
The incident may have exposed customers' names, addresses, and phone numbers, although the number of affected individuals remains unknown.
The affected system was shut down on October 24, disrupting shipping operations.
Threat actor: Not specified
Data exposure (claimed): Not specified
Data type: Customer names, addresses, phone numbers
Observed: Oct 26, 2026
Status: Confirmed
ESIX©: 4.83
Full details and impact assessment on HackRisk.io
2
121
226
32,742
E retweeted
Kali Linux 2026.3 Release (Build-Scripts Refresh): We are back with Kali Linux 2026.3, the third release of the year! We have been busy making it easier to build Kali, updating the desktop experience, and bringing in more tools… www.kali.org/blog/kali-linux-2026-3-release/
32
191
1,349
64,772
ほぼ全ての国家で現状のAI優先順位、
1. 計算資源を大量購入して"使える"DCを建てまくる
2. 事後学習系の研究者/エンジニアの育成及び支援を最大限行う
3. ソブリンな無検閲CyberモデルをOpenWeightモデルベースで構築し、最速で国内事業者に提供する
4. 若手(12〜24)のAI系に興味を示した人たちへ計算資源投資をガチで行う
だと思うんですけどどう思います？
電気とか基礎インフラの整備は0番としつつ、それ以降はこれやっとかないと短期的に国が死ぬ気がするんですよねー
もちろん中長期的目線で考えて、PhysicalAIとか医療AIとか国産フルスクラッチモデルとかの開発は重要ですし、それらの手を緩めるなとは言わないけれど、短期的に国力が死んだら中長期的な施策なんて全部クソ食らえになりますし、あくまで優先度として考えるとまずこれらじゃないです？
あ、若手(12〜24)への投資について個人的に、「広く大量の人間に」「お金ではなく計算資源を」投資することが重要だと思いますね
それこそ国外に流出してもいいなら有料Google Colabレベルでもいいですし、A100, H100くらいは若手AI勢(12〜24)みんな気軽に使えるのが理想かなー
あ、もちろん優先順位ってだけでここに挙げた内容は全部並列で進めれると思います
11
57
456
97,588
E retweeted
大阪大学附属図書館が公開している
「英語論文の読み方」が有益すぎて
全員に知って欲しい。
library.osaka-u.ac.jp/doc/LS…
特に英語論文の探し方と読み方のコツ、
英語論文の構成については必見です。
これを読めば世界が広がること
間違いなし。ぜひ読んでみてください。
90
1,088
40,143
セキュリティメインのGPTって事？
GPT-7 leaks: Codenamed "Bel"
- OpenAI's next flagship model is codenamed Bel, mosttly GPT-6.5 or GPT-7
- In a recent post, OpenAI revealed that a model escaped its isolated training environment through a DNS misconfiguration, forcing a pause in frontier training
- Training resumed on October 1 after security improvements, which are likely part of Bel's development
- The more powerful these models become, the more security they need. Even isolated environments aren't enough when models find ways to escape them
- Remember Anthropic's Mythos? Many people initially thought the security concerns were just IPO hype, but now we are seeing similar concerns with Bel
- OpenAI is reserving substantial compute for continuous security testing, which can affect Bel's launch timeline
Bel is expected to have 10T+ parameters and can arrive by the end of this year, but these security challenges may delay its release
2
220
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
55
1,116
7,202
1,032,832
激アツ
情報漏洩が起きないことを数学的に保証するバックエンドフレームワーク「Nyxis」を公開しました！
たぶん世界初です。
Nyxisで書かれたバックエンドは、企業の持つ機密情報をより安全に守ることができます。
昨今急増しているサイバー攻撃を防ぐ手段として、このような方法があることをお伝えしたいと思い、今回の発表に至りました。
開発者は「どの権限を持つユーザーが何を実行可能であるか」のルールを管理するだけで、残りのコードをAIエージェントに任せても認可の安全性が担保されます。
Nyxisは大部分がLean言語で記述されており、形式検証によって
「任意のHTTPリクエスト列に対し、認証された主体の正当な権限を逸脱するデータの読取・変更・削除・権限付与は発生しない」
という認可安全性定理を機械的に証明しています。
認可の不備は、OWASP脆弱性ランキングにおいて2019年版から連続1位であり、最優先で対策すべきリスクの一つです。
形式検証を活用したこのフレームワークは、テストに頼る従来の開発に比べて、格段にセキュアなソフトウェアを実現します。
先日MicrosoftとGitHubが、形式検証を用いた開発キット「PDD Kit」を発表しました。
こちらはより幅広い性質を扱える一方、プログラムごとに仕様を作り、それが意図に合っているかを開発者が確認する必要があります。
Nyxisは証明する定理を認可安全性に絞ってあらかじめ定めているため、開発者はポリシーを管理するだけで済みます。
もちろん、一定の仮定は存在しています。証明外コードと実行環境は信頼する前提であり、開発者がポリシーを誤って書けば、意図した保護は得られません。
この定理の範囲内において、数学的保証は非常に強力です。実システムに組み込める技術としてここまでの保証を与えたものは、私の知る限りまだ存在しません。
一方で、表現力の乏しさやLeanのライブラリ不足など、改善すべき点はまだ山積みです。
本当はもっと完成度が高まった時点で公開しようと考えていましたが、昨今のセキュリティインシデントの状況を鑑みて、このタイミングで発表することにしました。
世界をセキュアにする一助になれば嬉しいです。
github.com/NyxFoundation/nyx…
2
354