Per aspera ad astra. Gradually then suddenly. Bio/acc, e/acc

Gerard retweeted
A raíz del hackeo de Adif y Renfe se ve otra vez el mismo fallo: das el DNI para un billete y la empresa se queda un número que no caduca. Si se lo roban, sigue valiendo años después. Propongo un DNI tokenizado: identidad interna estable + identificadores rotativos para empresas. Si hay un hackeo como el de Renfe/Adif, se revocan. Como una tarjeta virtual, pero para tu identidad. Funcionaría así. El Estado conserva el identificador fijo, el de Hacienda, la Policía y la Seguridad Social. A cada empresa le llega otro, distinto y ligado a ese servicio. Si mañana les entran, se anula esa clave y se acaba. Tú no cambias de DNI. Ellos se quedan con un código que ya no sirve para nada.
29
88
373
19,314
Gerard retweeted
AI LAST EXAM
8
13
153
13,501
JavaScript was never designed for the server. If that doesn't change soon, JavaScript on the server will be replaced by Rust. The fix needs to happen in the engine. Sound types. Ahead-of-time compilation. Threads with shared objects.
"I love Rust! Rust is amazing ...if you never, ever, EVER have to look at it yourself." — @dhh
302
162
3,843
899,877
Gerard retweeted
AI is getting cheaper more quickly than any other transformative tech in history. At a given level of performance, cost has fallen ~47%/quarter since 2023. That’s 4× faster than DNA sequencing, 6× faster than compute, 18× faster than lithium batteries, and (up to 1973) 54× faster than electricity.
207
1,375
8,789
1,938,397
Gerard retweeted
De 17.500€ a 38.000€: El muro fiscal europeo. ¿Protección industrial o rescate encubierto pagado por todos?
9
102
302
14,457
La Sociedad Española de Neurología (SEN) reclama que los dos fármacos contra el Alzheimer que ya están disponibles en otros países sean incluidos en la financiación pública española. Los ensayos clínicos demostraron ralentizar el deterioro cognitivo en fase inicial en torno a un 27% y un 29% a los 18 meses.
16
501
832
82,720
Acabo de publicar el render 3D de mi hígado. Salen 20 lesiones. Soy ingeniera y tengo un cáncer de mama metastásico. De esas 20 solo hay dos medidas en el informe de radiología, una en el segmento II de 20 mm y otra en el IVb de 19, las dos del TC del 8 de septiembre. Las otras 18 las ha sacado Polaris, mi sistema agéntico, y todavía no las ha validado nadie. En mayo un PET no vio nada ahí, en julio ya había metástasis y del TC de septiembre salen las 20. Es impactante que aparezcan tantas en tan poco tiempo. Del hígado el informe escrito dice «múltiples». Del hueso dice «incontables». Y eso es lo que más me ha chocado, que no ponga el número de lesiones. El primer visor que hice fue el de los huesos, y me sirvió de apoyo cuando decidimos con mi equipo qué lesión biopsiar. Ahora ya le he añadido el hígado y el tumor primario de la mama. Los puedes girar tu aqui 👇 helpmiriam.com/lesiones-x Cada vez tengo menos tiempo y espero que estas herramientas ayuden a agilizar procesos. Sigo alucinando que lo que construyo tiene impacto real en mi salud y en las decisiones que tomamos.
216
2,487
7,523
862,038
Gerard retweeted
Koenigsegg has developed an electric motor for cars called "Dark Matter" that produces 800 horse power (600 kW) and 1250 Nm of torque, while weighing only 39 kilograms (86 pounds). This motor is designed for use in their hypercars, and it utilizes an innovative "raxial flux" design.
21
67
673
54,768
Gerard retweeted
He construido algo que lee los 100.000 contratos públicos licitados en España cada año y te dice exactamente a cuáles puedes presentarte. Todo gracias a la minibeca de @XMihura 🤠. Te cuento cómo funciona:
20
57
526
40,142
BREAKING: Exxon Mobil has shut down one of the largest diesel refineries in the Midwest, which produces ~11 million gallons of gasoline and diesel fuel per day, due to outage issues. This comes as diesel prices have already surged nearly 90% this year and the US has entered peak diesel demand season. We expect to see diesel prices push toward $7.00/gallon.
932
5,215
27,864
3,653,655
One of the most important programming languages of the future may be C. Not C++. Not Python. Not Rust. In the era of AI-generated software, we no longer need the runtime cost of languages built for human readability. When AI writes the code, C becomes king again. Here is why: 🧵
151
148
1,167
299,368
Gerard retweeted
If SHA256 breaks tomorrow, the internet stops working. That's not an argument against quantum computing. It's an argument for better cryptography. When cloning was first possible, people warned of evil armies of clones. Thirty years later, cloning gave us better cancer research and zero clone armies. Y2K had the world convinced planes would fall out of the sky at midnight. The fix wasn't "stop building software." It was "go fix the code." You don't slow down technology because it can be misused. You use the technology to build stronger infrastructure around it. Technology is a neutral force. It cuts both ways. I'm betting on the side that builds, not the side that's scared of its own shadow. "Pace the frontier" sounds like wisdom. History says it's usually just fear.
We Must Pace the Frontier: I’ve written a new essay on why the AI industry should slow down, with a three-part plan for doing so. Anthropic is unilaterally committing to the first of these steps. We’ll provide third-party evaluators with permanent, employee-level access to our systems, so that they can verify adherence to our safety measures, report on incidents, and assess models’ alignment during training. You can read the full post here: darioamodei.com/post/we-must…
62
247
1,858
154,000
¿y si las pantallas no son el problema?
91
358
1,258
61,739
Gerard retweeted
SITUATION DETECTED: Google DeepMind announced AlphaGenome Atlas, a 1-petabyte map of predicted molecular effects for all 9 billion possible single-letter DNA changes in the human genome.
67
393
7,079
416,935
We went from Math Olympiads to Millennium Prize problems in 12 months. Yeah, definitely a bubble.
90
323
7,169
207,462
You're missing the core drama of the story: Tristan is softly accusing OpenAI of having stolen their result from Codex chat logs. Tristan then claims OpenAI tried to threaten him to not publicly disclose this, and that they'd give him the Clay Prize ($1M) as the "closest humans to the problem" if he'd agree to disavow his co-author, @__alpoge__ , who is at Anthropic. This is HBO-level drama, but with math proofs.
SITUATION DETECTED: Mathematicians Tristan Buckmaster and Levent Alpöge have made major progress toward solving the Navier-Stokes existence and smoothness problem, one of the most important problems in mathematics, and say OpenAI may have solved it fully.
239
3,679
25,764
1,603,321
Gerard retweeted
There is a heated debate right now. Tristan Buckmaster says OpenAI told him its AI had solved the Navier–Stokes Millennium Prize Problem. That claim remains unverified, and the discussions around it have erupted into a dispute over scientific credit. Here is what happened and what we know so far: Several different things are getting mixed together. Here is what the available evidence actually says. Building on work by Córdoba and Martínez-Zoroa, Alpöge and Buckmaster used Claude and OpenAI models to establish how initially smooth fluid flows can develop singularities under smooth external forcing. They released papers and Lean formalizations, and Terence Tao praised the advance. Their results cover Euler and related equations. They do not solve the Navier–Stokes Millennium Problem, which additionally involves viscosity. A suitable extension could resolve it, even with smooth external forcing. Then comes the disputed part. According to Buckmaster, OpenAI told him on September 6 that an internal model had already produced a proof for forced Navier–Stokes, potentially taking that final step. He says OpenAI’s effort began after information about their progress reached the company. He also disputes the initial description of minimal human involvement, reporting that the discussions revealed a team effort, multiple attempts, and substantial compute. Buckmaster further says publication proposals included having him write up OpenAI’s result without Alpöge as a coauthor, with Alpöge’s employment at Anthropic cited as an obstacle. He reports being asked, “Why would you ruin your career?” after saying he would make the circumstances public. Bubeck has publicly rejected allegations against him as “false and inflammatory.” These accounts are contested. The social posts do not establish what happened in the private discussions. There is also no established evidence that OpenAI trained on their private Codex sessions or stole their drafts. Buckmaster raises the question but explicitly writes: “I do not know whether our data was used.” tl;dr Alpöge and Buckmaster used AI to prove new results about how smooth fluid flows can develop singularities, advancing a research program relevant to the Navier–Stokes Millennium Problem. Their published work does not solve that problem, but Buckmaster says OpenAI privately told him its internal model had taken the remaining step. He has not seen that proof, and the claim remains unverified. But rumors are that OpenAI actually fully solved that milleniun problem.
49
74
828
131,116