Claude Opus 4.6 vytvořil kompilátor jazyka C (diskuse)

[X]

ktery je uplne k nicemu.

I do not recommend you use this code! None of it has been validated for correctness. ... The docs may be wrong and make claims that are false.

[Radovan]

Jde tím zkompilovat kernel? Nabootuje? Může to jít do prodeje

[karkar]

myslim že gejts právě slintá nad tim jak vyháže 90% zaměstnanců....

[MakeIranBombedAgain❗]

to už myslimže jednou zkoušeli a zase je pak nabrali zpatky :D

btw sem někde narazila na drb že microsoft pro interni učely nepouživá copilota ale pravě tohodlectoho clauda aže ho dotoho copilotu plánujou ňák naroubovat :D

[CandySan]

Pokud by mi nekdo chtel tvrdit, ze se da programovat pomoci copilota, tak mu neverim ani vterinu

[Derryk]

Hm, tak to musím dlouholetému kamarádovi z dětství říci, že mi lže. Tvrdí mi totiž, že používají Copilota zaučeného na jejich projektech v jakési izolované variantě jen pro jejich koncern. Nebo mám držet ústa a v rámci zachování přátelství překousnout tento nesoulad s realitou a brát to jako jeho nevinnou libůstku? Poraďte prosím. Má emoční inteligence je nízká a někdy se limitně přibližuje 0.

[CandySan]

Z daleka nejlepsi je poslechnot hlas sveho srdce a trochu rozumu. Treba z toho vyjde neco uzitecneho

[Derryk]

Díky. Takže konfrontace. Lhaní znamená nějaký problém, který ho sužuje tím lhaním ho (ne)řeší a obává se o něm mluvit. Doufejme, že to nebude něco moc osobně bolestivého, ale raději to nenechat vyhnívat.

[CandySan]

Příloha:

• anth.png (83281 bytů)

Ted vazneji. Ja tim myslel to, ze vysledky byly mizerne. Samozrejme, ze na drobnejsi konstrukce (drobnejsi prvky i v rozsahlych programech) se to pouzit da a udela to nejakou praci. Samozrejme, ze kolem sebe mam prekvapive mnoho lidi, kteri to take pouzivaji. Nicmene na vetsi kontext to moc sikovne neni. Pojdme se klidne dohodnout na tom, ze je chyba ve me a ze treba se to musi nejak specialne pouzit. Nicmene srovnavani anthropicu a copilota mi pripada byt az prilis kontrastni. Zkousel jsem i z.ai, ktery mel jakoze davat slabsim modelum od anthropicu na zadek, ale i kdyz vysledky byly pusobive, tak to stale nesnese srovnani. Sonnet se ukazal byt hodne uzitecnym v tom, ze premysli nejen o sirsim kontextu, ale take domysli dusledky. To mi u z.ai take chybelo. A srovnavat z.ai s copilotem je take kontrastni. Kdyz se copilot dostane do uzkych, tak porad dokolecka opakuje tu svoji posledni vetu a neni uniku. I na jednodussich vecech docela kuriozne selhal. Potreboval jsem nejake informace k napojeni na entru vlastnim kodem z linuxu (nakonec jsem to udelal bez copilota, kdyz nesel pouzit) a jedine na co se zmohl bylo to, ze me porad dokolecka odkazoval na nejaky uzivatelsky manual k instalaci ms windows a do nej prislusnych komponent. Rekl jsem mu, ze je takova pomoc "frustrujici" a vykopnul me s tim, ze jsem porusil pravidla openai, nebo co. Sonnetovi, nebo Opusovi muzes klidne i vynadat a namisto vykopnuti se fakt vic snazi. A nemam na mysli vulgarizmy, ale vynadat ve smyslu, ze jeho reseni porusuje dohodnutou sadu pravidel, nebo ze navrhovane reseni je na houby, protoze zpusobi tohle a tamto... A kdyz uz jsme u tech vulgarizmu, tak odpovida lidsky a tu a tam od nej prijde veta typu "A kurva! to musime zmenit". Ale to je spis jen pro pobaveni. Nicmene podava neuveritelne vysledky mimo to co se obvykle meri. Tedy nemam na mysli rychlost, ale to domysleni dusledku a skutecne smysluplne navrhy. S copilotem u me prevazovaly frustrujici zazitky a ani jsem ho nemohl smerovat, protoze ho to hned z kraje urazi.

[Derryk]

Copilota používám teprve cca týden a jsem příjemně překvapen (Python do nízkých jednotek tisíců řádků, spíše vyšších stovek). Ale to je asi dáno despektem se kterým jsem k němu přistupoval. Na Claude rozhodně nemá. Kamarád ho používá v rámci koncernu, jak jsem psal trénovaného na jejich již hotových projektech. Možná díky tomu tréninku podává dobré výsledky ve větších celcích. Běží na serverech MS a mají garantováno soukromí a bezpečnost dat. Dle jeho slov mu zrychlí práci z týdne na den. Na Copilotovi mne štve přecilivělý orchestrátor. Stačí nejen sprosté slovo, ale např. i obyčejný dotaz na velikost jeho kontextového okna, názvu LLM(veřejně publikovaný MS) a blok. Vulgarismy používám u GPT 5.2 a Gemini 3 PRO. Mají neobyčejně posíleny paterny s gravitací a pokud řešení běžných problémů má neběžné řešení motají se v paternu a opětovně navrhují již neúspěšně vyzkoušené nebo zamítnuté postupy. Jedině vulgarismy se podařilo z bludného koloběhu vyskočit na čas dostatečný k vyřešení problému. Claude, alespoň zatím, tímto netrpí v takové míře.

[MakeIranBombedAgain❗]

jo, zlád to :D

.....can build a bootable Linux 6.9 on x86, ARM, and RISC-V. It can also compile QEMU, FFmpeg, SQlite, postgres, redis, and has a 99% pass rate on most compiler test suites including the GCC torture test suite. It also passes the developer's ultimate litmus test: it can compile and run Doom.

[Heretik 《小魔神》]

Nevěřím tomu, že by LLM dokázal sestrojit řádně fungující runtime C v jakémkoli jazyce, protože LLM spektakulárně nezvládají pochopit rekurzi. Zejména mají potíže s totální rekurzí, jako je například Ackermannova funkce.

Sám Rust ostatně rekurzi nezvládá řádně též. Zejména ne v šablonách, kde je potřebná s typovou unifikací. Podle mého dojmu to tudíž není ani compile-time Turing-úplný jazyk.

Dokažte někdo, že je.

[Heretik 《小魔神》]

Přímým důsledkem je, že dokazatelně existuje třída (korektních) algoritmů, které v Rustu nejdou vůbec napsat.

[luky]

Neexistuje rekurzivni algoritmus, ktery by nesel prepsat do cyklu.

[Heretik 《小魔神》]

Napište v cyklu Ackermann.

Ano, jde to, ale potřebujete pak polynomicky nepředvídatelně velkou paměť. Anebo goto. Protože ty dva cykly se kříží. Což rustový kompilátor asi nedokáže. V C je goto stále přítomno právě z důvodů možného větvení v totální rekurzi v run-time.

Rust totální rekurzi ani v compile-time nedá, jeho typový systém je příliš slabý. Korektně implementované C++ šablony anebo Prolog anebo Lisp ano.

[Radovan]

ZX Spectrum s křížením FOR cyklů nemá problém

[luky]

Pamet je asymptoticky stejna jako u rekurzivni implementace, protoze jediny rozdil mezi cyklem a rekurzi je, ze u rekurze mi praci se zasobnikem dela implicitne prekladac, kdezto u cyklu si to musim delat sam. Rekurze nemusi jit prepsat do cyklu, kde pocet iteraci musi byt znam pri vstupu do cyklu, jenze treba v C ani zadne takove cykly nejsou.

[Xerces]

A programátoři Rustu nebudou mít co žrát.

[PetebLazar]

Nějaký konkrétní důvod proč překládali cca 2 roky starou verzi kernelu?

[X]

Dva roky to sjizdeli dokola do stavu, ze to nechciplo.

[Ariczek]

Teoreticky, cca 2 roky (od verze 6.8, prosinec 2023) jsou v jádře první drivery napsané v Rustu... pokud použili 6.9, možná bez Rust částí, aby byl kernel čistě v C?

[MakeIranBombedAgain❗]

hele srovnavačka s gcc :D ;D

[Peter Golis]

Vidím že to má budúcnosť. Vzniklo to pomocou c2rust, alebo sa to vyevolvovalo z blogískov?

[Peter Golis]

Inak pozerám že je to už slashdotted aj s pekným zhrnutím:

Carlini also invested significant effort building test harnesses and feedback systems to keep the agents productive, and the model hit a practical ceiling at around 100,000 lines as bug fixes and new features frequently broke existing functionality.