8401学生がアルバート・ホフマンが予測した菌類を発見WVUの学生Corinne Hazelが新種の菌類 Periglandula clandestina を発見 この菌類はLSDに類似した エルゴタミン系アルカロイド を生成 発見は医薬品開発や精神疾患...514日前|原文(wvutoday.wvu.edu)
8402重力は単なるエントロピーの上昇なのか？長期的なアイデアが再評価される重力は本質的な力ではなく、集団的な現象 とする仮説の歴史と現状 NewtonやEinsteinの理論の限界 と、熱力学との関係性の発見 エントロピー重力理論 の現代的モデルとその仕組み モデルの長所と...509日前|原文(quantamagazine.org)
8403Nanonets-OCR-s – 文書を構造化されたマークダウンに変換するOCRモデルNanonets-OCR-s は、画像からMarkdown形式への変換に特化した高度なOCRモデル。 数式・画像・署名・透かし など複雑な要素も正確に抽出・構造化。 LLMとの連携 や下流処理に最適な...509日前|原文(huggingface.co)
8404リスプと執筆の技術 (2003)芸術、工学、科学 の関係性とその連続性についての考察 作家や地図製作者 が現実と虚構の間でどのような役割を果たすかの分析 科学的知識と工学的知識 の発展の歴史的な違い 地図や物語 がどのように現実を省...510日前|原文(dreamsongs.com)
8405公共のAndroid APIにおけるジョークとユーモアAndroidの公開APIには、開発者向けの ユーモラスなイースターエッグ やジョークが複数存在。 実用性よりも 遊び心や開発者文化 を反映したメソッドや定数が含まれる。 本記事では、その代表的な A...509日前|原文(voxelmanip.se)
8406刑務所でのデータベース作業Turso にソフトウェアエンジニアとして入社したことを発表 刑務所 からのリモートワークという異例の経緯 プログラミング への再挑戦とオープンソース貢献 Limboプロジェクト を通じたTursoと...508日前|原文(turso.tech)
8407AIアシスタントを用いたエッセイ執筆タスクにおける認知的負債の蓄積本研究は LLM支援エッセイ執筆 の脳神経・行動的影響を調査 LLM、検索エンジン、脳のみ の3条件で比較実験を実施 EEG計測とNLP解析、さらに 教師・AIによる評価 を実施 LLM利用は 脳活動...509日前|原文(arxiv.org)
8408ミシガンで発見された千年前のネイティブアメリカンの農耕地Menominee族の祖先 がミシガン州アッパー半島で農耕地を築いた発見 リダー技術 による大規模な畑の痕跡の確認 1000年前 から600年間続いた農業活動 気候や立地の困難を乗り越えた 先住民の知...512日前|原文(smithsonianmag.com)
8409自分のインターネットレジリエンシークラブを始めようヨーロッパ では戦争・地政学・気候変動により インターネット障害 が今後増加予想 政府や企業 による対策は遅れがちで、危機発生後にしか動かない傾向 ボランティア有志 による「Internet Resi...508日前|原文(bowshock.nl)
8410コンピュータビジョンの基礎 (2024)本書は MIT Press から出版された コンピュータビジョンの基礎 に関する書籍 画像処理 と 機械学習 の観点から、基礎概念を多くの可視化と共に解説 学部生・大学院生 を主な対象とし、実務家にも...509日前|原文(visionbook.mit.edu)
8411小児白血病：致命的な癌が治療可能になった経緯小児白血病 の生存率は過去50年で劇的に改善 以前は致死的だったが、現在は 85%以上 が5年以上生存 治療法の進歩、協力的な臨床試験、 分子レベルの研究 が鍵 支持療法や副作用管理も大きく進展 北米...509日前|原文(ourworldindata.org)
8412デイヴィッド・アッテンボロー99歳：『物語の結末を見ることはないだろう』支払い情報の更新 が必要 複数回の連絡 にも関わらず、支払いが未完了 My Account で支払い情報の更新が可能 更新しない場合、 サブスクリプション終了 の可能性 早急な対応が推奨 サブスクリプ...509日前|原文(thetimes.com)
8413なぜSSLが90年代後半にTLSに改名されたのか (2014)1990年代半ばの NetscapeとMicrosoftの激しいブラウザ戦争 の舞台裏 SSLプロトコル 誕生から PCT、SSL 3.0 への発展経緯 業界関係者やコミュニティ による標準化への動き...509日前|原文(tim.dierks.org)
8414Raspberry Piを使用したHDMIダミープラグのEDIDの変更HDMIダミープラグのEDID書き換え手順 を解説 Raspberry Pi Zero を使ったI2C経由のプログラム方法 EDIDバックアップと書き換え の安全な進め方 ダミープラグを 4Kから10...509日前|原文(downtowndougbrown.com)
8415論理プログラミングの実装多くのプログラマーが 手続き型・OOP・FP には精通 論理プログラミング は知名度が低く、実務利用も少ない PrologやDatalogなど 関係性・述語 で問題を記述 データベース的な思考 や関係...511日前|原文(btmc.substack.com)
8416Google Cloud インシデントレポート – 2025年6月13日2025年6月12日、Google CloudおよびGoogle WorkspaceのAPIで 大規模な障害 が発生 外部APIリクエスト で503エラーが増加し、グローバルに影響 原因は Servi...511日前|原文(status.cloud.google.com)
8417パランティアの監視によりアメリカへの旅行を警戒するジャーナリストたちBluesky および atproto.com に関する案内 JavaScript 必須のインタラクティブなWebアプリケーション シンプルなHTMLインターフェースは対象外 Columbia大学学生...509日前|原文(bsky.app)
8418RustにおけるDatalogfrankmcsherry のブログに関する概要 Public Notifications の設定方法について説明 Fork や Star の数に関する情報 ユーザーがサインインして行える操作 Git...509日前|原文(github.com)
8419Starlink Miniを内蔵WiFiルーターなしで動作させる方法Starlink Mini 1 の内蔵Wi-Fiルーター基板を物理的に取り外す手順の解説 カスタムネットワーク構成 や 省電力環境 向けの応用事例 取り外し後は Ethernet接続専用端末 として運...509日前|原文(olegkutkov.me)
8420Q学習はまだスケーラブルではないRL（強化学習）のスケーラビリティ は他のAI手法と比べて課題が多い現状 現在の 現実世界での成功例 はほぼオンポリシーRLに依存 オフポリシーRL（Q-learning等）は長期的・複雑な課題でスケ...510日前|原文(seohong.me)