GoKawiil - Tech News

181.

F*: A general-purpose proof-oriented programming language (news.ycombinator.com)

2026-08-02 | tags: f* (f star), ocaml, microsoft research

182.

First open-source firmware for AM5 officially launches — Dasharo v0.9.0 brings Coreboot and openSIL to Zen 4 APUs on MSI B850 (tomshardware.com)

2026-08-02 | by Aaron Klotz | tags: coreboot, dasharo, amd

183.

When "no healthy upstream" isn't about the upstream you think (news.ycombinator.com)

2026-08-02 | tags: balancer, dependency, healthy

184.

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math (gizmodo.com)

2026-08-02 | tags: openai, astra, connes

185.

Mathematics Without Mathematicians (news.ycombinator.com)

2026-08-02 | by Fernando Borretti | tags: openai, coding theory, mathematics

186.

How 'Situational Awareness' Hedge Fund Dropped 67% in AI Stock Rout (slashdot.org)

2026-08-02 | by Posted | tags: openai, citadel, ai stocks

187.

Don't credit the LLM (news.ycombinator.com)

2026-08-02 | tags: llm, openai, support requests

188.

Show HN: CostPerPrompt – Live AI API pricing and real-workload cost calculators (news.ycombinator.com)

2026-08-02 | tags: ai api pricing, openai, token costs

189.

The Race to Build an American Alternative to Cheap AI From China (feeds.content.dowjones.io)

2026-08-02 | tags: silicon valley, open models, china

190.

Rogue AI Hacks Herald New Era of Cyber Chaos (feeds.content.dowjones.io)

2026-08-01 | tags: openai, anthropic, ai hacking

191.

Morph (YC S23) Is Hiring Member of Technical Staff (news.ycombinator.com)

2026-08-01 | tags: morph, inference infrastructure, open models

192.

Morph (YC S23) Is Hiring Member of Technical Stuff (news.ycombinator.com)

2026-08-01 | tags: morph, inference infrastructure, open models

193.

Today’s Wordle Hints, Answer and Help for Aug. 2, #1870 (cnet.com)

2026-08-01 | by Gael Cooper | tags: wordle, penal, vowels

194.

Scanning 7.6 Petabytes of HuggingFace Training Data for Secrets (news.ycombinator.com)

2026-08-01 | tags: huggingface, openai, trufflehog

195.

How Google helped destroy adoption of RSS feeds (2023) (news.ycombinator.com)

2026-08-01 | tags: google, rss feeds, chromium

196.

Sam Altman is still making the case for parenting via ChatGPT (techcrunch.com)

2026-08-01 | by Anthony Ha | tags: chatgpt, openai, sam altman

197.

New GitHub, PyPI Policies Hope to Boost Supply Chain Security (slashdot.org)

2026-08-01 | by Posted | tags: github, pypi, dependabot

198.

GitHub has alternatives, but no replacement (news.ycombinator.com)

2026-08-01 | by Lalit Maganti | tags: github, codeberg, gitea

199.

OpenAI’s Escaped Models Were Allegedly Rampaging More Extensively Than Previously Reported (futurism.com)

2026-08-01 | by Victor Tangermann | tags: openai, hugging face, ai models

200.

Anthropic's Claude hacked three real-life companies during security capabilities test — test environment with internet access and unwitting targets' lax cybersecurity practices led to bots running rampant (tomshardware.com)

2026-08-01 | by Bruno Ferreira | tags: anthropic, claude, openai

201.

Astro Loop (news.ycombinator.com)

2026-08-01 | tags: astro loop, github, gplv3

202.

Kontigo (YC S24) Is Hiring (news.ycombinator.com)

2026-08-01 | tags: next.js, react native, supabase

203.

OpenAI's Hugging Face hack confirmed months of AI cyber warnings: 'Pandora's box is open' (cnbc.com)

2026-08-01 | by Samantha Subin | tags: openai, hugging face, mythos

204.

The More People Learn About AI, the More They Want It Out of Their Lives (futurism.com)

2026-08-01 | by Joe Wilkins | tags: openai, gallup, data centers

205.

Why legendary sneaker designer D’Wayne Edwards won’t give up his morning routine (feeds.feedburner.com)

2026-08-01 | tags: nike, d’wayne edwards, pensole lewis college

206.

7 States’ Water Systems Hit by Cyberattacks Likely Tied to Iran (wired.com)

2026-08-01 | by Matt Burgess | tags: water utilities, iran cyberattacks, openai

207.

The OpenAI and Anthropic AI Hacking Sprees Are a Messy New Legal Frontier (wired.com)

2026-08-01 | by Lily Hay Newman | tags: openai, anthropic, ai hacking

208.

Nobody Knows if OpenAI’s and Anthropic’s AI Hacking Sprees Are Illegal (wired.com)

2026-08-01 | by Lily Hay Newman | tags: openai, anthropic, ai hacking

209.

AI doesn't generate working products, that's still your job (news.ycombinator.com)

2026-08-01 | by Anuradha Weeraman | tags: openai, api tokens, software engineering

210.

A Prominent AI Investor Is Now Crumbling, in What Could Be a Sign of Things to Come (futurism.com)

2026-08-01 | by Frank Landymore | tags: ai hedge-fund, openai, sk hynix