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.
これ気になるけど、どこ行くかが難しいな…
普通列車で大きな荷物運びたくないので日帰りで使いたいけど、3日連続だと宿泊する方が行動範囲を広く取れて嬉しい
「急がない旅」のニーズにお応えして「東日本のんびり旅パス」を発売します。～新幹線・特急列車では見逃してしまう地域の魅力を発見する旅の提案～ [PDF] : 👀
---
https://www.jreast.co.jp/press/2025/20250610_ho01.pdf
Reinventing records and variants. ~ Murat Kasimov. https://muratkasimov.art/Ya/Articles/Reinventing-records-and-variants #Haskell #FunctionalProgramming
빨간 공이 n개, 초록 공이 100-n개 들어있는 불투명한 통이 있습니다. n은 0에서 100까지의 정수 중 균등하게 무작위로 선택됩니다. 통에서 첫 번째 공을 뽑았더니 빨간 공이 나왔습니다. 첫 번째 공을 꺼내두고 통에서 두 번째 공을 뽑을 때, 빨간 공과 초록 공 중 어느 공이 나올 확률이 더 높을까요 (혹은 두 확률이 같을까요)?
void*
그냥 UI는 영어로 쓰는 편이고, 본문은 원어를 선호하는 편이며(전혀 못 읽는 언어는 보통 그 언어로 검색을 안하니 당연히 볼 일이 없고...), 자동번역 보다는 사전 검색 기능을 선호하는 편이다. 이러다보니 다국어 지원되는 환경에서 종종 표기 언어 관련하여 사소한 불편함을 느끼는 것 같다.
깃헙에 10억번째 레포가 생성되었다 해서 성지순례 하고 옴 https://github.com/AasishPokhrel/shit/issues/1
dd if=/dev/zero of=こいつらの脳
したい
RE: https://misskey.flowers/notes/a8wr0qgnc1sx04db
'인종차별 논란' 칸예, 이름 '예'→'예 예'로 변경
https://m.entertain.naver.com/home/article/408/0000268991
저 사람은 많이 제정신이 아닌거 같다...
こいつ…動くぞ！
（ぞーぺんのiOS版を作る、技術検証のやつです。まだ長いよ！）
QT: https://fedibird.com/@takke/114669428324725545 [参照]
@lcamtuflcamtuf 
I am interested :)
バスで目の前に人間が5人くらい割り込んできやがった
グループだからって許される所業ではない
私はお散歩に行けました
30代なかばくらいでヒカリエでうんこ漏らしましたが、絶望的でした その日どんな気持ちで職場に向かったかよく思い出せない、とりあえずヒカリエの上のほうにあるコンビニでパンツ買って履き直した覚えはある
How much EU is in DNS4EU?
Link: https://techlog.jenslink.net/posts/dns4eu/
Discussion: https://news.ycombinator.com/item?id=44255116
おいしい
くるみゆべしになってる
여러분 길가에 소나무 많이 보셨죠~
그럼 염소나무는 어떠세요
Long before LaTeX, most mathematical theses relied on hand-inserted symbols.
But in 1968, Dennis Ritchie - creator of C and Unix legends- typeset his entire thesis, subscripts and all, with astonishing accuracy.
How exactly he pulled it off remains a mystery.
Learn more in this week's paper https://fermatslibrary.com/s/how-did-dennis-ritchie-produce-his-phd-thesis-a-typographical-mystery
Brave 브라우저를 만든 Brave 사의 브랜든 아이크는 유명한 호모포비아 입니다
캘리포니아에서 동성혼을 막기 위한 법안 제정 캠페인에 돈을 후원할 정도로 심각한 호모포비아 입니다
www.bbc.com/news/blogs-e...
대신 덕덕고 브라우저를 사용하거나 단순히 페이스북, 인스타그램 앱을 핸드폰에 설치하지 않는 방법으로도 막을 수 있습니다
www.zeropartydata.es/p/localhost-...
RE: https://bsky.app/profile/did:plc:fcm77p5ucshrpqv67uqbbibg/post/3lres2oc67c2c
근데 전 중대재해기업법 누더기되는 과정 보고 유족들 단식투쟁하시는 거 보고 점진적으로 가자는 말이 조금… 아니 뭔말인지는 알겠는데요… 진짜 점진적으로 가자는 거 맞아요?
離陸巡航シミュレータやってる
I'll promise I will shut up about AI soon, but since so many asked I wrote down my agentic flow and also why I'm all the sudden writing Go. https://lucumr.pocoo.org/2025/6/12/agentic-coding/
그니까 누굴 놓고 가게 되고 배제되는 사람이 생기잖아요… 근데 거기다가 대고 그래도 다른 사람들은 살았으니까 너는 좀 참아라 나중에(언제인지는모름) 너도 챙겨줄게 이렇게 당사자도 아닌 사람이 말하는 게 대체 뭘 얻게 되나요? 그 소리 듣는 사람 열불 나게 하는 거 말고요…
큰일났다(아님) 마이마이 13까지는 어떻게 비벼볼 수 있는데 13+는 하나도 안보인다...
깃헙에 10억번째 레포가 생성되었다 해서 성지순례 하고 옴 https://github.com/AasishPokhrel/shit/issues/1
BBC / 記者蔣宜婷，報導海纜斷線，報導的好詳細
台南地方法院6月12日對該案宣判，中國籍王姓船長因違反《電信管理法》毀壞海纜纜線，被判處三年有期徒刑。
台灣大學法律學院教授姜皇池向BBC中文表示，「宏泰58」的判決結果具有鼓勵效果，「台灣未來針對領海內可能的破壞行為，會更積極執法。」
但BBC中文記者從法庭審理過程中發現，多個疑團未能釋除，該船長否認破壞海纜是「故意」之舉，也稱對船東身分及航程一無所知。檢方也承認未查獲直接證據證明船員受中國官方指示，但後續會另外立案，調查貨輪船主的中資背景及是否涉及「國安因素」。
あやー痛ましい
Good morning
PCゲーム『ピーピー不思議ダンジョンMZ』の敵サキュバスさん描かせていただきました！
미국 IT 업계도 멍청하다 생각이 드는게
북한 요원이 프로필 사진 대충 AI로 생성하고, 자기소개에 Web3, Blockchain 이딴거 넣으면, 같은 미국인도 쉽게 들여주지 않던 자리를 그냥 프리패스로 합격시켜줌 ㅋㅋ
그러면서 나중에 당했다 이소리 나옴.
그리고 반복됨.
React 문서 읽다가 _단어_는 처럼 되어있는 부분이 렌더링이 되지 않아서 CommonMark 스펙을 보니 중간에 들어간 강조는 처리하지 않는 것이 의도된 사항이다.
Many implementations have also restricted intraword emphasis to the * forms, to avoid unwanted emphasis in words containing internal underscores. (It is best practice to put these in code spans, but users often do not.)
때문에 *단어*는 을 쓰는 것이 맞다. 그런데 한글은 기울임꼴로 썼을때 옆 글자를 침범하기도 하여 보기 좋지 않았다. 그래서 관련해서 찾아보니 아래와 같은 논의가 있어서 단문으로 남겨놓는다.
https://github.com/mdn/translated-content/issues/1537
한국타이포그라피학회의 관련 연구도 있더라 😮
http://koreantypography.org/wp-content/uploads/thesis/kst_j0_1.pdf
Linus Torvalds Rejects The Idea Of Enabling DAMON By Default In The Linux Kernel https://lobste.rs/s/e6nh2g #linux
https://www.phoronix.com/news/Linux-DAMON-By-Default-No
曲がらな〜〜〜〜
아 진짜 리눅스 이거 폰트 파꾸고싶을정도로 엉망인데
미국 IT 업계도 멍청하다 생각이 드는게
북한 요원이 프로필 사진 대충 AI로 생성하고, 자기소개에 Web3, Blockchain 이딴거 넣으면, 같은 미국인도 쉽게 들여주지 않던 자리를 그냥 프리패스로 합격시켜줌 ㅋㅋ
그러면서 나중에 당했다 이소리 나옴.
그리고 반복됨.
Liebe Folglinge,
ich suche leider noch immer nach einem neuen Job als #iOS und/oder #macOS Entwickler. Ich spreche #ObjectiveC, #Swift (auch Server-Side) und #SwiftUI und nutze die ganzen Tools drumherum (#Xcode, #Git, #GitHub, #GitHubActions, #ShellScripting etc.). Ich bringe 30 Jahre Berufserfahrung als Software-Entwickler mit, davon knapp 20 im #Apple Ökosystem.
Am Idealsten waere eine #Festanstellung zu 100% remote. Sollte es im Raum #Bregenz oder #Dornbirn etwas geben, dann auch gerne vor Ort.
Ich danke euch fuers Teilen. 🙏🏻
LinkedIn: https://www.linkedin.com/in/phranck/
Xing: https://www.xing.com/profile/Frank_Gregor063742/
Good morning Fedi friends!
I'm currently packing my suitcase - destination: Amsterdam! Tomorrow I have the great honor of speaking on a panel at 
@publicspaces about the Fediverse: https://conference.publicspaces.net/en/session/engagement-strategies-of-the-fediverse
And right after, in the same room, there will be this superb panel: "No Musk, Zuckerberg or Trump can shut us down" feat. 
@bjoernstaBjörn Staschen and 
@andypiper (just reading the title makes me erupt in applause).
Wishing everyone a great day! 🌞
インド西部でロンドン行き旅客機が離陸直後に墜落 ボーイング787型機 乗客200人以上が搭乗か https://ndjust.in/6jw_cX5Y #NewsDigest
Rustの標準ライブラリに符号なし整数型の数値を表すのに必要な最小ビット数を返すメソッドを追加した
https://github.com/rust-lang/rust/pull/142328
こういうの、ルールベースでやるよりもGrokみたいなAI使うほうが良さそうな気がするけど、今の某SNSが実装するかというと厳しい気もする >BT
그니까 누굴 놓고 가게 되고 배제되는 사람이 생기잖아요… 근데 거기다가 대고 그래도 다른 사람들은 살았으니까 너는 좀 참아라 나중에(언제인지는모름) 너도 챙겨줄게 이렇게 당사자도 아닌 사람이 말하는 게 대체 뭘 얻게 되나요? 그 소리 듣는 사람 열불 나게 하는 거 말고요…
Can large language models verify system software? A case study using FSCQ as a benchmark. ~ Jianxing Qin et als. https://dl.acm.org/doi/pdf/10.1145/3713082.3730382 #LLMs #ITP #CoqProver #Rocq
Xはさすがに突破してくるからいくらワードを登録しても厳しいよねえ
#ジークアクス #GQuuuuuuX
https://x.com/BMP__2/status/1932802918304133644
【NHKニュース速報 18:09】
インド西部で旅客機が市街地に墜落
乗客乗員２４０人余 地元メディア
#ニュース #NHKニュース速報
bgl gwyng
개쓰담
🦭 
Spartacus 
洪 民憙 (Hong Minhee)
시오
muxelplexer
Esurio