An elaboration of the previous post mentioning the bounded gaps between primes problem as an illustration of the opportunity cost of converting a fruitful problem such as this solely into a competitive benchmark. [Indeed, as I point out below, this already came close to happening back in 2013.]

As with most other problems worth studying in pure mathematics, the particular bound one gets on these gaps is not of much intrinsic importance. Improving Zhang's bound of 70 million, to 246, 188, or 6 would not, in itself, have significant impact on any other mathematical problem, let alone any real-world application, except for a small number of other analytic number theory problems in which a related numerical bound would also similarly improve. Even the twin prime conjecture, which asserts that the bound can be chosen to be 2, would only unlock a small number of immediate applications if the result is taken as a "black box", although the significantly more general and quantitative prime tuples conjecture of Hardy and Littlewood would be more useful in this regard. But again: the value of this problem lies not in the numerical bound _per se_, but rather in what the quest to study this problem and improve the bound reveals.

Let me first quickly review some key moments in the timeline on this problem. The Quanta articles https://www.quantamagazine.org/mathematicians-team-up-on-twin-primes-conjecture-20131119/ and https://www.quantamagazine.org/a-new-generation-of-mathematicians-pushes-prime-number-barriers-20231026/ in 2013 and 2023 respectively also do a good job of covering these events. (1/8)

External Attachment: https://www.quantamagazine.org/mathematicians-team-up-on-twin-primes-conjecture-20131119/

I must say that crush is totally worth it.

Oooooook..... Dato che nessuno ha scritto un Agent loop per il mio editor preferito, e' arrivato il momento di vedere se riesco a combinare qualcosa.

Siamo ben disperati se i "AI crew leads" (qualsiasi cosa voglia dire), arrivano a:

• Creare dei training.
• Richiedere obbligatoriamente presenza fisica in una qualche sala riunioni.
• Obbligarti a buttare tempo in setup assurdi.
• Monitorare la partecipazione.

Insomma, coercizione.

Ho idea che i loro capi, stiano vedendo un sacco di soldi bruciare, senza risultati di sorta dai miracolo che questi ciarlatani hanno promesso.

Ora hanno il fuoco sul culo e si vede.

N.B.: il problema, qui, non è la tecnologia, è l'hype che i venditori di fuffa hanno venduto al
management come miracolo. Solo che le aspettative, per ovvi motivi, stanno sparendo, Di qui la coercizione.

Sospeso il trattato di Schengen tra Pisa e Livorno

Vittorio Lattanzi e Andrea Bonechi L'articolo Sospeso il trattato di Schengen tra Pisa e Livorno proviene da Lercio .

https://www.lercio.it/sospeso-il-trattato-di-schengen-tra-pisa-e-livorno/

--
Uriel Fanelli

My Projects: https://keinpfusch.net/software
XMPP: uriel@keinpfusch.net
MATRIX: @uriel:chat.keinpfusch.net
old blog: https://blog.keinpfusch.net
new blog: https://keinpfusch.net

Ribellione o protesta?

https://keinpfusch.net/ribellione-o-protesta

--
Uriel Fanelli

My Projects: https://keinpfusch.net/software
XMPP: uriel@keinpfusch.net
MATRIX: @uriel:chat.keinpfusch.net
old blog: https://blog.keinpfusch.net
new blog: https://keinpfusch.net

The amount of software that still has issues with such a simple thing as IPv6 is stunning.

And no. I'm not going to pay 20 bucks a month to have ONE IPv4.

I was configuring an XMPP server, nothing fancy. I have a reverse proxy that does TLS, with the server in my private network. Setup ok, it works, right???

Wrong.

Configuring the related AAAA record and testing it with nc, it's fine, the SRV records for xmpps are there, but here's the dragons:

• Bitlbee: Ok, it's unmantained, but looking into the code, IPv6 is not supported at all.
• Monal (IOS): in theory it should support IPv6, given also the the requirements from the App Store, but it doesn't work. And I can say that it doesn't work because I don't even see a simple connection to the reverse proxy.
• Anything else? Shrug.

I don't need to chat, but I wanted to have something under my control, working with OMEMO, for my really private conversations.

And Yes, I want to self-host it, so don't tell me about Signal and Co.