Seguimos levantando el proyecto... pasito a pasito, sin prisa pero sin pausa... un problema menos a cada paso... (versión corregida de errata)

Cuanto más realista hagas una simulación más se parece al tedio administrativo sin fin, a la lucha inacabable contra los efectos de la entropía, en la naturaleza como en la sociedad, y a darse cuenta de que los recursos son siempre escasísimos y nunca hay para casi nada.

Es la moda, joder a docker @rfog42 @TheDevilOps @jreypo @root_rat @sabuesognu @DanielValverdeC @versvs @tejedor1967

I like it, but really miss secure connection with Gemini Assistant on my phone, so I can work remotely using text or voice. And even get actions on real tasks by creating custom software on the go to do it!

Esto es lo que recomendaría estudiar hoy a quien me preguntase.

"Nunca pensé que viviría para ver el día en que la derecha se convertiría en la que le haría la peineta al establishment, y la izquierda se convertiría en unos imbéciles llorones y moralistas, sermoneando a todo el mundo desde su superioridad moral” -John Lydon, Los Sex Pistols

Woha

Cierto. Aunque hay alumnos a los que el profesor,sepa o no sepa, les es totalmente indiferente.

😂😂😂

scoop: Microsoft has restricted employees from using Anthropic's new Claude Fable 5 model in GitHub Copilot, because of data retention concerns. Microsoft’s legal teams are evaluating Anthropic’s new data retention changes. Full details 👇theverge.com/report/947575/m…

One of my personal favorite features announced at WWDC will I suspect be a sleeper hit: container machines, allowing your Mac to run a lightweight, persistent Linux environment with your home directory and repos automatically mounted: github.com/apple/container/b…

Imagine if they trained on all the art in the world and then didn’t even let artists make art with the models

Our model is so dangerous, we're keeping your data, just in case

Just trying to work on fixing GStack and running into this with Fable 5 *long sigh*

We tried to warn everyone that this was the hidden intent for years

Bro, Fable 5 won’t even answer “What does the heart do?” We’ve reached the point where a middle-school biology question can’t pass the safeguard.

One interesting aspect of how AI produces code (or produces hardware) is that it does not need the abstraction barriers required by humans or organizations. A famous (or infamous) example is the ISA which split the world into software (Microsoft) and hardware (Intel). Now we are in a position to radically rethink the hardware/software boundary, and to some extent erase the difference between hardware and software. When an AI is given a specification of some computation it can now use carefully curated components with formal semantics and proved correct algebraic laws about their composition to produce entirely new systems that are a blend of hardware and software, all produced from one coherent description, with the final result translated into C/Rust or Verilog which is correct by construction, a dream of 80s software research which has now become a practical reality. So AI and verification is going to break down the silos and barriers that have driven up the cost of system design, instead putting hardware/software on a spectrum from which we can pick the point that matches our power, area and performance requirements. Now we can totally rethink how to do verification. Instead of having a specification and some artifact created somehow and trying to relate the specification to the implementation, we can start with the specification and iteratively refine it, applying proved correct transformations, adding additional detail (pipeline stages, registers, caches etc.) until we have the concrete implementation we desire. There is nothing to prove about this implementation, because it is correct by construction, finally realizing the 80s dream of the Bird-Meertens formalism. Back then we did not have the proof automation to make refinement from specification to implementation practical. Today we do.

Big G did it guys

We are so back, baby

😂😂😂😂