Ghostty Is Leaving GitHub
Writing this makes me irrationally sad, but Ghostty will be leaving GitHub1. I'm GitHub user 1299, joined Feb 2008. Since then, I've opened GitHub every single day. Every day, multiple times per day, for over 18 years. Over half my life. A handful of exceptions in there (I'd love to see the data), but I can't imagine more than a week per year. GitHub is the place that has made me the most happy. I
大学で授業をしていて衝撃的だった事…学生達がAIを使ってプレゼン資料を作成していたが、自分の資料の内容を理解していなかった→指摘したところ驚くほどの変化があった
渋谷修太 | 起業と新潟と高専とアルビ @shibushuta 大学で授業をしていて、今年から明らかに学生の理解度の質が下がっているのを感じます。理由は、みんなAIを使って出力しているから。 例えば、AIを使ってプレゼン資料を作ったりしてるんですよね。すると、いざプレゼンとなったときに、資料に書いてある漢字が読めなかったりします。さらには、質問した時に自分の資料に書いてあることの意味すら分かっていなかったりします。 以前であれば、確かに資料の質は劣るかもしれないけれど、自分で入力した内容なので漢字が読めないとか意味を理解していないとかは流石になかったです。 AIがつくったものだと、「自分が作成したものを自分で理解できていないので、説明ができない」ということが起こるんですね。こんなことは今までなかったので、衝撃的でした。 AI時代になり、今まで想像できなかったようなことが教育現場で起きていま
GitHub - rendi-api/ffmpeg-cheatsheet: A categorized collection of FFmpeg commands for video automation pipelines.
Use the table of contents, best viewed in github's full view of the MD file, to browse through the main topics covered. Use Ctrl + F to find what you need. All commands, filters and flags are explained throughout the document. If you don't see a specific explanation, it means that it appears somewhere else in this document and you can search for it (and if you don't find it please open an issue an
GCC 16 Release Series — Changes, New Features, and Fixes - GNU Project
GCC 16 Release Series Changes, New Features, and Fixes This page is a "brief" summary of some of the huge number of improvements in GCC 16. You may also want to check out our Porting to GCC 16 page and the full GCC documentation. Note: GCC 16 has not been released yet, so this document is a work-in-progress. Caveats int8_t etc. are now signed char on Solaris for conformance with the C99 standard.
Claude Code を Level 5 まで育てたら、開発が「指示と確認だけ」になった — 実ファイル構成で解説 - Qiita
この記事は約5分で読めます。 筆者プロフィール: ソフトウェアエンジニア。「知った気にならない。いつまでも学び続ける」を信条に、業務と個人開発の両輪で技術を磨いています。AI 駆動開発で複数の個人開発アプリを構築・運用中。 👉 ポートフォリオ: 筆者ホームページ Claude Code を使い始めたけど、毎回同じ指示を書いていませんか？ CLAUDE.md・Skills・Hooks・Agents の 5 段階で「育てる」ことで、人間の作業は「指示と確認だけ」になります。この記事では、実際のファイル構成とコードを添えて、その全過程をお見せします。 「AI にコードを書かせている」と「AI と開発している」は違う Claude Code を導入した当初、私は毎回こんなプロンプトを書いていました。
Friends Don't Let Friends Use Ollama | Sleeping Robots
> April 15, 2026 by Zetaphor updated April 18, 2026 Friends Don't Let Friends Use Ollama Ollama gained traction by being the first easy llama.cpp wrapper, then spent years dodging attribution, misleading users, and pivoting to cloud, all while riding VC money earned on someone else's engine. Here's the full history, and why the alternatives are better. Ollama is the most popular way to run local L
はてな株に売り殺到、終日値付かず “11億円流出”ショックで
ブログサービスなどを運営するはてな（京都市中京区／東証グロース）の株価が4月27日、値幅制限の下限（ストップ安）水準の881円で売り気配のまま推移し、終日値が付かなかった。同社が前週末に発表した、不正な送金指示による最大約11億円の資金流出事案が嫌気された。 前週末24日の終値は1181円で、27日のストップ安水準は300円安の881円。同日は寄り付きから売り注文が積み上がり、買いが追いつかなかった。 売り材料となったのは、24日に開示した資金流出事案だ。4月20日と21日、悪意ある第三者から虚偽の送金指示に従い、従業員のアカウントから銀行預金を外部の口座に送金していた。 同社の2026年7月期通期業績予想は、売上高38億5900万円、営業利益1億3600万円。最大被害額は、通期営業利益予想の約8倍に相当する規模だ。 同社は手元の運転資金について「十分な流動性を確保しており、事業運営や資金
ブログのはてな、株価がストップ安気配 不正送金指示で資金流出 - 日本経済新聞
（10時30分、グロース、コード3930）ブログの運営などを手掛ける、はてなが売り気配。気配値を制限値幅の下限（ストップ安水準）にあたる前週末比300円（25.40%）安の881円まで切り下げている。不正な送金指示に起因する
大丈夫、はてなは何も失っていません - orangestar2
www.nikkei.com 事案の経緯及び概要2026年４月21日、取引先銀行より不審な送金が行われているとの連絡があり、確認したところ、2026年４月20日及び21日に当社の従業員のアカウントより、当社の銀行預金口座から外部の口座への送金が実行されておりました。当該従業員に確認したところ、悪意ある第三者からの虚偽の送金指示があり、これに従い外部口座への送金を実行したことが判明しました。当該従業員は、21日の送金完了後、当該指示が虚偽であること、ならびに犯罪に巻き込まれた可能性が高いと考え、警察へ連絡を行ったとのことです。当社は4月21日に被害を確認後、警察に被害を相談するとともに、関係金融機関に対して事故の報告及び、被害回復に向けた措置を講じております。現在、代表取締役を中心とする対策本部を設置するとともに、当社から独立した立場の外部専門家（弁護士等）により事実関係の調査を進めておりま
円の実力、凋落止まらず ５６年前下回る、購買力減退：時事ドットコム
円の実力、凋落止まらず ５６年前下回る、購買力減退 時事通信 経済部2026年04月25日14時39分配信 【図解】実質実効為替レートの推移 「円」の価値が凋落（ちょうらく）し続けている。国際決済銀行（ＢＩＳ）によると、通貨としての総合的な実力を示す「実質実効為替レート」は今年３月時点で６６．３３（２０２０年＝１００）と、統計が始まった５６年前の水準を下回った。海外からモノやサービスなどを「買う力」が失われていることを意味し、食料や原油など輸入品の価格高騰を招いている。 円安が問う日本経済の実力 通貨安は成長をもたらすのか【けいざい百景】 実質実効レートは、対ドルの円相場など特定通貨間の為替レートとは異なり、多数の通貨の中で相対的な実力を測る指標。他の国より物価上昇率が高ければ上がる特徴があり、円の実質実効レートは１９９５年に現在の約３倍に当たる最高値を記録した。ピーク後は日本経済や物価の
月給5年連続引き上げの公算 国家公務員、ボーナス焦点 | NEWSjp
人事院は民間給与の実態調査を始めた。結果に基づき、8月上旬にも国家公務員の2026年度の給与水準を国会と内閣に勧告する。民間の春闘では、物価高を受けた賃上げが続いており、国家公務員の月給は5年連続の引き上げ勧告となる公算が大きい。一方、民間の賃上げ率は昨年を下回る水準で、ボーナスが併せて上がるかどうかが焦点となる。 調査期間は4月22日～6月16日。対象となる約1万100事業所は、従業員100人以上の企業から抽出した。ボーナスの支給総額や今年4月の給与月額、各種手当の支給状況などを調べる。 労働組合の連合が4月17日に公表した春闘の4回目中間集計では、定期昇給分も含めた平均賃上げ率は5.08％で昨年同期と比べて0.29ポイント低い。公務員組合の関係者は「月給は昨年以上のプラスは難しそう。ボーナスはマイナスはないだろうが不透明だ」と話す。中東情勢の緊迫化も今後影響する可能性がある。 人事院勧
互換性のある（らしい）DBへの移行など考えるにあたってたいへんざっくり | GREE Engineering
こんにちわ。せじまです。 むかしむかし、社内勉強会で話した内容を公開させていただくということが何度かありました。 TIME_WAITに関する話 EthernetやCPUなどの話 CPUに関する話 先日、社内で「データベースを異なる環境や互換性のあるマネージドサービスなどに移行する際、どういうことを考えてるか、幅広い層に向けて話してください」といった要望がありまして。 久々に話をさせていただきましたので、そのときの資料を公開させていただくことにしました。（いちおう、Speaker DeckにもSlideshareにも両方アップロードしておきました。） 互換性のある（らしい）DBへの移行など考えるにあたってたいへんざっくりfrom Takanori Sejima ※このスライドの内容を全部話すと100〜120分くらいはかかりそうなので、社内ではかいつまんで話しました。 個人的に、データベースの
量子コンピュータへの期待と現実｜西森秀稔(Hidetoshi Nishimori)
量子コンピュータは長期的には重要な技術となる可能性を秘めています。しかし現時点での期待は、実態を大きく上回っているのが実情です。基礎研究と人材育成への継続的な投資こそが、真の競争力の源泉です。はじめに本稿では、量子コンピュータをめぐる社会的期待と、研究者の実感との間に存在するギャップについて整理を試みます。対象として主に念頭に置いているのは、政策立案に携わる行政および立法関係者や、投資判断を行う企業経営者や投資家ですが、一般の皆さんにもぜひご覧いただきたいと思います。技術の詳細の解説よりも、意思決定に必要な「見通しの精度」を高めることを目的として、文章を構成しました。 近年、各国政府および企業による量子コンピュータへの投資が急速に拡大しています。その背景には、「今投資しなければ将来の競争において不利になるのではないか」という焦りに似た認識があるように見受けられます。しかし、研究の現場で共有
仕様駆動開発への期待と誤解 ～「仕様」とは、結局何なのか～
本連載では、コーディングエージェントを用いた開発手法について取り扱います。今回のテーマは「仕様駆動開発」（Spec-driven Development）です。同じくAIエージェントを用いた開発手法である「Vibe Coding」や「Planモード」との違い、さらに具体的な利点や懸念について解説します。 はじめに 2025年、AIエージェントにコードを書かせる開発スタイルが急速に広まりました。しかし、曖昧な指示から雰囲気でコードを生成する「Vibe Coding」には限界があり、意図と生成物の間にギャップが積み重なる問題が顕在化しました。この反省から、要件を整理しタスクに分解してからAIに渡すアプローチが定着し、2026年現在ではこちらが主流の開発手法となっています。「仕様駆動開発」（Spec-driven Development）はその代表例です。 仕様駆動開発という用語は広く受け入れら
「AIを使えば全員同じになる」 羽生善治九段が語るAI時代の差別化と意思決定
AIによる最適解が戦略の均質化を招く中、羽生善治九段は、あえて評価の低い手を選ぶことにこそ差別化の核があると説く。数字に翻弄されず、一貫性を持って決断し、責任を負う。AI時代における人間ならではの意思決定と真の個性の在り方とは。 AIが初めて人間に将棋で勝利をしてから既に十年以上がたつ。棋士たちのAI利用は珍しくなくなり、誰もがAIを使い、「最善手」を学ぶ時代となった。均質化が進む中で、どう個性を保ち、どう差別化するか。そしてどうAIと向き合い、意思決定の質を高めるか。 日本ヒューレット・パッカードが2026年2月に開催したイベントで、羽生善治九段が特別講演に登壇した。羽生氏の発言は将棋界の話であると同時に、AI活用の最前線に立つビジネスパーソンへの問いかけでもある。ここでは、対談形式で羽生氏が語った言葉を紹介したい。 1970年生まれ、埼玉県出身。小学1年で将棋を始め、6年のとき小学生名
プログラマーのための圏論
序文 しばらく前から、プログラマーを対象とした圏論に関する本を書こうと考えていた。計算機科学者ではなくプログラマー、科学者ではなくエンジニア向けだということに注目してほしい。正気の沙汰ではないし、本当に怖気づいてしまう。科学と工学の間に大きなギャップがあるのは否定できないと思う。自分自身がその分断の両側で仕事をしてきたからだ。それでも、物事を説明したいという強い衝動をいつも感じていた。簡潔な説明の達人だったリチャード・ファインマン1を心から尊敬している。自分がファインマンではないことは分かっているが、最善を尽くしたい。まずは、この序文――読者に圏論を学ぶ気を起こさせることを想定したもの――を公開することから始めようと思う。それによって議論を開始しフィードバックを募れることを願っている2。 ここからの数段落をかけて、この本があなたのために書かれたものであり、数学のうちでも特に抽象的な分野を学
白亜紀のタコは最大19メートルで海の頂点捕食者 北大など発表 | 毎日新聞
白亜紀後期のタコは最大19メートルに達するどう猛な肉食動物で、海で食物連鎖の頂点に立つ捕食者だったと、北海道大などの研究チームが発表した。タコの顎（あご）の化石をデジタル技術で解析して推定した。成果は23日付の米科学誌「サイエンス」で掲載された。 過去4億年にわたり、海での頂点捕食者はサメなどの脊椎（せきつい）動物が独占し、無脊椎動物は、体を守る殻などを進化させた小型の獲物と考えられてきた。一方、タコは無脊椎動物だが殻を捨てて進化。過去に大型の種もいたが、生態系での役割ははっきり分かっていなかった。 チームは化石を含む岩石を薄く研磨して撮影することを繰り返し、得られた数千枚の画像をデジタル空間で立体的に再構成。デジタル化した岩石の中からAI（人工知能）も用いてタコの顎の化石12個を特定した。北海道やカナダで見つかっていた化石15個も含めて詳細に分析し、顎の大きさから体の大きさを導き出した。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rhapsody in blue : G.Gershwin arr.kayoko kuriyama
小泉防衛相が「共産党さんミサイル大好き」と答弁 それを笑う茂木外相… 揶揄する姿勢を山添拓氏が猛批判：東京新聞デジタル
桃鉄で地理を覚えたように「遊んでたら勝手に教養がつくゲーム」って何がある？→信長の野望で歴史を学びサクナヒメで米作りを覚え、絶体絶命都市でサバイバル術を身につける
