Ministro de Asuntos Exteriores de Israel: "he decidido cortar la conexión entre la representación diplomática de España en Israel y los palestinos y prohibir al consulado español en Jerusalén prestar servicios a los palestinos en Judea y Samaria."
¿Como se le llama al sistema que limita el acceso a servicios básicos a los ciudadanos de una determinada etnia?
Instead of putting up "angry" performances wrt student protests and ICC's issuance of an arrest warrant for Netanyahu, Biden had better listen to what the Irish Prime Minister had to say when Ireland announced the recognition of the State of Palestine (along with #Spain and #Norway).
That's how politicians, who actually respect the intelligence of the people whom they serve, deal with political issues, and how they honor their homeland's love for freedom.
@65dBnoise I hate to tell you that in the case of Spain his PM is using this to erode his coalition government minority partner, which has always had a pro recognition stance (now very popular), by issuing the recognition on the week before a key EU election. The PM had promised recognising Palestine several years ago but ignored his own promise till he could get something out of it. He's not a principled man.
@65dBnoise@Lassielmr yeah, I don't know much about the Norwegian and the Irish intentions. Originally the 4 (them 3 plus Slovenia) were going to recognise today to separate it from the European elections campaign. They couldn't do it earlier because Slovenia couldn't as they needed Parliament approval and that has its own time.its not clear that Slovenia is doing it any more (not sure why) but the Spanish PM has decided to put it in the middle of the campaign. That's why I said he isn't sincere
@65dBnoise@Lassielmr I have no reason to doubt the Irish Taoiseach is sincere, though. This issue runs deep in Ireland and I'm surprised they didn't move forward earlier.
No, ICC's request for an arrest warrant for Netanyahu is not outrageous. What's outrageous is your defending of a corrupt extreme-right politician's genocidal war.
And good luck trying to explain to young voters how your idea about justice and "law and order" differs from that of the clown who's in court these days in NY.
@65dBnoise this is the reason he wants to move the discussion to moral grounds. One cannot really argue about morality, just like you cannot really argue about religion.
I'm more of a reader than a writer in 'Mastodon Space' but today I bring you something that those people I follow may not have heard of: what's likely to be the first attempt at a space suit, designed as early as 1936 in Spain. It was to be tested with a hot air balloon but unfortunately the whole thing had to be scrapped due to the Civil War. One piece of the original suit has now been found. In Spanish but Google Translate does the trick.
What's really exciting about the drive down the slope of the Neretva riverbank is that at some point along the way, maybe within a week or two from now, the rover will be visible by #Ingenuity's RTE camera, at the top right corner of an RTE image, as seen in this graphic by @stim3on where I marked a possible appearance with "future Perseverance".
La escuela (británica) de Minimargar va a hacer un día multicultural y nos piden que aportemos algo (en mi caso español). No puede ser comida. ¿Tenéis alguna sugerencia? Tiene que ser algo que no implique viajar a, o traerme algo de, España, que no sea the cringest (eg vestidos de chulapo o similares) y que sea medianamente rápido (no puedo leerles El Quijote). Se agradecen impulsos.
Not as easy to get there, as it may appear at a first glance. Lots of loose regolith. Can the rover afford to say "we're going to cross that bridge when we get there"?
Where's that bridge? 🙃 😀
Processed, rotated MCZ_LEFT, FL: 110mm
looking W (276°) from RMC 51.2794
Sol 1112, LMST: 12:22:51
As anticipated, there (lower center left) is #Ingenuity enjoying the sunshine in Neretva Vallis, as captured by the MCZ camera, yestersol, 2 minutes after noon.
Processed MCZ_RIGHT, FL: 110mm
looking from RMC 51.2578
Sol 1110, LMST: 12:02:00
This article has a misleading click-bait title. What's really happening is that some folks are trying to make the proof of Fermat's Last Theorem completely rigorous using a computer system called Lean.
While this is neat, I think it would be even more game-changing to create a bunch of webpages and videos that explain the proof of Fermat's Last Theorem really well. It would take lots of work. But I think the main thing holding math back is how poorly it's explained.
I'm sure that formalizing the proof of Fermat's Last Theorem will help the people who do the formalization understand the proof. But if one's goal were getting lots of people to understand the proof, formalization would not be the most effective approach.
By the way, I don't think Fermat's Last Theorem is especially important in itself! It's mainly just a convenient excuse for getting people interested in cool ideas like modular forms and elliptic curves. And I believe these, in turn, are just a convenient excuse for getting people to think deeply about even cooler ideas about the relation between algebra, geometry and symmetry. These ideas are very beautiful, but very hard to learn at present. You almost have to read them between the lines of existing books and papers.
@johncarlosbaez I have never used lean, not even for a "hello world" type of program (which I guess would be more like "0=!1") but I can imagine a world where Lean formalisation happens more automated to save time (perhaps aided by ML?) or when algorithms-based type of theorems (I've proved a bunch) have a proof integrated in the programmed algorithm itself. I believe that this project (funded by a 5 year EPSRC fellowship) was picked because it's one of the most serious and famous (1/2)
@johncarlosbaez theorems proved in the last century and at the same time one whose statement is simple to understand. Knowing the way funding works this probably helped him get the fellowship. Moreover, if I remember what Buzzard wrote in Mastodon (he's around!) he wants to prove it with technology available prior to Wiles's proof so that would, I would hope, give us a simpler proof to understand.
Is it just me, or is mathstodon search on the web interface (I don't even know if there is an mobile app for Mastodon) really .... bad.
Or do I just not know how to actually use the search interface? I get 5 results from a simple search word that doesn't include something I know I wrote a week or two ago.
Si tu pareja contrata con la administración en condiciones ventajosa, evade a Hacienda, te pone un piso y te lleva en el Masseratti de su empresa pantalla... ¿Qué más tiene que pasar para que le dejemos de llamar 'novio' y le empecemos a llamar 'testaferro'?
