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
1
0

게임을 넘어 현실까지 배우는 AI: 존 카맥의 현실 기반 강화학습 도전
------------------------------
- John Carmack의 "Upper Bound 2025 발표"의 준비노트 요약 및 슬라이드
- *존 카맥* 은 Id Software, Oculus, Keen Technologies 등을 거친 후 현재는 *강화학습 기반 AGI 연구에 집중* 하고 있음
- *LLM을 지양하고* , 동물처럼 환경과 상호작용하며 배우는 *지속적·효율적 학습* 에 관심을 둠
-
고전 …
------------------------------
https://news.hada.io/topic?id=21076&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0

하기야 ...... 한때 잡스가 아이패드 발표하면서 깠던 아톰 기반 넷북을 쓴 적 있는데 ...... 정말 풀스크린 텍스트에디터로 텍스트 저장하고 인터넷에 동기화하는 거 이외엔 뭘 할 수가 없었다.

https://hoto.moe/notes/a854wagza0

0

名古屋は東京の都心と比べて建物名がきちんと入っていないのでちょっと物足りないところがあるが、
名駅、伏見、栄、矢場の四つでやってみた。名駅や栄はとても広い範囲で名乗られていることが分かる。
住居表示になっていない伏見は狭い(本来の伏見町よりは随分と広い範囲ではあるが)。
矢場(矢場町)は地下鉄の駅名・交差点名として知られてはいるが、住居表示でもないし栄や大須と比べると格下感は否めない。

0

名古屋は東京の都心と比べて建物名がきちんと入っていないのでちょっと物足りないところがあるが、
名駅、伏見、栄、矢場の四つでやってみた。名駅や栄はとても広い範囲で名乗られていることが分かる。
住居表示になっていない伏見は狭い(本来の伏見町よりは随分と広い範囲ではあるが)。
矢場(矢場町)は地下鉄の駅名・交差点名として知られてはいるが、住居表示でもないし栄や大須と比べると格下感は否めない。

0
0

하긴 생각해보면 말도 안 되는 게 뒤섞여 있는 게 서울의 정체성일지도

건물 숲이다가 갑자기 산이 튀어나왔다가 건물 숲이다가 갑자기 평균 1.2km 폭인 강이 튀어나왔다가 갑자기 강남이다가 고개를 돌려보니 절이며 공원이며 하는 게 한 블럭을 통째로 먹고 있다가

라든가

0
0

優先とかではなくて、前の作品がGPLであればその二次著作物はGPLになるし、そこに対しては元の作者は干渉できない。今CC0で公開されている作品を改変してGPLv3で公開することもできる。

0
0
0

一回だけGPLを使つたことがあるけど、その作品は公開停止してゐる
保存して持つてゐる人が居たら、GPLのまま使用して良いけど、いつかCC0で再公開したい

が、再公開のための手直しなどの作業が面倒だから放置してゐる

0
1
0
0

AIを使った機械翻訳が普通の機械翻訳より精度が上がってるので、Project GutenbergにあるCIAの前身OSSが作ったSimple Sabotage Field Manual(簡単にできる敵国破壊工作マニュアル)を翻訳すると面白いかなーと思ったり

Simple Sabotage Field Manual by United States. Office of Strategic Services | Project Gutenberg: gutenberg.org/ebooks/26184

0
0
1

유심교체기

  1. 교체는 한자릿수 분이면 된다.
  2. 우리에게 보여주지는 않지만 지점 별 대기순번이 있다.
  3. 한 명이 교체 작업을 하는 작은 매장 기준으로 대기순번이 4천번대이면 넉넉하게 8월 예상하라고 안내했다.
  4. 모바일 신분증은 안된다. 신분증을 기계에 스캔해야해서.
  5. 신청한 본인만 교체한다. 가족들을 함께 처리해주는 곳도 있었다고 주장하는데 이 매장에선 안됐다.
  6. 장비 각각에 대해 신청했냐고 물었는데 신청 인터페이스엔 그런 거 없었다.
  7. 교체 즉시 사용 가능하다.
  8. 이전 심카드는 내가 폐기하라고 그냥 준다.
  9. 2번, 3번 안내를 마친 다음 전화선을 뽑았다. (......)

끝.

0
0
0
0
0
0
0
0

내용구성물: 두부피쌈, (풀무원) 두부스틱 오리지널, 유자레몬드레싱양배추샐러드, 참외

요즘 자주 즐기는 식단으로 도시락을 쌌어요
데친 두부피에 쌈장과 밥 넣어서 싸먹으면 담백하고 짭잘고소해서 언제 먹어도 부담스럽지 않아요
개인적으로 상추에 쌈장밥 해먹는 것보다 고소해서 더 취향인 편임

두 개의 도시락통이 흰 탁자 위에 있고 위에서 아래로 찍은 사진.
도시락통 하나에는 본문에 기재된 두부피쌈이 있고, 다른 하나에는 두부스틱, 샐러드, 참외가 차례대로 가지런히 들어있다.
0
0

당신의 사람들을 찾으세요
------------------------------
- *Y Combinator 공동창업자 Jessica Livingston* 의 2025년 Bucknell 대학 졸업식 연설 요약
- 인생의 레일이 끝나는 시점에서 *스스로 방향을 설정하고 야망을 키우는 법* 에 대해 이야기함
- 처음부터 야망 있는 계획을 가진 사람은 드물며, *"무계획한 사람"도 바뀔 수 있음* 을 강조함
- 선택지를 좁히기…
------------------------------
https://news.hada.io/topic?id=21077&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

この記事、おもしろいですね。「テクノナショナリズム」というワードがあるんだ。
記事には出てきませんが、戦時中に軍需製品を量産していた三菱重工、日立製作所、東芝が、現在ではそっくり原発産業に移っていることを考えて読むとたいへん興味深いです。

有料記事がプレゼントされました! 5月25日 09:31まで全文お読みいただけます。
戦艦大和が生んだテクノ・ナショナリズム 誇りの裏で留意すべきこと:朝日新聞 digital.asahi.com/articles/AST

0
0
0
0
1
0

nmixxを使ったデジタルディスプレイの広告の画面に他社人気グループのアルバム「New Jeans」収録曲「Cool With You」が表示されていた。
m.joseilbo.com/news/view.htm?n

普通はここまでが大問題。もっと悪いことに

"その下にはMin's LG velvet(ミンのLGベルベット)という文言もある。"

これはあかんわ。パン激怒。ミンヒジンのレッドベルベットとこじつけてしまう。

"JYP関係者は「私たちの広告チームがLG側に問い合わせた結果、削除することにしたと聞いた」が「それ以外に明かす立場がない」と明かした。"

"ハイブ関係者は「アドアの合意が前提されていない状態で申し上げる」が「明らかにする立場がないこととした」と言った。"

0
1
0

Beyond Semantics: Unreasonable Effectiveness of Reasonless Intermediate Tokens

Link: arxiv.org/abs/2505.13775
Discussion: news.ycombinator.com/item?id=4

arXiv logo

Beyond Semantics: The Unreasonable Effectiveness of Reasonless Intermediate Tokens

Recent impressive results from large reasoning models have been interpreted as a triumph of Chain of Thought (CoT), and especially of the process of training on CoTs sampled from base LLMs in order to help find new reasoning patterns. In this paper, we critically examine that interpretation by investigating how the semantics of intermediate tokens-often anthropomorphized as "thoughts" or reasoning traces and which are claimed to display behaviors like backtracking, self-verification etc.-actually influence model performance. We train transformer models on formally verifiable reasoning traces and solutions, constraining both intermediate steps and final outputs to align with those of a formal solver (in our case, A* search). By constructing a formal interpreter of the semantics of our problems and intended algorithm, we systematically evaluate not only solution accuracy but also the correctness of intermediate traces, thus allowing us to evaluate whether the latter causally influences the former. We notice that, despite significant improvements on the solution-only baseline, models trained on entirely correct traces still produce invalid reasoning traces when arriving at correct solutions. To further show that trace accuracy is only loosely connected to solution accuracy, we then train models on noisy, corrupted traces which have no relation to the specific problem each is paired with, and find that not only does performance remain largely consistent with models trained on correct data, but in some cases can improve upon it and generalize more robustly on out-of-distribution tasks. These results challenge the assumption that intermediate tokens or "Chains of Thought" induce predictable reasoning behaviors and caution against anthropomorphizing such outputs or over-interpreting them (despite their mostly correct forms) as evidence of human-like or algorithmic behaviors in language models.

arxiv.org · arXiv.org

0
1
1
0
0
0
0
0

어제 대선토론 전문 읽어보는데 (주로 마삼중욕)

이준석은 지가 똑똑하다 착각하는 기성세대와 2030 인셀 집단을 안고가겠단 역겨운 마인드로 토론에 임하고 있단게 느껴짐.

대선의 승리보단 이후의 지지율 관리에 더 목숨을 거는게 느껴지고 그 수단으로 소외된 사람을 향한 혐오를 선택한게 진짜 역겹다.

난 살다살다 3억+a 들여서 참여하는 대선 토론에서 PC타령 전장연이 잘못했다 웅앵웅을 하는 한심한 남자가 나올줄 몰랐지... 이게 전체적인 수준 하락으로 인한 결과물일거고.

0
0

Announcing: justaqrcode.com.

Tired of "free" QR code generators that are full of ads and trackers, that share your data, and that want to sell you something? Me too. Here's my act of resistance: I made a one-page site that works entirely in your browser to generate a simple QR code. And that's all it does. You can download the HTML page and run it locally, even. Read the source; nothing up my sleeves. Just a QR code.

My offer to you -- I will continue to pay for the domain name and web hosting for it, myself. If you find it valuable, you can pay it back by creating your own useful thing for the world and releasing it for free. Let's take back the friendly web, one vexingly-monetized utility at a time!

0
0
0