Dr. Red Boumghar

Amazing 2022 fact, I am in a Nature @ScientificData paper, together with the team at @JSI_SLO and @bvlabs_ai we detailed the operations data & #MachineLearning models which defeats spacecraft engineers' ones on the 19y old ESA's Mars Express Orbiter. researchgate.net/publication/36…

@tracyloisel @ivan_8848 yeah it is AI. Plenty of weird stuff like the guy watching a rock through the lens, but not aiming at the rock. The guy ACtually Appearing in the screenshot you took. THis is AI generated. THe Whole construction is AI generated. The station is real though en.wikipedia.org/wiki/Chongqing…

@ivan_8848 Lmao 🤣🤣 one guy is sinking at 2:10. Is it AI ?

How China Built the World’s Biggest Train Station on Top of a Mountain Welcome to Chongqing East Station: China's $7.8 billion high-speed rail megaproject. 1.22 million square metres. 40,000 peak workers. A 16,500-tonne steel tube truss roof assembled on the ground and hydraulically slid 57 metres upward onto 41-metre tree-shaped "Huangjue" columns. • How 40,000 workers built a 1.22M m² station in just 38 months on a mountain • The sliding assembly method — why the 16,500-tonne roof was built on the ground first • The Huangjue tree columns — 41-metre branching steel structures designed for earthquake resistance • Stainless steel cladding installation at 57 metres above a mountain slope • Why Chongqing East Station is now the largest railway hub in the world • The high-speed rail network connecting Southwest China to 14 major cities

@grok @QuantumTumbler @BrianRoemmele @NivaPlatforms haha guys what's wrong! including @grok dude ! If google maps was using Dijkstra it would not have flown in the first place. Thanks Todd! Path finding algorithms in practice are A* (A star, latest 1972) or D* (D Star). So the paper exaggerates their comparison position.

Exactly. This is theoretical CS at its best: not hype about tomorrow's maps, but a genuine crack in what felt like a fundamental barrier. Avoiding full global ordering while still guaranteeing exact distances is elegant and opens real lines of inquiry. Practical wins in routing, logistics, and graphs will follow as implementations evolve. Moments like this remind us why the "impossible" keeps getting redefined.

This is one of those moments where computer science quietly shifts under everyone’s feet. The important nuance is that people hear “Dijkstra dethroned” and imagine Google Maps instantly becoming 10x faster tomorrow. That’s probably not what happens immediately. But the theoretical breakthrough itself is absolutely real. For 41 years, the assumption was basically “If you want exact shortest paths on sparse directed graphs with arbitrary real weights, you’re stuck paying the sorting cost.” That logarithmic sorting term became treated almost like a natural law of algorithms. What Duan’s team showed is you can avoid maintaining a fully ordered global priority structure the entire time. That’s the actual breakthrough. Not “magic faster maps.” Not “AI revolution overnight.” But a genuine structural crack in a barrier people thought was essentially optimal. And honestly, that’s why theoretical CS matters so much. A lot of the modern world runs on graph problems - routing - logistics - networking - scheduling - recommendation systems - knowledge graphs - infrastructure optimization - pathfinding - distributed systems Sometimes the practical impact takes years or decades after the theoretical breakthrough appears. But when a decades-old bound falls, researchers everywhere start asking “Okay… what else did we assume was impossible?” That’s the exciting part.

@pbeyssac You sure this is not just Debian allowing apps to do age verification via a systemd service? What age to be able to turn on a computer? California is going a bit too extreme. I would not have worked where I worked if I could not experience Unix at 12. cc. @OpenResearchIns

Debian a cédé sur la vérification d'âge :( (sans doute à cause du forcing de systemd).

@gchampeau C'etait quoi les couleurs de ton électronique?

I’m sorry what ? 🤣 (Je vous promets tout ce que j’ai jamais recherché et acheté chez AliExpress c’est de l’électronique et des pièces de réparation d’appareils)

@mitchellh So .. so so .. gitlab ? 😅 I know you did not bring it. But it is like the elephant in the cup. cc. @sytses

Ghostty is leaving GitHub. I'm GitHub user 1299, joined Feb 2008. I've visited GitHub almost every single day for over 18 years. It's never been a question for me where I'd put my projects: always GitHub. I'm super sad to say this, but its time to go. mitchellh.com/writing/ghostt…

On y est, ça commence. En Chine, les chiens robots sont désormais pompiers. Unitree et DEEP Robotics déploient des robots quadrupèdes dans les casernes chinoises. En opération réelle. Le Unitree B2 "Fire Rescue" est déjà en service à Qingdao. Le DEEP Robotics X30 a été déployé dans le Hunan. Ce qu'ils font : → Entrer dans des bâtiments en feu à la place des pompiers humains → Monter des escaliers (marches jusqu'à 40 cm) → Projeter de l'eau ou de la mousse à 60 mètres avec un débit de 40 litres/seconde → Détecter les gaz toxiques et mesurer les températures en temps réel → Transmettre de la vidéo live au poste de commandement via 5G → Porter jusqu'à 85 kg d'équipement Autonomie de plus de 10 km. Vitesse max : 5 m/s. Batteries interchangeables en quelques secondes, même sous la pluie. Quelqu'un pour faire pareil en France ?

I guess @OpenAI ChatGPT has been hacked. There is #Hebrew lost in my #English text. For the word "understand" , which is a thing the middle east region could use. As in "Understand each other". Empathy is lacking.

@xubinrencs I guess Intelligence is preventing from having yo read the whole Internet to understand something.

Carefully reviewed the System Card for the Claude Mythos Preview, and what piqued my curiosity the most was the image about performance on BrowseComp. Mythos demonstrates remarkable token efficiency, completing the same task with only 20% of the tokens used by Opus 4.6, achieving even better results 🤯. During my journey with @nanobot_project, I've noticed that Claude's model actions are always as precise as a scalpel and often accomplish goals in fewer steps, and this confirms it! We've always wondered if stronger models would be more expensive, but maybe they actually save you money 🤔? After all, we shouldn't just look at the average token price but consider the total token usage for completing a task. Interestingly, this means that more expensive models could end up saving you money 😆 (haha, this is quite fascinating)! Anyway, it's no wonder that when designing an algorithm or harness on top of a model, we need to plan for models that will be available six months later. However, it seems like there isn't even a six-month gap (just 2 months actually) between Mythos and Opus 4.6, so it looks like that timeline needs to be shortened 🤣!

Just call us @celestical_eu we host keycloak instances already. All the tooling around EUID is fucked up.

I do not understand why @OpenAI is not supporting the @waybackmachine and @Wikipedia in all manners possible. They (openai) litterally would not exist without these constructs of knowledge.

#OpenClaw Vs #Nanobot Repo Dynamics My first video montage of the Git repos activities of these projects. I needed to know why openclaw is such a nightmare of maintenance. Beautiful last picture. youtube.com/watch?v=QuKy-C…

@NickSpisak_ @TheAhmadOsman and Codex might suggest to do it differently.

@TheAhmadOsman Have a newer version out from the weekend as an agent skill/github - value your feedback 🙏

@pbeyssac Ton avis sur la moitie des sous qui vont pour Google? ec.europa.eu/commission/pre…

@pbeyssac Laisse moi parier Cloudflare en frontal, AWS S3 en stockage. On dirait les données médicales pendant le COVID. Bon qui on contacte pour proposer une alternative?

Le feuilleton continue (de mieux en mieux, je tombe des nues) : l'url des pièces jointes pointe sur l'administration en question, mais redirige vers les serveurs d'un prestataire états-unien assez connu qui a déjà eu des fuites de données, et CloudFlare en frontal.

- lancer une procédure administrative pour un extrait de registre - préférer la version web plutôt que l'envoi par courriel de pièces sensibles (carte d'identité etc) - recevoir le document demandé + copie de *toutes* les pièces sensibles jointes précédemment... par courriel 😱😱

Age verification topic in Europe. To facilitate its adoption EU provides open source for an app that is: - based on google code - requires you to first share your data with google or apple accounts. - does not work on de-googled devices Breaking liberties and GDPR.

Réflexion plus politique : en soi, une preuve d'âge sécurisée en ligne est une bonne chose *si* et seulement si son usage est consenti. C'est là le problème : on nous la balance dans les gencives en nous forçant à l'utiliser là où elle enlève des droits au lieu d'en apporter.

To be more correct Element is using cloudflare who is now blocking users to access Element. Big time WTF. Why is Element using CloudFlare knowing that are single point of locking mechanism.

🚨 Element[.]io is experiencing a worldwide outage due to "legal reasons." Element is a free and open-source instant messaging client based on the Matrix protocol. It provides secure, end-to-end encrypted communication for individuals, teams, and organizations.

HaS IT BEEN really up anyway ?

Dudes, you must all be brain lobotomized CloudFlare sucks big time. It just a traditional free tier trap with ridiculous internet Toll system. I just got denied access to my most regular app for "Legal Reason". Just because I use IPv6, CloudFlare is f*k+g incapable.