This report presents Human-Directed Agentic Engineering (HDAE), a method for building complex software by combining human-defined architecture, constraints, milestones, acceptance criteria, and stopping points with an autonomous implementation, execution, diagnosis, and revision loop. The experiment examines what this development model can accomplish and the domain expertise and executable validation required to keep it aligned Ginux serves as the experimental case study. Over eleven days, one persistent coding-agent task produced an independent Rust-first x86-64 kernel that boots through UEFI, implements its own core operating-system mechanisms and Linux compatibility layer, executes selected unmodified Alpine Linux programs, and boots a Rocky Linux 10 userspace with systemd through multi-user.target. Ginux demonstrates the rapid integration of established systems mechanisms, but it remains a research prototype. Its compatibility and hardware coverage are narrow, it has not received an independent security audit, and it makes no claim to production readiness or equivalence with Linux.
Gregory Kurtzer (CentOS, Rocky Linux) ha costruito un kernel completamente nuovo in 11 giorni. Un kernel Rust-first nuovo e indipendente chiamato Ginux, scritto quasi interamente da un agente OpenAl Codex con GPT-5.6 Sol, Kurtzer ha curato l’architettura.
Dato che l’agente Al è stato addestrato con fonti che includono il kernel #Linux, sarebbe un’opera derivata e soggetta alla GPL.
Usare l’IA per aggirare problemi di licenza potrebbe non essere una buona idea.
@G3rt@linux@linux@diggita.com Ho dato una lettura rapida, c’è qualcosa di abbastanza interessante per quello che arrivo a capire. Come software funziona, in maniera davvero inefficiente, ma fa notare che quello che manca davvero è tutto quello che gira attorno a una kernel, la “infrastruttura”, che è ciò a renderla rilevante.
La conclusione del punto 7 meriterebbe una lettura anche se tutto il resto esce dalle proprie competenze.
@raster@linux@linux@diggita.com un kernel non è solo qualche migliaia di righe di codice puro, è (anche) storia sedimentata in un codice. Linux gira anche su dispositivi molto vecchi, quasi per “filosofia”, rigetta la tendenza all’obsolescenza programmata, la rincorsa all’ultimo gadget utile al mercato. Per farlo deve mantenere codici e funzioni che spesso un LLM indica come obsoleti e da ottimizzare senza tener conto che decine di dispositivi smetterebbero di funzionare correttamente.
M2C
@G3rt@linux@linux@diggita.com Un po’ meno vero, purtroppo, dalla release 7 che ha tolto completamente il supporto a vario hardware a 32bit, anche in parte a causa che interferiva col lavoro delle LLMs usate dagli sviluppatori; ma Linux non ha mai fatto del supporto perpetuo un punto cardine del progetto come lo è per NetBSD.
Attualmente per alcuni hardware il solo modo di supportarli è rimasto Gentoo ed appunto NetBSD.
@G3rt @linux @linux@diggita.com Ho dato una lettura rapida, c’è qualcosa di abbastanza interessante per quello che arrivo a capire. Come software funziona, in maniera davvero inefficiente, ma fa notare che quello che manca davvero è tutto quello che gira attorno a una kernel, la “infrastruttura”, che è ciò a renderla rilevante.
La conclusione del punto 7 meriterebbe una lettura anche se tutto il resto esce dalle proprie competenze.
@raster @linux @linux@diggita.com un kernel non è solo qualche migliaia di righe di codice puro, è (anche) storia sedimentata in un codice. Linux gira anche su dispositivi molto vecchi, quasi per “filosofia”, rigetta la tendenza all’obsolescenza programmata, la rincorsa all’ultimo gadget utile al mercato. Per farlo deve mantenere codici e funzioni che spesso un LLM indica come obsoleti e da ottimizzare senza tener conto che decine di dispositivi smetterebbero di funzionare correttamente.
M2C
@G3rt @linux @linux@diggita.com Un po’ meno vero, purtroppo, dalla release 7 che ha tolto completamente il supporto a vario hardware a 32bit, anche in parte a causa che interferiva col lavoro delle LLMs usate dagli sviluppatori; ma Linux non ha mai fatto del supporto perpetuo un punto cardine del progetto come lo è per NetBSD.
Attualmente per alcuni hardware il solo modo di supportarli è rimasto Gentoo ed appunto NetBSD.