Rust製AT Protocolライブラリ「ATrium」をorganizationに移管した - すぎゃーんメモ
作りはじめた記事を書いてから約2年が経った。 memo.sugyan.com 開発を続けてきたRustライブラリ ATrium を、先日ついにorganizationに移管した。 github.com 経緯 昨夏からAT Protocolの OAuth に対応する実装を進めていたものの、プライベートの事情などもあってなかなか順調には進まなかった。何度かPull Requestをもらって実装方針を議論したりもしたが、進捗は芳しくなかった。 @erlend-sh 氏からDiscordで「organizationに移管したらどうか？」とアドバイスを受けたこと、また自分自身も継続的な開発・メンテナンスを強い意志で続けていける自信が持てなかったこともあり、前向きに検討を始めた。 そして先日ようやく atrium-oauth をリリースしたところで一区切りとし、自分の個人repositoryからorg
3年かけてついに完成した「CUDA」の代替はAI開発を変えるのか
CUDAの代替技術を開発することは、決して簡単なことではない。 ModularのChris Lattner氏が率いる120人の開発チームは、CUDAだけでなくAIソフトウェアスタック全体をゼロから置き換えることを目指し、3年間にわたり取り組んできた。 Lattner氏は米国EE Timesの取材に応じ「そのためには何が必要だろうか。実際、CUDAの代替技術の開発は非常に難しく、何年もかかる。われわれはこの3年間、プログラミング言語やグラフコンパイラ、大規模言語モデル（LLM）の最適化などに取り組み、それを全て整理して、大規模実装や試験、検証などを行ってきた」と述べている。 既存のAIソフトウェアスタックの問題の原因は、それが突然出現して、現在も非常に速く変化しているという事実にある。新しいユースケースやモデルに対応するために、すぐさまレイヤーが追加されるのだ。現在、CUDAの上には、One
賢者のごとく - 三上カン | 少年ジャンプ＋
JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
『技術リーダーシップのための14のヒント』 - snoozer05's blog
編者を担当した電子書籍『技術リーダーシップのための14のヒント』が、2025年5月1日にオライリー・ジャパンより刊行となりました。オライリー・ジャパンさんのサイトから無料でダウンロードいただけます。 技術リーダーシップのための14のヒント - O'Reilly Japan 本書は、Roy Osherove著『Elastic leadership : growing self-organizing teams』（Manning）の翻訳書籍として2017年に出版された拙訳『エラスティックリーダーシップ : 自己組織化チームの育て方』（オライリージャパン）に、日本語版特典として収録させていただいた日本人執筆者による14のエッセイ部分を、独立した形に再編集したものです。 リーダーに求められる立ち振る舞い、コミュニケーションや情報共有をリードする方法、リーダーと開発者の兼任、チームメンバーが自己組織
オープンＡＩ、ChatGPTに買い物機能を追加－グーグルなど競合に対抗
米オープンＡＩは28日、対話型人工知能（ＡＩ）「ChatGPT（チャットＧＰＴ）」内で商品の比較・購入ができる新機能を発表した。機能拡充を図り、アルファベット傘下のグーグルなど競合勢に対抗する狙いがある。 新たな機能では、利用者が商品を比較し、外部サイトの購入リンクをChatGPT内で直接クリックできる。対象はまず家電、ファッション、美容、家庭用品など一部カテゴリーに限られ、順次拡大していく予定だ。 ChatGPTのアクティブユーザー５億人に加え、ログインしていない利用者にも提供される。 オープンＡＩはChatGPTを検索エンジン、音声アシスタント、動画生成ツールを備えた万能アプリとして位置づける取り組みを強化している。ユーザーの利用時間を増やすとともに、アンソロピックやグーグル、イーロン・マスク氏のｘＡＩといった競合サービスとの差別化を図る狙いだ。ＡＩ検索エンジンのスタートアップ、パープ
AI研究者の76%が「現在のAIの延長上にAGIはない」と考えている（AAAI 2025 Presidential Panel Reportより） - 渋谷駅前で働くデータサイエンティストのブログ
各技術系メディアでは既に報じられていますが、今年のAAAI*1で会長名によってリリースされた"AAAI 2025 Presidential Panel on The Future of AI Research"の内容が非常に示唆に富んでいたので、改めてやや仔細に読み解いてみようかと思います。 なお、元のレポートは結構なボリュームがありいきなり精読しようとするとしんどいので、NotebookLMにまとめさせたサマリーと論点に対応した原文の箇所を適宜読み返して自分で補いながら*2、つらつらと論じていくこととします。ということで、hallucinationsなどあればご遠慮なくご指摘くだされば幸いです。 レポートの全体構成について（特にAI研究者へのアンケート） 個人的に注目した論点 現在のAIの延長上にAGIは実現しない(76%) LLMの事実性・信頼性の問題はすぐには解決できない(60%)
米軍がイエメンで “移民収容施設を空爆 68人死亡” 現地報道 | NHK
中東イエメンの反政府勢力、フーシ派に近いメディアは28日、アメリカ軍がイエメン北部にある移民を収容する施設を空爆してこれまでに68人が死亡したと伝え、戦争犯罪にあたるなどとアメリカへの非難を強めています。 イエメンのフーシ派に近いメディアは28日、北部でアメリカ軍による空爆があり、これまでに68人が死亡し、47人がけがをしたと報じました。 空爆を受けたのは、国際機関が管理するアフリカ各国からの移民を収容する施設だとしていて、攻撃は戦争犯罪にあたるなどとアメリカへの非難を強めています。 イスラム組織ハマスへの連帯を示すフーシ派は3月、イスラエルがパレスチナのガザ地区への支援物資の搬入を停止したことに反発して、紅海を航行するイスラエルの船舶への攻撃を再開すると発表していました。 これに対し、アメリカ中央軍は軍事行動を強めていて、これまでに800以上のフーシ派の標的を攻撃したほか、幹部を含む数百
筑波大学について｜Kawakami
すでにどこかに書いた気もするし、書かなかった気もするが、僕は筑波大学（茨城県つくば市）の学生である。この大学は最近話題に事欠かない。なぜなら皇族が一人入学したからである。 端的に書くと、この皇族の入学によって（かどうかは分からない部分もあるが、一部分については疑いようもなく）大学のすがたは大きく変わってしまい、いくら筑波大学がそれまでも学問の自由や大学の自治とはかけ離れた性質をもち、僕を含めた学生の多くがそのことについて諦めていたとしても、僕としては看過できないところまできた。とりあえずメモ程度に、いま筑波大学で起きていることをここに書き留めておきたい。 まず、すでに大勢の筑波大生に悪評高い、皇族が所属する学類（註：筑波大学は学部学科ではなく、学群学類制）の授業が行われる建物の出入り口への警備員の配置である。警備員は従来から筑波大学が契約していた会社の人員ではなく、また新たな警備会社（アル
Effective TypeScript 読んだ / 郷に入っては郷に従う - Object.create(null)
Effective TypeScript (第2版) を読んだ なんらか他の人に読んでおくと良いよと紹介できる本があると良いなと思って読みました. 2020 年以降に TypeScript を書く上での常識が概ね網羅されていると思うので, そういった前提知識に自信をつけたいならおすすめです. www.oreilly.co.jp ただ「項目18 推論可能な型でコードを乱雑にしない」で, 関数の戻り値の型アノテーションをデフォルトで省略するよう推奨していることについては明確に反対したい. より正確には, コールバックなど再利用を想定しない関数についてはデフォルトで省略してもよいが, 通常関数は再利用を目的として定義されがちなことを考えると, デフォルトで省略するというのはあまり実態に則していないと思う. 実際にこの本の後の章には戻り値の型アノテーションを書いておけばよかったのにという状況がしば
生成AIの「URLを読む処理」について考えてみる。 - フジイユウジ::ドットネット
ここ最近、生成AIに要約などのURLを指定した参照処理ができない事が増えたので、それについての雑記です。 (雑記なので、専門的な調査や論考ではありません。もし、間違ってるところがあったら指摘は歓迎です。修正しますので優しく教えてください。) なお、本記事は心を込めて物理キーボードを叩いて書いた人間の手作りです(一部データ集計などAIに手伝ってもらってるはいるけど)ので、どうぞ安心して最後までお読みください。AIに書いてもらえなかったオチがあります。 下の画像は ChatGPT に NHKのニュースにアクセスしてもらおうとして「robots.txtで禁止されている」という理由で断られてるところ。生成AI系から記事へのアクセスができなくなっている。 どうも最近は robots.txtで生成AIからのアクセスをブロックしてるメディアが増えているみたい。 robots.txtはクローラー(ロボット
危険なURLを安全に共有できるような変換形式 - ASnoKaze blog
フィッシングやマルウェアのURLを共有する時、リンク化されないように hxxp://example[.]comのように記載する事があると思います。 その変換形式を定義する、『A Standard for Safe and Reversible Sharing of Malicious URLs and Indicators』という提案仕様がIETFに提出されています。 用語 難読化(Obfuscating): 誤ってクリックされないようにする変換のこと 難読化解除(De-obfuscating): 難読化されたものをもとに戻す変換のこと IOC: indicators of compromise。悪意あるURL、メールアドレスのこと もともとは、『無害化(defanging)』『もとに戻す(refanging)』の用語を使ってはいたがObfuscating, De-obfuscatingに
Protocol Buffersのメディアタイプ ”application/protobuf” がIANA登録へ - ASnoKaze blog
Protocol Buffersのメディアタイプとして”application/protobuf”などをIANAに登録する動きがある。これにより、Protocol Buffersを返すHTTPレスポンスで指定するContent-Typeヘッダの値が明確になる。 Media Type Registration for Protocol Buffers 現在はIETFに『Media Type Registration for Protocol Buffers』というDraftが提出されているところである。(RFC6838によると、Standards TreeではRFCが必要。) Draftでは下記のメディアタイプの登録している application/protobuf application/protobuf+json また、非推奨としつつも慣習的に使われていた下記もエイリアスとして登録してい
生成AIと大学教育：2025年4月の雑感 - bluelines
1. 教員が学生に、生成AIの使用を禁じたり、使い方を制限したりすることはもう殆ど意味がない。言ったところで使う学生は使うし、「アウトな使い方」をしているかどうかを厳密に見極めるのは不可能。禁止や制限は、「バレずに生成AI使った学生だけが得をする」という環境を生むことになる。 2. Deep Researchはヤバい。あれによって多くの分野で、調べ物系のレポート課題はもう成績評価の対象として意味を成さないものになってしまった。大学教育では、情報の収集力とか、情報の信頼性を測る力とかを育てることが重視されるけど、Deep Researchがある世界でそれをどうやって？と考え込んでしまう。 3. 数年前までは、学生が課題でAIを使わないように説得するための定番理由は「AIはウソをつく（＝ハルシネーションがある）」だったが、これはもう通用しない。ここ最近のモデルはハルシネーションが非常に少なく、
[特別読切] 店内ご利用ですか？ - 蚊帳りく | となりのヤングジャンプ
店内ご利用ですか？ 蚊帳りく 美咲は英子の家に泊まり、ゲームをしていた。 突然、妹からの着信が入り、塾から迎えに行くことになったのだが…。
![[特別読切] 店内ご利用ですか？ - 蚊帳りく | となりのヤングジャンプ](https://cdn-ak-scissors.b.st-hatena.com/image/square/ae83eb97d589ec183eb60df67670cc15d2964b05/height=288;version=1;width=512/https%3A%2F%2Fcdn-img.tonarinoyj.jp%2Fpublic%2Fseries-thumbnail%2F2550912965606937806-5eda2e6c9ab1bb6b148535cf248066ed%3F1745486953)
TypeScriptのexhaustiveness checkをsatisfiesで簡単に書く
みなさん、TypeScript書いてますか？ ふと気づくと、もうTypeScript 1.0から数えても11年が経過しているんですね。筆者も2015年くらいから本格的に触り始めた組なので、そろそろTypeScript 10年選手を名乗ってもよさそうです。 さて、これだけ長いことTypeScriptを触っていると、昔の文法を前提とした手癖というものも蓄積されていくものです。同僚と雑談していたところ、手癖を改めるべき便利なイディオムを教えてもらったので、備忘録として残しておきます。 Before: 手癖で書いていたexhaustiveness check TypeScriptには、exhaustiveness checkというテクニックがあります。これは、TypeScriptの型システムを利用して、switch文やif文でユニオン型やEnum型の全てのケースを網羅しているかをチェックする手法で
教員側から見た中学受験のその後
私立の中高一貫校で教員をしている。 現在7年目になる。 学校は都市圏の地域で2、3番手の共学校。四谷大塚の偏差値は、試験日程にもよるが大体59くらい。正直、第一志望として入学してくれる子は半分以下なのが実情で、悔しいところだ。ただ、なんだかんだ言って華々しい進学実績を残し、学校生活を楽しかったと言いつつ、卒業してくれる高校3年生も多いので、それを見るのはこの仕事の楽しいところだ。 そして、ここ何年かは、中学1年の担任をすることが多い。新たな目標を持って中学校生活を楽しんでくれる子達も多いが、一方で中受での学校選択のミスマッチによって子供が苦労したり家庭内でトラブルになる案件をよく目撃してきた。 そういう視点から、中受をする家庭に教員側から（まとまりはないが一応項目に分けて）確認しておいてほしいことを伝えたい。 （無秩序にはなってしまうが、重要項目順にしたい。） 1. 通学時間が長すぎる学校
他人事じゃなさすぎるので書く。 うちは小6息子が LD & ADHD。小2の終わりに診断出た。 小さい頃から文字を書きたがらないし、書けるようになっても...
他人事じゃなさすぎるので書く。 うちは小6息子がLD &ADHD。小2の終わりに診断出た。 小さい頃から文字を書きたがらないし、書けるようになっても書くのにとても時間がかかった。読むのはまあまあできるけど、読み飛ばしたり、文頭だけ読んで文末を想像してるとしか思えない読み方をしていた。 就学してからはカタカナを一向に覚えない。教えても教えても忘れちゃう。漢字も覚えない。見開きのページ両面いっぱいに、同じ漢字を30回書かせるとするじゃん？次のページめくって、今書いた漢字なんだった？というと、思い出せないわけ。 夫に相談すると、俺もそんなもんだった、気にしすぎ、と笑われるところから始まり、それでもおかしいと言うと、やがて「お前は息子を障害者にするのか！！」と怒り出した。 夫はほっといて、市に相談。読み書きスクリーニングという検査を受けた。結果はおそらくLD。でも確定するにはウィスク検査と
インドのマドゥライ名物『ジガルタンダ』を再現したい・溶けないシャーベットのようなものが入っているキャラメルフラペチーノ風ドリンク
趣味は食材採取とそれを使った冒険スペクタクル料理。週に一度はなにかを捕まえて食べるようにしている。最近は製麺機を使った麺作りが趣味。（動画インタビュー） 前の記事：高知の郷土料理、イタドリごはんがうまくて驚いた ＞ 個人サイト ＞私的標本 ＞趣味の製麺 ＞ライターwiki マドゥライのキャラメルフラペチーノことジガルタンダ インドのタミル・ナードゥ州にあるマドゥライという都市で、ビリヤニ屋さんのデザートとして出てきたのが、ジガルタンダという謎の冷たいスイーツだった。 同席していたインド在住の方曰く、ジガルタンダは「マドゥライのキャラメルフラペチーノ」とのこと。 ジガルタンダが運ばれてきた。 これがマドゥライのフラペチーノだそうです。 マドゥライはこちら 食べてみると、液体部分はキャラメリゼされて香ばしさが加わった甘さ強めの濃厚なミルクのようだ。練乳っぽい。その中で浮遊しているザラザラした食
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - EricLBuehler/mistral.rs: Blazingly fast LLM inference.
寿司っていうほど美味い？