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

Clojure：ニッチ言語が君臨する理由

2025-02-23
Clojure：ニッチ言語が君臨する理由

この記事では、Clojureプログラミング言語の長所を詳しく掘り下げ、Clojureコンサルティング会社であるGaiwanがClojureを選択した理由を共有しています。彼らは、Clojureの優れた開発生産性、抜群の長期保守性、活気のあるコミュニティ文化を強調しています。議論されている主な機能には、対話型開発、安定性、堅牢な情報システム表現、関数型プログラミングスタイル、並行処理の取り扱い、局所的な推論、テストの容易さ、そしてポジティブな採用結果が含まれます。この記事では、Clojureの柔軟性とJavaとの相互運用性についても強調しています。要約すると、ニッチな地位にもかかわらず、Clojureは特定のアプリケーションにとって魅力的な選択肢となる独自の利点を提供しています。

続きを読む
(gaiwan.co)
開発 開発生産性

VLM Run Hub：簡素化された視覚データ抽出のための事前定義済みPydanticスキーマ

2025-02-20
VLM Run Hub：簡素化された視覚データ抽出のための事前定義済みPydanticスキーマ

VLM Run Hubは、画像、ビデオ、ドキュメントなどの非構造化視覚ドメインから構造化データを抽出するための、事前定義済みのPydanticスキーマの包括的なリポジトリです。ビジョン言語モデル（VLM）向けに設計されており、現実世界のユースケースに合わせて最適化されているため、視覚的ETLをワークフローに統合することが容易になります。請求書メタデータを抽出するための請求書スキーマなど、さまざまな事前定義済みスキーマを提供し、OpenAIのGPT-4oやAnthropicのClaude Visionなど、複数のVLMをサポートしています。Pydanticスキーマを使用することで、正確で信頼性の高いデータ抽出が保証され、下流のワークフローが簡素化されます。

続きを読む
(github.com)
開発

NixOS：2年間の愛憎劇（そして別れ）

2025-01-14

この記事では、作者がNixOS、そのパッケージマネージャー、そして言語を2年間使用した経験について詳しく説明しています。当初は宣言的な構成と再現性に惹かれましたが、最終的には解決策よりも問題の方が多いことに気づきました。NixOSはサーバーやシンプルなサービスでは優れていましたが、デスクトップでの使用は、パッケージ管理の複雑さ、分かりにくいビルドエラー、そして大きなリソース消費のために困難でした。作者はNixOSからの完全な撤退を決意し、より効率的なワークフローを探しています。

続きを読む
(www.dgt.is)
開発

ベピコロンボ探査機、水星の北極の高解像度画像を送信

2025-01-11
ベピコロンボ探査機、水星の北極の高解像度画像を送信

欧州と日本の共同プロジェクトであるベピコロンボ探査機は、水星への6回目の、そして最後のフライバイを完了し、これまでで最も詳細な水星の北極の画像を送信しました。水星の夜側の295キロメートル上空を飛行し、永久的に影になっているクレーター、近くの火山平原、そして水星最大の衝突クレーターの素晴らしい画像を捉えました。これらの画像は、水星の形成と進化を理解するための貴重なデータを提供します。ベピコロンボは来年、水星の軌道に入る予定です。

続きを読む
(apnews.com)
テクノロジー

シェルコマンド効率化ハック：アイコンで過去の履歴を素早く特定

2025-02-16
シェルコマンド効率化ハック：アイコンで過去の履歴を素早く特定

シェル履歴でコマンドを何度も検索して再実行していませんか？著者は賢い方法を共有しています。コマンドの前にアイコンやテキスト識別子を追加するのです（例：✅; ./utils/check.sh）。これらの識別子はコマンドの実行には影響しませんが、視覚的な認識を大幅に向上させ、目的のコマンドを素早く見つけることができ、履歴を何度もスクロールするストレスを軽減します。シェル効率を向上させるシンプルながらも効果的な方法です。

続きを読む
(github.com)
開発 シェルテクニック コマンドライン効率

LangManus：マルチエージェント連携のためのオープンソースAI自動化フレームワーク

2025-03-23
LangManus：マルチエージェント連携のためのオープンソースAI自動化フレームワーク

LangManusは、コミュニティ主導のオープンソースAI自動化フレームワークであり、言語モデルとWeb検索、クローリング、Pythonコード実行などのツールを統合しています。元同僚らが余暇時間に開発したこのプロジェクトは、マルチエージェントと深層研究の分野を探求し、GAIAリーダーボードに参加することを目的としています。LangManusは、コーディネーター、プランナー、スーパーバイザー、リサーチャー、コーダー、ブラウザ、レポーターなどの役割を持つ階層的なマルチエージェントシステムを採用し、QwenやOpenAI互換モデルなど、さまざまなLLMの統合をサポートしています。このプロジェクトはMITライセンスの下でオープンソース化されており、コミュニティからの貢献を歓迎しています。

続きを読む
(github.com)
AI AI自動化

フレームワーク疲れ：開発者が新技術に怒る本当の理由

2025-01-21
フレームワーク疲れ：開発者が新技術に怒る本当の理由

SvelteからSolid、Qwikまで、次々と登場する新しいJavaScriptフレームワークに、開発者たちは疲れ果てています。それぞれが驚異的な速度とパフォーマンス向上を約束する一方、開発者たちは延々と学習を続けるループに陥り、貴重な時間とエネルギーを浪費しています。これにより激しい議論が巻き起こり、新しいフレームワークが車輪の再発明だと批判する声や、雇用の不安や既存スキルの陳腐化を懸念する声が上がっています。この記事は、開発者が新フレームワークに怒る真の理由は、将来のキャリアへの不安からくる自己防衛メカニズムであると示唆しています。この点を理解することで、業界の健全な発展を促すことができます。

続きを読む
(blog.raed.dev)
開発 フレームワーク疲れ

動物の養子縁組：遺伝子と感情のせめぎ合い

2024-12-13
動物の養子縁組：遺伝子と感情のせめぎ合い

ライオンがヒョウの子を養子にしたという出来事が、動物の養子縁組の世界への興味深い探求を促します。この記事では、この行動の背後にある進化メカニズムを掘り下げ、血縁選択、環境圧力、個体差、母性本能などを調べます。研究によると、動物の養子縁組は単なる進化戦略ではなく、動物の感情や個体差も反映しており、従来の進化論的な説明に疑問を投げかけています。

続きを読む
(nautil.us)
その他 動物行動 進化生物学 血縁選択

画面PPD計算ツール：1度のピクセル数を正確に計算

2025-01-20

このオンラインツールは、画面の1度あたりのピクセル数（PPD）を計算します。画面サイズ、解像度、視聴距離を入力するだけで、PPD、水平視野角、スケールされたPPD、その他の画面パラメータを取得できます。この計算ツールはJavascriptを使用しており、さまざまな解像度とスケーリングファクターをサポートしています。

続きを読む
(qasimk.io)
その他 ピクセル密度 PPD計算ツール 画面パラメータ

Slipstream：ステートフルストリーミングアプリケーションのためのデータフローモデル

2025-04-03

Slipstreamは、Pythonベースのデータフローモデルを使用して、ステートフルストリーミングアプリケーションの開発を簡素化します。Kafka、ストリーミングAPIなど様々なソースと、Kafka、RocksDB、APIなどのシンクをサポートし、通常のPythonコードで任意のステートフル操作（結合、集計、フィルタリング）を可能にします。シンプルなタイマーの例では、その使いやすさが示されており、数行のコードでタイマータスクを作成できます。Slipstreamはシンプルさ、自由度、速度を重視し、最適化されたデフォルト設定により迅速な設定と実行を実現します。

続きを読む
(slipstream.readthedocs.io)
開発 データフロー

ファイングレイン認証を革新する：Felderaの増分計算エンジン

2025-01-20
ファイングレイン認証を革新する：Felderaの増分計算エンジン

Felderaは、ファイングレイン認証（FGA）に対する革命的なアプローチを紹介します。従来のFGAシステムは、リアルタイムで認証リクエストを評価するため、非効率です。Felderaは、すべての認証決定を事前に計算し、増分計算エンジン（SQLベース）を使用して結果を更新することで、認証リクエストを単純なキーバリュー検索に変換します。大規模なオブジェクトグラフでも、Felderaはミリ秒単位で変更を処理し、パフォーマンスを劇的に向上させます。この記事では、FGAの原則を詳しく説明し、SQLを使用して高性能なFGAエンジンを構築する方法を示し、大規模データセットの処理における優位性を示しています。

続きを読む
(www.feldera.com)
開発 ファイングレイン認証 増分計算

安価なスマートウォッチのセキュリティホールが、健康に関する個人情報を暴露

2025-02-12
安価なスマートウォッチのセキュリティホールが、健康に関する個人情報を暴露

セキュリティ研究者が安価なスマートウォッチのリバースエンジニアリングを行い、重大な脆弱性を発見しました。VeryFitアプリを使用するこのウォッチは認証がなく、誰でも接続して健康に関する個人情報（アクティビティ、睡眠、心拍数、生理周期など）にアクセスできます。研究者は、このデータを抽出してTCXファイルに変換するウェブサイトを作成しました。これは、低価格のスマートウォッチのセキュリティリスクと、ユーザーの注意の必要性を浮き彫りにしています。

続きを読む
(sprocketfox.io)
テクノロジー スマートウォッチ セキュリティ 個人情報保護

GitHubアシスタント：自然言語でGitHubリポジトリを探索

2024-12-22
GitHubアシスタント：自然言語でGitHubリポジトリを探索

GitHubアシスタントは、自然言語の質問を使用してGitHubリポジトリを探索できる概念実証プロジェクトです。Reltaとassistant-uiを使用して構築されており、ユーザーは簡単な日本語で質問をし、関連するリポジトリ情報を受け取ることができます。Reltaサブモジュールは現在クローズドソースですが、リクエストに応じて利用可能です。Python 3.9+、npm、Git、OpenAI APIキーとデータベース接続URIの設定が必要です。

続きを読む
(github.com)
開発 コード検索

米国、50億ドルの電気自動車充電ステーションプログラムを停止

2025-02-07
米国、50億ドルの電気自動車充電ステーションプログラムを停止

米国運輸省は、各州に対し、国家電気自動車インフラプログラム（NEVI）の計画を停止するよう命令しました。これは、電気自動車充電ステーションの建設を資金援助する50億ドル規模のイニシアチブです。この決定は違法である可能性があり、すでに建設中の充電ステーションに影響を与え、プログラムに投資した企業に損害を与える可能性があります。テスラも、このプログラムから3100万ドルの助成金を受けています。この措置は、裁判所の命令と行政手続き法に反するようです。

続きを読む
(www.wired.com)
テクノロジー 充電ステーション

Television：超高速ファジーファインダーTUI

2025-01-10
Television：超高速ファジーファインダーTUI

Televisionは、高速で汎用性の高いファジーファインダーTUIです。ファジーマッチングアルゴリズムを使用して、ファイル、Gitリポジトリ、環境変数、Dockerイメージなど、さまざまなデータソースをすばやく検索でき、拡張性も容易です。neovim telescopeプラグインにヒントを得ており、tokioとhelixエディターで使用されているnucleoマッチャーを活用して最適なパフォーマンスを実現しています。高速性、ファジーマッチング、ビルトイン機能、シェル統合、カスタマイズ可能なチャネルとプレビューアー、ビルトイン構文ハイライト、キーバインド、テーマ、クロスプラットフォーム互換性などが特徴です。

続きを読む
(github.com)
開発 ターミナルツール ファジー検索

CloudflareのVPNアプリなど、インドのアプリストアから複数のアプリが削除される

2025-01-03
CloudflareのVPNアプリなど、インドのアプリストアから複数のアプリが削除される

インドは、Cloudflareの人気アプリである1.1.1.1を含む複数のVPNアプリを、アプリストアから削除しました。2022年の規制に基づき、VPNプロバイダーはユーザーデータを5年間保存する必要があるとされています。この措置は業界から反発を招き、一部のVPNプロバイダーはインドからの撤退またはインドでのアプリのマーケティング停止を発表しました。これは、インドにおけるVPN規制の大幅な強化を示しています。

続きを読む
(techcrunch.com)
テクノロジー

Monokai Proテーマ：JetBrains IDEなどに対応

2024-12-31
Monokai Proテーマ：JetBrains IDEなどに対応

Monokai Proは、JetBrains IDE（IntelliJ IDEA、WebStormなど）、Sublime Text、VS Codeで使用可能なテーマプラグインです。70種類以上のカスタムアイコンと、好みに合わせて調整可能な設定を提供します。無料トライアル版もありますが、月額1ユーロのサブスクリプションでポップアップ広告を削除できます。多くのプログラミング言語とIDEに対応しており、ソフトウェアエンジニアに人気です。

続きを読む
(monokai.pro)
開発 テーマプラグイン

2024年データベース戦争：オープンソースの戦い、巨大テクノロジー企業による買収

2025-01-01
2024年データベース戦争：オープンソースの戦い、巨大テクノロジー企業による買収

2024年は、ライセンス紛争と巨大テクノロジー企業間の激しい競争によって特徴づけられた、データベース業界にとって激動の年でした。RedisとElasticsearchは、ライセンスの変更後、コミュニティからの激しい反発を受け、最終的にオープンソースモデルに戻りました。DatabricksとSnowflakeの競争は、パフォーマンスベンチマークを超え、LLMやデータカタログを含むようになり、イノベーションを推進しました。DuckDBの使いやすさと移植性により、分析クエリのための最適な選択肢となり、さまざまなシステムへの統合が進みました。この年は、Aurora DSQL、CedarDB、SQL対応のGoogle Bigtableなどのリリースや、AlteryxやMariaDBなどの主要企業の買収も見られました。この記事は、Larry Ellisonの80歳の誕生日を締めくくりとして、データベース業界における莫大な富と激しい競争を強調しています。

続きを読む
(www.cs.cmu.edu)
テクノロジー 競争

北米のスキーリゾート、存亡の危機：気候変動と環境規制

2025-01-31
北米のスキーリゾート、存亡の危機：気候変動と環境規制

北米のスキー業界は危機に直面しています。1960年代と70年代のブーム以来、気候変動、環境規制、そして変化する消費者の需要によって、スキーリゾートの半分以上が閉鎖されました。この研究は、人工造雪における持続不可能な水とエネルギーの消費、そして植生や野生動物への悪影響を強調しています。生き残るためには、リゾートは持続可能な実践を採用する必要があります。これには、環境に優しい技術への投資、サービスの多様化、複数リゾートのパスの導入、そして気候変動と環境圧力に適応しながら収益性を維持するための革新的な所有モデルの探求が含まれます。

続きを読む
(www.mdpi.com)
テクノロジー スキーリゾート

Pixel 4aバッテリーアップデートの大惨事：古いファームウェアが消滅、ユーザーは閉じ込められる

2025-01-29
Pixel 4aバッテリーアップデートの大惨事：古いファームウェアが消滅、ユーザーは閉じ込められる

Google Pixel 4aのバッテリー性能アップデートが惨事となりました。このアップデートにより、多くのユーザーが極端なバッテリー消費に見舞われ、さらに悪いことに、Googleは古いファームウェアを削除したため、以前のバージョンに戻すことが不可能になっています。バッテリー寿命を改善することを目的としていたアップデートは、逆に状況を大幅に悪化させてしまいました。影響を受けたユーザーには、Googleから補償として、バッテリーの無料交換、50ドルの現金、または新しいPixelへの100ドルのクレジットが提供されます。この出来事は、ソフトウェアアップデートのリスクと、古いデバイスのアップデート処理におけるGoogleの欠点を浮き彫りにしています。

続きを読む
(www.androidcentral.com)
テクノロジー バッテリーアップデート ソフトウェアのバグ

CCL：圏論に基づくミニマリストな設定言語

2025-01-11
CCL：圏論に基づくミニマリストな設定言語

著者は、圏論にインスパイアされたミニマリストな設定言語CCLを紹介します。CCLの中核はキーバリューペアであり、複雑な機能を避け、合成可能性と拡張性を重視しています。空白文字と単純なルールを巧みに使用することで、ネスト構造やコメントを処理し、リスト、コメント、セクション、複数行文字列などの強力な機能を実現しながら、極めてシンプルな構造を維持しています。独自の不動点設計により、キーのオーバーライドの競合をエレガントに解決します。圏論のモノイドとモノイド準同型写像を活用することで、設定の合成が正しく効率的に行われます。CCLのコードは簡潔で、理解しやすく、実装も容易であり、洗練されたソフトウェア設計の貴重な例となっています。

続きを読む
(chshersh.com)
開発 設定言語 圏論

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

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

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

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

立方体上のボクセルカタツムリ：インタラクティブアニメーション

2025-01-20
立方体上のボクセルカタツムリ：インタラクティブアニメーション

アーティストのJaphy Riddleは、3匹のカラフルなカタツムリが、見えない立方体の辺を動き回り、決して触れ合わない魅力的なアニメーションを作成しました。これにインスパイアされた開発者Matt Sephtonは、Love2Dエンジンを使用してインタラクティブなバージョンを作成し、ユーザーが立方体の設定やカタツムリの動作を操作できるようにしました。このインタラクティブバージョンは、オリジナルの魅力を再現するだけでなく、カタツムリの数を増やすなど、可能性を広げています。ユーザーはダウンロードして、自分で可能性を探ることができます。

続きを読む
(blog.gingerbeardman.com)
ゲーム

Hyperspace：APFSクローンを使ってMacのディスク容量を節約するアプリ

2025-02-25
Hyperspace：APFSクローンを使ってMacのディスク容量を節約するアプリ

ベテラン開発者のJohn Siracusa氏が、APFSファイルシステムのクローン機能を巧みに活用して貴重なディスク容量を解放するMacアプリ「Hyperspace」をリリースしました。重複ファイルを削除する他のアプリとは異なり、Hyperspaceは同じ内容のファイルを、単一データインスタンスを共有するクローンに変換することで、損失なく容量を節約します。この記事では、Hyperspaceの開発経緯、SwiftUIとSwift 6を使用する際の経験と課題について詳しく説明しています。Hyperspaceはファイル操作にリスクが伴いますが、その強力な機能と使いやすさから、Macユーザーにとって大きな恩恵となるでしょう。

続きを読む
(hypercritical.co)
開発 Macアプリ

トランプ政権による人員削減で米国森林局が壊滅的打撃

2025-02-27
トランプ政権による人員削減で米国森林局が壊滅的打撃

トランプ政権下で米国森林局は大量の職員削減に見舞われ、約3400人の職員が解雇されました。これには、気候変動対策や災害対応に不可欠な多くの専門家が包含されています。この事態は、公共地の管理と環境保護に対する懸念を引き起こし、長年にわたる資金不足と人員不足の問題を浮き彫りにしました。経験豊富な職員の喪失は、森林の維持、山火事の予防、コミュニティの復興活動に深刻な影響を与えます。労働組合は、解雇の合法性に異議を唱える訴訟を起こしています。

続きを読む
(grist.org)
テクノロジー 米国森林局 職員削減

testtrim：自分自身をテストできなかったテストツール（今までは）

2025-01-25

Mathieu Fenniakは、ソフトウェアテストの実行を最適化する実験的プロジェクトであるtesttrimにシステムコールのトレース機能を追加した経緯について説明しています。当初、testtrimはテスト間の依存関係を特定するためにstraceを使用していましたが、straceは既にトレースされているプロセスをトレースできないため、自分自身をテストすることができませんでした。ネストされたトレースの2つの試みは失敗しました。1つ目はひどいパフォーマンスが原因で、2つ目は共有状態とstraceの出力の非アトミック性が原因でした。解決策は、親プロセスと子プロセスの間でリアルタイムにデータストリームを送信するために、FIFOパイプと共有メモリを使用することであり、自己テストを可能にし、テストターゲットの削減におけるtesttrimの価値を検証しました。

続きを読む
(mathieu.fenniak.net)
開発 システムコールトレース

curlの大幅アップデート：部分ファイル読み込みに対応

2024-12-30
curlの大幅アップデート：部分ファイル読み込みに対応

今後のcurl 8.12.0リリースでは、エキサイティングな新機能が導入されます。部分ファイルの読み込みに対応します。ユーザーは新しい変数システムを利用して、ファイルから特定のバイト範囲を抽出し、curlコマンドラインで使用できるようになります。これにより、curlによるファイルの処理方法に大きな柔軟性が加わり、ファイルの先頭部分をユーザー名として抽出したり、中央部分をPOST本文として使用したりといったタスクが可能になります。curlの機能が大幅に拡張され、より堅牢なコマンドラインツールがユーザーに提供されます。

続きを読む
(daniel.haxx.se)
開発 ファイル処理

進化論における哲学的な袋小路

2024-12-15
進化論における哲学的な袋小路

この記事では、リチャード・ドーキンスの『遺伝子の死の書』とサラ・イマリ・ウォーカーの『誰も知らない生命：生命の物理的出現』をレビューしています。ドーキンスは彼の「利己的な遺伝子」理論を継続し、遺伝子が進化の中心的な推進力であると主張しています。しかし、このレビューでは、この見解は時代遅れであり、発生、エピジェネティクス、ニッチ構築などの要因を十分に考慮できていないと指摘しています。ウォーカーの本は、アセンブリ理論の観点から生命の起源を説明しようとしていますが、レビューでは、それはあまりにも単純化されており、生命の本質を完全に解明できていないと主張しています。この記事は、一般向けの科学書は、しばしば単純化された物語に傾きがちであり、生物学分野の複雑さと多様性を無視していると結論付けています。

続きを読む
(lareviewofbooks.org)
AI 進化論 遺伝子
1 2 … 561 562 563 565 567 568 569 … 595 596