Joonkyu Park

@hollo@joonkyu.site · 30 following · 16 followers

Haskell programmer and father of three from South Korea.

정진명의 굳이 써서 남기는 생각

@index@guji.jjme.me

"유머는 그 유머가 왜 웃긴지를 설명해야 하는 순간 실패"라는 말이 있다. 나는 이 말을 별로 좋아하지 않는다. 일단 그 말이 틀렸다고 말하고 싶은 건 아니다. 유머를 설명해야 한다면, 많은 사람들이 그걸 바로 받아들이거나 동의하는 데 실패했다는 이야기이고, 대화의 흐름이 끊어지고, 유머를 발화함으로 달성하고자 했던 여러 목표들이 달성되지 않는 경우가 많은 것은 부정할 수 없기 때문이다.

하지만 피터의 법칙과 유사하게, 대부분의 유의미한 말은 그 말을 적용하는 것이 적절하지 않은 지점까지 재생산된다. 이 말의 경우 적절하지 않은 지점은 어디일까? 유머에도 피터의 법칙 같은 건 존재한다. 잘 작동하던 유머가 있으면, 그 유머는 퍼지게 되어 있다. 리트윗과 좋아요가 있고 밈 재생산에 적합한 매체에서는 특히 쉽다. 처음에는 잘 작동하는 유머 또한 피터의 법칙처럼 실패하는 지점까지 퍼질 수 있고, 그 지점에서 '설명'해야 하는 유머가 된다. 그 시점에서 누군가는 이런 말을 할 수 있다. "(나한테) 설명이 필요한 유머라니, 이것은 (객관적으로) 실패한 유머이다." 나는 이 지점이 싫다. 그냥 널리 퍼진 유머를 발신한 사람이 자연 현상처럼 받아들여야하는 일일지도 모르겠지만.

반대 방향의 이야기이지만, 나는 xkcd, SMBC가 왜 재미있는지, 일본어로 올라오는 수많은 팬아트가 왜 재미있는지를 알기 위해서 그 유머를 가능하게 하는 기반 지식을 찾아보는 편이다. 나만 그런 것은 아니다― 세상에는 explain xkcd같은 사이트도 있다. 나는 유머를 삶에서 분리해낼 수 없는 사람이다. 그런 나한테는 설명이 필요한 유머야말로, 내가 모르는 세상을 향해 열린 창이다.

Joonkyu Park

@hollo@joonkyu.site · Reply to Joonkyu Park's post

@hong_minhee @hongminhee 지금은 접속이 잘 됩니다.

Joonkyu Park

@hollo@joonkyu.site · Reply to Joonkyu Park's post

@hong_minhee 다음과 같은 응답이 옵니다.

502 Bad Gateway Unable to reach the origin service. The service may be down or it may not be responding to traffic from cloudflared

Joonkyu Park

@hollo@joonkyu.site

@hong_minhee 안녕하세요. 현재 해커즈 퍼브 응답이 없음을 알려 드립니다.

Joonkyu Park

@hollo@joonkyu.site

@hong_minhee 안녕하세요. 현재 해커즈 퍼브 응답이 없음을 알려 드립니다.

Joonkyu Park

@hollo@joonkyu.site · Reply to lionhairdino's post

@lionhairdino 네, 쓰레드에서 멘션으로 그분께 알려드리면 좋을 것 같아요. 그런데 연합우주에서 @lionhairdino@threads.net 검색이 안 되네요.

Joonkyu Park

@hollo@joonkyu.site · Reply to lionhairdino's post

@lionhairdino 쓰레드에서 ‘페디버스 공유’ 기능을 켜시면 쓰레드에서 해커즈 퍼브 계정을 팔로우 하실 수 있지 않을까요?(반대도 가능) DM이 없다면 멘션으로 알려드리면 좋을 것 같습니다. https://www.threads.com/@ltlapy/post/C-ff_ExvEk0

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub · Reply to Daniel Supernault's post

@dansup I'd like to list up my instance hackers.pub on FediDB, but how could I do that?

Joonkyu Park

@hollo@joonkyu.site

이럴 수가! 귀한 지하철 자리에 앉았는데 허리가 아파서 일어났다. 자리가 있는데 앉지를 못해...

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hollo.social · Reply to Joonkyu Park's post

@hollo 독음 자동으로 달리는 건, 네, 그렇습니다. Hollo 설정에 SEONBI_URL이라는 문서화되지 않은 저만 쓰는 환경 변수가 있습니다. 다음은 제 Docker Compose 설정입니다. (일부 가림.)

services:
  caddy:
    image: caddy:2-alpine
    volumes:
    - ./Caddyfile:/etc/caddy/Caddyfile
    depends_on:
    - hollo
    ports:
    - "8080:8080"

  hollo:
    image: ghcr.io/fedify-dev/hollo:0.6.0-dev.14
    environment:
      # … 생략 …
      SEONBI_URL: http://seonbi:3800/
    depends_on:
    - seonbi
    restart: unless-stopped
    extra_hosts:
    - "host.docker.internal:host-gateway"

  seonbi:
    image: ghcr.io/dahlia/seonbi/bin:0.5.0
    ports:
    - "3800:3800"
    command: ["seonbi-api", "--allow-origin=*"]
    restart: unless-stopped
Joonkyu Park

@hollo@joonkyu.site · Reply to 洪 民憙 (Hong Minhee)'s post

@hongminhee 국한문혼용체는 seonbi로 구현하신 건가요?

수타북스's avatar
수타북스

@bitsend@iqhina.org

우리나라 남자 양궁 대표들이 세계 신기록을 세웠는데...3명이서 24발의 화살을 모두 10점에 쏘아 240점으로 세계 신기록을 세웠다고...ㅎㅎㅎㅎㅎㅎㅎㅎ

Joonkyu Park

@hollo@joonkyu.site

집 노트북에서 작업하던 걸 회사에서 이어서 할 수가 없네. 나도 집에 Mac mini 하나 들여야 하나!(어째서 그런 결론이⋯)

Joonkyu Park

@hollo@joonkyu.site · Reply to :prideflag_demigirl:​:texmoji_ko_nonbinoko:​서버메이드 깐프's post

@perillamint 그러네요! 말씀하신대로 firewalld가 백엔드를 선택할 수 있는데 현재 제 시스템에서는 firewalld의 백엔드가 nftables로 설정되어 있습니다.

# FirewallBackend
# Selects the firewall backend implementation.
# Choices are:
#       - nftables (default)
#       - iptables (iptables, ip6tables, ebtables and ipset)
FirewallBackend=nftables
:prideflag_demigirl:​:texmoji_ko_nonbinoko:​서버메이드 깐프's avatar
:prideflag_demigirl::texmoji_ko_nonbinoko:​서버메이드 깐프

@perillamint@silicon.moe · Reply to Joonkyu Park's post

@hollo 이제는 백엔드가 nftables 로 넘어가서 좀 다르긴 할거에요.

옛날 firewalld 는 iptables 썼는데 이제는 nftables 인걸로 알아요.

Joonkyu Park

@hollo@joonkyu.site

firewall-cmd 명령어 이름이 너무 길어서 입력하기가 힘들다.(인터랙티브 모드도 없고) 게다가 firewall-cmd --list-all의 조회 결과와 iptables -L의 그것이 같지 않아서 트러블슈팅이 어렵다. LLM에 물어보니 firewalldiptables를 백엔드로 쓰면서도 정책을 Netfilter(?)에 동적으로 적용해서 그런 것 같다고 하는데 잘 모르겠다.

Joonkyu Park

@hollo@joonkyu.site

firewall-cmd 명령어 이름이 너무 길어서 입력하기가 힘들다.(인터랙티브 모드도 없고) 게다가 firewall-cmd --list-all의 조회 결과와 iptables -L의 그것이 같지 않아서 트러블슈팅이 어렵다. LLM에 물어보니 firewalldiptables를 백엔드로 쓰면서도 정책을 Netfilter(?)에 동적으로 적용해서 그런 것 같다고 하는데 잘 모르겠다.

Joonkyu Park

@hollo@joonkyu.site · Reply to 洪 民憙 (Hong Minhee)'s post

@hongminhee 표준국어대사전 표제어 조회는 어디에서 하시나요?

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hollo.social

和風 햄버그스테이크

오늘의 點心(점심)和風(화풍) 햄버그스테이크!

和風 햄버그스테이크
bgl gwyng's avatar
bgl gwyng

@bgl@hackers.pub

나는 버전 올리기 강박증같은게 있는데, RN 초기에 불안정한 라이브러리들 많이 쓰다가 생긴거 같다. 일단 버전 올린다음에 빌드 터지는지 기존 기능 잘돌아가는지 확인하는데, 이거하느라 쓰는 시간도 꽤 된다. 실제로 시간을 아끼고 있는지(모르던 버그를 모르고 해결해서) 아닌지 모르겠다.

lionhairdino's avatar
lionhairdino

@lionhairdino@hackers.pub

모나드만 가지고 45페이지를 뽑아냈네요. you don't know JS 썼던 분이랍니다. https://leanpub.com/monads-and-friends?ref=leanpub.com

Ailrun (UTC-5/-4)'s avatar
Ailrun (UTC-5/-4)

@ailrun@hackers.pub · Reply to lionhairdino's post

@lionhairdino 사실 테스트 통과 조건만 가지고 프로그램을 완성하는 건 (더 잘 정립된 방법으로) 현재에도 이곳저곳에 활용되고 있습니다. 대표적으로 엑셀(Excel)의 플래쉬 필(Flash Fill)이 있지요. 이와 관련된 분야를 프로그램 합성(Program Synthesis)라고 하고, 수십년 전부터 (AI보다는 투명한 방법으로) 꽤 활발하게 연구되어왔습니다.

숫자상's avatar
숫자상

@numberer58@hackers.pub

안녕하세요, 숫자상입니다.

bgl gwyng's avatar
bgl gwyng

@bgl@hackers.pub

실제로 방금 어떤 사례를 발견했냐면, 계산이 살짝 까다로운 값에 대한 테스트를 만들라고 시켰더니 코드를 한 백줄 뱉어내는데

expect(x).toBe(42)

이렇게 값에 대한 테스트를 안하고

expect(typeof x).toBe("number")

이러고 넘어가려고 했다. 손바닥 이리내.



RE: https://hackers.pub/@bgl/01969b72-1c27-7ae9-b69a-89b09152c5da

bgl gwyng's avatar
bgl gwyng

@bgl@hackers.pub

AI가 짠 코드의 테스트코드를 AI한테 짜게하고 있으니 Who watches the watchman? 이 떠오르는 것이다.

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub

현재의 이른바 “에이전틱” 코딩 어시스턴트들은 종래의 정적 분석 기술을 활용하지 못하는데, 아마도 머지 않은 미래에 둘이 결합될 날이 올 것 같긴 하다. 다시 말해, 애초에 LLM이 컴파일조차 안 되는 코드를 뱉지는 못하게 할 수 있을 거라고 생각한다. 그 때가 되면 정말 평균적인 사람 프로그래머가 이룰 수 있는 품질의 코드를 내놓을 수 있지 않을까? 컴파일도 되고, 겉보기에는 잘 돌아가지만, 몇몇 코너 케이스에서는 여전히 깨지는… 그럼 그때는 또 LLM이 QA도 하고 코드 리뷰도 해서 고치는 미래가…!?



RE: https://fed.brid.gy/r/https://bsky.app/profile/did:plc:ppk763j7o2wkinvzuqx4orrb/post/3lndspc5h5c2f

잇창명 EatChangmyeong💕's avatar
잇창명 EatChangmyeong💕

@eatch.dev@bsky.brid.gy

고수준 언어로 코딩하고 본인이 이해하지 못하는 기계어로 변환하기 → 변환 과정이 100% 문제가 없도록 만들 수 있고 똑똑한 사람들이 최대한 그렇게 구현해뒀음 AI한테 자연어로 명령해서 본인이 이해하지 못하는 고수준 언어 코드를 뽑기 → 헤헷 안되는 코드!! 환각!! 자연어 명령 오해!! 나 잘했지 >v<

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub

먼 미래에는 어떻게 될 지 잘 모르겠지만, 일단 코딩 에이전트한테 LSP를 툴로 쥐어 줘야 하는 게 아닌가 하는 생각이 요즘 많이 든다.



RE: https://hackers.pub/@hongminhee/019659e8-e9ea-7e2b-8da3-1c487da915eb

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub

현재의 이른바 “에이전틱” 코딩 어시스턴트들은 종래의 정적 분석 기술을 활용하지 못하는데, 아마도 머지 않은 미래에 둘이 결합될 날이 올 것 같긴 하다. 다시 말해, 애초에 LLM이 컴파일조차 안 되는 코드를 뱉지는 못하게 할 수 있을 거라고 생각한다. 그 때가 되면 정말 평균적인 사람 프로그래머가 이룰 수 있는 품질의 코드를 내놓을 수 있지 않을까? 컴파일도 되고, 겉보기에는 잘 돌아가지만, 몇몇 코너 케이스에서는 여전히 깨지는… 그럼 그때는 또 LLM이 QA도 하고 코드 리뷰도 해서 고치는 미래가…!?



RE: https://fed.brid.gy/r/https://bsky.app/profile/did:plc:ppk763j7o2wkinvzuqx4orrb/post/3lndspc5h5c2f

Jaeyeol Lee (a.k.a. kodingwarrior) :vim:'s avatar
Jaeyeol Lee (a.k.a. kodingwarrior) :vim:

@kodingwarrior@silicon.moe

나 지금 너무 행복해

관심없을줄 알았던 mastodon.nvim에 이슈를 3건이나 올려주신 분이 계셔...

Jaeyeol Lee (a.k.a. kodingwarrior) :vim:'s avatar
Jaeyeol Lee (a.k.a. kodingwarrior) :vim:

@kodingwarrior@silicon.moe

지원완료

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hackers.pub

Hackers' Pub은 기본 Markdown 문법 외에 다양한 확장 문법을 지원합니다. TeX을 통한 수식, 각주, 경고 박스(admonitions), , Graphviz를 통한 도표, 코드 블록에서 특정 줄만 강조하기 등…

마땅한 기술 블로깅 플랫폼을 못 찾았다면, Hackers' Pub도 고려해 보세요!

洪 民憙 (Hong Minhee)'s avatar
洪 民憙 (Hong Minhee)

@hongminhee@hollo.social

GNOME 48로 업그레이드했더니 UI에 쓰인 書體(서체)가 달라져서 適應(적응)이 안 된다…

Older →