arrows

Software Engineer / CTF / Coffee / 古の競プロer

[arrows @arrows_1011]

SECCON Beginners CTFお疲れ様でした！
残り5問解けなかったけど、去年よりたくさん解けて楽しかったです！

[Sakana AI @SakanaAILabs]

「組合せ最適化問題」への挑戦
ALE-BenchおよびALE-Agentの開発

ブログ：https://t.co/QemCTAezUg
論文：https://t.co/PdHvigUCa3

AIの次の挑戦として、「組合せ最適化問題」のアルゴリズム生成に着目した新ベンチマーク「ALE-Bench」、および特化型エージェント「ALE-Agent」を開発しました。

正解/不正解を問うこれまでのAIベンチマークとは異なり、未知の最適解を探し続ける「組合せ最適化問題」では、長期的な推論能力や創造性が求められます。この度、世界最大級の競技プログラミングコンテストを運営するAtCoder株式会社とともに、組合せ最適化問題のアルゴリズム開発のコンテスト出題問題を収録したベンチマークALE-Bench（ALgorithm Engineering Benchmark）を開発しました。

またSakana AIは、本領域に特化したAIエージェント「ALE-Agent」を開発。ALE-AgentはAtCoder社が開催するプログラミングコンテストにリアルタイムで参加し、2025年5月18日に開催されたコンテストでは、専門家や実務者を多く含む1,000人以上の人間のプログラマーの中で上位2%に相当する成績を収めました。

本研究はAtCoder株式会社 @atcoder との共同で行われました。組合せ最適化問題およびアルゴリズムにおいて卓越した知見と実績を持つ同社に、データの提供や分析など様々な面で協力いただき、また、AIエージェントが実際のコンテストへ参加することを許諾いただきましたことを感謝申し上げます。

将来的には、AIが組合せ最適化問題で人間を超える解を導くことで、大きな産業面でのインパクトにつながりうるとともに、より広く複雑な知的作業の自動化に向けた重要なマイルストーンになると考えております。Sakana AIは、本研究で得た知見をもとに、アルゴリズムエンジニアリングを含む様々な課題で、これまでにない推論能力を持つAIの開発に挑戦していきます。

⚙️ALE-Benchデータセット：https://t.co/tH7DuYk129
⚙️ALE-Bench評価コード：https://t.co/fbJhvKXlxQ

[安野貴博＠チームみらい @takahiroanno]

【オタクな解説：MCPを政党で実戦投入】

（注：エンジニア向け）

今回開発した『いどばたシステム』ではMCPを活用し、GeminiとGitHubを接続しています。マニフェスト自体はmarkdownで全て管理されており、どなたでもGitHubでPull Requestを出すことが可能になっております。

が、一般の有権者はGitHubでPull Requestを送付するのは非常に困難です。そこでAIチャットを通じてドキュメントのどこを書き換えてほしいかを具体化してもらい、Pull RequestをAIが代わりに提出するような仕組みを作りました。

おそらくMCPを実戦投入している世界初の政党になると思います

[YONEUCHI, Takashi | GMO Flatt Security @lmt_swallow]

昨日に引き続きですが、これもまた自分が気になっていた、MCP (Model Context Protocol) のセキュリティの記事を弊社エンジニアが書いてくれました！基本的なことから Comprehensive よりに整理してあります。ご一読を。
https://t.co/pzBAanK7b5

[GitHub Japan @GitHubJapan]

📣GitHub Copilot プレミアムリクエスト制限適用開始日を2025年6月4日に変更

6月4日まではこれまで通りプレミアムモデルをご利用いただけます。

5月下旬より：プレミアムリクエスト使用量表示開始
6月4日より：全てのGitHub Copilotユーザーに制限が適用
詳しくは👇
https://t.co/357nsc73Rd

[r1ru @ri5255]

I've released a blog series about modern Linux kernel exploitation, where you can learn some advanced techniques used in real-world kernel exploits. Enjoy!

https://t.co/26QCrgUxdb

[arrows @arrows_1011]

方向音痴なので地図を見て位置を特定する系の問題が苦手過ぎる

[arrows @arrows_1011]

TsukuCTF 2025お疲れ様でした！

osint全部とweb/flashを担当しました
序盤でosint/buildingsで沼ってダメかと思いましたが、何とか解けて立て直せました
#TsukuCTF

[arrows @arrows_1011]

Sweetsもう少し時間かけてたら解けた感あって悔しい、OSINT力上げていかねば

[arrows @arrows_1011]

CPCTFお疲れ様でした〜
競プロ問全然解けなくて衰えを感じる

[arrows @arrows_1011]

picoCTFお疲れ様でした。
チーム(個人)参加で全体302位でした。
後4問くらい解けそうだったけど時間が足りず悔しい...精進せねば。

[アニメ『ご注文はうさぎですか？』劇場版制作中♪ @usagi_anime]

特報
「ご注文はうさぎですか？」
新作アニメの制作が決定いたしました‼️🎉
https://t.co/QjtY50t5fW

#TalkParty2025
#gochiusa
#ごちうさ

[arrows @arrows_1011]

i3CTFのWriteupを書いてみました
https://t.co/EzJpAFIdCN

[arrows @arrows_1011]

i3ctf、お疲れさまでした！
最初、SECCON Beginners位の難易度と思って挑んだけど全然そんなことなかった。。。
全体的に教育的な問題が多くて基礎力強化につながったのとたくさんの問題が解けたので楽しかったです！
最後、cribとdiffが解けそうで解けなかったのが悔しい。。

[arrows @arrows_1011]

あけましておめでとうございます！

[ICPCNews @ICPCNews]

GOLD MEDALIST
Tokyo Institute of Technology
Asia Pacific Regional Champion
9 problems solved

#ICPCAstana

[ICPCNews @ICPCNews]

SILVER MEDALIST
The University of Tokyo
8 problems solved

#ICPCAstana

[piyokango @piyokango]

OpenSSHの脆弱性 CVE-2024-6387についてまとめてみた - piyolog
https://t.co/gYT71brT0H
#vulnerability

[窓の杜 @madonomori]

Windows版「Excel」のCurrent (Preview)チャネルを対象に、順次配信が開始されていたため、追記しました。バージョンが2406 (Build 17726.20016)になっていれば、「Python in Excel」を利用できます。

[arrows @arrows_1011]

久々にアセンブリ書いた、assembleみたいな問題面白い
#ctf4b