What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

1
0
0
0
0
0

rmw instructions can access memory mapped io... right?

add [rax], rcx ; load, add rcx, store
add rcx, [rax] ; load, add to value in rcx

0
0
1
0

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

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

16
0
0
0
0
0

카카오맵에 초정밀 지하철 기능이 생겼는데, 예전에 인상 깊게 본 Mini Tokyo 3D가 떠올랐다.

나도 저런 걸 만들고 싶어져서 3D는 어려워도 2D 지도 위에 그리는 건 어떻게든 할 수 있지 않을까, 생각했지만 한국에는 관련 API가 없어서 삽도 못 뜨고 포기했던 것도 기억났다 😅

카카오맵 버전 6.3.0에 추가된 초정밀 지하철 기능. 지도의 지하철 선로 위로 지하철 모형이 움직이는 모습을 볼 수 있다.
0
0
1
0
0
0
0
0

탐라보다가 들켜버렸네요! 오랜만에 할 기회가 생겼습니다:)

  • 저도 해커스펍을 만드는 사람은 아니고, @kodingwarriorJaeyeol Lee 님께서 초대해주셔서 눌러 앉은뒤로 종종 트위터에서 잘 올리지 않는 이야기들을 여기서 하곤 해요.
  • 일단 대학원에서 PL 전공을하고 있는데요. 동료와 지인들에게서 딥한 타입 이론들을 듣는 것도 때로는 좋아하지만, 정적분석과 퍼징 같은 실용적인 프로그램 분석 기술에 더 관심이 많아요. JavaScript 생태계의 이런저런 툴체인들과 스펙 자체를 뜯어보고 기여하고 있습니다.
  • 좋아하는 언어는 Scala이고 연구할 때 주로 씁니다. 툴링이 좀 별로지만 정말 좋은 언어라고 생각해요. 그 외에도 TypeScript나 Golang, OCaml, Rust 가리지 않고 씁니다.
  • 함수형 언어... 이것저것 써본 적도 있고 관심도 가져왔지만 Scala가 제일 손에 익네요. Haskell에 늘 부채감을 느끼고 있습니다.
  • 이런저런 기술들에 관심이 많지만 그 모든 것을 follow-up할 여력은 되지 못해 늘 아쉽습니다. 무언가를 혼자서 알아가는 시간도 즐겁지만, 사람과의 교류를 통해 새로운 것을 알아가는 것을 즐깁니다. 기술 외적인 부분에서도요! 최근에는 커피 생두를 가공하고 변인 통제를 하는 것에 대한 이야기를 들었는데 정말 재밌었어요.
  • 에디터는 @xiniha 님의 추천이 첫 계기였던 것 같은데, 주로 Zed를 씁니다. 가볍고 빠르고 vim 키 바인딩도 익숙해지면 편하구요. 만족하고 있습니다.
  • 20대 중반...이네요. 분명 대학생이었는데 말이죠... 서울에서 살고 있는 시스헤테로남성입니다.
  • 사실 해시 거는 거 까먹어서 다시 작성했어요...

잘 부탁드릴게요

5

@kodingwarriorJaeyeol Lee 님에게 들킨 김에 써보는

  • 퍼리입니다. 언젠간 해커스 펍을 털로 뒤덮으려는 아름다운 마음을 품고 있습니다.
  • 재작년 부터 web3 쪽으로 전향했고 주로 코어 쪽을 건들고 있습니다. 하지만 여전히 블록체인은 잘 모릅니다.
  • 언어 만드는걸 좋아하고 관련 프로젝트들에 기여를 하고 있습니다
  • 좋아하는 언어는 러스트와 OCaml인데 안 쓴지 오래되서 조만간 까먹을거 같네요
  • 파서나 상태머신, 정적분석을 좋아합니다. - 관련해서 요즘은 개발하고 있는 언어에 린터를 만들고 있습니다
  • 활자 중독입니다. 해커스펍은 읽을게 많아 좋네요. 책은 주로 철학이나 건축 쪽을 읽고 있습니다.
  • 의외로 백엔드나 프론트엔드를 해본적이 없어서 항상 애매한 포지션에 있는 것 같습니다.
  • 밴드활동도 하고 있습니다. 원래 대충 모여서 술마시는 것에 의의를 뒀었는데 올해는 공연 뛸 일이 많아졌네요.
  • 20대 중반이고 서울에서 거주 중입니다

여러모로 잘 부탁드립니다. 추가로 깃헙 프로필은 https://github.com/notJoon입니다.

낫준 배상

9
1
0

@kodingwarriorJaeyeol Lee 님에게 들킨 김에 써보는

  • 퍼리입니다. 언젠간 해커스 펍을 털로 뒤덮으려는 아름다운 마음을 품고 있습니다.
  • 재작년 부터 web3 쪽으로 전향했고 주로 코어 쪽을 건들고 있습니다. 하지만 여전히 블록체인은 잘 모릅니다.
  • 언어 만드는걸 좋아하고 관련 프로젝트들에 기여를 하고 있습니다
  • 좋아하는 언어는 러스트와 OCaml인데 안 쓴지 오래되서 조만간 까먹을거 같네요
  • 파서나 상태머신, 정적분석을 좋아합니다. - 관련해서 요즘은 개발하고 있는 언어에 린터를 만들고 있습니다
  • 활자 중독입니다. 해커스펍은 읽을게 많아 좋네요. 책은 주로 철학이나 건축 쪽을 읽고 있습니다.
  • 의외로 백엔드나 프론트엔드를 해본적이 없어서 항상 애매한 포지션에 있는 것 같습니다.
  • 밴드활동도 하고 있습니다. 원래 대충 모여서 술마시는 것에 의의를 뒀었는데 올해는 공연 뛸 일이 많아졌네요.
  • 20대 중반이고 서울에서 거주 중입니다

여러모로 잘 부탁드립니다. 추가로 깃헙 프로필은 https://github.com/notJoon입니다.

낫준 배상

9
1
0

를 해볼까요.

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

15
0
0

OK Fedifriends, I need your help with some complex ActivityPub stuff.

Mastodon won't show a list of followers for @coloursColours Bot

It has an orderedcollection at colours.bots.edent.tel/followe which paginates properly.

The mimetype and JSON are all correct, I think.

You can check out the source code at gitlab.com/edent/activity-bot/

What magical incantation do I need to do to help Mastodon see the details of the account's followers?

Feel free to reply here or on the repo.

0


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

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

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

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

0
0
0
0
0
0


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

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

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

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

0
0
0
0
0
0
0
0
0
0
0
0
0
0

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 :emacs: :ardour: @erikkempErik Kemp 🇪🇺🟥 @sknob @severin @clabruClaudio @tarcisiosurdiTarcísio Surdi ⁂ :verified_sc: @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 :neopossum_box:) 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

1
1
0
0
1
0
0
1
0