
法國AI公司Mistral AI推出開源模型Leanstral,主打支援Lean 4工作流程,可作為程式碼代理協助生成程式碼與處理形式化證明工作
新聞 | Mistral AI | Leanstral | Lean 4 | 形式化證明 | Mistral Vibe
Mistral推出開源模型Leanstral,專為Lean 4形式化證明工作流程設計
2026-03-17
新聞 | 烏克蘭戰爭 | 俄烏戰爭 | 俄羅斯駭客 | Void Blizzard | Laundry Bear | UAC-0190 | Drillapp | Pastefy
後門程式Drillapp鎖定烏克蘭,濫用瀏覽器除錯功能隱匿行蹤
2026-03-17
Nvidia公布NemoClaw平臺,比OpenClaw更強化安全、穩定
2026-03-17
新聞 | 同步複製 | synchronous replication | active-active
Everpure將ActiveCluster擴展至檔案工作負載,提供雙站點同步存取與遠端備援能力
2026-03-17
新聞 | google | 微軟 | Amazon | Meta | 網路詐騙 | CyberSecurity | 反詐騙 | 打詐
Google、微軟、Amazon與Meta等科技巨頭簽署協議以共同對抗網路詐騙
2026-03-17
新聞 | nown Exploited Vulnerabilities Catalog | KEV | FTP
CISA警告Wing FTP資訊外洩漏洞已被用於攻擊,要求用戶盡速更新修補
2026-03-17
新聞 | 美伊戰爭 | Stryker | Handala | Microsoft Intune
駭客組織Handala攻擊美國醫療科技公司Stryker,傳出透過遠端裝置管理平臺抹除8萬臺裝置
2026-03-17
新聞 | Chrome DevTools MCP Server | Chrome | 自動連線 | DevTools | 除錯
Chrome DevTools MCP新增自動連線功能,可接手既有瀏覽器工作階段除錯
2026-03-16
【資安日報】3月16日,歐美多國合作圍剿常駐型代理伺服器網路SocksEscort
2026-03-16











