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.

0
0
0
0
0
0
14
0
0
1
0
0
Sooji Choi @cosmic_elevator@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

9
1
0
bgl gwyng @bgl@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

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

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

4
0
1
0
0
0
An Nyeong (安寧) @nyeong@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

저도

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

를 해볼까요.

  • @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
0
0
0
0
0
0
0
1
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
David Bushell 🐝 @db@social.lol
Public

reading: How to import() a JavaScript String by @zachleatZach Leatherman :11ty:

zachleat.com/web/dynamic-impor

— something else I saw recently, it's possible to do `function F(){ /* real code */ }.toString()` and create a blob from real code 😮

github.com/TecharoHQ/anubis/bl

How to import() a JavaScript String—zachleat.com

A post by Zach Leatherman (zachleat)

www.zachleat.com · Zach Leatherman

0
0
0
0
1
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Readings shared June 9, 2025. jaalonso.github.io/vestigium/p

Readings shared June 9, 2025

The readings shared in Bluesky on 9 June 2025 are Formalizing invisible mathematics: case studies from higher category theory. ~ Emily Riehl. #ITP #LeanProver #Math #CategoryTheory Sequencelib: A pla

jaalonso.github.io · Vestigium

0
0
0
1
0
0
1
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
Sooji Choi @cosmic_elevator@hackers.pub
Public
Shared by 시오🏳️‍🌈

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

9
1
0
0
0
0
14
0
0
0
0
0
1
0
0
Sooji Choi @cosmic_elevator@hackers.pub
Public
Shared by 땡상어 :spinny_cat_gay:

컴퓨터공학과 문화연구를 공부하고 있는 자유전공학부 학부생입니다! 아직 컴공 전공 수업을 듣지 못했지만, 2학기부터 수강하고 본격적으로 공부하기 시작할 예정입니다. 빅테크 기업의 인클로저와 자본 축적, 그로 인해 일어나는 노동착취를 비판적으로 바라보고, 그에 대항하는 정치적 실천으로서 기술의 가능성을 상상하고 있습니다. 일상과 정치 얘기는 @cosmic_elevator슥뽕귀신 , 독서 기록은 @exproot지수루트 에서 보실 수 있어요!

9
1
0
Jung Wook Park @hatchling13@hackers.pub
Public

스타트업에서 FE로 허덕이는... 1개월 후면 2년차가 되는... 사용자 인터페이스 만들기와 함수형 프로그래밍에 관심이 있는... 음식 관련 이야기에 전반적으로 흥미가 깊은... 게임을 좋아하는...

저입니다! 잘 부탁드립니다!

14
0
0
0
0
0
Frederic Jacobs @fj@mastodon.social
Public
Shared by Frederic Jacobs

🆕⚛️🔐 Starting with iOS 26, CryptoKit gets support for quantum-secure cryptography with algorithms such as ML-KEM, ML-DSA and HPKE with X-Wing:

developer.apple.com/documentat

👉 Join us for a session on how to protect your app's user data from the emerging threat of quantum computing!
developer.apple.com/videos/pla

Using the quantum-secure APIs | Apple Developer Documentation

Enhance your app’s privacy and security by using quantum-secure workflows.

docs.developer.apple.com · Apple Developer Documentation

0
0
0
0
0
0
0
0
0