#9 ningún ingeniero listo va a firmar responsabilidad para un software que, de seguro, tendrá bugs. Sería la era de "la culpa del informatico", de los tontos que firmen.
#27"Using this framework this framework, we automatically resolve an open problem in commutative algebra proposed by D.D. Anderson (2014) and formally verify the resulting proof in Lean 4 with essentially no human involvement."
Cuando una IA resuelva una conjetura matemática, algo que ocurrirá en cuestión de meses -> Automated Conjecture Resolution with Formal Verification: we propose an automated framework for tackling researchlevel mathematical problems that integrates natural language reasoning with formal verification, enabling end-to-end problem solving with minimal human intervention.
"me la juego a que tú y unos cuantos estaréis por aquí diciendo que esto no significa absolutamente nada." -> ¿Y qué me quieres decir con esto? Pues muy bien, a gastar más agua y más energía ingentemente para problemas que no le preocupan a nadie.
#67 Pues no. Precisamente he dicho que no lo era, que es un comentario adecuado para evitar que alguien se tome en serio eso del origen judío (no hay fiabilidad) y de ahí dedujera que era judio, lo que es imposible.
#18 ya me he esforzado. Espero que mi crítica no te parezca tan absurda ahora.
He hecho un resumen. Si quieres más info. Buscalo en google. Buenas noches
#20 Yo trabajo como conductor de autobús en una empresa pública y estamos negociando la subida salarial de este año, que quieren limitar al 3,29% por la inflación. Mientras tanto, el CEO de Dublin Bus se ha subido el sueldo en unos 65.000 €, lo que supone aproximadamente un incremento cercano al 15–20% sobre su salario base.
Mientras tanto, el transporte público sigue lejos de lo que debería ser una capital europea moderna, con problemas de frecuencia, capacidad y planificación. Tenemos el peor transporte público de Europa!
Y todo esto en un contexto donde la gente está cada vez más ahogada: aquí se paga una carga fiscal equivalente al IRPF de otros países europeos, con uno de los niveles de IVA más altos, y además seguimos arrastrando un impuesto adicional introducido en la crisis de 2008 (alrededor de un 8%) que iba a ser temporal pero nunca se retiró.
En sanidad, la realidad es dura: las visitas al médico pueden costar en torno a 60 €, las urgencias alrededor de 100 €, y los medicamentos no tienen cobertura como en otros sistemas públicos europeos.
A esto se suma el coste de vida: electricidad y gas entre los más caros de Europa, alquileres e hipotecas disparadas, y una crisis de vivienda brutal que deja a mucha gente pagando porcentajes enormes de su sueldo por pisos en condiciones muy malas.
Las calles en muchas zonas están descuidadas, la ciudad está deteriorada, la seguridad brilla por au ausencia y la sensación general es de que los servicios públicos no están a la altura NI DE LEJOS de lo que la gente está pagando.....
#20 Lo de que un millon es calderilla dentro de 126.000 millones. Es un argumento de mierda y una excusa barata.
El problema es que se gasta mal y sin control. Porque el bike shed, la impresora que ni encajaba y la garita no son anecdotas: son la prueba visible de como se tira el dinero. Y esos son solo los casos que trascienden.
Luego llegas a problemas mayores, como el National Children's Hospital. Que ha pasado de €650M a más de €2.2–€2.5 BILLONES. Esto son más de €1.5 billones de sobrecoste!!!!!!
Para ponerlo en perspectiva, ya que te encantan los numeros: 1.5 billones irlandeses (1.500 millones de euros) es como si juntasemos el Caso Gürtel, el Caso ERE de Andalucía, el Caso Púnica, el Caso Palau de la Música, el fraude de las mascarillas, el Caso ITV de Cataluña , el Caso Pokémon en Galicia y distintas tramas de contratos públicos inflados dirante la pandemia..... es decir, una suma de múltiples grandes casos de corrupción, contratos amañados y desvío de fondos públicos que, juntos no llegan a la cantidad que se ha quemado en el hospital.
Y no se queda ahí. El problema es estructural:
Sueldos públicos de €200k–€300k+ mientras los proyectos se descontrolan.
Consultoras y subcontratas metiendo capas y capas que inflan todo.
Rebrands absurdos de cientos de miles.
Avisos constantes de la Public Accounts Committee que caen en saco roto.
Y hay más ejemplos:
National Broadband Plan → más de €3 BILLONES
Proyectos del Office of Public Works con sobrecostes repetidos.
Un sistema sanitario carísimo con problemas crónicos.
Ni siquiera hace falta hablar de corrupción: la ineficiencia sola ya cuesta miles de millones.
Lo de “el presupuesto es enorme” no desmonta nada. Con esa lógica puedes justificar cualquier despilfarro. Pero ese dinero sale de impuestos altos, especialmente en combustible, que es justo lo que la gente está protestando.
Esto no va de sumar hasta 126.000 millones. Va de algo mucho más simple:
muchos despilfarros pequeños + varios gigantes descontrolados + intermediarios chupando del bote = millones y millones tirados.
Y eso sí le pega directamente al bolsillo de la gente, aunque quieras compararlo a las “pipas”.
#18 un murito de otro millon, una garita de acceso de otro millon, una impresora de un millon 800mil, un mando a distancia de otro millon..... los millones vuelan. El millon del parking de bicis era un ejemplo. Pero ejemplos hay todos los dias. Y en el hospital de st James llevan 1.3 billones ya....
#1 piden que se baje el impuesto. Que es casi del 65%. Irlanda tiene las arcas llenas. Han tenido superavit desde hace años. Por no contar un impuesto que agregaron al irpf en la crisis del 2008 del 8% que iba a ser algo temporal pero no lo han quitado.... luego se gastan el dinero en proyectos locos y chorradas. (Como un aparcamiento para bicis en el oarlamento que lapidaron casi un millon de euros, o el hospital de st James, que debe de ser el hospital mas caro de Europa, todavía sin terminar)
#5 y para que la pillase, tela. Con la vibración solían caer antes de pillarla. No digamos ya de la tablilla esa. La policía atendiendo a lo importante...
#1 Eso lo hacíamos cuando yo era niño en lo que ahora es torneo (que pasaba el tren) para ver como tiraba el tren la piedra a los lados.
Había una valla de ladrillo de cemento y a veces llegaba a romper los ladrillos por la fuerza con que salía. #3 No es terrorismo es una gilipollez de chiquillos y no va a "descarrilar" nada, un tres no descarrila porque pongas una piedra en la vía.
Como dice #5 y #8, esto es algo que se ha hecho siempre....
El problema es que, a lo mejor, las nuevas generaciones no lo hacían y los policías han sobre reaccionado, porque la policía es gilipollas en España, no tiene nada que hacer, solo sobre reaccionar.
#5
1º el carrito puede causar destrozos
2º La piedra, es bastante tocha... y puede mandarla a cuenca y herir a alguien...
Y en este caso, si el objetivo era "descarrilar" el tren, no es simplemente ver como se rompen piedrecitas... es querer intentar sacar un tren de la via.
#20, anda y tapate un poquito, porque con lo que ha pasado con las matemáticas los últimos meses, que pretendas sacar pecho cuando deberías esconderte debajo de las piedras, habla mucho de ti y de la clase de terraplanista que eres.
#11 alhambre 
