Euskal Herritik barre egiten dogu Estatu Espainiarren ezkerreko alderdi politikoen lepotik batasunik lortzen ez dabelako. Agian ahasten jaku *hamarkadak behar izan doguzala* horrelako batasuna lortzeko.
“Eske horrela izan da beti, literal”
Today I went with my son to the Cantabrian Sea, sailing from Santurtzi, to see some cetaceans and get some pictures. We mostly saw common dolphins, but I got some not so terribly bad pictures.
Today I was just taking a look to recommend some 2nd hand PS5 device to a friend. It turns out that a 2nd hand PS5 today is more expensive than the PS5 I bought at launch time, years ago, when it was new.
Note to myself: detecting optimizations like -fipa-ra allows discovering same CU functions. https://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#index-fipa-ra
The work the folks at @0patch do is amazing
Mozilla is hiring a Senior Incident Responder. Remote in the European countries where we can hire (NL, BE, FI, FR, UK, ES, SE, DE) with an option to come to the office/co-working spaces that we have in Berlin, Paris, and London. This is a great team to work with (but not my team :)). Apply here https://www.mozilla.org/en-US/careers/position/gh/8237812/
Azken bolada honetan gero eta gehiago ikusten dodan arazo larri bat: Dunning-Kruger galanta adimen artifiziala erabiltzen dabenakaz. Jende pilo batek orain uste dau badakiala gai bati buruz chatbot bati galdetu dautsatelako eta, noski, horretan diharduten baina gehiago dakite jada ze begira chatbotak esan dauana.
Honekin batera aipatu daiteke apaltasun gero eta gutxiago ikusten dodala...
RE: https://mograph.social/@dilmandila/117432072219819451
Please help finance GIMP, Inkscape and Krita instead of spending your money on trying to get Claude to make you a Photoshop clone.
https://www.gimp.org/donating/
https://inkscape.org/support-us/donate/
https://krita.org/fr/donations/
Nietzsche Finds a Genie
https://existentialcomics.com/comic/676
A 15 years old Basque beaten by the french police for speaking Basque.
https://www.ici.fr/emissions/l-invite-d-ici-matin-pays-basque/bayonne-que-justice-soit-rendue-reclame-une-mere-de-famille-dont-la-fille-porte-plainte-pour-violences-policieres-5387239
Nitter currently has no legal counsel.
｢ I'm seeking funding and legal help to fight for the future of Nitter. If you're a lawyer, an organization, or anyone who can help, please get in touch. Any further news will be posted here ｣
Honestly, I do Open Source in my spare time, and having to read cryptic AI written texts to determine if it was a hallucination or if it is a real bug is a pain in the ass. And, actually, most of the AI reports I get are stupid or simply invalid.
How can I add in Github a note/warning when opening an issue? Not an issue template, just a warning. Basically I want to add this to #Diaphora
```
**AI usage**
Please DO NOT SUBMIT AI WRITTEN REPORTS. Even if you think your English is bad, I prefer it rather than cryptic clankered text, that might or might not be correct. Also, automatically sending reports using tools like claude, cursor, etc... are being an annoyance rather than helping me, so please do not. Thanks.
```
I have also made a couple of changes, bug fixes, in the Diaphora ML repository with the dataset(s) and the tools for training.
I have published yet another maintenance release for #Diaphora, version 3.4.3, adding support for IDA 9.5 (currently in beta), re-enabling ML support, adding proper support for dark mode in IDA and fixing a number of bugs
Ez dot uste Laranja Jauna (Trump) pozik egongo denik.
"Navanethem Pillay juristak irabazi du Bakearen Nobel saria"
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs https://lobste.rs/s/axmhji #pdf #formalmethods #math #reversing #vibecoding
https://arxiv.org/abs/2610.08144
OpenAI mistranslated mathematics into code for its Navier-Stokes proof