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.

Hyunjoon Kim @d01c2@hackers.pub
Public
Shared by Alternative_Talk :twitter__verified:

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

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

잘 부탁드릴게요

5
0
0
RanolP @ranolp@hackers.pub
Public
Shared by Alternative_Talk :twitter__verified:

를 해볼까요.

  • @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
라온누리 @fkdhs91@k.lapy.link
Public
Shared by Alternative_Talk :twitter__verified:


녀석은 여나부주 접속률을 높이기 위한 툿친소를 해...

명일방주 리버스1999 파이널판타지14 마비노기모바일 작혼 제5인격 +@기타등등스팀 게임을 하고 있으며, 메인닉 라온누리로 서리(hoarfrost), 소낙눈, 눈보라, 초코보조련사 등의 닉을 쓰고 있습니다.

사진 쓸게 없어서 이상한 거 첨부.
흔적 남겨주시면 팔로우할게요.

0
0
0
洪 民憙 (Hong Minhee) @hongminhee@hollo.social
Public
Shared by Jung Wook Park

Excited to share that I've joined (Open Source Software Contribution Academy) as a mentor for the @fedifyFedify: an ActivityPub server framework project!

OSSCA is a national program run by South Korea's NIPA (National IT Industry Promotion Agency) through their Open Source Software Support Center, aimed at fostering the next generation of open source contributors.

We're currently in the process of selecting around 20 mentees who will start contributing to once the selection is complete. I've been busy preparing good first issues to help them get started on their open source journey.

Looking forward to working with these new contributors and seeing what amazing things we can build together!

6
5
0
0
0
0
0
0
0
0
0
0
🕯🌸기력없는 아야(雅若)🌸🤗🕯 @arfwiras@planet.moe
Public
Shared by Alternative_Talk :twitter__verified:

시국이 시국이라 정치글 좀 올리는 편인데 기본 오랜 덕후입니다. 어쨌든 언젠간 즐겁고 행복하게 덕질 이야기만 잔뜩 하고 싶습니다.

덕질 성향

여러가지 다양하게 많이 파고 있습니다. 코에이 네오로망스(그 중에서도 하루카 오시)♡무쌍 시리즈 전반 본진으로 성우, 셜록 홈즈, 십이국기, 은영전, 명탐정 코난, 여성향 게임, 애니 기타 등등. 1차 및 드림 팝니다.

음악 듣기 및 고전 애니 게임 아주 좋아하고, 썰이나 글을 모아 나만의 책 만드는 취미가 있어요. 세상에서 오직 나만 파는 것.

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
Bianca Kastl @bkastl@mastodon.social
Public
Shared by leyrer

Hier ist gerade was los … heise.de/news/Zero-Day-Bluetoo 🎧

Zero-Day: Bluetooth-Lücke macht Millionen Kopfhörer zu Abhörstationen

Der in beliebten Modellen großer Hersteller verbaute Bluetooth-Chipsatz ist angreifbar. Hacker konnten so Anrufe starten und Geräte abhören.

www.heise.de · Security

Link author: Dr. Christopher Kunz@christopherkunz@chaos.social

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
Python Software Foundation @ThePSF@fosstodon.org
Public

On the PSF Blog: A summary of the "PEP 772 and Packaging Governance" talk by Barry Warsaw and Pradyun Gedam during the Language Summit at 2025
pyfound.blogspot.com/2025/06/p

The Python Language Summit 2025: Packaging Governance Process (PEP 772)

PEP 772 proposes a Packaging Governance Process through a new Python Packaging Council of 5 members (similar to the Python Steering Council...

pyfound.blogspot.com · Python Software Foundation Blog

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
^Kur0den\d{4}$ :irai_houki_tyuu: @kur0den0010@chpk.kur0den.net
Public

サポート担当者の指示がない限り、セキュアブートを無効にすることはおすすめしません。
​:neocat_woozy:​

『BIOSでセキュアブートを有効/無効にする - Lenovo サポート 便利な小技 - Lenovo Support JP』 - https://support.lenovo.com/jp/ja/videos/nvid500424-disable-and-enable-secure-boot-in-bios-lenovo-support-quick-tips

BIOSでセキュアブートを有効/無効にする - Lenovo サポート 便利な小技 - Lenovo Support JP

support.lenovo.com

1
0
0
Fireside Fedi @firesidefedi@social.firesidefedi.live
Public

Fireside Fedi Episode 26 is LIVE! With me today is @FloppyJames Smith 💾 with @manyfold !

Watch the show live:
#Owncast #Livestream - https://stream.firesidefedi.live

After the show:
#Peertube #VOD - https://video.firesidefedi.live
#Castopod #Fedicast - https://audio.firesidefedi.live
#Youtube - https://www.youtube.com/channel/UCaJ15PXgRihoPku7JMdDnsw

All #Links - https://firesidefedi.live

#stream #owncast #live #interview #firesideFedi #FsF #people #peopleOverPlatforms #protocolsOverPlatforms #fedi #fediverse #open #internet #openInternet #podcast #fedicast #livestream #show #episode #peertube #vod #castopod #writefreely #lemmy #boostplease #fedizen #btfree #bigTechFree #nonprofit #signup #tubeFree

If you're enjoying the show, please consider supporting our new nonprofit btfree.org at https://givebutter.com/btfree. We're currently running https://tubefree.org which is a moderated peertube open for signups right now!

https://stream.firesidefedi.live/logo/external

Fireside Fedi Livestream

Fireside Fedi is an attempt to learn more about folks within the Fediverse.

stream.firesidefedi.live · Fireside Fedi Livestream

0
1
0
Jeff Sikes @box464@mastodon.social
Public
Shared by Tom Casavant

PieFed reaches 1.0 status, and two Lemmy apps announce experimental support for PieFed - @voyagerappVoyager for Lemmy and @interstellarInterstellar App

I’ve tried Interstellar and it works! Voyager app I couldn’t login - yet.

piefed.social/post/956553

PieFed 1.0 is released - dev update

See [the install instructions](https://codeberg.org/rimu/pyfedi/src/branch/main/INSTALL.md) to get the latest release. Switch to the "v1.0.x" git b…

piefed.social

0
0
0
0
0
0
0
0
0
Alvin Ashcraft 🐿️ @alvinashcraft@hachyderm.io
Public

TrailBlazor Spotlight: Syncfusion Provides Valuable .NET Insights for Developers.

TrailBlazor Event Starts Now!

syncfusion.com/blogs/post/trai

TrailBlazor 2025 Unlocking the Future of Data Visualization with AI and the Syncfusion Toolkit for .NET MAUI

TrailBlazor Spotlight: Syncfusion Provides Valuable .NET Insights for Developers

TrailBlazor 2025: The premier virtual .NET conference on June 26! Join developers worldwide for expert sessions on Blazor, .NET MAUI, and Oqtane, including AI-powered data visualization with Syncfusion. Register free!

www.syncfusion.com · Syncfusion Blogs

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
2
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
2
0
0