What is Hackers' Pub?

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

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

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

와 해커스펍 흥한다~~

#자기소개

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

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

비주류지만 주류추구

저도 #자기소개

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

#자기소개 를 해볼까요.

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

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

저도 #자기소개

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

코딩중에 동작을 disable시키기 위해 주석을 많이 쓰는데, 이런것도 그냥 기본 문법에 Disable같은 키워드로 넣어 주면 좋겠다. 또 콘솔에 메시지를 찍을때 현재 소스 코드 위치를 찍는 것도 기본 기능으로 넣었으면 좋겠다.

이런 제안에 대해 거부감이 든다면(나도 듬), 그건 프로그래밍 언어의 문법이 완성된 코드라는 정적인 정보를 묘사하기 위함이라는 생각 때문일 거라고 짐작한다. 중간에 나오는 못난 코드들을 보조할 필요는 없다는 입장? 근데 사실은 못난 코드 보고 있는 시간이 코딩하는 시간의 99%다.

저도 #자기소개

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

@tagesschau "Der Minister für Magisches Denken präsentierte heute vor begeisterter Presse und Bevölkerung in Schilda neue Zauberstäbe gegen Hunger, Verbrechen und Krankheit."

Das ist ein wichtiges Zeichen. Das dänische Digitalisierungsministerium wendet sich von Microsoft ab. Bis zum Herbst soll die Abkehr von Microsoft vollzogen sein. Diese Entscheidung ist nicht zu unterschätzen, wenn man bedenkt, dass Dänemark bei der Digitalisierung Spitzenreiter ist. Das sendet ein wichtiges Signal.

#fucktechbros #fuckmicrosoft #fuckusa #digitalisierung #opensource #dänemark

[ Digitaliseringsminister vil udfase Microsoft i sit eget ministerium | Nordjyske.dk ]
https://nordjyske.dk/nyheder/politik/digitaliseringsminister-vil-udfase-microsoft-i-sit-eget-ministerium/5616096

애플, 모든 플랫폼에 통합된 유니버설 디자인 도입 - "Liquid Glass"
------------------------------
- *애플* 이 모든 주요 플랫폼에 적용되는 *새로운 소프트웨어 디자인* 을 발표함
- Liquid Glass 라는 투명하고 반응형 신소재를 도입하여, 각 플랫폼에서 더 생동감 있고 집중도 높은 사용자 경험을 제공함
- 새로운 디자인은 *iOS 26, iPadOS 26, macOS Tahoe 26, watchOS 26, tvOS 261* 등 모든 애플 기기…
------------------------------
https://news.hada.io/topic?id=21373&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

부끄러움을 무릅쓰고 작성합니다. #자기소개

• 순수 예술을 전공했습니다.
• 학부 시절엔 주로 사진을 찍었습니다. 가끔 목공, 철공도 했습니다.
• 결혼한 지 만 2년을 앞두고 있습니다.
• 서울에 거주 중입니다.
• 구직 중입니다.
• 프로그래밍은 오랫동안 할 것 같습니다.
• 무엇이든 제 손으로 하는 것을 좋아합니다.

잘 부탁드립니다!

25/6/10 날씨 이것저것 1987년의 오늘엔 대한민국에서 6월 민주 항쟁이 있었습니다. 2025년엔 모양은 다르지만 ICE에 대항한 대규모 시위가 미국에서 일어나고 있습니다. 엄격-근엄-진지한 펨코 인셀들은 "그래도 폭력 시위니까 나쁜 것"이라며 은근슬쩍 역사 안에 있던 수많은 항쟁들을 같이 깎아내리고 있는데요. 그 속내가 너무 투명하고 저열해 보입니다. 이번 추방 자체가 '전시상황에서 적국의 위험인물들을 추방할 수 있다'는 18세기에 있던 법을 근거로 집행한거라, 민주적 정당성이 상당히 취약하다는 것을 쏙 빼먹고 말이죠.

LA protests continue as Califo...

にゃーん

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

새로 오신 분들은 #자기소개 태그 걸린 글들 읽어보고 관심사가 맞는 분들 팔로하셔도 좋을 것 같네요. 그나저나, 자기소개만 읽어도 다 재밌다…

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

부끄러움을 무릅쓰고 작성합니다. #자기소개

• 순수 예술을 전공했습니다.
• 학부 시절엔 주로 사진을 찍었습니다. 가끔 목공, 철공도 했습니다.
• 결혼한 지 만 2년을 앞두고 있습니다.
• 서울에 거주 중입니다.
• 구직 중입니다.
• 프로그래밍은 오랫동안 할 것 같습니다.
• 무엇이든 제 손으로 하는 것을 좋아합니다.

잘 부탁드립니다!

ほんじつのChrome

FreeBSD 14.3-RELEASE Release Notes | The FreeBSD Project

https://www.freebsd.org/releases/14.3R/relnotes/

#FreeBSD

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

부끄러움을 무릅쓰고 작성합니다. #자기소개

• 순수 예술을 전공했습니다.
• 학부 시절엔 주로 사진을 찍었습니다. 가끔 목공, 철공도 했습니다.
• 결혼한 지 만 2년을 앞두고 있습니다.
• 서울에 거주 중입니다.
• 구직 중입니다.
• 프로그래밍은 오랫동안 할 것 같습니다.
• 무엇이든 제 손으로 하는 것을 좋아합니다.

잘 부탁드립니다!

Das ist ein wichtiges Zeichen. Das dänische Digitalisierungsministerium wendet sich von Microsoft ab. Bis zum Herbst soll die Abkehr von Microsoft vollzogen sein. Diese Entscheidung ist nicht zu unterschätzen, wenn man bedenkt, dass Dänemark bei der Digitalisierung Spitzenreiter ist. Das sendet ein wichtiges Signal.

#fucktechbros #fuckmicrosoft #fuckusa #digitalisierung #opensource #dänemark

[ Digitaliseringsminister vil udfase Microsoft i sit eget ministerium | Nordjyske.dk ]
https://nordjyske.dk/nyheder/politik/digitaliseringsminister-vil-udfase-microsoft-i-sit-eget-ministerium/5616096

내 Adguard Home DNS에 며칠에 한번씩 초당 수십수백번 쿼리 날리는 놈이 있는데,
IP차단을 해도 IP를 여러나라로 바꿔가며 날리네,
이런거 막을 방법이 없을라나.
Adguard Home에 차단관리쪽은 기능이 좀 부실하네.

당장 생각나는 방법은 iptables 이용해서 분당 쿼리수 제한해버리는 거가 있겠고...

早上經過台北橋時滿滿摩托車的風景
#台北橋

echoコマンドで自己複製

RE: https://chpk.kur0den.net/notes/a8tm9nox12ig1jta

부끄러움을 무릅쓰고 작성합니다. #자기소개

• 순수 예술을 전공했습니다.
• 학부 시절엔 주로 사진을 찍었습니다. 가끔 목공, 철공도 했습니다.
• 결혼한 지 만 2년을 앞두고 있습니다.
• 서울에 거주 중입니다.
• 구직 중입니다.
• 프로그래밍은 오랫동안 할 것 같습니다.
• 무엇이든 제 손으로 하는 것을 좋아합니다.

잘 부탁드립니다!

我一直遲疑對我老爸道謝，原來是怕說完了會是我們最後的語言

マトリョーシカ.bat

──────🕛0時🕛──────

──────🕛0時🕛──────

Autokraten brauchen den Notstand. #Trump #LAProtest #NationalGuard
https://taz.de/Einsatz-der-Nationalgarde-in-Los-Angeles/!6090079/

부끄러움을 무릅쓰고 작성합니다. #자기소개

• 순수 예술을 전공했습니다.
• 학부 시절엔 주로 사진을 찍었습니다. 가끔 목공, 철공도 했습니다.
• 결혼한 지 만 2년을 앞두고 있습니다.
• 서울에 거주 중입니다.
• 구직 중입니다.
• 프로그래밍은 오랫동안 할 것 같습니다.
• 무엇이든 제 손으로 하는 것을 좋아합니다.

잘 부탁드립니다!

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

새로 오신 분들은 #자기소개 태그 걸린 글들 읽어보고 관심사가 맞는 분들 팔로하셔도 좋을 것 같네요. 그나저나, 자기소개만 읽어도 다 재밌다…

Windowsのデスクトップ環境、公式でカスタマイズできるようにならないかな

결과 : 수업 째고 카페에서 죽치고 앉음

#카페토돈

早上經過台北橋時滿滿摩托車的風景
#台北橋

After the crash the primary usage of "AI" will be for generating fake online presences with acceptable bland politics so that you can cross borders https://mastodon.social/@campuscodi/114655975804850106

おはよー
ねむい​​

새로 오신 분들은 #자기소개 태그 걸린 글들 읽어보고 관심사가 맞는 분들 팔로하셔도 좋을 것 같네요. 그나저나, 자기소개만 읽어도 다 재밌다…

"新しいLiquid Glassデザインは「Windows Vista」の路線に近いとも言える"

＼それな／

14年取材した記者が叫ぶ、アップルのWWDC25が「期待外れ」だった理由 - CNET Japan https://japan.cnet.com/article/35234054/

#자기소개 흐름에 탑승해봅니다.

• Hackers' Pub 개발에 조금은 기여를 했습니다. 아마도 앞으로도...
• VisualBasic으로 프로그래밍을 시작해서 지금은 SoftwareEngineer 로 벌어먹고 살고 있습니다.
• iOS 앱, 웹, Office문서의 HTML변환기, 모바일 게임, HTML5 게임, HFT 등 코드를 작성했다 말고는 공통점을 모르겠는 커리어를 쌓아(?)왔어요.
• Emacs사용자였으나 이제는 그냥 VS Code를 쓰고 있어요.
• 요즘 쓰는 언어는 Rust, Typescript, Power shell, C++, Python 정도인 것 같네요. 마지막 2개는 별로 쓰고 싶지는 않은데 어쩔 수 없이...
• 한동안은 HomeAssistant에 zigbee 장치 세팅하느라 quirks 코드를 좀 작성 했지만 이제는 일단 다 돌아가서 손 놨네요. 정리해서 이것도 기여 해야하는데...
• 요즘에는 macOS에서 실행되는 RDP서버 와 캘린더 일정 생성을 위한 크롤링 시스템(예전에 만든 같은 목적의 프로젝트에서 유지보수를 고려해서 새로 개발) 같은 것을 만들고 있어요
• 맥미니 한대 들여서 로컬 LLM도 조금 건드려보다 말았네요.

잘부탁드립니다

Tool:PaintBBS NEO
HAPPYをどうぞ
#Misskey専用お絵かき掲示板
https://paintbbs.sakura.ne.jp/misskey/

AI無修正でしょっ引かれ案件、守るのも限界があるので、それぞれで頼むぜ。馬鹿馬鹿しいことだからこそ、そんなことで検挙されんじゃないよ。