Slashdot
Posted by BeauHD on Tuesday August 05, 2025 @03:00AM from the out-of-battery dept. NASA's Lunar Trailblazer mission ended prematurely after losing contact with the satellite just one day post-launch, the agency announced today. Engadget reports: The NASA satellite was part of the IM-2 mission by Intuitive Machines, which took off from a SpaceX Falcon 9 rocket from Kennedy Space Center on February
プログラム高速化の禁術 - Qiita
はじめに これは昔（2010年頃）自分が使っていた高速化技法について書いたものです． 今となってはレガシーだったり，通用しないものもあるかもしれませんが，こういう知識も無くなってしまったり，自分も忘れてしまう気がしたので，メモ代わりに書いておきます． ただ言えることは，「最適化はするな」ということです．最適化すると，保守性が大幅に失われる危険性があります．そして，これから書く項目を1つ1つ行って，高速化できたとしても，せいぜい2倍程度です．ただその2倍程度の速度も欲しい！そのためには悪魔に魂と保守性を売る！という方はご覧ください．これらの高速化は割といろいろな言語に当てはまることも多いですが，大体C++で書くことを念頭に置いていただければ，幸いです．あと，個人的には競技プログラミングだったり，計算科学をやっていた時期に見つけた経験則なので間違ってる場合もあります． コンパイルオプションをこ
DeepSeek-R1の技術的詳細
DeepSeek-R1: 世界最高推論性能のOSSモデル こんにちはYosematです。 中華系のAI技術が進化していますね。OpenAIなど研究開発を進めて手法が確立されてきたタイミングで参入することで莫大な試行錯誤のコストを節約しお安いコストで仕上げている印象を受けています。 今日はぶっちぎりの話題性を誇るDeepSeek-R1について解説します。一般の読者が「お気持ちはわかった」状態になることと関連分野をかじってる人が「完全に理解した」状態になることを目指します。 DeepSeek-R1とは DeepSeek-R1は OSSの大規模言語モデル OpenAI o1に並ぶ性能を示す推論モデル 強化学習頼みで進化したモデル です。 APIも公開されていますがOutput Tokenあたりの値段はo1に比べて20倍以上安いです。 利用者目線でのすばらしさや社会に与える影響の考察は他の記事に譲
Prologで学ぶAI手法 – AZ-Prolog
「Prologで学ぶAI手法」の著者の高野真です。 本書はパソコンワールド誌に連載されたものの前半部分をまとめて啓学出版から出版したものですが、パソコンワールド誌の発行元、啓学出版が共に倒産したため、長いこと絶版となっていました。 本書のプログラムは当時のPC-9800シリーズで動作する処理系であるProlog-KABAで動作するものでしたがこのたびソフネック株式会社のAZ-Prolog上にプログラムを移植すると同時に本書の原稿を変換したものをソフネック株式会社のサーバーに掲載する運びとなりました。 同時に書籍化できなかった単一化文法HPSGを使った機械翻訳システムの連載記事も掲載いたします。 高野真はペンネームで本名は斎藤孝信です。 現在経営する会社は異分野の画像認識専業となっているため、ソフネック株式会社のサーバーに載せるのが最適であろうと判断して今回の掲載を許諾いたしました。 高野真
cpprefjp - C++日本語リファレンス
本サイトcpprefjpは、プログラミング言語C++のリファレンスを提供するWebサイトです。 最新C++バージョンのリファレンスを提供していきます。 運営方針 本リファレンスサイトは、C++言語の最新のリファレンスを常に提供し続けることを目標にしています。 各クラス、関数にはそれぞれ1つ以上のサンプルコードを付けていく方針です。 本サイトでは、他サイトおよび規格書の直接的な翻訳ではなく、編集者の調査と考えに基づいた解説を提供していきます。 HTMLデータのダウンロード cpprefjp.github.io-master.zip ローカルで閲覧できるHTMLを用意しています。 スポンサーシップ cpprefjp - Open Collective このプロジェクトは、持続的な活動のため、ユーザーの方々からのご支援をお待ちしております。上記Open Collectiveのプロジェクトでスポン
OSASK計画 - Welcome
OSASKコミュニティ − 僕たちが作っている夢いっぱいのOS − OSASKとは？（第一世代・第二世代・第三世代） 動作画面・簡単な紹介（第一世代・第二世代） ダウンロード イージーダウンロード ドキュメント 新掲示板（2024/1/20に凍結・閉鎖となりました） OsaskWiki（2016/9/30凍結） 新ML アーカイブ（2006年2月～2010年10月） 旧ML アーカイブ（2000年3月～2005年12月） 関連サイトリンク 川合秀実について（含：連絡方法） hideyosiについて osask.jpとosask.netの関係について現在は独立した別サイトになっています 2024/1/29 新旧のMLのデータがサルベージできたのでサイトに置きます 2024/1/20 以下を凍結・閉鎖しました 新掲示板閉鎖 rss/atom配信機能の停止 ログイン機能の停止 OSDNの終焉 2
Python Tutorial: Learn Python Programming for Free
Python Developer's AI Tools Python - AI Assistant Python - AI Code Generator Python - AI Code Converter Python - AI Code Debugger Python - AI Code Reviewer Python - AI Code Explainer Python - AI Code Refactoring Python - AI Code Documentation Python Basics Python - Home Python - Overview Python - History Python - Features Python vs C++ Python - Hello World Program Python - Application Areas Python
はじめに | OS in 1,000 Lines
1000行でOSを作ってみよう 本書では、小さなOSをゼロから少しずつ作っていきます。 OSと聞くと腰が引けるかもしれませんが、OS (特にカーネル) の基本機能は案外単純です。巨大なオープンソースソフトウェアとしてよく挙げられるLinuxでさえ、バージョン0.01はたった8413行でした。様々な要求に応えるために次第に肥大化していっただけで、当初は大変素朴な実装になっていました。 本書ではコンテキストスイッチ、ページング、ユーザーモード、コマンドラインシェル、ディスクデバイスドライバ、ファイルの読み書きをC言語で実装します。これだけ様々な機能が詰め込まれているのに、コードは合計でたった1000行未満です。 「1000行なら1日でできそう」と思うかもしれませんが、初学者には少なくとも3日はかかるでしょう。OS自作のハマりポイントは「デバッグ」です。アプリケーション開発とは違うデバッグ手法
コーディングAI課金するならCodyが断トツ良い話
Cody とはなんぞや Cody は、VSCode や、JetBrains IDEs、Neovim、Eclipseなどのコードエディタの拡張機能として使えるコーディング補助 AI ツールです。 他の生成 AI コードツールと同様に、AI コード補完とAIチャットがあります。 なぜ Cody がおススメなのか Cody をおすすめする理由は、3 つです！ 抜群の機能性 ありえんコスパ オープンソース 一般的なコーディング補助AIとの違いを含めてまとめていきます。 💡 抜群の機能性 インストールが簡単 Cody は、普段使っているコードエディタに拡張機能をインストールするだけで導入が完了します。ブラウザを別途開いて何度もコピペしたり、Cursor のように新しいエディタを導入したりする必要はありません。 チャット機能 コードエディタ内に作成されたチャット欄で、AI とチャットできます。Cod
RealWorld 業務 Rust - Qiita
RealWorld 業務 Rust 実際に Rust 1.0 の頃から業務で Rust を使ってコードを保守してきてハマった落とし穴についての 知見 恨み言です Rustが素晴らしい言語であるというあたりまえのことにはこの文書では触れません 気が向いたら追加します 開発環境編 ビルドマシンを買ってもらえ ノートパソコンのCPUとメモリでは限界がある CPU 二桁コアのマシンを何人かで共有して使え VSCode の Remote SSH でがんばれ vim でもいいぞ ストレージは可能な限りデカくしろ target はブラックホール 10GB 超はあたりまえ、中には 100GB 超も sccache、 cargo cache 、 cargo sweep などを駆使してがんばれ docker も使うので大容量ストレージだけが正義だ sccache 使用例
Mermaid Graphical Editorを使うとVSCodeでサクサク図が書けるよ
技術記事は はてなブログ へお引越ししました。 興味を持ってくださった方はZennではなくこちらをご購読いただければと思います🙏 Mermaid Graphical Editor VSCodeの拡張機能です。 Mermaid記法を利用してマークダウン内部で作図しながら、Mermaidそれ自体のエディタを立ち上げることができます。 逆にMermaid Editor側で編集した内容もマークダウンにフィードバックされます。 vs Draw.io Integration 類似ツールとしてDraw.io Integrationがあります。 こちらは.drawio拡張子のファイルをVSCodeで作成すると、draw.ioのエディタが開いて作図ができるツールです。 しかし、draw.ioはあくまで図が書けるところを生業としていて、作成したdraw.ioファイルをマークダウンファイルに埋め込むには画像と
GitHub Actions 逆引きリファレンス
1.この記事の立ち位置#自分がいつも調べていること、忘れがちな Tips や小ネタを列挙していく。そのため、網羅性は重視しない。 というのも、なにか調べていていろいろ読み漁った挙げ句、1周回って行き着くところは GitHub Actions の公式ドキュメントであり、たとえば Workflow の書き方は以下のページをよく開いている。 Workflow syntax for GitHub Actions - GitHub Docs それでも、公式ドキュメントで参照したい箇所を引っ張るための用語を知るまでに苦労することが往々にあり、この記事が、公式ドキュメントで参照したい箇所を導くための助けとなればと思い、書いていく。 2.Step と Job と Workflowの違いアレコレ#2-1.Step と Job と Workflow の違いの一行まとめ#Step < Job < Workflo
AI-powered chat conversations with GitHub Copilot
Using Copilot Chat in VS Code With the GitHub Copilot Chat extension in Visual Studio Code, you can have AI-powered chat conversations to generate code, increase your code understanding, and even configure your editor. Instead of searching for answers in documentation or online forums, you can ask Copilot Chat directly in VS Code, and get code suggestions while you're in the flow of coding. Copilo
The Rust Programming Language
A language empowering everyone to build reliable and efficient software. Performance Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages. Reliability Rust’s rich type system and ownership model guarantee memory-safety and thread-safety — enabling you to elim
Babel · The compiler for writing next generation JavaScript
Babel is a JavaScript compiler.Use next generation JavaScript, today. Babel 7.27 is released! Please read our blog post for highlights and changelog for more details!
再帰関数を学ぶと、どんな世界が広がるか - Qiita
0. はじめに 再帰関数は初めて学ぶときに壁になりがちで なんとなくわかった...けれど どんな場面で使えるのだろう...いい感じの例を探したい！ という気持ちになりがちです。再帰関数は、なかなかその動きを直感的に想像することが難しいため、掴み所が無いと感じてしまいそうです。 そこで本記事では 再帰関数の動きを追いまくることで、再帰関数自体に慣れる 再帰的なアルゴリズムの実例に多数触れることで、世界を大きく広げる！ ことを目標とします。特に「再帰関数がどういうものかはわかったけど、使いどころがわからない」という方のモヤモヤ感を少しでも晴らすことができたら嬉しいです。なお本記事では、ソースコード例に用いるプログラミング言語として C++ を用いておりますが、基本的にはプログラミング言語に依存しない部分についての解説を行っています。 追記 1. 再帰関数とは 再帰の意味はとても広いです。自分自
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Go Playground - The Go Programming Language
Expanded Main Page - OSDev Wiki
Pythonプログラミング VTuber サプー
「GPT-4o with canvas」がスゴい! 文章作成やコーディング生産性が爆上がり
