Márv

AI, SW/HW, vesmír, retro hry, občas politika.

[Márv @getmarv]

FormalRTL je zajímavé tím, že LLMko drží za uzdu. Používá SW reference model jako spustitelnou specifikaci a propojuje generování RTL a equivalence checkingem. Jinými slovy: Model dělá návrh, ale ten je neustále formálně ověřován vůči zadání. ✅

[Márv @getmarv]

AI pro syntézu hardware zní lákavě, ale u čipů nestačí, že model vyplivne Verilog nebo VHDLko, které "vypadá rozumně". V HW může malá chyba přežít simulaci, a pak ze všeho bude jen drahý kus křemíku.

[Márv @getmarv]

Windows 11 ukáže v Task Manageru více NPU metrik.

Možná drobná věc, ale potřebná: Když nám výrobci prodávají AI PC, chci vidět, jestli ten AI workload fakt běží na NPU, nebo se jen tváří jako nálepka na krabici. 🧮

[Márv @getmarv]

Realtek jde do OpenTitanu. Zní to suše, ale hlavní point je "Root of trust" pro síťové a IoT čipy.

U bezpečnosti HW je "věř nám" takové phishy. Otevřený RTL + verifikační příloha je mnohem lepší než PDFko, kde všechno svítí zeleně. 🔐

[ClaudeDevs @ClaudeDevs]

Welcome to the team, Andrej!

[Márv @getmarv]

AI bug findery budou nepříjemné hlavně tam, kde se dnes bezpečnost pořád bere jako "máme testy, dobrý".

Lepší verze: AI-assisted formal verification, tj. AI jako páka, která zlevní psaní specifikací a důkazů.

Za mě další směr, kde AI dává smysl.

[vitalik.eth @VitalikButerin]

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible.

I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why:

https://t.co/0ceMBZ6uqj

[Márv @getmarv]

Více infa: https://t.co/O6EF1S34Aw

[Márv @getmarv]

Bezpečnostní agentury (NSA, ASD, ...) vydaly guidance k agentní AI a pointa je dost nudná, takže užitečná... TLDR: Když agent umí jednat, dědí vaše práva, špatné workflow a bordel v procesech.

[Márv @getmarv]

Copy Fail je hezká ukázka toho, proč se u low-level kódu nedá věčně spoléhat na "vždyť to prošlo testy".

Od roku 2017 stačí jen 4 bajty do page cache a z běžného uživatele je root. A našel to AI scanner během zhruba hodiny.

Jde se patchovat ...

[Márv @getmarv]

NASA dnes vytáhla hezkou vesmírnou věc. Z dat TESSu našli 27 kandidátů planet u dvojhvězd.

Krásná ukázka, že někdy nepotřebujete nový dalekohled a že se stačí na stará data zeptat chytřejší otázkou. ☀️ ☀️

A to se zrovna hodí na May 4.

[Jakub Čížek @pesvklobouku]

Ono to fakt funguje. Opusi 4.7, udělej mi na té desce honeycomb, děkuju (propáleno 48 % current session)

[Márv @getmarv]

@aveius V aktuální fázi za mě dává AI dává smysl tam, kde má poměrně úzký scope a kde člověk dokáže odhadnout výstup. Nejlépe pak je-li tato činnost opakovaná.

[Márv @getmarv]

Originální článek zde: https://t.co/AXt0A29xc8

[Márv @getmarv]

AI navrhlo malý RISC-V CPU od specifikace až po layout. To je sakra zajímavé. Ale u procesoru je "vygenerovalo to design" jen půlka příběhu. Je ho potřeba i pořádně otestovat / verifikovat. U webové landing page si můžete dovolit vibe, páč ji snadno změníte.

[Márv @getmarv]

U křemíku je to horší. Je fér říct, že podle článku testování a optimalizace samostatně proběhly úspěšně také, ale teda v letadle bych to asi ještě mít nechtěl.

[Márv @getmarv]

AI agent smazal produkční data a zálohy. Ne proto, že "AI je zlo", ale protože token měl moc, API nemělo brzdu a backup byl ve stejném scopu jako produkce.

Opakujeme 3x děti: Prompt pravidla nejsou guardrails.

[Česká televize @CzechTV]

🚀 Nachystejte uzenáče, na snídani jsou zpátky! Ztracená posádka těžařské lodi nepřestává hledat planetu Zemi. Už tři miliony let.

📲 Všechny díly legendárního britského sci-fi sitcomu Červený trpaslík najdete v iVysílání ➡️ https://t.co/awETeeCwgu

[Márv @getmarv]

Cloudflare teď na jejich blogu ukázal vlastní interní stack. Nejzajímavější není výběr modelu, ale ta "nudná" vrstva okolo: MCP servery, řízení přístupu, OAuth, audit, CI/CD.

https://t.co/2KndhbCCZh

[Márv @getmarv]

Ofico oznámení zde: https://t.co/urkhDAFrL0

[Márv @getmarv]

Anthropic si s Amazonem zamkl až 5 GW výpočetního výkonu na 10 let. To už je průmyslová politika s racky místo hutí.

Zdá se mi, že v AI nezačne vyhrávat jen lepší model. Začne vyhrávat ten, kdo si dopředu zabookuje čipy, paměti a proud. ⚡