What is Hackers' Pub?

何をもって「排外主義」と指摘できるか、「排外主義」の主張は本当に妥当か、「排外主義」が「普通」になることの脅威は何か、簡潔にまとめられている。「人滅べ」だけど「人間が大好き」さんの人間が大好き性を感じる。

凡庸な排外主義について・他（2025年6月9日の日記）｜人間が大好き #アニメ感想文 https://note.com/hito_horobe/n/n9c7cdd8c0a0a

yes24 https로 들어가면 공지 뜨고 http로 들어가면 503 에러 뜨네
파폭에서 기본으로 https 우선으로 해놔서 몰랐다

トラックボールわりと好きなんだけど、任意の場所のボタンに移動するのはかんたんなんだけど、手書きで字をかいたり任意の曲線を書いたりするのはむずかしくてちょっとおもしろい

#자기소개

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

동생이 기계식 손목시계를 좋아하는데 나는 문워치 정도면 모를까 크게 관심이 없다. 예뻐서 그렇다니까 취미로서는 존중하지만 기술적으로 따지자면 쿼츠 진동자와 IC가 기계식 무브먼트보다 훨씬 더 정밀하고 대단한 거란 말이지... 흠.

이러니까 공돌이들이란, 반응이 돌아왔는데, 야, 이 기술력 대단해! 하면서 자랑한 건 너다? ㅋㅋㅋ

LLM은 정말 저렴하다
------------------------------
- *대다수 사람들이 LLM(대규모 언어 모델) 사용 비용을 과대평가하는 경향* 이 있으나, 실제로는 빠르게 저렴해져서 웹 검색보다도 저렴한 수준에 도달
- 초기 생성형 AI 열풍 당시에는 추론 비용이 높았으나, *지난 2년간 비용이 1000배 가까이 감소*
- *LLM API의 실제 단가를 웹 검색 API와 직접 비교* 하…
------------------------------
https://news.hada.io/topic?id=21376&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

#자기소개

술커피차를좋아하고 좋은음식음료를 찾아서 놀러다니는 프로그래밍을 업으로 하는 사람

#오타쿠음악관 을 타임라인에 살포하는 음악 리스너

비주류지만 주류추구

#rakugaki_pao

又是6月…又是針對記者

我想無論什麼立場，鎮暴武裝不能針對記者是最低共識吧
不然真的想不通跟19年的親中支持者有什麼分別

(最終面接..... いちじめんせつ..... 覚えました)

何をもって「排外主義」と指摘できるか、「排外主義」の主張は本当に妥当か、「排外主義」が「普通」になることの脅威は何か、簡潔にまとめられている。「人滅べ」だけど「人間が大好き」さんの人間が大好き性を感じる。

Good one page summary of Metal 4.
This should not be too surprising if you have seen other APIs or watched Metal's evolution, but wow is the result pretty far away from Metal 1 :)

https://developer.apple.com/documentation/metal/understanding-the-metal-4-core-api?language=objc

동생이 기계식 손목시계를 좋아하는데 나는 문워치 정도면 모를까 크게 관심이 없다. 예뻐서 그렇다니까 취미로서는 존중하지만 기술적으로 따지자면 쿼츠 진동자와 IC가 기계식 무브먼트보다 훨씬 더 정밀하고 대단한 거란 말이지... 흠.

이러니까 공돌이들이란, 반응이 돌아왔는데, 야, 이 기술력 대단해! 하면서 자랑한 건 너다? ㅋㅋㅋ

[단독] 감사원, 윤석열 ‘관저 뇌물 혐의’ 수사 요청…검찰→특검 인계될 듯 www.hani.co.kr/arti/politic... "감사원은 △대통령실이 허위공문을 보냈고 △이후 2년 넘게 미등기 상태로 은폐됐으며 △경호처가 뒤늦게 현대건설과 공사 계약을 했다고 해명했지만, 애초 다른 업체가 공사를 하려 했던 점 △경호처 예산으로 경호와 무관한 시설을 지었다고 해명한 점 △경호처장 공관 공사비 대납 사실이 드러난 점 등을 볼 때 유령 건물 공사비 출처 역시 짜맞춰졌을 가능성이 있다고 봤다."

[단독] 감사원, 윤석열 ‘관저 뇌물 혐의’ 수사 요청...

アバターギミックをローカルにしたりグローバルにしたり切り替える方法をおぼえたのでいろいろ応用ができそうな気がしてほくほくしてる

#자기소개

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소

traefikに入門しようとしているけど構成が複雑すぎて諦めかけてリう

からあげ一個の給食……米も肉も卵も値あがってるんだから予算増やしてあげないと。

野生の猿 #上手いとか下手とかそういうのは関係なく自分が気に入っている写真を貼ってけ

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소

Die Innenstadt von #Ljubljana ist seit fast 20 Jahren autofrei. Die Fußgängerzone erstreckt sich über zahlreiche Straßen. Die Geschäfte florieren, die Gastronomie boomt. Ohne Autoverkehr entstehen attraktive urbane Räume. #Verkehrswende 🚲 #StädteFürMenschen 💚

Bān hio̍h-á.
慢葉。

Ē-sái chhut chit tiuⁿ tô͘--ah.
可以出這張圖了。

M̄-koh chit-má èng-kai bô lâng ē lim sio la-thé.
但現在應該沒有人會喝熱拿鐵。

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소

Nawet jeśli nie znacie pojęcia "SEO Bełkot", to na pewno się z nim zetknęliście, choćby podczas wyszukiwania informacji o niedzielach handlowych. @icdInternet. Czas działać! 🌎 omawia ten problem i proponuje przynajmniej częściowe rozwiązania, bo pełnego, niestety, trudno znaleźć.

#SEO #pozycjonowanie #Google #NiedzielaHandlowa

https://www.internet-czas-dzialac.pl/seo-belkot/

#자기소개 를 해볼까요.

• @ranolpRanol☆P 와 동일인입니다...만 해당 계정은 근시일 내에 살릴 계획이 없습니다.
• @ranolp 계정은 프로그래밍 언어론/해커스펍 사용기 위주 계정입니다.
• 다시 말하자면 그 외 일상적인 내용은 트위터에서 이야기한다는 뜻입니다...
• TypeScript와 얼추 호환되면서 제정신인 타입 추론 규칙을 가진 언어를 만들려고 타입 이론을 공부하고 있습니다.
  • 좀 많이 전에는 Bidirectional Typing (J. Dunfield, N. Krishnaswami)을 읽었었고,
  • 독일에 있는 튀빙겐 대학 내에서 연구하는 대수적 효과 언어 Effekt도 간단히 살펴보았었습니다.
  • 최근에는 힌들리-밀너-다마스 타입 추론 위에 얹은 부타입 확장을 살펴보고 있습니다.
    • 캠브릿지 대학 연구인 MLsub (S. Dolan and A. Mycroft)...
    • 을 단순화한 Simple-sub (L. Parreaux)을 시작으로 MLstruct, Ultimate Conditional Syntax 등 홍콩대 연구를 많이 보고 있습니다
    • MLscript가 정말 흥미로운 언어에요 ReScript but more Kotlin처럼 생겼음
• 올해 들어서 An Infinitely Large Napkin으로 군론과 군의 작용, 위상수학과 대수 위상(호모토피만), 그리고 범주론을 배웠습니다.
• 형식적 증명 보조기에도 관심이 많습니다.
  • Software Foundation을 통해 Coq (현 Rocq)를 약간 배웠습니다.
  • Lean 4도 약간 맛보기를 했습니다.
  • 의존 타입/마틴 뢰프 타입(MLTT)/호모토피 타입(HoTT) 등을 배워 간단한 증명 보조기도 만들어보고 싶네요.
    • 아마 An Infinitely Large Napkin 스터디가 끝나면 HoTT 스터디를 하지 않을까 싶네요.

#툿친소 #연친소 #핵친소

もう一回寝よう

!부스트 감사합니다!

혹시 연합우주에 전승화 성우님이 참여하신 검은집사라는 드라마CD에 관심 있으신 분 계실까요? 배송비만 받고 나눔해요!

영 취향이 아니라서 애저녁에 보냈어야 했는데 이제야 생각나서......
케이스는 받았던 당시부터 파손상태여서(하....) 교환으로 새로 받은 민자 케이스입니다. 원하신다면 (부서졌지만) 구 케이스도 함께 보내드리겠습니다.

+) 창백한 말 시즌1 1,2권도 나눔합니다.
시즌1 1권은 사인본이에요. 구매 당시 같이 받았던 레몬 포스터(상태 안 좋긴 해요)도 같이 보내드립니다....
(워낙 오래 돼서 책등 색바램 꽤 심합니다. 주의해주세요.)

직거래?는 기흥, 영통, 광교 인근까지 가능해요.

みんなギスギスしてるな。俺のノートを見て

Containerization - macOS에서 Linux 컨테이너를 실행할 수 있는 Swift 패키지
------------------------------
- Containerization 은 macOS에서 *Linux 컨테이너* 를 실행할 수 있게 해주는 Swift 기반 오픈소스 도구
- Apple Silicon 기반 Mac에서 작동하며, *Virtualization.framework* 를 활용하여 가벼운 가상 머신 안에 각 컨테이너를 격리 실행함
- OCI 이미지 관리, 원격 레지스트리 연동, ext4 파일 시스템 생성…
------------------------------
https://news.hada.io/topic?id=21378&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

nicovrcの貢先はありませんがなぜか皆さんあちらに向かわれますね

iOS2025.5.0

저도 #자기소개

• 가장 최근에는 TypeScript로 웹, 게임 백엔드 개발을 했습니다
• 제 손으로 뭔가를 만드는 게 재밌어서 프로그래밍을 골랐습니다.
• 요새는 코딩 잘 안 하구 풀-타임 백수로 지내고 있습니다.
• 가장 긴 경력은 육군 통신 장교입니다
• 서울 거주 중이고, 내년에 토론토로 떠나볼 예정입니다
• 취미로 기타 연주하고 책 읽고 노래 듣고 키보드 설계합니다
• 터보-씨로 시작해서 "자바 두 명 타요" 소리 들으면서 자라서 괜히 자바를 멀리했습니다
  • 그래서 아직도 자바를 잘 몰라요
• macOS에서 Emacs + org 잘 쓰고 있습니다
• Elixir, Haskell, Rust 좋아하는데 잘 모릅니다
• 일본어, 영어, 에스페란토 공부하는데 잘 못합니다
• 한국어 개잘합니다 원어민급임

2025年6月に発表されるOSにその下2桁である「25」を用いず「26」を採用する理由についてガーマン記者は、下記を挙げています。

Appleの会計年度は9月末締め、10月始まりなので、2026年度が10月に開始されるため

2025年中だけではなく、2026年も継続して頻繁なアップデートを予定しているから

当年である2025年よりも、来年となる2026年のほうが未来志向を感じさせる

異常者すぎて他人のコミュニケーションを模倣することでしか社会的な振る舞いができないので健常者の振る舞いコーパス的なものが必要

Good one page summary of Metal 4.
This should not be too surprising if you have seen other APIs or watched Metal's evolution, but wow is the result pretty far away from Metal 1 :)

https://developer.apple.com/documentation/metal/understanding-the-metal-4-core-api?language=objc

저도 #자기소개

• 가장 최근에는 TypeScript로 웹, 게임 백엔드 개발을 했습니다
• 제 손으로 뭔가를 만드는 게 재밌어서 프로그래밍을 골랐습니다.
• 요새는 코딩 잘 안 하구 풀-타임 백수로 지내고 있습니다.
• 가장 긴 경력은 육군 통신 장교입니다
• 서울 거주 중이고, 내년에 토론토로 떠나볼 예정입니다
• 취미로 기타 연주하고 책 읽고 노래 듣고 키보드 설계합니다
• 터보-씨로 시작해서 "자바 두 명 타요" 소리 들으면서 자라서 괜히 자바를 멀리했습니다
  • 그래서 아직도 자바를 잘 몰라요
• macOS에서 Emacs + org 잘 쓰고 있습니다
• Elixir, Haskell, Rust 좋아하는데 잘 모릅니다
• 일본어, 영어, 에스페란토 공부하는데 잘 못합니다
• 한국어 개잘합니다 원어민급임

„Müssten wir wegen Palantir, Abschiebepraxis und so nicht langsam mal über die Verfassungsfeindlichkeit der CDU/CSU reden?“

„Ja aber dann müssten wir ja auch über die Seeheimer-sPD reden!“

„Genau.“

カレンダーバージョンに変更したのは理解したけど2025年秋リリース予定なのになんで25じゃなくて26なんだ？​​

RE: https://misskey.flowers/notes/a8tn0p9x5a9a00m9

WelsonJS 프로젝트에서 이슈 바운티가 발생하였습니다.

Bounty: 500,000 KRW

기업에서 일어난 이슈 바운티이며, 해결을 하신 분이 나와 적절한 시기에 지급 예정입니다.

감사합니다.

애플, 모든 플랫폼에 통합된 유니버설 디자인 도입 - "Liquid Glass" | GeekNews

https://news.hada.io/topic?id=21373

중국 스마트폰 올해말 출시제품들 UI에서 따라하겠구만

iOSの次のバージョンって26なの？​​

近所のドラッグストアに備蓄米が出ていました。ごくごくあっさりとした袋。
チャーハンとか寿司にはいいかもなあと思いながら使い切るのも難しいので見送りです。

​​ #上手いとか下手とかそういうのは関係なく自分が気に入っている写真を貼ってけ

와 해커스펍 흥한다~~

#자기소개

술커피차를좋아하고 좋은음식음료를 찾아서 놀러다니는 프로그래밍을 업으로 하는 사람

#오타쿠음악관 을 타임라인에 살포하는 음악 리스너

비주류지만 주류추구

저도 #자기소개

• 가장 최근에는 TypeScript로 웹, 게임 백엔드 개발을 했습니다
• 제 손으로 뭔가를 만드는 게 재밌어서 프로그래밍을 골랐습니다.
• 요새는 코딩 잘 안 하구 풀-타임 백수로 지내고 있습니다.
• 가장 긴 경력은 육군 통신 장교입니다
• 서울 거주 중이고, 내년에 토론토로 떠나볼 예정입니다
• 취미로 기타 연주하고 책 읽고 노래 듣고 키보드 설계합니다
• 터보-씨로 시작해서 "자바 두 명 타요" 소리 들으면서 자라서 괜히 자바를 멀리했습니다
  • 그래서 아직도 자바를 잘 몰라요
• macOS에서 Emacs + org 잘 쓰고 있습니다
• Elixir, Haskell, Rust 좋아하는데 잘 모릅니다
• 일본어, 영어, 에스페란토 공부하는데 잘 못합니다
• 한국어 개잘합니다 원어민급임