What is Hackers' Pub?

our long reservation just got changed and us along with 6 other families are being thrown out

WE NEED DONATIONS. THIS IS AN EMERGENCY

https://www.paypal.me/hazelnutflavorcoffee

#mutualaid #begpost #MutualAid #helpfolkslive2025 #transmutualaid #queermutualaid #transcrowdfund #emergencymutualaid #emergencybegpost #emergencycrowdfunding #emergency

@mutualaid@a.gup.pemutualaid group

미국 정보기관에 잡혀가는게 어쩌면 더 무서울 수도 있는 이유:

미국은 정보기관이 사람을 구금했을 때 때리거나 신체에 물리적 손상을 줄 수 있는 고문은 안함.

대신 고문대신 행하는 취조 방법이 논란이 된 적이 있음.

가령, 항문에 물을 주입하는 호스를 꼽고 물을 주입하면 장 내부의 내용물이 나오게되는데, 그걸 많은 사람들이 둘러싸여 보고있음.

그러면서 "기분 좋지 않니?", "깨끗해지는 기분이 들지 않니?" 계속 물어보면서 결국 원하는 정보를 불도록 유도함.

놀랍게도 이런 방법은 신체에 물리적 손상을 입히지 않는다는 점에서 합법적인 취조 방법으로 CIA 문서에 등장해서 청문회에서도 공개된 적이 있음.

만약 누군가 취조를 당하는 입장이라면 차라리 맞는게 나을까 아니면 저렇게 해서라도 살려는 주는게 나을까? 궁금증을 자아내는 부분.

@jungzunajjpark @kadd09kadd kang 안녕하세요! 반갑습니다!

지인 괴롭혔던적이 있었다
피해자 1

資金調達する方法を募集しております

평소에 쓰는 모든 앱을 다크 모드로 하고 살다보니 어쩌다 라이트모드 화면을 보면 이렇게 된다

달에는 구름을 꽃에는 바람을

Those self-hosting Mattermost for open source community: how is that working out—especially cost-wise?

Paying Mattermost directly seems to be cost-prohibitive for a large open source community ($10/user/seat??), but it’s not clear to me what the actual infra costs of self-hosting could be. But free solutions like Slack and Discord are no-goes due to certain policies and a lack of safety protections we need.

Boosts welcome for exposure! 🙏

#SelfHosting #mattermost #OpenSource #community

ちなみに公式は、n8nはnodemationという意味で、発音は「n-eight-n」と言っている

n8n-io/n8n: Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations. : 👀
---
https://github.com/n8n-io/n8n#what-does-n8n-mean

This is a completely lovely introduction to the #fediverse. Such good work, @_elenaElena Rossini ⁂. https://news.elenarossini.com/fediverse-video/

아, 이렇게 된 이상 저도 #자기소개 해야겠어요. WWDC 기다리는 중인데, 자기소개 글이라도 작성하기 딱 좋은 시기긴 하네요

• 일단 저는 해커스펍을 만드는 사람은 아닌데, 명목상으로는 1호 가입자(?)이구요. 해커스펍 서비스 자체가 너무 좋아서 이 사람 저 사람 찔러보면서 "츄라이 츄라이"하는 사람을 담당하고 있어요.
• 한국어권 Vim 사용자 모임 vim.kr, 그리고 한국 연합우주 개발자 모임 디스코드를 운영하고 있습니다. 커뮤니티가 일단은 굴러가게는 하는 재능(?)이 있습니다.
• 좋아하는 언어는...... python인데, 밥벌이 시작을 Ruby로 해서 Ruby로 여전히 밥벌이하고 있습니다. 동적 타이핑 언어로 휘리릭 타이핑하고 프로토타입을 즉석에서 보고 가설검증할 수 있는 것에 매력을 느낍니다.
• 함수형 언어.. Elixir, Clojure, Haskell, Elm 등등 관심을 가져왔고 여러차례 찍어먹어보긴 했는데, 현업으로 쓰게 될 일은 없어서 피상적인 지식만 알고 있습니다.
• 주력 분야.... 이젠 모르겠습니다... 짬처리를 전문으로 해와서 그런가... 백엔드도 하고, 프론트도 하고, 모바일 앱도 만들고 잡다하게 해왔는데... 밥벌이를 안정적으로 하려면 프론트엔드를 주력으로 가는게 맞겠다 싶긴 합니다.
• 이미 느끼셨겠지만, 주로 쓰는 에디터는 #Neovim 입니다. Neovim으로 서버개발도 하고, 프론트엔드 개발도 하고, 플러터 앱 개발도 합니다. 이미 Neovim을 열심히 쓰는 사람이기 때문에, 자진해서 Neovim 전도사 역할을 할 때가 많고, Neovim 전도하는걸로 발표도 여러차례 했습니다. 발표자료가 궁금하다구요? 여기를 참고해보시면 될 것 같아요.
• 30대 중반... 미혼.... 서울에서 살고 있구요. 정체성은 아마 시스헤테로남성..?

아무튼.... 잘 부탁드릴게요.....

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

아, 이렇게 된 이상 저도 #자기소개 해야겠어요. WWDC 기다리는 중인데, 자기소개 글이라도 작성하기 딱 좋은 시기긴 하네요

• 일단 저는 해커스펍을 만드는 사람은 아닌데, 명목상으로는 1호 가입자(?)이구요. 해커스펍 서비스 자체가 너무 좋아서 이 사람 저 사람 찔러보면서 "츄라이 츄라이"하는 사람을 담당하고 있어요.
• 한국어권 Vim 사용자 모임 vim.kr, 그리고 한국 연합우주 개발자 모임 디스코드를 운영하고 있습니다. 커뮤니티가 일단은 굴러가게는 하는 재능(?)이 있습니다.
• 좋아하는 언어는...... python인데, 밥벌이 시작을 Ruby로 해서 Ruby로 여전히 밥벌이하고 있습니다. 동적 타이핑 언어로 휘리릭 타이핑하고 프로토타입을 즉석에서 보고 가설검증할 수 있는 것에 매력을 느낍니다.
• 함수형 언어.. Elixir, Clojure, Haskell, Elm 등등 관심을 가져왔고 여러차례 찍어먹어보긴 했는데, 현업으로 쓰게 될 일은 없어서 피상적인 지식만 알고 있습니다.
• 주력 분야.... 이젠 모르겠습니다... 짬처리를 전문으로 해와서 그런가... 백엔드도 하고, 프론트도 하고, 모바일 앱도 만들고 잡다하게 해왔는데... 밥벌이를 안정적으로 하려면 프론트엔드를 주력으로 가는게 맞겠다 싶긴 합니다.
• 이미 느끼셨겠지만, 주로 쓰는 에디터는 #Neovim 입니다. Neovim으로 서버개발도 하고, 프론트엔드 개발도 하고, 플러터 앱 개발도 합니다. 이미 Neovim을 열심히 쓰는 사람이기 때문에, 자진해서 Neovim 전도사 역할을 할 때가 많고, Neovim 전도하는걸로 발표도 여러차례 했습니다. 발표자료가 궁금하다구요? 여기를 참고해보시면 될 것 같아요.
• 30대 중반... 미혼.... 서울에서 살고 있구요. 정체성은 아마 시스헤테로남성..?

아무튼.... 잘 부탁드릴게요.....

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

New from 404 Media: Delta, United, American etc don't want you to know they sold your flight data to DHS. The country's airlines sell bulk names and flight itineraries to DHS to be searched without a warrant. Contract tells DHS to not reveal where this data came from https://www.404media.co/airlines-dont-want-you-to-know-they-sold-your-flight-data-to-dhs/

요즘 트위터내 혐오 조정 작업계들 앨라이들이나 퀴어계들 공격 할려고 그사람들 닉네임 인장으로 위장해0 혐오 하는 포스트 쓰는게 대세네 님들 조심하시고 보이면 어떻게든 신고하셈 하 ...시발 개 피곤하다 요즘 트위터 혐오신고 안먹혀서 사기 신고로 반복해서 제공함 다른사람 신원정보 도용해서 활동하니깐

にゃう

More shots that reveal the depth of the display, so cool!

This is a completely lovely introduction to the #fediverse. Such good work, @_elenaElena Rossini ⁂. https://news.elenarossini.com/fediverse-video/

have you ever considered multi-colour STN-Displays? They look fantastic and make for great macro shots!

If I’m not fully mistaken this is a so called CCSTN display that doesn’t use a filter to colour the pixels, but rather an optical effect called birefringence. This display does not dim when a different voltages are applied across its pixels, but change colour! So cool and such weird tones :3

Depending on the camera and light angles used, the colours and contrast fully change

Understandable, reliable #cancer information is often hard to find. Our researchers develop the AIdvice assistant, funded by Google .org, that uses #AI and #LLMs to support patients with evidence-based answers: http://go.tum.de/411575

#AIAssistant

📷 K. Czoppelt/TUM University Hospital

#자기소개 를 해볼까요.

• @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 스터디를 하지 않을까 싶네요.

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

不法に拘束してるのに不法滞在かよ

the Fediverse: the social network for people who are antisocial and also not people.

#Garfield #music #TheRealSlimShady
#bot #lyrics

#Garfield #music #TheRealSlimShady
#bot #lyrics

#자기소개

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

せ

#にゃんぷっぷー
なでるときに耳ぺたん...ってしてたら
かわいいねという気持ち

진격거 정주행 얼마 안 남았다

#자기소개

프로그래밍을 할 줄 아는 그냥 회사원입니다. 대부분의 코딩과 개발은 취미로 합니다. 언어는 Rust 좋아하는데 주로 취미 개발용으로 쓰고, 회사에서는 Python과 C/C++만 씁니다. 요즘은 Zig를 찍먹해보려고 노력하고 있고, 그 외에 Haskell, Lean, APL, Picat 등등을 조금 다룰 수 있습니다. (이 글을 보시는 분들 중 뒤의 두 개를 다 아시는 분은 0명일거라고 감히 짐작해 봅니다.) 언어 외의 기술 중에는 combinatorial optimization이 현재 최대 관심사입니다.

퍼즐이나 PS(Problem solving, 프로그래밍 문제해결) 등 머리를 깊게 써서 문제를 해결하는 것을 좋아하고, 그만큼 문제를 만드는 것도 좋아합니다. 백준 온라인 저지에서 5000+ 문제를 풀고 50+ 문제를 출제하였고, 요즘은 거의 활동하지 않지만 Project Euler에도 299번 문제를 출제하였습니다.

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 입니다.

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 ...

一ノ関まではさすがに来ないかー

仙台～小牛田・石越駅間で特急「イブニングウェイ」を運転します～週末の夜はゆったり座って帰りませんか～[PDF] : 👀
---
https://www.jreast.co.jp/press/2025/sendai/20250523_s01.pdf

지하철 역사 내 집회를 가중처벌하는 이른바 ‘전국장애인차별철폐연대(전장연) 방지법’이 국회에 발의된 가운데, 최근 서울시의회 국민의힘 소속 의원들이 해당 법안을 빠르게 처리해달라는 건의안까지 발의해 논란이 입니다.

서울시의회 국힘 의원들, ‘전장연 방지법’ 반대 여론 ...

어, 오늘 보름이네. 달이 구름에 묻혀서 잘 안 보이지만.

みすきーメタルカードのページも​:ka_kakkoii:​
https://misskey-hub.net/ja/docs/mi-card/

스플래툰 레이더스 나온데

Windows and Xbox team up with ASUS to create ROG Xbox Ally handhelds.

https://blogs.windows.com/windowsexperience/2025/06/09/windows-and-xbox-team-up-with-asus-to-create-rog-xbox-ally-handhelds/

#windows #xbox #windows11 #asus #gaming #hardware #xboxally

Misskeyプロジェクトへの寄付の支援特典が届きました​:p_party:​ ​:ka_kakkoii:​

RE: https://side.misskey.productions/notes/a7lvjlxjkv

our long reservation just got changed and us along with 6 other families are being thrown out

WE NEED DONATIONS. THIS IS AN EMERGENCY

https://www.paypal.me/hazelnutflavorcoffee

#mutualaid #begpost #MutualAid #helpfolkslive2025 #transmutualaid #queermutualaid #transcrowdfund #emergencymutualaid #emergencybegpost #emergencycrowdfunding #emergency

@mutualaid@a.gup.pemutualaid group

ハート足りないからとてもありがたかった
ありがと

きゃんどるかいしゅうおーわり

우와아아앙 드디어~~~ 환영합니다

RE: https://bsky.app/profile/did:plc:aquzm76xau5oikuadmsjbrhb/post/3lraqlnv3sr2x

Dear Fedi friends,

I'm really proud to share with you a video I made: "Introducing the Fediverse: a New Era of Social Media" https://news.elenarossini.com/fediverse-video/

In this 4-minute video I explain what the #fediverse is to people not familiar with it, mentioning some of its great features and benefits (interoperability, no ads, no surveillance...) and I set it in contrast to the world of Big Tech social platforms. I argue that, with the rise of Big Tech oligarchs and the current political climate, there has never been a better time to join the fediverse.

I hope you will enjoy this video and that you will find it useful (maybe as a tool to introduce your friends, family, colleagues, school administrators, local government officials to it).

The fediverse has truly changed my life, making me a better, more empowered digital citizen. I am endlessly grateful for it, so this is my contribution to the cause ❤️

I am also incredibly thankful for the work of @samaabergSamuel Aaberg and @patel.riyenThe Life of Tarzan who helped me bring my vision to life with their amazing cinematography skills and their assistance throughout the process, providing brilliant feedback to the script / edits from the POV of fedi newbies.

And I was also moved by the generous help of people of the Fediverse who volunteered to translate the script into many foreign languages: @janJan Dytrych🇨🇿🇺🇦 @fritjofFritjof @erikkempErik Kemp 🇪🇺🟥 @sknob @severin @clabruClaudio @tarcisiosurdiTarcísio Surdi ⁂ @hongminhee洪 民憙 (Hong Minhee) @danielcasanueva @ainaliJan Ainali @naclyPen

Lastly, I'm thankful for the opportunity I had to premiere the video last week at #FediForum - thank you @j12tJohannes Ernst and @anca

The video is up on my self-hosted PeerTube instance (thank you @yunohostYunoHost ) and for now it is unlisted as I have no idea how my VPS will hold up. I also included an alternate location in the blog post.

I hope you'll enjoy it! It's been a real labor of love (a month of full time work on it)... I see it as my love letter to the fediverse 💌

Edit/update: THANK YOU for all the people who volunteered to have their avatar show up in the last shot. There were 750+ submissions and only 135 spots - sorry I couldn't include everyone 🥲

#TheFutureIsFederated

交叉发文：
浏览 Bluesky 抛去 X 移民（各种意义上的）和联邦宇宙影响之外还算可以
（Bluesky 不也是一种 X 移民（

「えぬはちえぬ」って言ってたら、「なんで数字だけ日本語なん」ってツッコミが入りました。

#길냥이_인생사진_콘테스트

자기 수박 냅두고 내 수박 뺏어먹는 앵무새