Kshi_Kshiのｱﾝﾃﾅ - はてなｱﾝﾃﾅ

▽Erlang.org News RSS
●06/13 02:52
Jekyll2025-06-12T13:27:38+00:00https://www.erlang.org/news.xmlThe official home of the Erlang Programming Language2025-05-21T00:00:00+00:002025-05-21T00:00:00+00:00https://www.erlang.org/news/180OTP 28.0

▽CNN.co.jp
●06/13 02:31
ﾋﾞｰﾁ･ﾎﾞｰｲｽﾞのﾌﾞﾗｲｱﾝ･ｳｨﾙｿﾝさん死去､そのｷｬﾘｱを振り返る06/12ｴｱｲﾝﾃﾞｨｱ機墜落､現場の映像06/12｢787―9ﾄﾞﾘｰﾑﾗｲﾅｰ｣を全面的に再設計05/11CEO退任を発表､ｳｫｰﾚﾝ･ﾊﾞﾌｪｯﾄ氏の人生05/04

▽SonarQube™
●06/13 01:44
SONARQUBE ADD-ONAdvanced SecurityDeveloper-first security for your first-party, AI-generated, and open source code, powered by advanced SAST and integrated SCARequest free trialRequest demoAutomate code vulnerability reviews for all code: open source, developer-written, and AI-generated. Unrivaled security detection uncovers deeply hidden security issues.Self-hosted editions for automated cod

▽最新技術を追い求めるﾃﾞﾍﾞﾛｯﾊﾟのための情報ｺﾐｭﾆﾃｨ
●06/12 21:42
DeepSeek社､数学定理証明向けLLM｢Prover-V2｣をｵｰﾌﾟﾝｿｰｽで公開Vinod Goje 翻訳者 Takashi Kawase投稿日 6月12日OpenAI社がAIｴｰｼﾞｪﾝﾄのｳｪﾌﾞ検索機能やﾃﾞｨｰﾌﾟﾘｻｰﾁ機能のﾍﾞﾝﾁﾏｰｸ評価を実現する｢BrowseComp｣を発表IconDevOpsの原則とﾌﾟﾗｸﾃｨｽを品質保証ｴﾝｼﾞﾆｱとして適用するIconAnthropicの｢AI顕微鏡｣が大規模言語ﾓﾃﾞﾙの内部構造を探るIconIconPerplexityがDeep Researchを発表：高度な分析のためのAI駆動ﾂｰﾙDeepSeek社､数学定理証明向けLLM｢Prover-V2｣をｵｰﾌﾟﾝｿｰｽで公開