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.

This is an expansion of a point I initially wrote in the context of a MathOverflow question mathoverflow.net/questions/487, but also has relevance to the role of AI in activities such as mathematics where ideation is important.

It is commonly accepted that one of the impediments to further progress in mathematics is a shortage of new ideas. Naively, one can model this hypothesis by proposing that

(number of new ideas) (*)

is the key factor determining the rate of progress, and then try to support efforts to maximize the quantity (*).

However, in the era of increasingly large amounts of AI-generated mathematics, the _quality_ of these ideas becomes increasingly relevant. Only a small fraction of new ideas tend to be good and fruitful ones; a bad idea can actually impede progress by wasting more time than it saves. So, a more realistic model would be that it is the actually the product

(number of good new ideas) * (signal-to-noise ratio of the idea pool) (**)

that is the important factor which is worth maximizing. (This is still a massive oversimplification - for instance, it assumes a binary classification of ideas into "good" and "bad" - but will serve as a minimal toy model that suffices to illustrate the broader points that I wish to make here.) (1/3)

0
0
1
0
1
0
0
0
0
0
0
1

【拡散希望・アンケート】
4月に熊本市内で自由と平和を求める市民の青空集会(仮)を開催したいと考えています。
堅苦しいものではなく、公園でレジャーシート敷いて、皆でお喋りしたり持ち寄った本を読んだり、どなたでも出入り自由な時間です。
場所は今のところ辛島公園、週末の13時〜16時頃を考えていますが、来れる方、興味がある方いらっしゃったら教えてください。
その他アドバイス等も歓迎です(リプくださると助かります)。

0
1
0
0

Claude는 왜 Electron 앱일까?
------------------------------
-
Electron 은 HTML·CSS·JS 기반으로 *Windows, Mac, Linux를 동시에 지원* 하는 데스크톱 앱을 만들 수 있는 프레임워크로, Slack·Discord·VS Code 등 다수의 앱이 이를 사용함
- 그러나 각 앱이 *Chromium 엔진을 개별 포함* 하기 때문에 용량이 크고, *지연·비응답 문제* 가 발생하며, OS 기능과의 통합도 제한…
------------------------------
https://news.hada.io/topic?id=26890&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
1
1
1
1
0
0
0
0
0
1

요즘 임산부들 먹을거 투정은 그래도 대응하기 쉽지 않나?

라떼는 말이야, 새벽 배송도 없었고, 24시간 운영하는 패스트푸드점도 몇군데 없었고, 편의점에는 평범한 라면, 삼각김밥, 소세지 정도만 팔아서

밤중에 갑자기 뭐 먹고 싶다고 하면 힘들었지.

0


못 오던 새 스텔라와 작별이라는 소식을 듣고 달려오며

냥펀이라는 닉네임 혹은 HMHM_commu라는 아이디를 알고 계신 분이라면 흔적 남겨주시면 감사하겠습니다…밖으로 퍼뜨려주셔도 감사합니다…(저도 알고 있다면 인사드리겠습니다…)

🤹소개서 https://docs.google.com/spreadsheets/d/1TKw0mYmDVNcSQ2pOkKUpaJqKqSXatD7hOkig6gk_UPw/edit?gid=230532127#gid=230532127

0
0

최근에 이러한 방향으로 생성형 AI 비판을 막으려는 시도가 흔함. "2차창작도 저작권 위반.침해다" "사람도 살아가면서 본 책, 방송을 기반으로 사고하는데 왜 AI는 그렇게 책 한 권 사서 스캔해서 학습하면 안 되냐" .... "사람도 살면서 본 작품들을 기반으로 자기 그림을 그리니까 AI도 그럴 수 있다" AI의 의인화라는 말이 딱 맞음. 뒤에 기업체와 사람이 있는데도 마치 AI가 이미 독립된 지성체인 것처럼.

RE: https://bsky.app/profile/did:plc:fvyaird3ggeppv7eimcjovj3/post/3mfigrvbdrc2e

0
0
0
1

Claude는 왜 Electron 앱일까? | GeekNews

news.hada.io/topic?id=26890

Electron이 메모리 처먹고 둔한 작동이 문제지만
유지보수와 여러 플랫폼 동일 지원 면에서는 최강이거든.

일부 개발자들은 그 약간의 오버헤드를 두고보지 못해서 Electron을 욕하지만, 그 사람들에게 모든 플랫폼 개별코드로 유지보수하라고 하면 안할듯 ㅎㅎ

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

관심 매체 ≠ 소셜 네트워크
------------------------------
- 웹 기반 *소셜 네트워크의 초기 형태* 는 실제 인간 관계를 중심으로 한 상호작용 구조였으나, 시간이 지나며 그 본질이 변질됨
- *무한 스크롤* 과 *가짜 알림* 의 도입으로 사용자 경험이 조작적 형태로 바뀌며, 플랫폼이 사용자의 관심을 통제하기 시작함
- 타임라인에는 점점 더 *낯선 사람의 콘텐츠* 가 …
------------------------------
https://news.hada.io/topic?id=26908&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
1