home tags events about rss login

Things happen.

absc honked back 03 May 2026 00:07 +0200
in reply to: https://x.keinpfusch.net/users/uriel/statuses/01KQJCG68F6ABBX5GX5DYHNX26

@uriel

Ahhhhhh la meraviglia dei sistemi di autenticazione!

Ho sempre avuto la sensazione, vicino al mio ano, che il concetto moderno di "sicurezza" fosse tantissimo teatro e poco arrosto, ma non divaghiamo.

Qui ed ora porto un aneddoto dalla Svizzera.

Partiamo da un presupposto: se i Vogon fossero accomunabili ad una nazione terrestre, sarebbero sicuramente Svizzeri, roba che in confronto i tedeschi paiono degli agiloni inafferrabili.

Pero' gli svizzeri mi hanno sorpreso, nel bene e anche nel male.

Come al solito, a Marzo ho fatto la dichiarazione dei redditi e fino allo scorso anno, si poteva fare elettronicamente tramite un applicativo Java che scaricavi e facevi andare. Era basico, ma pensato bene. Ti guidava tramite domande e aiuti a dichiarare quanto hai osato sifonare al tuo datore di lavoro e tutta la parafernalia (e andava anche per Linux!).

Da quest'anno, hanno rimpiazzato quel software con una web application che fa, in pratica la stessa cosa. Questo richiede di registrarsi e farsi identificare (dai solo il numero di carta d'identita'/Permesso di soggiorno/quelchele').

Mi registro e esclamo: "Ma davvero?".

Il governo svizzero ha iniziato a supportare FIDO2 come metodo di autenticazione, senza smartphone, authenticators, cazzi e mazzi.

Mi ci butto a capofitto e tento di registrare una delle Yubikey che ho. Ma prendo pugni in faccia, non funziona.

Pero' ho un sospetto: vuoi vedere che sti stronzi, al solito, hanno testato solo con Chrome?

E ricollegandomi al tuo post: Si', naturalmente la procedure non supporta firefox, anche se firefox il supporto a FIDO2 ce l'ha eccome.

Ecco, per una volta che qualcuno fa qualcosa di sensato, non obbligandomi ad usare il merdoso telefono, scazzano testando da bestie.

Ca va' sans dir....

absc bonked 02 May 2026 20:33 +0200
original: Edent@mastodon.social

For fans of entirely spurious numbers, the UNIX timestamp is about to hit 17777777.

Hold on to your butts!

Assuming that this timestamp is in seconds:
GMT: Sunday, 3 May 2026 at 03:09:37
Your time zone: Sunday, 3 May 2026 at 04:09:37 GMT+01:00 DST
Relative: In 20 hours

absc bonked 28 Apr 2026 18:56 +0200
original: tao@mathstodon.xyz

We are transitioning in mathematics from an era of proof scarcity to an era of proof abundance, but our mathematical infrastructure and culture has not yet adapted to this. As mentioned previously, there is now a strong (and growing) impedance mismatch between the three core components of mathematical problem solving: proof generation, proof verification, and proof digestion.

An early sign of this transition could be seen in the chaotic response to the initial "First Proof" challenge, in which many more potentially viable solutions to the given problems were produced than could be readily verified or digested, either by experts or by automated tools. And now we are seeing the same impedance mismatch at the Erdos problem website, where (since the release of GPT 5.5, as well as the highly publicized recent solution to Erdos problem #1196) there is now an unprecedented backlog of nearly twenty claimed full or partial solutions "pending assessment": https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems . (Prior to this recent surge, this category contained one or two solutions at a time at best.) (1/5)