RIP Redis: How Garantia Data pulled off the biggest heist in open source history — Momento
A poem is never finished, only abandoned. You can keep refining it endlessly, making it better with every iteration. As a solo project, full agency is reasonable. However, a unilateral decision to upend a joint project with over a decade of love, support from a thriving community, and functional governance is a bold—dare I say reckless—transaction. Redis is a Swiss army knife of features and cap
局所類体論使い方講座 存在定理編 - katsuブログ
今回は局所類体論の存在定理と呼ばれる局所体上のAbel拡大の分類定理の使い方と、その強さを -進数版のKronecker-Weberの定理 -進数版のKronecker-Weberの定理 を素数とする。任意の 上有限次Abel拡大は、ある自然数 が存在して に含まれる。ここで とは の原始 乗根である。 を証明することで見ていく。 目次: 局所体の定義と性質 局所類体論の存在定理 最後に 参考文献 局所体の定義と性質 この節では以下の内容について話す。 局所体の定義。 局所体 は その整数環の素元 と単数群 により という構造をしている。 局所類体論の存在定理は の指数有限開部分群と 上のAbel拡大が対応するのでここでは の代数構造と位相的な情報が重要になるのである。 上で書いた内容を知っていれば、あるいは認めれば局所類体論の存在定理とKronecker-Weberの定理の証明の流れは追
2026（令和8）年度特色入試の変更について（女性募集枠の新設）
2026（令和8）年度入学者選抜から、理学部と工学部の特色入試（総合型選抜および学校推薦型選抜）において、女性のみが出願できる入学者選抜区分を新たに設けます。 詳細は、以下のページをご覧ください。 特色入試（女性募集枠）
この英単語を覚えるだけで、英文の９割は読めるようになるという話【NGSL,NAWL,TSL,BSL】｜相川真司（かわんじ） #DiQt
【要約】 最高の英単語帳を見つけました。 しかもなんと、その英単語帳は『無料』です。 このnoteでは、その画期的な英単語帳の紹介と、英単語帳のデータを無料配布します。 【更新履歴】 22/08/19: ・8000件を超える改善を行いました。 ・改善をリアルタイムで配布データに反映できるように、データのダウンロード方法を変更しました。 21/12/09： ・iOS/Android版アプリをリリースしました。 科学者がつくった最高に怠惰な英単語帳「これだけ覚えておけば英語が読めるようになる英単語帳とかないかなぁ〜〜」 なんて考えたことありませんか？ わたしはわりとあります。 プログラミングを始めてからは、英語に触れる機会が格段に増えたこともあり、わたしの中でこのニーズはますます強くなっています。 しかし、わたしは怠惰です。 できることなら、最小限の努力で英語を身に付けたい。 そこでわたしは、
「緊急チーム」募金｜国境なき医師団日本
国境なき医師団 「緊急チーム」募金 写真クレジット（左上から）：© Benoit Finck/MSF｜© Francesco Zizola/Noor｜© Lynsey Addario｜© Sergio Cecchini｜© MSF｜© Anna Surinyach/MSF｜© Ron Haviv/VII｜© Benoit Finck 写真クレジット（左上から）：© Francesco Zizola/Noor｜© Lynsey Addario｜© Anna Surinyach/MSF｜© Ron Haviv/VII 2023年10月以降、イスラエルとパレスチナでの衝突激化に伴い、ガザ地区の人道状況が著しく悪化しています。国境なき医師団は医療援助活動を継続しながら、活動のさらなる拡大に向けて医療物資やスタッフの手配などの準備を進めています。（最新ニュースはこちら） 国境なき医師団は、1989年
JAXA | JAXAと国連宇宙部との連携協力（KiboCUBE）に基づく第4回選定のモルドバ衛星の「きぼう」からの放出について
2022年8月12日、JAXAと国連宇宙部の連携協力プログラム「KiboCUBE」の第4回で選定された、モルドバ工科大学（Technical University of Moldova、以下「TUM」）の超小型衛星（衛星名：TUMnanoSAT（トゥムナノサット））が「きぼう」日本実験棟より放出されました。衛星放出のライブ映像はウェブ上のライブ中継で配信され、モルドバ国内ではナタリア・ガブリリツァモルドバ共和国首相、片山芳宏駐モルドバ日本国大使及びその他関係者らが放出の様子を見守りました。 TUMnanoSATは同国初の人工衛星で、「きぼう」からの放出後、TUMが運用を行います。今回の衛星開発・運用を通じた人材育成及び技術実証の成果が、同国の今後の更なる宇宙活動の発展へとつながることが期待されます。
コクヨのあの大人気だった限定アイテム、ついに一般販売が決定！本を見ながらの勉強も捗りそうだ〜 | ROOMIE（ルーミー）
本を開きながらの勉強や作業、コクヨのこれがあれば捗りそう！ コクヨの新商品の「本に寄り添う文鎮」があれば、教本などを読みながらパソコン作業も楽ちんになりそうです！ ページを開いておける本のための「文鎮」 コクヨ 「本に寄り添う文鎮」 真鍮製 5,500円（税込）、鉄製（ブラック、グレー） 2,200円（税込） この「本に寄り添う文鎮」は、本の形に沿う形状の文鎮。 読んでいるページを手で押さえていなくても、この文鎮が本を開いたままキープしてくれるのです。 パソコン作業をしながら本を開こうとすると、本を手で押さえながらの文字打ち込みになりわずらわしいんですよね……。 これなら、ずしっとページを押さえてくれてハンズフリーで本を読めますね。 しかも、クリップとは違って挟みなおす手間もないので、ページの行き来も簡単です。
Open Release of Grok-1
March 17, 2024 Open Release of Grok-1March 17, 2024 We are releasing the weights and architecture of our 314 billion parameter Mixture-of-Experts model, Grok-1. We are releasing the base model weights and network architecture of Grok-1, our large language model. Grok-1 is a 314 billion parameter Mixture-of-Experts model trained from scratch by xAI. This is the raw base model checkpoint from the Gr
はてなブックマーク透明性レポート （2023年 11月-2024年1月） - はてなブックマーク開発ブログ
透明性レポートについて 削除依頼、発信者情報開示請求等の状況 スパムアカウントに対する利用停止措置の状況 スパムエントリーに対する公開制限措置の状況 通報の状況 エントリーに対する通報 コメントに対する通報 透明性レポートについて はてなブックマークでは、2023年8月～10月集計分より、四半期に1度の透明性レポート公開を開始しました。 これは、コンテンツに対する削除依頼等への対応や、スパム行為、不正行為等に対する措置について透明性を確保していく取り組みとして公開可能な数値データを公開する取り組みです。 削除依頼、発信者情報開示請求等の状況 はてなブックマークで自動引用された記事に対して削除依頼を受けた場合、元記事がすでに削除されていれば原則として引用箇所とタイトルを削除しています。 また、はてなブックマークコメントに権利侵害となる情報が含まれる場合、プロバイダ責任制限法に基づき削除申立や
RiC Style｜リックスタイル
製品仕様 内蔵電池リチウムポリマー充電池 電池容量10000ｍAh/3.7V(37Wh） 入力ポートmicroUSB・USB Type-C 入力電圧 / 電流micro USB：DC5V/2.1A USB Type-C：DC5V/2.1A 出力ポートUSB-A×2 USB Type-C 出力電圧 / 電流USB-A：DC5V/2.1A USB Type-C：DC5V/2.1A 合計出力（最大）：DC5V/2.1A 本体充電時間約8時間（ACアダプター１Aの場合） 充電可能回数約300回 電池残量表示4段階LEDランプ表示 充電ケーブルUSB-A－USB Type-Cケーブル 保護回路機能あり 使用温度0℃～45℃（結露なきこと） 外形寸法W68.5×D16×H142mm 質量221g 主材質ABS 一覧に戻る
「AIを活用して英語論文を作成する日本語話者にとっての課題とその対策」の解説動画、および理系研究者との対話から学んだこと
「AIを活用して英語論文を作成する日本語話者にとっての課題とその対策」（『情報の科学と技術』2023年73巻6号 pp. 219-224） (https://doi.org/10.18919/jkg.73.6_219) は、おかげさまで1ヶ月間で約2万件のviewsを得ることができました。何名かの有名な理系研究者の方々がtweetしてくださったおかげです。皆様のご厚意に感謝します。 本日、ある理系大学でオンライン講演をさせていただく機会がありましたので、このレポートを解説いたしました。このレポートを書いたのはChatGPTが出て数カ月後の2023年3月でした。解説では、レポートに書ききれなかったことや、その後の発展も加えています。レポート自体には何の新しいことも書いていませんが、日本語話者がAIを使って英語論文を書く際の原則を整理した点で有用かもしれません。 もしご興味があれば下の解説動画
M-x Reloaded: The Second Golden Age of Emacs
The people who live in a Golden Age usually go around complaining how yellow everything looks. – Randall Jarell Yesterday I wrote that I think Emacs is currently experiencing its (second) Golden Age.1 Today I’ll expand on this and I’ll offer my perspective on the reasons and factors that lead to it. The Road to Success Yesterday someone mentioned on X the following: I think @emacs was kind of revi
気分が下がったときの方法 (じくまる教)
気分が下がったときの方法 (じくまる教) zeeksphereさんの心の保ち方を勉強します。 Twitter momentがなくなったのでまとめなおしました。
【無料】台湾で収録された自然環境音ライブラリ、99Sounds「Nature Sounds」無償配布開始！ | Computer Music Japan
Nature Soundsには、ロイヤリティーフリーのネイチャー・フィールド・レコーディングが以下のカテゴリーで収録されています： 動物、森、雨、水、風。 最も人気のあるRain SoundsとWater Soundsライブラリに追加するのに最適な音源です。新しいNature Soundsは、よりバラエティに富んだサウンドを提供し、サウンドデザイン、映画、ソーシャルメディア、音楽制作に最適です。 Free To Use Soundsの友人が台湾で録音し、99Soundsの訪問者に無料でダウンロード提供しています。 Free To Use Soundsのウェブサイトでは、世界中の様々な場所で録音されたフィールドレコーディングをご覧いただけます。 Nature Soundsには、24ビットWAVフォーマット（192kHz、ステレオ）の音声が83曲収録されています。 ダウンロードサイズは2.9G
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
旅行情報サイト｜格安航空券・ツアー検索・比較【トラベルコちゃん】
「初めに質問する奴は偉い」「馬鹿な質問をする奴は偉い」「関係ない質問をする奴は偉い」とあるパワポに表示された内容に対する様々なご意見
ロロキルッ！
GitHub - xai-org/grok-1: Grok open release
Our next-generation model: Gemini 1.5
鳥山明さんとの出会いを鳥嶋和彦さんが語る Dr.マシリトは「いちばん嫌いなやつを描いてこい」で誕生：東京新聞 TOKYO Web
