social.gl-como.it

Stefano Tartarotti mastodon (AP)
Il sovranismo spiegato con l'umidità.
#Lega #Salvini #sovranismo #destre #nazionalismo
2

Fabio friendica
So you wanna #sew ?
#sew
1 1

Terence Tao mastodon (AP)

A little bit of math can go a long way. The design of a system can be hampered not only by having too little mathematical analysis go into it, but also too *much*.

One familiar example of this is with password requirements in cybersecurity. Mathematically, the more complex that a password is required to be - for instance, by mandating minimum length, special characters, or no reused passwords - the more secure the password becomes. However, make the requirements too complex, and users and service providers will then seek workarounds to the complex requirements, such as easy ways to reset or recover the password, or storage of such passwords in insecure systems - that in fact can serve to *decrease* the security of the overall system, rather than *increase* it. Overoptimizing on just a single metric - the security strength of the direct user/password login system - can serve to compromise the broader objective - a textbook example of "Goodhart's law" in effect en.wikipedia.org/wiki/Goodhart… . Roughly speaking, the security of this direct entry method should be strengthened to be comparable to the security of alternate entry methods, but beyond that any further strengthening tends to be counterproductive. There is little point putting in more locks on the front door of a building beyond the first one, if the windows are unsecured, and in fact doing so may even lead to a dangerous false sense of security. On the other hand, if the windows are harder to access than the front door, then putting at least one lock on the front door makes excellent sense. (1/3)

2
Terence Tao mastodon (AP)
In AI, one instance of this principle is in Rick Sutton's "bitter lesson" incompleteideas.net/IncIdeas/B… . It is intuitively obvious, and initially somewhat successful, to automate a task by carefully designing mathematical algorithms tailored to the specific domain knowledge of the task at hand. However, for a surprisingly large number of tasks, we have learned that even more progress can often be achieved by applying relatively low-tech but general purpose mathematical methods, such as gradient descent and backpropagation, but with large scale investments in data and compute, rather than in tailoring. One example I have seen recently is in the development of cheap analog-to-digital converters (ADC) for sensor networks. Traditionally, ADC circuits are designed from classic electrical engineering principles, using mathematical results about ODEs, resonances, Fourier transforms, and so forth to obtain reasonably efficient circuits with theoretically guarantees on performance. But in environments (such as sensor networks) where some failure rate is tolerated, and the goal is to obtain fast and cheap analog-to-digital conversion at scale, it turns out to be better to simply train a neural network to design an ADC circuit without inputting any domain knowledge (such as Fourier analysis), and use the resulting circuits in the sensors. This is not to say that domain knowledge is completely useless - for instance, physics-informed neural networks can greatly outperform standard neural networks in many physical contexts - but one has to know how much of it is appropriate to apply. (2/3)
Terence Tao mastodon (AP)

Even within pure mathematics, we have learned that sometimes the best way to solve a problem is to abstract away information that one would intuitively think to be highly relevant. Much of the progress in analytic number theory, for instance, has been obtained by adopting the perspective that strongly number-theoretic structures, such as the set of primes, should in fact often be treated as much less structured objects, for instance as a rather arbitrary set of numbers obeying some minimal set of combinatorial properties. Abstract too much, and one no longer has enough information to solve the problem; but with just the right amount of abstraction, the problem can move into sharper focus, suggesting the right set of techniques to attack it, and also exploiting the freedom of the setup to perform additional transformations that would not have made sense in the initial setting.

I sometimes like to joke that applied mathematicians need to know the first two chapters of every pure math graduate textbook, but after that the subsequent chapters may have little (or even negative) value to them. On the other hand, the quest to locate Chapters 3-12 are often what made Chapters 1-2 the perfectly polished and useful gems of mathematics that have such broad utility... (3/3)

Questa voce è stata modificata (6 mesi fa)
math rookie mastodon (AP)

I really like the thread that you're pulling on here, which aligns with your blog post on "stages of mathematical development", and i think both are true of all specialisms

All progress seems to have two stages, accrue -> consolidate, which repeat (or don't) through time. We tend to confuse accrual (and accrual alone) as *real* progress; when it is the consolidation stage which matters more, because consolidated form is more stable, in that we can build upon it. which is *real* progress

The first stage of specialisation (the second of your post) is accrual, of special details, which we deem existentially significant, and subsequently tend to parse everything by those forms, almost exclusively. But the territory of specialisms is not isolated -- in nature nothing exists alone

The second stage (the third of you post) begins when we learn the plurality of significance of form -- that other specialisms/ ways-to-interpret the same form (or parts thereof) exist; and with each additional interpretation, an essence, the intersect of both, equates to a new generalisation, which is simpler, and which allows us to notice that the surface detail obsessed over by specialists is only part of the whole story

In this way, we can think of all special-domains as delta, to a respective/ relative general-domain, of relative simpler forms

And the interesting thing is that, essences being general, are fewer, and common across different phenomena: so a universal general-domain of essential forms, which all special-domains recontextualise

The implicit point, is that the path to unifying knowledge, is not by union, but by intersect: radical simplification

Which is cool

Questa voce è stata modificata (6 mesi fa)
Peva Blanchard mastodon (AP)
fyi, there is this recent paper arxiv.org/pdf/2410.09638 where the authors propose a formal setting to study Goodhart's law.

Martijn Braam mastodon (AP)
OpenSCAD is always the right tool
1
Vancha :fedora: mastodon (AP)
I wish they updated the build some time soon, but I love using it too :) really intuitive, especially simple project. Those curves look pretty complicated though :o
josyb mastodon (AP)
Being curious as ever, I tried scrolling through your code, but that didn't work 😀

5

going to fawn over Standard Ebooks site standardebooks.org for a minute here

So aside from providing beautiful ebooks of public domain books, the site is blazing fast serving pages for so many books, and it's all static pages:

alexcabal.com/posts/standard-e…

Then look on a page for a book. There's a render of a book with the cover, the books at like an angle and if you hover over it the book floats a little.

Turn off javascript and the pic still renders and floats a little. If you right click and say open pic in new tab just the unaltered cover comes up.

Which means all the magic to take the cover and turn into a render of a book with a floating animation is all done in CSS.

And even better, go to a typical book. Typical thickness in that render. Then go to a big book, like The History and Decline of the Roman Empire.

standardebooks.org/ebooks/edwa…

Look at that chonk of a book in the rendering. So each book rendering is rendered the relative thickness of the book. Just such a cool detail.

edit: Oh, and go to the feeds for books:

standardebooks.org/feeds

There's OPDS (the catalog feed format), and RSS and Atom. Normally, you make the mistake of going to a feed URL in your browser instead of a specific program to read feeds, and you're punished with horrible XML.

But click on any feed link here and it's the nice looking HTML like the rest of the site. Is the server determining dynamically if a browser is reading the feed or a different program? But wait, isn't the site static?

That's right, all those feeds are also good looking HTML. Just brilliant work.

Questa voce è stata modificata (6 mesi fa)
4

1 3

Open the window, please...

#Cats #Kitten #Caturday

4

Stefano Tartarotti mastodon (AP)
Negli Stati Uniti una famiglia su tre ha in casa una o più armi da fuoco.
In Italia una famiglia su tre ha in casa uno o più decespugliatori.
Io ne ho due (ok, uno è della Cana).
#decespugliatori #vitadicampagna #tartapazzo
Questa voce è stata modificata (6 mesi fa)
1 6
Luca Sironi mastodon (AP)
se gli americani avessero la passione per i decespugliatori non vincerebbero ciuffi improbabili !
Luca Sironi mastodon (AP)
(lo avrebbero votato lo stesso, ma gli avrebbero decespugliato il ciuffo)

lproven mastodon (AP)

AI and the American Smile

medium.com/@socialcreature/ai-…

How AI misrepresents culture through a facial expression.

1

lproven mastodon (AP)
Genius and blood: How cheap light transformed civilization
bigthink.com/the-past/genius-a…
During the industrial era the cost of artificial light fell off a cliff — and the road to illumination was paved with ingenuity and slaughter.
1

Dan Sugalski mastodon (AP)

Turns out that LLM summaries are actually useful.

Not for *summarizing* text -- they're horrible for that. They're weighted statistical models and by their very nature they'll drop the least common or most unusual bits of things. Y'know, the parts of a message that are actually important.

No, where they're great is as a writing check. If an LLM summary of your work is accurate that indicates what you wrote doesn't really have much interesting information in it and maybe you should try harder.

Questa voce è stata modificata (7 mesi fa)
5


«All’apice del suo potere, l’azienda fotografica Kodak impiegava più di 140mila persone e valeva 28 miliardi di dollari. Inventarono persino la prima macchina fotografica digitale. Ma oggi Kodak è fallita, e il nuovo protagonista della fotografia digitale è diventato Instagram. Quando Instagram è stato venduto a Facebook per un miliardo di dollari, nel 2012, impiegava solo tredici persone.
Dove sono spariti tutti quei posti di lavoro? E che cosa è successo alla ricchezza creata da tutti quegli impieghi della classe media? [...]
Instagram non vale un miliardo di dollari perché quei tredici lavoratori sono straordinari. Il suo valore nasce invece dai milioni di utenti che contribuiscono al network senza essere pagati. Per generare un valore significativo, le reti sociali hanno bisogno che moltissimi individui vi partecipino. Ma, quando ciò accade, solo un ristretto gruppo di persone viene pagato. Il risultato è di centralizzare la ricchezza e limitare la crescita economica nel suo complesso.
Invece di espandere l’economia creando più valore quantificabile, l’ascesa delle reti digitali sta arricchendo una minoranza relativa, spostando il valore creato dai molti al di fuori della contabilità.»
---[Jaron Lanier, La dignità ai tempi di internet]
3

Andrea Bettini mastodon (AP)
Da stasera entriamo nel periodo migliore per ammirare subito dopo il tramonto la cometa C/2023 A3 Tsuchinshan-ATLAS. Sarà visibile anche a occhio nudo e anche dall'Italia. Qui delle ottime indicazioni per godersi lo spettacolo
asteroidiedintorni.blog/2024/1…
1

Natasha Jay 🇪🇺 mastodon (AP)
Humans don't land on their feet
Questa voce è stata modificata (7 mesi fa)
2

Zack Whittaker mastodon (AP)

There 👏 is 👏 no 👏 such 👏 thing 👏 as 👏 a 👏 secure 👏 backdoor.

techcrunch.com/2024/10/07/the-…

4

Vala mastodon (AP)
This #Mastodon account just surpassed our old #Twitter / #X account!! Thank you, to all our 718 followers, and more to come! :D
As an #OpenSource Software project, our community is what defines us, and that is you!
So far we have never experienced any negativity here, unlike stories from other social media platforms... Let's keep it that way, be happy and constructive with each other and make cool things with #Vala !!!
(Btw if you post about your cool project, there is a chance it gets boosted)
Questa voce è stata modificata (7 mesi fa)
1 1
Farooq Karimi Zadeh mastodon (AP)
Congratulations! My cool project is on the way. I will let you know when it's ready. And it's in #Rust
#rust

Deb Chachra hometown (AP)

FREAKING FINALLY

"Buttons are back, baby!! This piece has been 15 years in the making, more or less."

@mimsical in the WSJ on the resurgance of physical buttons for interfaces.

"Fundamentally, the problem with touch-based interfaces is that they aren’t touch-based at all, because they need us to look when using them."

Materiality and embodiment ftw.

[gift link, courtesy of the author]
wsj.com/tech/personal-tech/tou…

4
Trammell Hudson mastodon (AP)
I'm glad you brought up the problems with induction cooktop touch interfaces. it was so hard to find one with physical knobs a few years ago. hopefully more choices are coming!
Questa voce è stata modificata (7 mesi fa)

LaVi pixelfed (AP)

Allora, che dite, ci vediamo oggi?

#aspassonellastoria #storia #mappe #catastoteresiano #archivioiniziative #gep

1 3
Matteo Zenatti pleroma (AP)
se non vengono da te (verrei anch'io) dì loro che li aspetto a Valvasone
1

Fra'.jpg mastodon (AP)
Io penso che alcune cose succedono perché devono succedere, nel momento in cui evidentemente devono succedere.
Erano settimane che ci pensavo, e vi giuro che quando finalmente mi sono decisa e siamo andati a prenderlo se ne stava seduto e ci guardava e ha iniziato a fare le fusa come se ci stesse aspettando.
Ho impressione che non sia stata una scelta mia.
Va bene così.
1 3
Panormus sharkey (AP)
hai già dato un nome? 😊
Fra'.jpg mastodon (AP)
@Carboanion È il cagnone in foto? Che meraviglia!! ❤️

Intriguingly 2025 mastodon (AP)
A Logarithmic Map of the Entire Observable Universe
1

lproven mastodon (AP)

It is a truth universally acknowledged that for greater social media engagement, one should share pictures of cats.

bsky.app/profile/zanfa.bsky.so…

1

Quote For The Day mastodon (AP)

“I’m going to buy him a copy of the Mythical Man Month. Actually I’m going to buy him two copies so he can read it twice as fast.”

— Unknown

#Q4TD #Quote #Quotes q4td.blogspot.com/2024/09/im-g…

2

Jan's insights mastodon (AP)

Yesterday was an important anniversary that supporters of #Russia (Soviet Union) do not like to remember:

September 17, 1939 was the day when the Soviets enthusiastically joined the Second World War, on the side of their ally - Nazi Germany.

That's why in Russia they don't like to talk about the Second World War, which they helped start.They prefer to talk about the Patriotic War, that is, the events after they were betrayed and attacked by their former ally.

#USSR #Germany #WW2 #WWII #Poland

2

INGVambiente mastodon (AP)
In caso di allerta meteo, oltre a rimanere attenti e aspettarsi alcuni disagi sia ferroviari che stradali, è importante rimanere informati presso i siti ufficiali che riportano i dati relativi alle condizioni dei fiumi.
I dati idrometrici di portata e livello osservati nelle ultime 48 ore e acquisiti in telemisura dalla rete idrometeorologica regionale Emilia Romagna si possono trovare qui allertameteo.regione.emilia-ro…
2

#LWN
1

lproven mastodon (AP)

Ancient Babylonian map of the world: A 2,900-year-old clay tablet revealed

timesofindia.indiatimes.com/wo…

1
Conor Murphy mastodon (AP)
Irving Finkel, the physical manifestation of what you imagine a British museum scholar to be. Sharp + intelligent eyes, massive bushy beard, with just the right balance of quirky

Lysander il breve iceshrimp (AP)

"Prima di poter vedere questa ricetta, accetta i cookie nostri e di SETTECENTOSESSANTACINQUE nostri collaboratori."

Uhm no, forse settecento sono un po' troppi, e comunque volevo vedere come fare gli spatzle, non i biscotti.

Grazie lo stesso giallozafferano, ma cortesemente vaffanculo

2

Kevin Marks mastodon (AP)
Maybe Google shouldn't strip non-ascii characters when training AI
1 4
I asked Google for some prime numbers and it gave me 4 prime numbers and the letter "Q"...
@Crazypedia
I wonder if that's because it ingested a lot of text with phrases like "let ... where q is a prime number" and because LLMs don't understand anything at all, of course they don't know what variables are.
D.Hamlin.Music mastodon (AP)
@Crazypedia I mean, 17 is a prime number, but converting it to the 17th letter seems wrong

J_dubs mastodon (AP)
Happy #Caturday
2

Luke Kanies mastodon (AP)

This article fundamentally changed how I look at weird inauthentic smiles, especially on people not steeped in American culture.

AI and the American Smile medium.com/@socialcreature/ai-…

2

1 5

I just boosted this but a bunch of my followers don't see boosts and this post from the esteemed @robpike is *important*.

commandcenter.blogspot.com/201…

This is how it's done.

1
slash mastodon (AP)
Boosted. Great piece. Paul Graham had thoughts that might mesh with this. He observed that if you have a group (say, females) whose performance is far above their male counterparts, it's a sign that females *have* to be that good before they can progress in the organization. He said this was a method for detecting bias in employment practices and correcting it. Can't seem to find that essay right off, but that was the drift of it.
slash mastodon (AP)

Also, I've been reading up on the history of the first digital computers (ENIAC, etc.). It sure seems like females had a big impact, although little credit. And yet there's Adm Hopper, who was a leader from nearly the beginning, and had great influence on the field. In her NSA lecture, she mentioned that she hired young people and told them to "try it!" instead of waiting for approval.

Why she's not more central to the history is a mystery. But a great role model.


Esther Schindler mastodon (AP)
"...Trivium estimates the roll totaled 756,000. The truck was undamaged, having made its saving throw." (2019) kotaku.com/truck-carrying-gami…
1

Matteo Collina mastodon (AP)
Finally it happened to me as well: developers complaining that the behavior of my OSS libraries does not match what ChatGPT explains to them. 🤦‍♂️
3

jwz mastodon (AP)

Recent movies and TV.

The Final Programme (1973): By the director of Dr. Phibes based on a Michael Moorcock book that I never read. WTF did I just watch? It's like Captain Kronos meets Zardoz. I am baffled that this came to be. Zeta One (1969): Again,...
jwz.org/b/ykYy

1
Trammell Hudson mastodon (AP)
if you haven't watched KAOS yet, it might be very in your wheel house or up your alley or relevant to your interests, or whatever the kids say these days.

Firefish firefish (AP)

Announcement: Firefish will enter maintenance mode
For those who have been supporting Firefish and me, I can’t thank you enough. But today, I have to make an announcement of my very difficult decision: As of today’s release, Firefish will enter maintenance mode and reach end-of-support at the end of the year. The main reasons for this are as follows.

In February, Kainoa suddenly transferred the ownership of Firefish to me. This transition came without prior notice, which took me aback. I still wish Kainoa had consulted with me in advance. At that time, some people were already saying that “Firefish is coming back”, making it challenging to address the situation. Also, since there were several hundred active Firefish servers at that point, I could not suddenly discontinue the project, so I took over the project unwillingly.

Over the past seven months, I have been maintaining Firefish alone. All other former maintainers have left, leaving me solely responsible for managing issues, reviewing merge requests, testing, and releasing new versions. This situation has had a significant impact on my personal life.

Frankly speaking, there are numerous bugs and questionable logic in the current Firefish codebase. While I attempted to fix them, balancing this work with my personal life made it clear that it would take ages, and I’ve started thinking that I can’t manage this project in the long run. Additionally, vulnerabilities have been reported approximately once a month. Addressing vulnerabilities, communicating privately with reporters, and testing fixes have proven overwhelming and unsustainable. Moreover, a certain percentage of users have made insulting comments, which have severely affected my mental well-being and made me fearful of opening social media apps.

I will do my best to refund the donations made to Firefish via OpenCollective, but that’s not guaranteed.

firefish.dev and info.firefish.dev will remain operational until the end of February 2025, after which they will return a 410 Gone status.

Server admins may downgrade Firefish to version 20240206/1.0.5-rc and migrate to another *key variant, or may fork Firefish to maintain.

Downgrade instructions: firefish.dev/firefish/firefish…
Thanks,
naskya

4


Ken Shirriff mastodon (AP)
Probably the strangest chip that you'll see today: the Intel 2920, a digital signal processor (DSP) from 1979. It was the "first microprocessor capable of translating analog signals into digital data in real time." Chips are usually 16-bit or 32-bit, but this was a 25-bit processor. It didn't have any jump instructions, instead running code in a loop from the 192-word EPROM. Each instruction combined an ALU operation, a shift, and an analog I/O operation. 1/7
1
J. "Henry" Waugh mastodon (AP)

reminds me of a MAXQ DSP I read about described as "opcode-less"

Every part of the chip would do something every clock cycle, so the "instructions" were nothing but a set of operands for all the units

Seems like quite a rare design now -- probably because scheduling, pipelining, and speculative execution have beaten it in total throughput

Amazing how silicon design has changed

Questa voce è stata modificata (8 mesi fa)
Eric Brombaugh mastodon (AP)
I remember these! When I was getting my EE degree at Arizona State University back in the mid-80s we had a few development systems for these chips in the lab and I remember reading up on them at the time. They were already obsolete and unused AFAIK but it definitely piqued my curiosity. Sad that they didn't fix the bugs and expand on the concept as it definitely would have been useful. Microchip's dsPIC products came along years later and were very successful in the same space.
nuovi vecchi

Questo sito utilizza cookie per riconosce gli utenti loggati e quelli che tornano a visitare. Proseguendo la navigazione su questo sito, accetti l'utilizzo di questi cookie.