@curry박준규 제가 쓰는 아이콘 세트인 Heroicons에는 없는 듯하지만 다른 아이콘 세트에서 한 번 찾아보도록 할게요!

Polymarket 등의 예측 시장에는 오라클 문제가 있다. 블록체인으로 만들어봤자, 어차피 베팅의 승패를 결정하려면 외부에서 딸깍 해줘야한다. 가령 4월 내에 탄핵이 이뤄질거냐 마냐 같은 게임을 상상하면 된다. 그 딸각하는 사람을 어떻게 믿을수 있냐는 문제가 오라클 문제다.

오라클 문제가 없는 예측 시장이 하나 생각났는데, 바로 수학 문제가 언제 풀릴 것이냐에 대한 것이다. 가령 리만 가설이 앞으로 1,000,000 블록 내에 풀릴지, 또는 P=NP랑 둘 중에 뭐가 먼저 풀릴지 등에 대한 것이다. 여기서 풀리는건 Lean 등으로 작성된 Formal Proof을 통해서 온체인으로 판단한다.

수학자들은 자신이 베팅을 걸어놓고 연구를 열심히해서 돈을 벌 수도 있다. 또 직접 연구를 하지 않더라도 GPU를 사서 자신의 베팅에 유리하도록 연구에 도움을 줄 수 있다. 앞서 그냥 유명하단 이유로 너무 거창한 문제를 예시로 들었는데, 그보다는 더 작고 쉬운 많은 문제들에 대해 이런 식의 경제가 돌아가는걸 상상해보자. 연구에 들어가는 자원 배분이 최적화되지 않을까?

사실 인용 버튼을 만들고 싶었는데 아이콘을 못 골랐습니다. 뭘 골라도 댓글 버튼이랑 헷갈려서… 😂

RE: https://hackers.pub/@hongminhee/0195e9ea-4d47-7389-9c0a-b1f6fe323fa3

@bglbgl gwyng @curry박준규 글의 게시 시각이 퍼머링크인데요, 그걸 마우스 우 클릭해서 링크 복사하시면 됩니다. 인용 UI는 개선 예정이예요!

타일링 윈도우 매니저도 과대평가된거라는 주장도 있음 http://xahlee.info/linux/why_tiling_window_manager_sucks.html

나도 비슷한 까닭으로 15년 넘게 Vim/Neovim 써 오다가, 몇 해 전부터 VS Code를 써 왔고, 요즘엔 Zed를 함께 쓰고 있다. Zed가 조금만 더 발전하면 Zed를 메인으로 쓰게 될 날이 올 듯…!

RE: https://yuri.garden/notes/a5zx8jmbwl

요즘에는 굳이 터미널에서 vim, helix 같은 모달형 에디터를 써야하나 의문이 들어요
마우스를 안 쓰는 것이 과연 효율적인가? 오히려 비효율적이고 손목 건강에도 안 좋다는 의견도 있구요 (http://xahlee.info/kbd/mouse_vs_keyboard.html)
그리고 Keyball 같은 키보드 쓰기 시작하니까 마우스를 쓰는 것이 부담이 매우 줄어듦
제가 이런 에디터를 썼던 큰 이유 중 하나는 가벼워서 실행/종료가 부담없고 빠르다는 것이었는데
lapce 쓰면 괜찮지 않을까? 싶어서 요즘 lapce를 들여다보는 중

리눅스가 기술적 문제를 오픈 소스 정책 - 필요하면 너네가 알아서 해라 - 로 돌파한 또 하나의 경우는 이식성인데, 다른 OS들에 비해 리눅스는 이식성을 위한 기술적, 구조적 대응이 미진했고 이는 초기에 굉장한 비판의 대상이었음.

하지만 리눅스는 1. 사실상 어떤 시스템용으로든 돌아가는 오픈 소스 컴파일러 gcc, 2. 간단하고 통일된 자유 라이센스의 소스 코드, 그리고 무엇보다 3. 강력한 유저층를 바탕으로 거의 모든 시스템에서 돌아가게 됐음.

이후로 커널 이식성 기술에 대한 논의는 수요를 많이 잃어버렸음. 실제 그거 없어도 포팅 잘 되는데 왜 자원을 투입하나, 라는 질문에 답하기 어렵거든...; 윈도 드라이버 프레임웍이 커널 레벨의 추상화를 하고 있지만 이쪽은 목표가 다르지. 😅

https://philipbohun.com/blog/0007.html

리눅스는 커널, 앱(userland) 모두 오픈 소스를 암묵적으로 전제하는 경우가 많아서, Binary Compatibility에는 관심이 적음. 안 되면 소스 코드 있으니까 네가 직접 수정-컴파일-패키징하면 된다는 사고 방식. 리눅스 시스템 콜은 이제는 상당히 안정화된 api이고, 이걸 이용한 게 Docker.

다만 이게 사양으로 불변이 확정된 것은 아니므로, 독점 소프트웨어의 경우 장기간 실행 가능성을 담보하려면 호환 레이어나 가상화, 혹은 컨테이너를 쓸 필요는 있겠다. 어느 쪽이어도 Win32 포팅보다는 더 싸고 안정적인 방법일 듯.

@xtjuxtapose 하핫… (머쓱)

@hongminhee洪 民憙 (Hong Minhee) <joke>조용히 눈에 안 띄고 싶었지만 최고관리자의 우렁찬 호명으로 존재가 드러나 버렸습니다. 왜 계정을 만들자마자 글도 쓰기 전에 팔로어가 일곱 명이나 붙었나 했더만 이거였군요. 조용히 눈에 안 띄고 살 권리를 관리자가 빼앗아갔습니다.</joke>

바이너리 배포에서의 안정성을 위한다면 아주 말이 안 되는 소리는 아니지만 프로그램에서의 시스템 콜의 오버헤드를 가중시키고 시스템 간의 완벽한 호환을 보장하기 어려운데다 이미 잘 쓰고 있는 POSIX API를 버리고 Windows API를 배포하는 것은 복잡도와 비효율성 그리고 리눅스 시스템을 제대로 활용할수 없는 유연성이 저해되고 너무나도 득보다 실이 큰것이 아닌가 하는

Foreign OS의 구성 요소를 통해서 해당 운영체제를 전체적으로 랩핑한다는 시도 자체는 정말 그래야 하는가? 싶다

오히려 리눅스에서 다이나믹 링킹을 할 방법을 찾는게 더 맞지 않나 싶은

RE: https://hackers.pub/ap/notes/0195e8d1-3e72-7dc9-a194-47e7d3202329

@saschanazKAGAMI🏳️‍🌈🏳️‍⚧️ 그렇네요. WASI FTW!

@hongminhee@hackers.pub洪 民憙 (Hong Minhee) WASI도 있고... Win32 앱들 arm64로 포팅되려면 또 한세월일텐데 전부 WASI 씁시다

음, Hackers' Pub에 많이 올라오는 링크들을 모아서 Lobsters처럼 보여주는 메뉴를 만들어도 재밌겠다.

인라인 스크립트 메타데이터를 기술하는 PEP 723 규격과 Unix 셔뱅(shebang), 그리고 차세대 Python 패키지 관리자인 uv를 이용하여 단일 파일로 실행되는 Python 스크립트를 만드는 방법. 물론 uv가 시스템에 설치되어 있어야 하기 때문에 진정으로 “self-contained”하지는 않다.

참고로 PEP 723 규격은 pipx 등도 구현하고 있기 때문에, 반드시 uv가 아니더라도 다른 도구로도 비슷한 스크립트를 만드는 게 가능하다.

Wine을 이용해서 Windows 실행 파일을 곧바로 실행할 수 있는 Linux 배포판이 필요하다는 주장. 황당하긴 한데, 이유를 들어보면 말은 된다. Linux 실행 파일들은 죄다 libc를 링크해서 시스템 콜을 직접 하기에 실행 파일들이 불안정(unstable)한 반면, 사유 소프트웨어인 Windows는 처음부터 실행 파일이 직접 시스템 콜을 하게 하지 않고 user32.dll 같은 시스템에서 제공되는 라이브러리를 동적 링크하여 쓰도록 하기 때문에 Windows 95 시절의 실행 파일도 Windows 11에서 실행할 수 있을 만큼 실행 파일이 안정적(stable)이다. 따라서 Linux에서 안정적으로 배포할 수 있는 유일한 실행 파일 형식은 Wine을 통한 Windows 실행 파일 뿐인 셈이 된다.

@rangho우주해커 끄적끄적 랭호 📝 님, 어서 오세요!

여기서 해커스펍 분들 다 팔로우함 ㅋㅋㅋㅋㅋㅋ

뭐야 해커스펍 마스토돈인 줄 알았는데 아니구나 자체 소프트웨어인건가요

@A_den1126아덴 네, @fedifyFedify: ActivityPub server framework 써서 만들어진 자체 소프트웨어입니다!

마크다운 지원되는 한국인 위주 개발자 SNS 관심있으신 분 있나요?

올해도 벌써 25%나 지나갔다는 사실이 믿기지 않네요. 그래도 한 건 많겠지 싶어서 1분기에 했던 일들을 회고로 정리해 봤습니다.

https://hoonieblog.xyz/blog/retro-2025-q1

https://hackers.pub/@kodingwarrior/0195e565-deaa-7ab0-984f-1e6c065f0118

이거 관련해서 드는 생각.

리액션/북마크 기능이 추가된다면, 리액션/북마크가 많이 된 3~10개의 글을 내림차순으로 정렬해서 장문 아티클을 자동으로 발행하면 어떨까!?

트렌딩 / top 10 (week) / top 10 (month)

이런 봇들을 가입한 시점에 자동으로 팔로하게 한다던가!?

별 것 아니지만, Markdown 문법 가이드를 추가했습니다. Markdown을 모르는 분들은 거의 없겠지만, Hackers' Pub은 Markdown 확장 문법을 꽤 많이 지원하기 때문에, 이를 문서화할 필요가 있었습니다.

단문 작성 화면에서 “이미지 업로드” 버튼 왼쪽의 “Markdown 사용 가능” 링크를 누르시면 언제든지 Markdown 문법 가이드를 보실 수 있습니다.

@bglbgl gwyng 그 정도로 열악한가요… 🫨

React Native에선 설계를 보고 라이브러리를 고를 수가 없다. 뭔가 돌아가긴하는게 있다면 그걸 써야한다. react-navigation의 디자인을 도저히 이해못하겠는데 다른 선택지가 없는게 예시다.

@curry박준규 이게, 적용이 안 되는 게 아니고 적용이 됐는데 Tailwind CSS의 Typography 플러그인이 code에 대해 앞 뒤로 백틱을 붙이게 스타일을 해서 적용이 안 된 것처럼 보이는 것입니다… 안 그래도 보기에 별로 안 좋아서 지금 고치고 있습니다.

@dvbeetle중고 자몽차(따뜻함) @kodingwarriorJaeyeol Lee 어서 오세요!

안녕하세요. @kodingwarriorJaeyeol Lee 님의 초대로 왔습니다. 기묘한 개발이야기 많이 듣고 싶어요!!

오늘 블로그에 쓴 따끈따끈한 글입니다 ㅎㅎ.
비개발자도 읽을 수 있는 MCP 설정 방법 글을 써보고 싶었어요.

https://chinensis.tistory.com/entry/초보자를-위한-MCP-서버-사용-가이드-클로드가-내-개인-파일과-유튜브-영상을-분석할-수-있게-해보자

해커스펍을 어떻게 사용해볼까 하다가, 우선 한동안은 블로그에 작성하는 글을 공유해보기로 했습니다.

오늘 공유할 글은 React의 디자인 패턴 중 하나인 Container/Presentational 패턴에 관한 글입니다. 예전에 교육 프로그램을 들을 때 팀 프로젝트로 Next.js 기반의 서비스를 구현한 적이 있는데, 해당 프로젝트의 회고를 진행하면서 컨테이너 패턴을 사용했다고 착각했습니다. 최근 이력서 피드백을 받다가 이를 깨달아서, 그렇다면 컨테이너 패턴은 뭔지, 그렇다면 제가 프로젝트에 사용했던 패턴은 과연 무엇이었는지를 글로 옮겨 봤습니다.

https://hoonieblog.xyz/blog/study-react-container-presentational-pattern

@kodingwarriorJaeyeol Lee 대박…!

초대장 족보 40명 채움 캬캬

인구통계학적으로 더 골고루 전도를 해야한다...!!

해커스 펍이 왕성한 이 때, 혼자 조용히 저는 @holloHollo 가 좋아요 ㅎㅎ

@hongminhee洪 民憙 (Hong Minhee) ㅋㅋㅋ 맞아요! 추억이 방울방울. 당시에 <Supersizing the Mind>를 요약해서 공유했더랬죠. 오랜 시간 영향을 준 (지금도 주고 있는) 좋은 책이었어요.

@ak 10년도 더 전 예전 블로그에 이에 관해 글을 올리셨던 게 기억 나네요!

@ipurisHan Park 그런데 글자가 커진다기 보다는 제목이라는 의미를 주는 거라서 글쓰 크기를 키우는 용도로는 쓰지 않는 게 좋습니다. 😅

AI가 생성한 내용을 내 지식관리시스템(위키 등)에 복붙하면 그건 내 지식일까 아닐까?

2008년 경에 The extended mind (1998, Andy Clark and David Chalmers)라는 짧은 에세이를 읽었는데 여기서 본 내용이 참고할만 하다.

저자들은 장기기억 상실을 앓고 있는 사람이 수첩에 모든 걸 기록하고 항상 이를 참고한다면 그 수첩에 담긴 글들은 "확장된 기억"이라고 주장한다. 더 나아가서, 수첩의 내용이 단순히 "기억"이 아니라 "믿음extended dispositional belief"이기 위해서 필요한 기준을 추가로 제시한다.

1. 해당 정보가 그 사람의 삶에 항상 함께하며 참고해야하는 상황이 오면 거의 반드시 참고하여 행동한다.
2. 참고하고 싶을 때 어려움 없이 참고할 수 있어야 한다.
3. 일단 그 정보를 참고하면 이를 의심없이 수용한다.
4. 그 정보가 거기에 담긴 이유는 과거 언젠가 내가 내용을 신뢰했기 때문이다.

AI가 생성한 내용을 검토 없이 복붙했다면 이는 4번을 만족하지 못하고, 이에 따라 3번에도 문제가 생긴다. 따라서 검토 없는 복붙은 좋은 전략이 아닐 뿐 아니라 내 지식관리시스템을 망칠 가능성이 크다.

참고로 에세이의 저자들은 이 중 마지막 기준에 논쟁의 여지가 있다고 말하긴 한다. 무의식적으로 믿음이 형성되는 경우, 기억 조작이 일어난 경우 등이 있기 때문. 그런데 KMS 맥락에선 4번이 중요하다고 봐도 되겠다.

Sentry 빨리 정상화 해 놔야겠다… OpenTelemetry 연동을 샘플링 없이 해 놨더니 월 초면 할당량 다 써버려서 그 뒤로 못 쓰고 있다…

@kkumaeunsonyeon꿈많은소년 @curry박준규 아마 이제는 정말로! 오류가 안 날 겁니다…

@curry박준규 @kkumaeunsonyeon꿈많은소년 방금 의심되는 부분을 고쳤는데 다시 한 번 들어가 보시겠어요?

@paperonnetSubi Song 어서 오세요! 우선 사람들을 팔로해 보시지요!

@kodingwarriorJaeyeol Lee @curry박준규 Hackers' Pub에는 연합 타임라인이 없지만, 다른 인스턴스에는 연합 타임라인이라는 게 있어서 연합 우주에 올라오는 온갖 글을 다 모아서 보여주는 타임라인이 있거든요. 공개 글은 거기서 보이게 됩니다. 조용히 공개는 그렇지 않고요. Hackers' Pub 기준으로는 로그인 안 했을 때 나오는 첫 페이지 타임라인에 보여줄지에도 영향을 줍니다. 그 외에는 큰 차이 없다고 보시면 될 것 같아요.

@mind미희 님, 어서 오세요!

hello, world!

The Rust Foundation is excited to join you on Mastodon. Going forward, we plan to exclusively share social media content here, on Bluesky, and on LinkedIn. 🦀

RustConf is also on Mastodon at @rustconf. Follow them if you're interested in the many updates about RustConf coming up!

@arkjunJuntai Park 제가 수동으로 프로필 사진 URL을 다시 받아오게 했습니다… ㅋㅋㅋ