Profile img

notJoon

@joonnot@hackers.pub · 70 following · 84 followers

Uncertified Quasi-pseudo dev

GitHub
@notJoon
Twitter
@JoonNot
1
0
0
1
0
0
0
1
0
0
0
0
2
1
0
0
0
0
0
1
0
1
0
0
0
0
0
2
0
0
1
0
0
3
0
0
0
1
0
2
1
0
제이미 @theeluwin@hackers.pub
Public
Shared by notJoon

수학 전공자로서, 한때는 프로그래머에게 수학이 왜 필요한지, 얼마나 중요한지 같은걸 열심히 설파하려던 적이 있었는데요, 그 흔적이 이런 영상들인데 https://youtu.be/ND2gJVxZUaM?si=RsvrjsgYWeFCJMUT 지금 와서는 (수학을 제가 다 까먹었기도 했고) 그런 실용적인 목적보다는, 그냥 ‘재밌으니까’ 다들 공부했으면 좋겠다는 생각입니다. 이는 수학 뿐만 아니라 뭐든지, 뭘 알아야한다/알아야하냐 같은 얘기보다 ‘재밌으니까’가 먼저 오는 환경을 생각합니다. 너무 이상적이긴 하지만요.

개발자를 위한 선형대수를 위한 대수 입문 (1/4)

군(group)의 정의부터 제1 동형 정리 (1st isomorphism theorem) 까지를 다룹니다.1편: https://youtu.be/ND2gJVxZUaM2편: https://youtu.be/JhRVyubLJxE3편: https://youtu.be/4t-pTaZMy4U4편...

www.youtube.com · YouTube

8
0
0
1
0
1
9
0
0
1
0
0
1
0
0
Hyunjoon Kim @d01c2@hackers.pub
Public
Shared by notJoon

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

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

잘 부탁드릴게요

6
0
0
1
0
0
notJoon @joonnot@hackers.pub
Public

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

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

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

낫준 배상

Advanced Linter for Gno. Contribute to gnoverse/tlin development by creating an account on GitHub.

GitHub - gnoverse/tlin: Advanced Linter for Gno

Advanced Linter for Gno. Contribute to gnoverse/tlin development by creating an account on GitHub.

github.com · GitHub

9
1
0
5
0
0
4
0
0

notJoon shared the below article:

“조용한 연합우주” 문제를 해결하는 두 가지 접근법: 대화 백필링 메커니즘

洪 民憙 (Hong Minhee) @hongminhee@hackers.pub

이 글은 연합우주(fediverse)에서 발생하는 "조용한 연합우주" 문제, 즉 대화의 일부만 보이는 현상의 원인과 해결책을 탐구합니다. ActivityPub 프로토콜의 분산 특성으로 인해 대화가 여러 서버에 분산되어 저장되면서 발생하는 이 문제를 해결하기 위해, 답글 트리 크롤링과 컨텍스트 소유자 기반 방식이라는 두 가지 주요 접근법을 제시합니다. 답글 트리 크롤링은 모든 답글을 순차적으로 가져오는 방식이지만 네트워크 취약성과 작업량 증가의 단점이 있고, 컨텍스트 소유자 방식은 대화의 원 작성자가 대화 내용을 관리하는 중앙화된 접근법이지만 컨텍스트 소유자에 대한 의존성이 높다는 단점이 있습니다. 또한, 모더레이션 패러다임의 충돌과 상위 전파 누락 문제와 같은 논쟁점을 지적하며, 주기적 크롤링, 사용자 트리거, 멘션 기반 백필과 같은 추가적인 백필 메커니즘을 소개합니다. 마지막으로, FEP 수렴 논의와 구현체 간 협력 현황을 통해 향후 개발 방향으로 하이브리드 접근법의 표준화를 제시하며, 다중 전략 구현, 리소스 관리, 모니터링 및 로깅의 모범 사례 가이드라인을 제시합니다. 이 글은 연합우주가 더욱 풍부하고 연결된 소셜 네트워크로 발전하기 위한 노력과 사용자 경험 개선의 중요성을 강조합니다.

Read more →
7
0
0
1
0
0
notJoon @joonnot@hackers.pub
Public

유한 상태 머신의 각 상태를 집합의 원소로 생각한다면, 이산 유한 집합으로 생각할 수 있다. 이 집합은 매끄러운 0차원 매니폴드의 한 예시이기 때문에 자연히 상태 머신도 이렇게 모델링 할 수 있지 않을까?

0
0
0
notJoon @joonnot@hackers.pub
Public

유한 상태 머신의 각 상태를 집합의 원소로 생각한다면, 이산 유한 집합으로 생각할 수 있다. 이 집합은 매끄러운 0차원 매니폴드의 한 예시이기 때문에 자연히 상태 머신도 이렇게 모델링 할 수 있지 않을까?

0
1
0
3
0
0
0
0
0
4
1
0
0
0
0
2
0
0
2
0
0
0
0
1
1
1
0
1
1
0
1
0
0
4
0
0
2
0
0
2
0
0
0
0
0
3
0
0
0
0
0
2
0
0
4
0
0
1
0
0
1
0
1