Joonkyu Park

@index 저도 일본 대중문화를 이해하려고 건담을 시작했습니다. 빨간색이 왜 세 배 빠른지 알게 됐어요.

방금 하스켈 학교에서 객체지향 vs 함수형 떡밥이 n번째로 돌았는데, 나는 그냥 객체지향 = 상속(서브타이핑) 이라고 생각한다. 객체지향에서 상속을 빼면 뭐 남는게 없다. 그래서 객체지향이란 단어를 의미있게 사용하려면 상속이랑 동치시켜 사용할수 밖에 없다고 본다.

근데 상속은 코드를 합성하는 수많은 방법중 하나일 뿐이다. Java같은 언어는 그 수많은 방법중 딱 하나 상속만을 언어 자체에서 지원하는거고, 거기서 벗어나는 다른 유용한 추상화들은 죄다 디자인 패턴이라고 퉁쳐서 부른다. 그래서 객체지향 vs 함수형(= 상속 vs 함수형)은, 나에겐 Monoid vs 타입클래스 같은 비교처럼 들린다. 좌변과 우변이 체급이 안 맞아서 대결이 불성립한다.

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

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

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

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

@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

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

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

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

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

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

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

@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

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

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

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

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

# FirewallBackend
# Selects the firewall backend implementation.
# Choices are:
#       - nftables (default)
#       - iptables (iptables, ip6tables, ebtables and ipset)
FirewallBackend=nftables

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

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

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

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

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

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

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

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

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

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

expect(x).toBe(42)

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

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

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

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

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

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

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

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

나 지금 너무 행복해

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

지원완료