Hacker News: rainyqhttps://news.ycombinator.com/user?id=rainyqHacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 03 Aug 2026 00:26:42 +0000<![CDATA[New comment by rainyq in "F*: A general-purpose proof-oriented programming language"]]>just click the screenshot

]]>Sun, 02 Aug 2026 14:40:13 +0000https://news.ycombinator.com/item?id=49145110rainyqhttps://news.ycombinator.com/item?id=49145110https://news.ycombinator.com/item?id=49145110<![CDATA[US State Dept orders global warning about alleged AI thefts by DeepSeek]]>Article URL: https://www.reuters.com/world/china/us-state-dept-orders-global-warning-about-alleged-china-ai-thefts-by-deepseek-2026-04-24/

Comments URL: https://news.ycombinator.com/item?id=48020248

Points: 4

# Comments: 1

]]>Tue, 05 May 2026 09:57:21 +0000https://www.reuters.com/world/china/us-state-dept-orders-global-warning-about-alleged-china-ai-thefts-by-deepseek-2026-04-24/rainyqhttps://news.ycombinator.com/item?id=48020248https://news.ycombinator.com/item?id=48020248