What is Hackers' Pub?

FreeBSD 14.3-RELEASE Announcement

https://discoverbsd.com/p/d61e150a3b

えなんかさ、iOSアプデしたらioのロゴ勝手に新しい風の物に変えられてるんだけど、これブランドガイドライン的にOKなの？

님들이 제 친소를 대신 돌려야한다면 뭐라고 홍보하실건가요?

@codinghorrorJeff Atwood @mdione I'm going through this pain right now, and there's no instantaneous solution. It was a lot easier before one's phone number became their identity.

Depending upon your needs, there are (non-GV) VOIP providers than act as indirection layers. The one I use (happy to mention if asked, but not gonna shill) is actually supported as an associated number by GV, and allows one to pretty cheaply manage N dialin numbers with a bunch of traffic routing flexibility, sms support, etc. I was even able to create a cheap incoming/outgoing FAX-to-email number with it because of course that's how I have to communicate with the IRS. It's the one solution I've been able to find that gives me the flexibility to abandon my US mobile account (though I haven't done that yet, as the number porting process is a pain).

Coupled with the ability to pretty easily move a GV number from one goog account to another, this... works? But I wouldn't try to explain this to my grandmother. Or my parents. And in the end this would eliminate the option of using a US phone number for iMessage/FaceTime, so it won't work for everyone and is far from a normie-friendly solution. No idea how stable it is long-term. But it's the best I've found so far.

So I think your actual point stands firm.

FreeBSD 14.3-RELEASE Announcement

https://discoverbsd.com/p/d61e150a3b

‘데모꾼’ 정보라 “새로운 대한민국, 아무도 고공에 오를 필요 없는 나라 되기를” www.khan.co.kr/article/2025... "그는 현장의 데모꾼이라고 자신을 정의하지만, 글을 쓰는 일로도 사회에 ‘시위’하는지도 모른다. 2025년 필립 K.딕상 최종후보에 오른 <너의 유토피아>에 실린 단편 ‘그녀를 만나다’는 차별금지법이 제정된 세계를 배경으로 2021년 사망한 변희수 하사의 이야기를 담았다. 작가는 시상식에서 이 작품의 일부를 낭독하기도 했다."

‘데모꾼’ 정보라 “새로운 대한민국 시작, 아무도 고공...

아 생각해보니 자물쇠를 굳이 안걸어도 여긴 공개 비공개 여부 설정이 되는구나?

Going to freiburg soon!!!!!!! to talk about computers!!!

#자기소개

인터넷 망령입니다 젠녀입니다 98년생이고 부산 거주합니다

머... AuDHD 환자고 불안이인데 요샌 불안은 좀 조절이 되고요

선량한 인터넷 생활을 지향하고 있습니다

트위터도 하고 있고 핸들은 같습니다
아마 트위터쪽은 좀 더 큐레이션해서 글을 쓸겁니다(이쪽이 더 사담 많을거같다는 뜻)

개발자? 정체성보다는 컴쟁이 정체성을 선호합니다. 뭐 그렇다고 개발을 안하는건 아니지만... 선호분야는 LLM, CV지만 그래도 폭넓게 건드려보긴 했어요. (깊이는 얕습니다)

지금은 퇴사하고 쉬다가 다시 취직할곳 알아보는 중입니다

연친들 좀 모이면 자물쇠 걸고... 제가 만드는거 이야기들도 좀 해볼 생각입니다 ㅎ

あなた！
ネコと鳥の​​よ

@ 뉴스1기자: 야권과 온라인상에서 미국문화원 점거 사건때문에 '미국입국이 불가능하다. 반미주의자다' 라는 이야기가 있는데 사실확인과 입장 좀 김민석 : ??????ㅋㅋㅋㅋㅋㅋㅋㅋ 나 하버드 나오고, 미국 변호사 자격증 있는데?? 진짜...진짜... 펨코나 디씨에서 돌던 <담론과 공론>을 대통령이나 국무총리 후보자한테 들이미는 이 멘탈리티.

Fancy clear app icons. #iOS26DevBeta

PWA icons probably get the secondary treatment as usual.

현직이기도 한 이주호 교육부장관이 리박스쿨 관련 국회 긴급 현안질의에 불출석 사유서 제출. 사유는 "내가 지금 국무총리 대행이라 바빠서 못 감." 장관이 국회 출석을 특별한 이유도 없이 거부하는 이 오만함도 윤석열의 악습. 법에 의거하여 조사 받고 처벌 받으세요.

あぶりぼん

App icon for @phanpy looks a bit glassy on the edges but @elk looks even more glassy 👀

李 정부, 전기요금 등 줄줄이 공공요금 동결·인하 유력 n.news.naver.com/mnews/articl... > 여름철 전력 수요 증가에 전기요금 인상 안 하는 것이 불문율 < 겨울철에 난방비 올리고 여름철에 전기 올리던 정부가 있었는데...

李 정부, 전기요금 등 줄줄이 공공요금 동결·인하 유력

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 💚

李 정부, 전기요금 등 줄줄이 공공요금 동결·인하 유력 n.news.naver.com/mnews/articl... > 여름철 전력 수요 증가에 전기요금 인상 안 하는 것이 불문율 < 겨울철에 난방비 올리고 여름철에 전기 올리던 정부가 있었는데...

李 정부, 전기요금 등 줄줄이 공공요금 동결·인하 유력

吾輩も猫ですわよ

逃げ隠れずに見つめてきてる時は｢警戒｣｢興味｣があるサイン

보안사고 한방 큰거 또 터질거라고 예측해봅니다

Given that the US president has deployed the Marines, historical anecdotes suggest he really is in the #Epstein files in a big way and doesn't want people to talk about it.

#uspol #LA

すずむし

むしになっちゃう

あっつむしむし

I yearn to someday live in a world where the people in charge of things are smarter than me

트위터는 큐레이션하는 공간으로 두고 여기서 사담 많이 해야징 ㅎㅎ

무엇보다 사실 27년 살면서 지금처럼 안정적인 적이 별로 없었는데 단순 우울증으로 진단하다 조울ADHD머시기조합으로 재진단하고 약 싹 바꾸니까 너무 평온하게 살아가고 잇음 그래서 인터넷에 굳이 doomposting을 해야할 필요성도 좀 적어졌고

ㅎㅇㅎㅇㅎㅇㅎㅇㅎㅇ

서버장....살려...

も　す　か　う

とりあえずモスクヴァをモスクワかモスコーにさせます ​​

서버장....살려...

선경도 그렇고...네24도 그렇고... 조만간...좀 더 끔찍한 보안사고가 터지는 게 아닐까... 하인리히의 법칙이 너무 생각나...

이시바 총리란 말을 볼 때마다 이ㅅㅂ 총리란 말이 떠오른다

In Riga I met with @flordefuego and we took another bus to Liepāja. The bus had very good entertainment options. Every seat had it’s own screen and Wikipedia. Which became the portal to the Internet – and to P5 and Strudel. We felt very hacker™.
You could host a Strudel workshop on a Latvian bus. @froos

アンケートです。

『魂、どこにおいてる？』

・自分がメインだと考えているアカウントは、下記のどこにありますか？ どれか一つだけご回答を

・該当ない方はリプライにて

Europe needs digital sovereignty – and Microsoft has just proven why

Link: https://tuta.com/blog/digital-sovereignty-europe
Discussion: https://news.ycombinator.com/item?id=44233480

사실 사적인 이야기랑 내가 하는 작업 이야기 전부 같이쓰고싶은데 먼가 그러기에는 좀 부끄러움 두개는 좀 분리된 느낌으로 두고 싶은데

this performance wow #iclc2025

#자기소개 를 해볼까요.

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

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

챗GPT로 만나는 우리집 AI 주치의 가정의학과 전문의가 알려주는 진짜 챗GPT 활용법 www.hanbit.co.kr/store/books/... .......................아니 분명 잘 쓰면 의미야 있겠지만 (관련 기사 검색 등) 의사가 추천하기엔 좀 위험한 타이밍 아니에요? ....

챗GPT로 만나는 우리집 AI 주치의

그러니까 서버장을 잡아먹는....

#툿친소 #연친소
컴퓨터공학과 학부생 2025년 포브스 선정 최고 불법개발자
하고싶은게 뭔지는 모르겠지만 그래도 일단 이거저거 보는중

오타쿠
봇치 더 락과 이거저거 잡탕 백합도 취급합니다 (편식함)
인터넷 방송인 얘기 자주 함 (케인 김도 똘삼)

그 외에도 이거저거 좋아하는거 위주로
시사 정치 음악 오디오 얘기 쬐끔
전공얘기 쬐끔 일상얘기 많이
흡연자/술마심 (술담배얘기 좀 함)

약간의 정신병력 있음 살짝 불안정합니다 (무리라면 피하시길)
팔로우 주시면 괜찮은지 보고 맞팔드림 (블언블 위약금 없음)

본인이 의료 AI 회사의 의료 알고리즘 디렉터. 유용한 면도 있겠지만 저 책을 부모님이나 가족에게는 추천하지 못할 것.

RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3lrakj5cvz22w

이런 면에서 KDL이 아주 훌륭하다고 느꼈던 게 /- 주석이란 게 있다. AST 노드 하나를 주석 처리하는 거.

#툿친소 #연친소
컴퓨터공학과 학부생 2025년 포브스 선정 최고 불법개발자
하고싶은게 뭔지는 모르겠지만 그래도 일단 이거저거 보는중

오타쿠
봇치 더 락과 이거저거 잡탕 백합도 취급합니다 (편식함)
인터넷 방송인 얘기 자주 함 (케인 김도 똘삼)

그 외에도 이거저거 좋아하는거 위주로
시사 정치 음악 오디오 얘기 쬐끔
전공얘기 쬐끔 일상얘기 많이
흡연자/술마심 (술담배얘기 좀 함)

약간의 정신병력 있음 살짝 불안정합니다 (무리라면 피하시길)
팔로우 주시면 괜찮은지 보고 맞팔드림 (블언블 위약금 없음)

#틋친소 #툿친소 #마친소 #뿌친소​

- 대충 AuDHD
- 대충 체스 메이플 리듬게임 베데스다게임 등등 으 너 그런거하니? 싶은거 함
- IT쟁이: 대충 주력분야 llm, cv이긴 한데 다른분야라고 안하는건 아님
- 대충 젠녀

자유롭게 와주세요

내 인생은 커피-담배-콘서타가 삼위일체를 이루어 살아가고 있으며...