人気のタグ：
仮想化 DNSセキュリティ 形式的検証 到達可能性解析 C言語 コンパイラエラー マクロの衝突 Web拡張機能 開発フレームワーク コモドール64 すべてのタグ

WordPress vs. プライベートエクイティ：オープンソースの未来をかけた戦い

2024-12-12

世界をリードするコンテンツ管理システムであるWordPressは、プライベートエクイティファームであるSilver Lakeとその投資先であるWP Engineとの間で激しい争いを繰り広げています。巨額の投資を受けたWP Engineは、WordPressを基盤とする営利企業でありながら、WordPressの商標を積極的に利用し、オープンソースコミュニティへの貢献は最小限にとどまっています。AutomatticのCEOでありWordPressの共同創設者であるMatt Mullenwegは、何度も交渉を試みたものの失敗に終わり、最終的にWP EngineのWordPress.orgへのアクセスを制限する措置を取り、オープンソースコミュニティとWordPressの未来を守るために立ち上がりました。この対立は、オープンソースコミュニティと利益最大化を目指すプライベートエクイティファームとの根本的な対立を浮き彫りにし、オープンソースプロジェクトの長期的な健康に対する警鐘となっています。

続きを読む
(automattic.com)
開発 プライベートエクイティ

軽量仮想キーボード Unexpected Keyboard が Android に登場

2024-12-12

Unexpected Keyboard は、開発者を対象とした軽量な Android 仮想キーボードです。主な機能は、キーの角に向かってスワイプすることで、より多くの文字を入力できることです。当初は Termux ユーザー向けに設計されましたが、現在は日常使用にも適しています。このアプリは広告がなく、ネットワークリクエストを行わず、オープンソースです。ユーザーは、キーの角をスワイプして特殊記号にアクセスできます。たとえば、左下隅をスワイプすると設定が開きます。類似アプリには Calculator++ があります。

続きを読む
(github.com)
開発 Android キーボード 仮想キーボード

Twitter創設者がオフライン中心のソーシャルアプリ「Mozi」を発表

2024-12-12

TwitterとMediumの創設者であるEv Williams氏が、オフラインでの人間関係構築に焦点を当てた新しいソーシャルアプリ「Mozi」を発表しました。コンテンツ重視のソーシャルメディアとは異なり、Moziはユーザーの現実生活における人間関係の構築と維持を支援することに重点を置いています。ユーザーの連絡先リストと連携することで、ユーザーとその知人が同じ場所（都市やイベント）にいる日時を表示し、オフラインでの交流を促進します。Moziはプライバシーを重視し、公開プロフィールやフォロワー数はなく、真のソーシャルコネクションを促進するプライベートなプラットフォームを目指しています。

続きを読む
(ev.medium.com)
スタートアップ ソーシャルアプリ 人間関係 プライバシー

ターミナルプログラムの暗黙のルール：20年間の回顧

2024-12-12

この記事は、著者がターミナルプログラムを20年間使用してきた経験をまとめ、公式ではないものの広く当てはまる「ルール」を抽出したものです。これらのルールは、プログラムのCtrl-C、Ctrl-D、qキーへの反応、色の使用、readlineキーバインドのサポート、パイプ出力などを網羅しています。著者は、これらのルールは必須の標準ではないものの、理解することでターミナルプログラムの動作を予測し、学習曲線を軽減できると述べています。この記事では、例を用いてこれらのルールの適用範囲と例外を分析し、プログラム自身の責任とオペレーティングシステムのデフォルト動作を区別することの重要性を強調しています。

続きを読む
(jvns.ca)
開発 ターミナルプログラム コマンドライン プログラミングのヒント

マイクロソフトのRecall機能、セキュリティフィルタにもかかわらず機密情報が漏洩

2024-12-12

コンピュータの活動を記録するように設計されたマイクロソフトのRecall機能に、「機密情報フィルター」の欠陥が見つかりました。テストの結果、クレジットカード番号、社会保障番号などの機密データを含むスクリーンショットが保存されるのを防げないことが判明しました。マイクロソフトは改善を約束していますが、現在のセキュリティ脆弱性は懸念事項です。AI搭載のフィルターは、機密情報を確実に識別することに苦労しており、大きなセキュリティリスクとなっています。

続きを読む
(www.tomshardware.com)
テクノロジー マイクロソフト セキュリティ脆弱性

Qubes OS、安全なPDF変換ツールを発表

2024-12-12

Qubes OSチームは、信頼できないPDFを信頼できるPDFに変換するための新しいセキュリティメカニズムを開発しました。このメカニズムは、Qubes OSの使い捨て仮想マシン（Disposable VMs）技術を利用して、PDFの解析プロセスを安全なコンテナ内に隔離します。PDFは単純なRGB画像表現に変換され、その後、再びPDFに変換されます。このアプローチは、悪意のあるPDFからの攻撃を効果的に軽減します。解析が失敗しても、結果として得られるPDFは破損した画像のみとなり、システムへの脅威にはなりません。この革新は、Qubes OSのセキュリティを大幅に向上させ、ユーザーはWebやメールからのPDFをより安全に処理できるようになります。

続きを読む
(blog.invisiblethings.org)
テクノロジー 安全なPDF変換 使い捨て仮想マシン

ビット演算を用いた可逆1次元セルオートマタの実装

2024-12-12

エンジニアのRichard Palethorpeは、GFXPrimライブラリを用いて、1次元2値セルオートマタとその可逆バージョンを実装したデモを作成しました。このオートマトンは、各セルの状態が自身の状態と左右の隣接セルの状態によって決定されるルールに基づいて進化します。記事では、64ビット整数による複数のセルの並列処理や、ビットローテーションによる隣接セルとの相互作用のシミュレーションなど、ビット演算による最適化手法を詳細に説明しています。可逆的な実装は、前の状態とのXOR演算によって実現されます。また、著者 はコンパイラの最適化とベクトル化がパフォーマンスに与える影響についても考察し、最終的に効率的なレンダリング手法を実装しています。

続きを読む
(richiejp.com)
開発 セルオートマタ ビット演算 可逆計算

アシュトン・テイトの興亡：dBASEサーガ

2024-12-12

1980年代のパーソナルコンピュータ革命において重要な役割を果たしたアシュトン・テイト社は、データベースソフトウェアであるdBASEで名を馳せました。当初、ウェイン・ラトリフによってVulcanとして構想されたこのプログラムは、すぐにCP/Mシステムの標準となり、その後IBM PCの台頭とともに繁栄しました。ユーザーフレンドリーなインターフェースと強力な機能により、アシュトン・テイト社はIPOを果たし、大きな成功を収めました。しかし、dBASE IIIの開発における後の苦労、増大する競争、内部の問題により、最終的にボーランド社に買収されました。この記事では、dBASEの遺産、アシュトン・テイト社の興亡、そしてソフトウェア業界のダイナミクスに関する貴重な洞察を詳しく説明しています。

続きを読む
(www.abortretry.fail)
開発 データベースソフトウェア アシュトン・テイト

Gentrace、AIチーム向けLLM評価プラットフォームに800万ドルのシリーズA資金調達

2024-12-12

LLM評価プラットフォームのGentraceは、シリーズAで800万ドルの資金調達を発表しました。 孤立した評価プロセスやチーム間の連携不足といった課題に対処するために、Gentraceは協調的なテスト環境を提供します。ユーザーフレンドリーなインターフェースを介して直接テストを実行でき、孤立した評価コードの必要性を排除します。モデル、コード、人間の評価に対応し、実験管理、レポート作成、デバッグツールを提供することで、LLM開発の効率化を支援します。Webflow、Multiverse、Quizletなどの企業での成功事例は、テスト効率の大幅な向上（最大40倍）を示しています。

続きを読む
(gentrace.ai)
AI LLM評価 AI開発 チーム連携

GitHub拡張機能：LLMでHacker Newsの記事を要約

2024-12-12

GitHubプロジェクト`hn-tldr-extension`は、OpenAIとAnthropicのLLMを使用してHacker Newsの記事を迅速に要約するブラウザ拡張機能を提供しています。ユーザーは自身のAPIキーを提供することで、HNページに「要約」ボタンを追加し、簡潔な記事要約を得ることができます。この拡張機能のコードはオープンソースであり、Firefoxなどのブラウザをサポートしています。

続きを読む
(github.com)
開発 ブラウザ拡張機能

Bonscore：独立した企業信用格付けサービス

2024-12-12

Bonscoreは、独立かつ透明性の高い企業信用格付けサービスを提供しています。データは企業登録簿から直接取得され、企業の影響を受けません。従来の信用情報機関とは異なり、Bonscoreは独自のアルゴリズムを使用してデフォルト確率を評価し、業界ベンチマークとの比較を提供します。これにより、企業は潜在顧客、既存顧客、競合他社、サプライヤーの信用力を評価し、より情報に基づいたビジネス上の意思決定を行うことができます。例えば、新規顧客の審査、既存顧客の支払い状況の分析、入札への参加、サプライヤーの信頼性の評価、競合他社の財務状況の分析、信用判断などです。

続きを読む
(bonscore.org)
スタートアップ 企業信用格付け リスク評価 ビジネス上の意思決定

高性能並列反復処理ライブラリlfiが登場

2024-12-12

lfiは、軽量な関数型プログラミングライブラリで、同期、非同期、並列反復処理に焦点を当てています。各要素を独立して処理することで、p-mapやp-filterなどのライブラリよりも並列反復処理において大幅に優れた性能を発揮します。lfiは遅延評価も備えており、必要な場合のみ処理を実行することでメモリを節約し、サイズも小さく、tree shakingによる最適化も容易です。シンプルで分かりやすいAPI設計とpipe関数の組み合わせにより、コードの可読性と保守性が向上します。

続きを読む
(lfi.dev)
開発 関数型プログラミング 並列反復処理 パフォーマンス最適化

Google、Android XRを発表：ヘッドセットとグラスのための新しいプラットフォーム

2024-12-12

GoogleはSamsungとQualcommとのパートナーシップで、現実を拡張し、新しい方法で探索、接続、創造することを目的としたプラットフォームであるAndroid XRを発表しました。AIの進歩を活用することで、Android XRはヘッドセットとグラスがユーザーの意図とコンテキストを理解することを可能にし、より自然なインタラクションを促進します。Samsungが製造した、コードネームProject Moohanの最初のデバイスは来年発売され、Gemini AIアシスタント、YouTubeやGoogle TVなどのプリインストールアプリ、仮想環境と現実環境間のシームレスな遷移を特徴としています。将来の計画には、日常的な支援を提供するグラスのサポートが含まれています。

続きを読む
(blog.google)
テクノロジー 拡張現実 人工知能

ホロティピック・オキュパニド研究グループ：未知なる領域の探求

2024-12-12

ホロティピック・オキュパニド研究グループは、未知の領域を探求することに専念する組織です。彼らの研究内容の詳細は明らかにされておらず、包括的な要約を行うにはさらなる情報が必要です。最先端技術、バーチャルリアリティ、またはその他のまだ明らかにされていないプロジェクトなどが含まれる可能性があります。

続きを読む
(www.horg.com)
その他 未知の領域 研究グループ 最先端技術

Kubernetes Spec v1.32リリース：包括的なリソースリファレンスガイド

2024-12-12

kubespec.devは、Kubernetes Spec v1.32のリファレンスガイドとドキュメントをリリースしました。すべての組み込みリソース、プロパティ、タイプ、および例に関する包括的なドキュメントを提供します。このガイドは、ワークロード、クラスタ、ネットワーク、構成、ストレージ、管理、アクセス制御などを網羅しており、ユーザーはKubernetesの機能を迅速に見つけて理解することができます。このプロジェクトはオープンソースであり、貢献を受け付けています。

続きを読む
(kubespec.dev)
開発 ドキュメント

Great Question (YC) が人事オペレーションマネージャーを募集

2024-12-12

YC支援のスタートアップであるGreat Question（顧客調査を簡素化するプラットフォーム）は、経験豊富な人事オペレーションマネージャーを募集しています。この役割は、採用、オンボーディング、報酬の標準化、企業文化の向上に重点を置き、従業員のエンゲージメントと定着率を高めることを目的としています。理想的な候補者は、人事オペレーションで3年以上の経験、報酬とパフォーマンス管理に関する専門知識、優れたコミュニケーション能力、リモートワーク環境で成功する実績が必要です。急成長中のスタートアップに貢献できる絶好の機会です。

続きを読む
(www.ycombinator.com)
スタートアップ 採用 人事オペレーション YCスタートアップ

奇妙な粒子は移動方向によって質量が増減する

2024-12-12

科学者たちは、ある方向に移動すると質量を持ち、別の方向に移動すると質量を持たない奇妙な準粒子を発見しました。半ディラックフェルミオンとして知られるこの粒子の奇妙な挙動は、16年前に初めて予測されました。この発見は、ジルコニウム、シリコン、硫黄からなる半金属材料ZrSiSにおいて、準粒子の性質を研究中に成されました。この発見は、ZrSiSの新たな応用への道を拓く可能性があります。

続きを読む
(newatlas.com)
テクノロジー 半ディラックフェルミオン 準粒子

計算ミスが黒いプラスチック製キッチン用品に関する不必要なパニックを引き起こす

2024-12-12

Chemosphere誌に掲載された最近の研究では、黒いプラスチック製のキッチン用品に発がん性のある難燃剤が含まれていると主張し、広範囲なパニックを引き起こしました。しかし、マギル大学の科学者は、この研究に単純な計算ミスがあり、曝露レベルを10倍も過大評価していたことを発見しました。このミスにもかかわらず、研究者たちは黒いプラスチック製のキッチン用品に関連する潜在的なリスクについて懸念を維持しています。

続きを読む
(nationalpost.com)
その他 黒いプラスチック製キッチン用品 計算ミス 健康リスク

プログラミング言語のメモリモデル：並行プログラミングにおける課題と解決策

2024-12-12

この記事では、プログラミング言語のメモリモデル、特にマルチスレッドプログラムにおける共有メモリの動作について詳しく解説します。単純なC言語風のプログラムを例に、コンパイラの最適化が、スレッド間の競合状態など、予期せぬ結果につながる可能性を示します。これを解決するために、現代の言語では、スレッドの同期を確保し、データ競合を回避するために、アトミック変数とアトミック操作が導入されています。この記事では、Java、C++、Rustなどの言語のメモリモデルを比較し、それぞれの長所と短所、進化について分析し、メモリモデルの形式化における課題を指摘します。

続きを読む
(research.swtch.com)
開発 メモリモデル マルチスレッド 並行プログラミング

ケンブリッジ・ブロックチェーン・ネットワーク・サステナビリティ・インデックス：マイニングマップが電力消費パターンを明らかに

2024-12-12

ケンブリッジ大学オルタナティブ・ファイナンス・センター（CCAF）は、ケンブリッジ・ブロックチェーン・ネットワーク・サステナビリティ・インデックスの一部として、世界のビットコインマイニングの電力消費量を視覚化したマイニングマップを発表しました。このマップは、国と地域別のビットコインマイニングハッシュレートのシェアを示し、安価な水力発電を利用するために、中国のマイナーが「乾季」と「雨季」の間を移動する季節的な移動パターンを明らかにしています。しかし、2021年6月の中国政府によるマイニング業界への取り締まり後、この移動パターンは終わった可能性が高いです。この研究は、いくつかのビットコインマイニングプールとの連携で収集されたジオロケーションマイニング施設データに基づいており、BTC.com、Poolin、ViaBTC、Foundryからの貢献に感謝しています。

続きを読む
(ccaf.io)
テクノロジー ビットコインマイニング 電力消費 持続可能性

HanamiコアチームメンバーPeter Solnicaが引退を発表

2024-12-12

Hanamiフレームワークのコア開発者であるPeter Solnicaは、先日コアチームからの引退を発表しました。2年間の熟考の後、彼は家族により多くの時間を費やし、より良いワークライフバランスを目指すことを決めました。Solnicaは、彼のキャリアに大きな影響を与えた多くの人々や組織、Lunar Logic、DataMapperチーム、Hanamiチームメンバーなどに感謝の意を表しました。彼は、コアチームメンバーではなくなったものの、Hanamiフレームワークの開発を継続的に支援し、コミュニティとの繋がりを維持していくと述べています。Solnicaの引退はHanamiフレームワークへの信頼喪失ではなく、時間管理と人生における優先順位の個人的な調整であり、今後は家族とElixir開発に重点を置くとのことです。

続きを読む
(solnic.dev)
開発 オープンソース 引退

コロラド州のハンター、食糧不安対策のために野生動物の肉を寄付

2024-12-12

コロラド州では、食肉加工業者Meat Cleaverがハンターと協力し、余剰の鹿肉、ヘラジカ肉などの野生動物の肉を地元のフードバンクに寄付することで、食糧不安対策に取り組んでいます。Farmers and Hunters Feeding the Hungry (FHFH)の資金援助を受けているこのプログラムは、食品ロスを削減し、ぜい弱な家族に健康的なタンパク質を提供します。現在Meat Cleaverのみが参加していますが、このプログラムは数千ポンドの肉を寄付する成功を収め、地域社会から称賛されています。競争の激しい狩猟ライセンス制度にもかかわらず、参加するハンターたちは、困窮者への支援にやりがいを感じています。

続きを読む
(collective.coloradotrust.org)
その他 フードバンク 野生動物の肉寄付 地域社会支援

BlenderGPT：20秒で3Dモデルを作成するAIツール

2024-12-12

BlenderGPTは、テキストまたは画像プロンプトから約20秒で3Dモデルを作成する高度なAIプログラムです。完全なテクスチャを備えたメッシュを生成し、ショートカットでBlenderに直接インポートしたり、互換性のあるソフトウェアで使用するためにソースファイルをダウンロードしたりできます。今すぐ無料で試してみてください！

続きを読む
(www.blendergpt.org)
AI 3Dモデリング

Oasisセキュリティ調査チームがMicrosoft Azure MFAバイパスを発見

2024-12-12

Oasisセキュリティ調査チームは、Microsoft Azureの多要素認証（MFA）実装における重大な脆弱性を発見しました。攻撃者はMFAをバイパスして、Outlook、OneDrive、Teams、Azureクラウドなど、ユーザーアカウントへの不正アクセスを取得できました。この脆弱性は、レート制限の欠如を利用しており、警告なしに6桁のコードの可能性を急速に使い果たすために、セッションを迅速に作成し、コードを列挙することができました。Microsoftはその後、この問題に対処するためにより厳しいレート制限を導入しました。これは、MFAの有効化と失敗した試行の監視の重要性を強調しています。

続きを読む
(www.oasis.security)
テクノロジー Azureセキュリティ MFA脆弱性 認証バイパス

フェルマーの最終定理の証明：コンピューターが数学の難問に挑戦

2024-12-12

あるチームがLeanを用いてフェルマーの最終定理の証明を試み、予期せぬ課題に直面しています。元の証明に頼るのではなく、より現代的で一般化されたアプローチを用いています。結晶コホモロジーを形式化している際に、重要な補題に誤りがあることを発見し、理論の基礎の再検討へとつながりました。最終的に、別の証明を用いて解決策を見つけました。この経験は、現代数学文献における潜在的な誤りを浮き彫りにし、形式化された証明の必要性を強調しています。

続きを読む
(xenaproject.wordpress.com)
開発 フェルマーの最終定理

フランスの海賊版対策が激化：DNSサービスプロバイダーQuad9が海賊版サイトを世界的にブロック

2024-12-12

オンラインスポーツ海賊版との戦いが激化する中、フランスのメディア大手Canal+は、DNSサービスプロバイダーQuad9とVercaraにフランス国内の海賊版ストリーミングサイトへのアクセスをブロックするよう強制する裁判所命令を得ました。Quad9はこれを著作権法のばかげた適用だとみなし、控訴する予定ですが、現時点では世界的にドメインをブロックしています。この行動は、著作権とネット中立性に関する世界的な議論を引き起こしており、Quad9はオープンなインターネットを維持するための控訴への国民からの支援を求めています。

続きを読む
(torrentfreak.com)
テクノロジー 著作権 ネット中立性 DNSブロック

AIスケーリング則：プリトレーニングを超えて、新たなパラダイムが登場

2024-12-12

この記事は、AIスケーリング則の進化を探求し、それがプリトレーニングを超えたものであると主張しています。OpenAIのo1モデルは、推論モデルの有用性と可能性を示し、スケーリングのための新たな、未開拓の次元を開拓しました。この記事では、合成データ、近接方策最適化（PPO）、強化学習などの手法がモデル性能の向上にどのように役立つかを詳しく説明しています。AnthropicのClaude 3.5 OpusとOpenAIのOrionは失敗ではなく、スケーリング戦略の変更であったことを明確にしています。著者らは、スケーリングはデータとパラメーターの増加だけにとどまらず、推論時間計算、より困難な評価、トレーニングと推論アーキテクチャの革新を含むことを強調しています。

続きを読む
(semianalysis.com)
AI AIスケーリング 大規模言語モデル 推論モデル

中学生がガンの糞から新化合物を発見

2024-12-12

地元大学と連携した研究プログラムに参加した中学生が、公園で採取したガンの糞のサンプルから、新しい化合物オルファミドNを発見しました。この化合物は、最初に観察されたバクテリアの抗生物質活性には関与していませんが、実験室でのテストで、ヒトの悪性黒色腫細胞と卵巣がん細胞の増殖を抑制しました。この研究は、教育普及と天然物発見研究の組み合わせの成功を示し、大学と地域社会のパートナーシップの重要性を強調しています。このプロジェクトは、学生に貴重な実践的な経験を提供し、若い科学者の可能性を示しました。

続きを読む
(phys.org)
テクノロジー 科学的発見 中学生研究

Quantus：クオンツ取引プラットフォームの革命

2024-12-12

Quantusは、プロのトレーダーと機関投資家に効率的で信頼性の高い取引ソリューションを提供するために設計された、高度なクオンツ取引プラットフォームです。強力なデータ分析ツール、柔軟なバックテスト機能、低遅延の取引実行システムを統合することで、ユーザーは市場の機会をより効果的に捉え、投資収益率を高めることができます。堅牢なテクノロジーとユーザーフレンドリーなインターフェースにより、Quantusはフィンテック業界で急速に台頭しつつあります。

続きを読む
(quantus.finance)
テクノロジー クオンツ取引 フィンテック 取引プラットフォーム
1 2 … 50 51 52 53 54 55 57