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

[dnes 19:09 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.

[dnes 19:22 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ů....

[NUKE GAZA! 🎆]

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

[NUKE GAZA! 🎆]

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.

[dnes 19:59 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.

[dnes 20:02 Heretik 《小魔神》]

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

[dnes 20:23 luky]

Neexistuje rekurzivni algoritmus, ktery by nesel prepsat do cyklu.

[dnes 20:37 Xerces]

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