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.
집 가고 싶다
Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. https://arxiv.org/abs/2405.19270 #ITP #LeanProver #Math
←駅メモのプロフにカスタム絵文字が使えると思っている
にゃー
일하기실어잉
これすき
金欠特急 ひのくるま
K오픈소스라… TS에서 map이나 groupBy 같은 함수들을 체이닝해주는 라이브러리가 있는데 맛도리라서 놀랐고 한국 기업에서 만든 라이브러리라서 더 놀랐던
ぬる
자녀계획 3명 정도로 계획하면?
.
.
.
.
.
.
.
.
미래애셋 ^^
대학원에 가지 않는 꿀팁!!
사이버맨이 된다 영원히 서울사이버맨대학을다니고
RTL을 보면 Right-to-left 가 아닌 Register-transfer-language가 떠오르게 되어버렸어...
かえらなきゃ
──────🕕18時🕕──────
にゃー
학번세탁하는법: 대학원 들어가기
定時だし上がるか
학번은 있지만 고졸입니다 (아직졸업못했다는뜻)
지난해 일터에서 일하다 사고로 숨져 산업재해를 인정받은 노동자는 827명으로, 1년 전보다 15명 증가한 것으로 나타났습니다. 특히 숨진 노동자 가운데 60대 이상이 절반에 육박하는 것으로 나타나 초고령사회에 대비한 고령자의 일터 안전 대책이 필요하다는 지적이 나옵니다.
지난해 산재사망 827명…60살 이상 절반 육박
학번세탁하는법: 대학원 들어가기
...뭔가 학번으로 연합우주 전체가 시간을 달리고 있ㅇ...
@thx상어학산타 
고려장은 버리는거지 죽이는건 아닌....
──────🕕18時🕕──────
@janiJani Nikula it is certainly pedantic, but it's similar to running spellcheck etc, it really is the only way to polish off the last 1% or so of the mistakes
んあー
와 2000년대에도 사람이 태어나? -> 농담
와 2030년대에도 사람이 태어나? -> 실제로 사람이 태어나지 않기 때문에 실제로 놀라는 반응
I think a lot of people that don't really understand what they're doing obsess over LLMs for the same reason that they might have obsessed over visual programming or Plain-English-programming a generation ago.
In their mind, programming works like this:
1) A clever person designs the system/app/website/game in their mind.
2) The person uses whatever tools available to wrangle the computer into reproducing that vision.
(1/...)
광복시기에 대학이면...
What comes after world domination? my talk at foss-north 2025 on April 14: https://youtu.be/kn36wcBIGlY?si=THS2h-PqcTgP79uq
이혼 그럴 수 있지.
재혼도 뭐 좋지.
사별...?
이걸 어떻게 할 생각이지?
와 2000년대에도 사람이 태어나? -> 농담
와 2030년대에도 사람이 태어나? -> 실제로 사람이 태어나지 않기 때문에 실제로 놀라는 반응
어디선가 원치 않는 심볼을 참조하고 있다. 어디있을까
학번이뭐임?
GIGAZINE（ギガジン） @gigazine.net@web.brid.gy
ウェブブラウザ「Google Chrome」の最新安定版であるバージョン136がリリースされました。ブラウザに保存済みのパスワード認証情報をパスキーにアップグレードできるようになりました。
続きを読む...
1944년을 말하는군
OOM 원인인 거대 파일 때문에 에디터가 죽었다. 재시작되고나서 여전히 열려있는 그 파일을 닫았는데 정리하는 중에 또 OOM으로 죽는다. 역시 또 재시작 되고 다시 그 파일을 열고 있는 에디터...
2020학...번?
그런 게....있었어?
@thx상어학산타 그냥 레몬
Fediverse、実質大学
Goodmorning #fosstodon and #fediverse ☕️ Another update!
I had a call with 
@kevKev Quirk and 
@mikeMike Stone yesterday. They took me through the admin workload and whoo. It's A LOT. It's seriously impressive how much they do in order to keep Fosstodon running, nice, and safe. They will stay on for a bit to help train successors. K&M THANK YOU again for all the hard work 👏👏👏
It's not going to be easy, and it will take a team, but it's doable. Immediately after this toot I'll post what I'll need and next steps! 1/2
아니 선생님 왜 비밀번호 길이에 제한을 두는 거예요
The path to a global vulnerability management platform by 
@Oej
서울시의 보호대상:
시민들의 안전과 알 권리 (X)
집값의 안전과 악재를 숨길 권리 (O)
RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3lnz4lhetl62s
SKT SKT 청문회에서 2조 드립 나옴 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ
https://m.ruliweb.com/community/board/300143/read/70478487
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
白癡到我不想講台語（奇怪的標準）。
我要買兩個保鮮盒，所以數量設定二，但我沒注意到它的單位是一組三個，所以我現在有六個。
我現在頭好痛🤦。
맥도날드에 붙어있는 예스키즈존 마크인데
밑에 온 세상 어린이 대 환영! 이라고 써진게 너무 좋다
#TRPG_연친소 #TRPG_툿친소 #TRPG_겹친소 #티알피지_툿친소 #더블크로스_툿친소 #겹친소 #연친소
메인노트로 달아두는 상시 연친소입니다
*탐넘에 자주 보여서 팔로 하고 싶다던가 하시면 내용 확인하시고 성향 맞다 싶으면 흔적 남긴 후 팔로걸어주세요
-계정 자체는 일상, TRPG, 게임, 자캐, 커뮤, 야구 이것저것 잡탕으로 쓰고 있습니다만 연친들 비율이 TRPG쪽이 더 높아 티알 얘기가 잦습니다.
-블루 스카이로 브릿지 연동을 해두어 공개계정 생활중입니다.
-TRPG 스포 발언 다소 있습니다. (CW걸어요. 추후 계정 분리할 수도 있습니다.)
-탐대 잦아요.
최근 서울시 곳곳에서 잇따라 땅꺼짐(싱크홀) 현상이 발생해 시민들의 불안이 커지는 가운데, 서울시가 ‘지반침하 안전지도’를 끝내 비공개하기로 결정했습니다. 서울시가 오히려 시민들의 안전과 알 권리를 저해하고 있다는 지적이 나옵니다.
서울시 ‘지반침하 지도’ 끝내 비공개…“생명권 침해”
なんで「体躯」を使わなかっただろう？
피치🍑
가을별
