What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
0
1
0
1
0

트위터(X)가 정상화 될 때까지 기다린다거나, ‘이만큼 비판했으니 어지간하면 롤백하겠지?’라 생각하는 분들이 많던데 X가 사기업이란 사실을 간과하고 있는 발언. X는 상장사가 아니기 때문에 눈치를 볼 필요가 없지요. 스팀이 주식회사가 아닌 유한회사라서 게이브 뉴웰의 뜻대로 운영이 가능한 것과 같은 이치입니다.

0
0
0
0
0

It’s wild to me that there’s a senior government official who posts daily about how they don’t like Black & Brown people on social media and it’s not a scandal.

It’s just background noise in the overall awfulness of the Trump administration.

0
0
0
0
1
0
0
0
0
0
2
1
0
0
0
0
0
0
0
0
0

Ach so ne ist doch super, dann sind einfach bald alle unsere Ausweise in mehr als einem Datenabfluss und Debatten in regulierten sozialen Medien werden nur noch zwischen Faschisten geführt.

Marginalisierte Gruppen haben sich doch eh schon weitestgehend aus den Räumen, die von so ner Regulierung betroffen wären zurückgezogen. Und die Faschos müssen dann keinerlei Gegenrede mehr fürchten. (Die heute ja auch schon quasi nichtmehr vorhanden ist)

0
0
0

In recent weeks there have been a number of examples of Erdos problems that were solved more or less autonomously by an AI tool, only to find out that the problem had already been solved years ago in the literature: erdosproblems.com/897 erdosproblems.com/333 erdosproblems.com/481 .

One possible explanation for this is contamination: that the solutions to each of these problems were somehow picked up by the training data for the AI tools and encoded within its weights. However, other AI deep research tools failed to pick up these connections, so I am skeptical that this is the full explanation for the above events.

My theory is that the AI tools are now becoming capable enough to pick off the lowest hanging fruit amongst the problems listed as open in the Erdos problem database, where by "lowest hanging" I mean "amenable to simple proofs using fairly standard techniques". However, that category is also precisely the category of nominally open problems that are most likely to have been solved in the literature, perhaps without much fanfare due to the simple nature of the arguments. This may already explain much of the strong correlation above between AI-solvability and being already proven in some obscure portion of the literature.

This correlation is likely to continue in the near term, particularly for problems attacked purely by AI tools without significant expert supervision. Nevertheless, the amount of progress in capability of these tools is non-trivial, and bodes well for the ability of such tools to automatically scan through the "long tail" of underexamined problems in the mathematical literature.

0
4
0
1
1
0
0
0
5
0
0

Chao-c' shared the below article:

Čína oficiálně spustila první vodíkovou výrobu oceli s produkcí milion tun ročně

OSEL @osel@libera.site

#^Čína oficiálně spustila první vodíkovou výrobu oceli s produkcí milion tun ročně

Výrobní linka oceli, založená na vodíku, která byla právě naplno spuštěna v jihočínském Čan-ťiangu, by jako první svého druhu na světě měla vyrobit milion tun oceli ročně. Využívá pokročilý proces elektrického tavení, v němž je tradiční koks nahrazený vodíkem a odpadá podstatná část emisí uhlíku.
Read more →
0
0
0
1
1
1

Just because Die Hard takes place at Christmas does not make it a Christmas movie. A Christmas movie has something central to the plot ABOUT Christmas. If you can replace a single plot-device with literally any other gathering (say...a company holiday party that inexplicably takes place on Christmas Eve with like...a birthday...or a July 4th cookout), it is not enough to make it a Christmas movie.

It is a mediocre action movie that KINDA uses Christmas as a plot device (but doesn't even use it well, IMO).

0
0
0
0
1

コミケの置き引き(主に待機列やサークル内でやられる)対策としてはちゃんとお隣の人にアイサツしてお互い顔を見とけ!
本人や売り子ではない不審者がしれっと入ってきた時に気づける可能性をちょっとでもあげろ!
荷物はごちゃごちゃにしないで出来る限り整理整頓しとけ!
ごちゃついてると盗まれても発覚が遅れるので悪い人はあえてそういうところを狙うっておまわりさんが言ってた

1
0
1