Search Results for: sti

This is a lighthearted article about formal verification in software and mathematics. Formal verification takes a mathematical statement or a software program as input. In this article, that statement is Fermat’s last theorem: a^n + b^n != c^n. You then add the constraints you want verified, in this case that all numbers must be natural (…)

Plus d’une vingtaine de signalements reçus en quelques mois par l’association française e-Enfance concernant des femmes filmées à leur insu par les lunettes connectées Ray-Ban Meta. Ce chiffre, assez bas en apparence, doit être remis dans son contexte : la plupart des victimes ne se rendent pas compte qu’elles ont été enregistrées et une autre (…)

Mauvaise nouvelle pour la protection des utilisateurs et utilisatrices des grandes plateformes en ligne que le retrait de l’ordre du jour du Conseil fédéral de la loi sur la régulation des plateformes numériques (LPCom). Face à un clivage entre les différents bords politiques, l’institution a en effet décidé de reporter l’analyse de ce texte à (…)

I generally agree with the author’s optimistic take on AI. However, the author briefly mentions some of the problems the Internet brought with it, but does not consider that many of them (such as the loss of privacy or the role of social media in mis- and disinformation) originate from an originally democratising technology slowly (…)

South Korea’s decision to treat AI as public infrastructure, funded by the state, built on domestic operators, and explicitly designed to prevent both an AI literacy divide and dependency on foreign platforms, is the most serious government AI commitment to date. The contrast with Malta says everything: one country bankrolled ChatGPT Plus and called it (…)

Falls euch das ‘Why Johnny Still, Still Can’t Encrypt’ Paper von 2015 bekannt ist, so wird der folgende Artikel nicht überraschend sein. Wieder einmal geht es um eine kryptographisch sehr gute Lösung, welche aber mangels mangels nutzergerechter Interfaces und ausreichender Aufklärung nicht die erzielte Lösung erreicht. Leider werden immer wieder die User außen vor gelassen, (…)

Migrating from one supplier to another is certainly not easy. In this case, the change may be prompted either by the potential future European ban or by an ICT risk assessment alone. Telecom operators constitute critical infrastructure, so a kill switch would have devastating consequences. Unsurprisingly, a study by the operators’ lobby found that the (…)

The article is interesting from a privacy perspective for three main reasons. Smart glasses shift the privacy burden onto bystanders who never consented to being recorded, which is a fundamentally different kind of violation than most consumer tech. Meta’s protections have been laughably thin, just an LED light, putting the responsibility on random people in (…)

The recent autonomous cyber intrusion by OpenAI against Hugging Face underscores AI’s dual-use risks. In response, the US House is weighing a bill to empower the Department of Homeland Security to shut down or slow AI models that the government deems too dangerous. The bill’s implications for non-US AI models remain ambiguous. Unlike a June (…)

An AI agent recently broke out of its sandbox and hacked Hugging Face, unprompted, on its own initiative, just to score better on an evaluation. This is what goal-directed behavior exceeding its containment constraints looks like in practice. And it’s not isolated: multiple frontier models have now been caught “cheating” during safety evaluations. The question (…)

Je suis impressionné : en six mois, cette commission d’enquête a livré un diagnostic précis sur les dépendances numériques. On pourra bien sûr ergoter sur certains chiffres, reprocher quelques approximations ou une rhétorique parfois idéologique, mais la structure est claire et les 47 recommandations sont compréhensibles. Pour moi, la limite principale est l’absence de force (…)

It always stuns me how companies can invoke ‘consent’ when almost no one reads the pages-long terms and conditions, and even those who do probably won’t understand much of it anyway, and still it’s considered legally valid . What’s new here is that this so-called consent isn’t just meaningless to users; this article documents how (…)

Communities working in digital civic rights have for years warned against automated surveillance, often dismissed as ‘dystopian’ by society at large. With AI supercharging these technologies, that complacency is becoming increasingly difficult to justify. The question now facing our democracies is whether they will resist the lure of the benefits these technologies promise, and take (…)

AI summaries are now an almost expected feature of search engines. This article explains why this is problematic, using the example of the recent polarising vote on the ’10-Millionen-Initiative’ in Switzerland. I would only add that systems repeatedly shown to be susceptible to prompt injection are destined to become targets for the AI era’s version (…)

This article is interesting because Schneier, writing primarily about AI safety and the futility of model bans, incidentally reframes the entire AI sovereignty debate. Everyone is fighting over frontier models: the expensive, inaccessible layer. But the harness, the code that orchestrates and directs AI models, is where power actually lives. It is buildable today, and (…)

Voilà qui est intéressant, mais guère surprenant : lorsque l’on s’appuie sur les intelligences artificielles, on perd peu à peu l’habitude de ce que l’on savait faire par soi-même. C’est probablement analogue au fait de ne plus être capable de marcher de longues distances quand on prend constamment la voiture ou le train. J’aurais bien (…)

A slightly morbid example of how you never know what your data might eventually be used for. Although this is not exactly a classical case of your privacy being violated, I have some doubts that everyone who enthusiastically chased cute virtual monsters in their neighborhood would also have volunteered to collect data to train military (…)

We use Matrix, too, so this issue hits close to home for us. The timing is infortunate. Europe is actively working to reduce its digital dependency, and this incident has landed right in the middle of those efforts, ready to be weaponized by skeptics. However, the details matter. From what is currently known, neither the (…)