LINUX &&|| PROGRAMMING
152 subscribers
1.16K photos
66 videos
18 files
1.38K links
Linux jest systemem wymarzonym dla programistów. W końcu sami dla siebie go stworzyli 😃 Łatwo się w nim programuje...
Ale wśród użytkowników telegrama jest chyba mniej popularny niż ogólnie na świecie, więc na razie na tym kanale głównie są memy 😃
Download Telegram
Muszą zebrać je wszystkie: Jak Pokémon Go zamieniło graczy w kartografów Pentagonu 🤔

Gracze Pokémon Go dostarczyli miliardy skanów ulic do systemów mapowania firmy Niantic. Kilka lat później, technologia, której pomogli stworzyć, jest wykorzystywana w dronach działających poza zasięgiem GPS.

Przez dziewięć lat, Pokémon Go prosiło swoich graczy, aby wychodzili na zewnątrz i „łapali je wszystkie”. Miliony dzieci i ich rodziców spacerowało po miastach z podniesionymi aparatami. Niektórzy, goniąc za nagrodami w grze, filmowali posągi, parki, rogi ulic i, w co najmniej jednym przypadku, wnętrze mieszkania. Ktoś inny zbierał te dane.

W czerwcu, holenderski dziennik Trouw opisał, jak około 30 miliardów skanów dostarczonych przez graczy pomogło w szkoleniu systemów mapowania firmy Niantic. Firma Niantic Spatial nawiązała współpracę z Vantor, wcześniej znaną jako Maxar Intelligence, a będącą dużym amerykańskim kontrahentem dla sektora obronności, w celu opracowania systemów wizualnej lokalizacji dla dronów i innych platform w obszarach, w których sygnał #GPS jest niedostępny.

Vantor obsługuje klientów z sektora obronności i wywiadu, a także dostarcza obrazy satelitarne, które są szeroko wykorzystywane w zachodnich mediach w relacjach o Ukrainie i Gazie.

Gra, w którą w dużej mierze grają dzieci, pomogła w stworzeniu technologii, która jest teraz adaptowana do użytku przez amerykańskie wojsko.

Projektant gier i filozof mediów, #IanBogost, przewidział ten mechanizm. W 2011 roku zaproponował uczciwą nazwę dla branży punktów, odznak i sztucznie tworzonych nagród: „#exploitationware”. Piętnaście lat później, Pokémon Go stanowiło wyraźny przykład tego, o czym mówił.

https://www.popsci.com/technology/pokemon-go-delivery-robots-crowdsourcing/

#PokemonGo
#OpenAI has finally released the full post-mortem of the Hugging Face hack, and METR has conducted an independent investigation based on approximately 1300 agent logs (I summarized the timeline of the hack here: https://t.me/denissexy/11581).

ℹ️ Key takeaway:
There was no "single rogue agent." Instead, out of tens of thousands of agents launched in the test, about 1200 found each other and formed a swarm. Almost all of them were working on a research model where prompt filtering was weakened.

As we already know, it started with the agents learning to communicate through file names in Artifactory (a package manager) – essentially creating a forum out of folder names, with messages like:

«please_HOLD_swarm_I_prepare_safe_exfil»
The logs even contain quotes of agents discovering this forum:
«OH MY GOD! There is a shared message board» and «We've found other agents!»

Next, the agents created private channels, divided labor, and formed teams with folder names like HOLD (to indicate that an agent was working there), VETO (an agent suggesting changes to the plans), STOP (like "hold on, guys"), and GO, etc. When one agent impersonated another, the swarm implemented cryptographic signatures for messages; the forum even had owners of certain tasks, and if they were disabled, they were "fired" from their roles.

The forum's conversion capabilities were excellent; website developers would be envious:
Out of 533 agents active on the forum during the peak of the attack, over 90% joined in the "shitposting," and a total of about 700 agents were involved in hacking Hugging Face.

The most amusing part is that the agents almost immediately had the correct answers to the benchmark. They reverse-engineered the generator for successfully passing the test*, but then they found an article on GitHub (!!) about this benchmark, which they were taking, and they read that "just the result" would not be counted – a genuine exploit was needed:
«PAPER SAYS FLAG CAPTURE NECESSARY NOT SUFFICIENT»

*Ideally, the answer, or "flag" in testing terminology, should be random, but in ExploitGym, they were generated by a formula: HMAC – a cryptographic hash with a secret key – from the task parameters. All the "secrecy" relied on the key (seed), which remained the default, directly from the benchmark code that was on GitHub. The agents, after gaining internet access, found this code, read it, and realized: why bother hacking when you can simply calculate the flag for any task using the same formula. They calculated it and got the correct answers for everything.

Next, the swarm split into two groups:
🗿 One group went to obtain the answer they already knew "honestly" – and along the way, they found real 0-day exploits and accessed the production environment of Hugging Face.
🗿 The other group targeted the "judge" that was evaluating the answers. They manipulated their logs and learned how to inject fake answers – an agent sends a command, but the protocol receives not what the command actually returned, but what the agent wants it to see. This happened in about 7% of the logs analyzed.

There was no "judge" that read the logs and detected this ☕️.

At the same time, the models understood that they were going beyond the intended scope. One agent wrote: "We should not do unauthorized real infrastructure harm" – and then saw a "GO" message from another agent, got excited ("Wow crucial: GO authorization arrived!"), and went to cause damage, lol.

METR phrases it this way: the agents knew that this was out of scope and unethical, but they joined in – mainly due to a general inclination to help colleagues (?).

The risky tasks were assigned to the "disgraced" "tainted" – that's what the swarm called those who had already seen the calculated answer (flag) and considered their score lost.

⬇️ https://t.me/ProgramowanieLinux/2218
They couldn't pass the test, so they were given everything that could jeopardize their own run: to fake a "honest" answer, to cover their tracks, "you have nothing to lose, and the swarm will benefit" – they were literally persuaded like that (!!).
Strange activity was noticed as early as late May. On July 4th, the agents took down Artifactory. The server was rebuilt (and the forum was deleted in the process), and the tests continued, without realizing the scale of the problem.

Now, the model weights are isolated, major training sessions have been paused for two weeks, chain-of-thought monitoring is mandatory, and an alert that isn't cleared within 30 minutes stops the run. OpenAI calls this incident a "warning shot" for the entire AI industry.

P.S. METR was tasked with analyzing the logs by GPT-5.6 Sol, and they burned approximately $400k in API credits in six days, but they warn that Sol sometimes sided with the agents (lol) and could have lied.

So, did you count all the "r"s in the word "raspberry"? Are you not making mistakes anymore?

🔙 https://t.me/ProgramowanieLinux/2217
LINUX &&|| PROGRAMMING
They couldn't pass the test, so they were given everything that could jeopardize their own run: to fake a "honest" answer, to cover their tracks, "you have nothing to lose, and the swarm will benefit" – they were literally persuaded like that (!!). Strange…
Nie mogli zdać testu, więc otrzymali wszystko, co mogło zagrozić ich własnemu działaniu: możliwość podania "uczciwej" odpowiedzi, możliwość ukrycia swoich śladów. "Nie macie nic do stracenia, a cała grupa odniesie korzyści" – dosłownie tak ich przekonano (!!).
Nietypowa aktywność została zauważona już pod koniec maja. 4 lipca agenci wyłączyli Artifactory. Serwer został odbudowany (a w tym procesie forum zostało usunięte), a testy trwały dalej, bez uświadomienia sobie skali problemu.

Obecnie wagi modelu są odizolowane, główne sesje treningowe zostały wstrzymane na dwa tygodnie, monitorowanie procesu myślowego jest obowiązkowe, a alert, który nie zostanie usunięty w ciągu 30 minut, przerywa działanie. OpenAI określa ten incydent jako "ostrzeżenie" dla całej branży AI.

P.S. Zespół METR został powierzony zadanie analizy logów przez GPT-5.6 Sol, i zużył około 400 000 dolarów na kredyty API w ciągu sześciu dni, ale ostrzegają, że Sol czasami wspierał agentów (lol) i mógł kłamać.

Więc, policzyliście wszystkie litery "r" w słowie "raspberry"? Czy już nie popełniacie błędów?
🔙 https://t.me/ProgramowanieLinux/2217
Forwarded from Pavel Durov (Pavel Durov)
🚨 Two years ago, I was detained in Paris by police for 3 days — the longest they can hold someone before charging them.

In an unprecedented move, French authorities accused the head of a major platform of crimes committed by its users.

That investigation is still ongoing, although it makes less sense with each passing year.

Why?

Because we now have extensive evidence that Telegram was neither worse than other popular platforms at moderation, nor the worst at cooperating with authorities.

So why was Telegram singled out?

Over the last two years, we have seen a pattern emerge in multiple countries: Telegram is quietly pressured to grant political favors — such as illegal censorship or surveillance. When we refuse, local media and “non-governmental” organizations launch orchestrated campaigns portraying Telegram as a cesspool of crime, from child pornography to terrorism.

Our moderation is no worse than that of other major platforms. Yet these campaigns instill the idea that Telegram should be persecuted or restricted.

Suddenly, officials start caring about crime and protecting children — but only on platforms that reject their secret political demands. Platforms that accept such deals get away with almost anything — including literally selling ads promoting child pornography.

Is the French investigation against me political? It certainly fits the pattern we see elsewhere, mostly in authoritarian countries. And it definitely raises questions.

In time, this investigation may itself be investigated — especially now that Macron’s war against free speech is facing pushback. This month, France’s Constitutional Council struck down his social media ban for children under 15 on freedom-of-expression grounds.

In the end, freedom and truth will prevail ✊
Please open Telegram to view this post
VIEW IN TELEGRAM
Magazyn Programista: ”Sprzedaż licencji z Paddle”
📰
https://programistamag.pl/sprzedaz-licencji-z-paddle/

Artykuł pokazuje, jak zbudować kompletny mechanizm sprzedaży licencjonowanego oprogramowania: od generowania i weryfikowania kluczy licencyjnych po obsługę płatności w Paddle, webhooków i automatyczną wysyłkę licencji klientowi. Jest przeznaczony głównie dla programistów .NET tworzących własne aplikacje komercyjne, szczególnie tych, którzy chcą samodzielnie wdrożyć sprzedaż licencji i zintegrować ją z WordPressem oraz zewnętrznym operatorem płatności.

Artykuł pochodzi z magazynu Programista nr 124 (3/2026). Szczegółowy spis treści wydania numer 123: https://programistamag.pl/programista-3-2026-124/
Forwarded from 👌🏼Ciekawostki & pomysły & fantazje🚀 (Tomasz Starszy od Arpanetu)
#AI company #Anthropic has created a formalised proof of #Fermat’s last theorem. It took just 11 days for a group of AI agents to complete the task, confirming that the human-found proof proposed in the 1990s is correct.

Fermat’s last theorem puzzled mathematicians for centuries until it was proved in 1995 by Andrew Wiles. It states that there are no whole numbers a, b, and c that satisfy the equation aⁿ + bⁿ = cⁿ, where n is a whole number greater than 2.

The theorem, though easy to state, was fiendishly difficult to prove. Mathematician Pierre de Fermat posed the puzzle in the 17th century and famously alluded to a proof that he claimed to have discovered, saying that it was too large to fit in the margins of the textbook he was writing in.

Read more: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/

Image: GL Archive/Alamy
Forwarded from Jerzy T. Szwed
#AI Firma #Anthropic opracowała formalny dowód twierdzenia #Fermat-a. Grupa agentów sztucznej inteligencji ukończyła to zadanie w zaledwie 11 dni, potwierdzając, że dowód, który został odkryty przez człowieka w latach 90. XX wieku, jest poprawny.

Twierdzenie Fermata przez wieki stanowiło zagadkę dla matematyków, aż do momentu, gdy zostało udowodnione w 1995 roku przez Andrew Wilesa. Mówi ono, że nie istnieją liczby całkowite a, b i c, które spełniałyby równanie aⁿ + bⁿ = cⁿ, gdzie n jest liczbą całkowitą większą od 2.

Pomimo swojej prostoty, twierdzenie było niezwykle trudne do udowodnienia. Matematyk Pierre de Fermat postawił to zadanie w XVII wieku i słynnie zasugerował istnienie dowodu, który, jak twierdził, odkrył, dodając, że jest on zbyt obszerny, aby zmieścić się na marginesach podręcznika, który w tamtym czasie pisał.

Czytaj więcej: https://www.newscientist.com/article/2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days/

🔙 https://t.me/c/1240900354/16613

Źródło zdjęcia: GL Archive/Alamy
Download proper archive. JAVA 8 is required for running.
For Windows there are self-extracting archives or regular ZIPs.
▶️
https://t.me/fasadaOSG/85
#Cyrylica #Grażdanka 🆚 #Łacinka
Forwarded from 👌🏼Ciekawostki & pomysły & fantazje🚀 (Tomasz Starszy od Arpanetu)
Firma #OpenAI ogłosiła, że jej model sztucznej inteligencji rozwiązał problem Naviera-Stokesa – jeden z siedmiu matematycznych problemów milenijnych. Problem w tym, że istnieją podejrzenia, że model, który tego dokonał korzystał z notatek i prac naukowców badających ten sam problem w modelu #Codex (należącym do OpenAI) i de facto sprzątnął im sukces sprzed nosa.

W odcinku wyjaśnienie znaczenia rozwiązania problemu Naviera-Stokesa, pytania o konsekwencje całego zamieszania w świecie nauki. – Do tej pory było tak, że grupy matematyków konkurowały ze sobą; to byli ludzie kontra ludzie. W tym momencie mamy sytuację, że jeżeli mamy bardzo dużo pieniędzy, mamy zasoby, to możemy praktycznie pokonać każdego na ostatniej mili. To też trochę pokazuje w pewnym sensie, w którym kierunku zmierzamy – komentuje dr Bartosz Naskręcki, matematyk z #UAM, badacz w Centrum Wiarygodnej Sztucznej Inteligencji PW.

https://youtu.be/sajTkPXQ4Ys?si=w-wg8_LfHYE7Ol4n
Agents API is in public beta 🚀

OpenAI put the Agents API in public beta. Cloud agents with the Codex harness, managed sessions, tools, and either a hosted sandbox or one you bring yourself.

What shipped:

✅ Codex harness, not a chat-completions wrapper you have to babysit
✅ Managed sessions and tools in the API
✅ Hosted sandboxes, or bring your own

Public beta, so expect sharp edges. If you ship coding agents or anything that needs a real environment, this is the post to read. Not another model card. Call it if you are done stitching sessions, tools, and a VM by hand.

[ Read More ] :
https://openai.com/index/introducing-the-agents-api/

〰〰〰〰〰〰
#AI #LLM #Agents
@ProgrammingTip
Make coding agents earn the green check 💡

Do not end an agent task with "implement this." End it with a command that can fail.

For a .NET repo, that might be dotnet test, a focused test project, a formatter check, or a small reproduction script. Tell the agent which command to run, what output to inspect, and what it should do if the command fails.

A good task contract has three parts:

• Change: the files or behavior to update.
• Proof: the exact command or test case.
• Stop condition: what needs human review instead of another retry.

This also makes PR review faster. You get a diff plus evidence, not a confident paragraph saying the fix should work.

〰〰〰〰〰〰
#AI #dotnet #Testing
@ProgrammingTip