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

설정이나 명세를 튜링완전한 언어로 기술하면 안되지 않나, 튜링완전한 언어는 프로그램을 짤때 써야하지 않나란 의견이 있는데, 난 오히려 반대라고 생각한다.

설정/명세를 기술한 코드는 그걸 평가해서 어떤 값을 한번 구하면 끝이고, 임의의 입력에 대해 종료함을 보장할 필요가 없다. 그리고 그 코드의 실행은 서비스 단에서 이루어지는게 아니고, 서비스를 만들고 운영하는 과정에서 이루어지기 때문에 종료되지 않는것에 대해 훨씬 안전하다.

반대로, 실제로 돌아가는 프로그램(말이 좀 이상하지만 excuse부탁드림)이야말로 튜링완전한 언어로 짜면 안된다. 우리가 튜링완전한 언어로 개발하는 이유는 우리가 만드는 프로그램을 기술하는데 필요한 자유도가 얼만큼인지 모르고 작업해야하기 때문에 그렇다. 종료하지않는 엉터리 코드를 짤 가능성을 받아들이면서도, 당장 뭔가 만들긴해야하니까 그런 선택을 하는 것이다.

즉 튜링완전성은 메타프로그래밍을 할때만 허용되는것이 (적어도 이론적으론) 정당하다고 생각한다.



RE: https://hackers.pub/@bgl/019647a2-cd0c-7311-97ce-95b59e5a0696

4
0
0
0
0
0
0
0

지금까지 Hackers' Pub은 반드시 이메일을 통해 로그인 링크를 수신하는 식으로만 로그인이 가능했는데, 사실은 많이 번거로웠죠?

이를 해결하기 위해 Hackers' Pub에 패스키 기능을 추가했습니다. 패스키 추가는 설정패스키 페이지에서 할 수 있으며, 패스키가 등록된 기기 및 브라우저에서는 로그인 페이지에서 자동적으로 패스키를 사용할 것인지 묻는 창이 뜨게 됩니다.

Hackers' Pub의 패스키 설정 페이지. 위쪽에는 패스키 등록을 위한 폼이, 아래쪽에는 등록된 패스키를 나열한 표가 보인다.Hackers' Pub의 로그인 페이지. 우측 상단에 패스키를 사용하여 로그인할 것인지 묻는 창이 보인다.
9
0
3
0
0
0
0
0

해커즈 퍼브의 favicon 이야기가 나왔을 때 잠깐 생각나는 대로 대충 낙서해 본 것이 있습니다. (말 그대로 대충 낙서입니다. 이대로 쓰자는 뜻은 아닙니다. 너무 진지하게 받아들이지는 마시고, 브레인스토밍 정도로 생각해 주시길...)

  • 퍼브 간판의 일반적인 형상을 가져왔습니다.
  • 마실 것을 파는 장소의 간판 같은 느낌을 유지하면서, 정확히 어떤 음료인지는 의도적으로 알 수 없게 했습니다. ("퍼브"는 맥주를 주력으로 하는 장소라는 인식이 있는 것 같습니다만, 법적·의료적·종교적 여러 가지 이유로 알코올을 음용할 수 없는 사람들이 세상에는 아주 많기 때문에, 일부러 "맥주"의 이미지를 배제했습니다. 해커즈 퍼브는 술 안/못 마시는 사람도 편하게 올 수 있는 장소가 되는 것이, 행동 강령의 취지에도 부합한다는 생각이었습니다.)
  • 간판 부분은 잘 보시면 "퍼브"라는 한글 표기에서 "ㅍ"와 "ㅂ"를 담고 있습니다. 가로대와 간판이 이어지는 부분이 "ㅍ"의 형상이고, 물잔이 "ㅂ"의 형상입니다. 물론 해커즈 퍼브는 한국어 전용 커뮤니티도 아니고 한글 전용 커뮤니티는 더더욱 아닙니다. 한글이 꼭 들어가야 할 이유는 없습니다. 하지만 반대로 한글을 안 쓸 이유도 없지 않은가? 뭔가를 모티브로 쓰긴 써야 하는데 그게 한글일 수도 있는 것 아닌가? 그래서 넣어 봤습니다. 😅
  • "Hacker's Pub"를 구성하는 글자들을 그대로 집어넣는 것을 일부러 피했습니다. 우선, 아이콘은 "Hackers' Pub"이라는 텍스트와 병치될 가능성이 높은데, 그렇다면 "H"나 "P"가 들어 있는 것은 중복이 되고 정보 전달의 낭비가 됩니다. 그리고, favicon 으로 쓰일 가능성이 높은데, 다른 사이트들에도 알파벳을 형상화한 아이콘이 많습니다. 추상적 형상으로서 다른 아이콘들과 겹칠 여지가 적을수록 식별자로서의 기능과 효용이 극대화될 것이라는 생각이었습니다. (물론, 엄밀히 따지면, 이 아이콘도 전체 형상에는 알파벳 "h"의 구조가 숨어 있고, 그것을 의도하긴 했습니다만, 가장 먼저 눈에 들어오는 특징은 아니죠.)
왼쪽의 기둥으로부터 오른쪽으로 뻗은 가로대와, 가로대에 매달린 간판의 형상으로, 간판에는 물잔 모양의 그림
8
0
0

「正義」の反対は「別の正義」なのか 「屁理屈」の横行に抗う哲学者
digital.asahi.com/articles/AST
「昨今、マイノリティー当事者でなければ語れない、語っちゃいけないというような風潮があり、ほとんどの面でマジョリティーである人も自らのマイノリティー性を見つけ出して他者にマウントを取ろうとする、みんながマイノリティーになりたがるという逆立ちした現象が起きています。その結果、この社会の惨状に誰も責任を感じずにすむようになっている」

0

「正義」の反対は「別の正義」なのか 「屁理屈」の横行に抗う哲学者
digital.asahi.com/articles/AST
「昨今、マイノリティー当事者でなければ語れない、語っちゃいけないというような風潮があり、ほとんどの面でマジョリティーである人も自らのマイノリティー性を見つけ出して他者にマウントを取ろうとする、みんながマイノリティーになりたがるという逆立ちした現象が起きています。その結果、この社会の惨状に誰も責任を感じずにすむようになっている」

0
0

패스키 쓴 이후 나의 해커펍생 달라졌다-

로그인 자체도 안 풀리고 바로 들어오면 된당 며칠 써보니 매우 편하다

1
0

살다보면 "좌우로 나누워서 싸우는..."이라고 하면서 정치혐오를 들어내며 자기는 중심 잡힌 척 하는 사람들에게 묻고 싶은 것은...

저 극우들 보수꼴통들 하는 짓을 보고서도 저것들과 싸워주는 좌(타칭이던 자칭이던)를 욕할 수 있는 그 무감각함은 도대체 어디서 오는 것인가?하는 질문...

세상사 부대낌 없이, 살려고 발버둥 치지않고 해결되는 일이 있던가?

부모가 형제자매가 가족들이 대신해주니 세상물정, 세상사가 그냥 되는 줄 아는...

뭐 글쎄 그런 줄이나 아소.

0

패스키 쓴 이후 나의 해커펍생 달라졌다-

로그인 자체도 안 풀리고 바로 들어오면 된당 며칠 써보니 매우 편하다

1
1
0
0
1
0
0
0
0
0
0
0
4

オープンソースのVPNソフト「SoftEther VPN」製品版が約2年ぶりのアップデート/「TunnelCrack」対策を含む機能強化、不具合の修正も

窓の杜 @forest.watch.impress.co.jp@web.brid.gy

オープンソースのVPNソフト「SoftEther VPN」および、その製品版「PacketiX VPN」が4月16日、v4.44 Build 9807 RTMへとアップデートされた。製品版(RTM)の更新は2023年6月以来、約2年ぶりとなる。

Read more →
0

NTSK shared the below article:

オープンソースのVPNソフト「SoftEther VPN」製品版が約2年ぶりのアップデート/「TunnelCrack」対策を含む機能強化、不具合の修正も

窓の杜 @forest.watch.impress.co.jp@web.brid.gy

オープンソースのVPNソフト「SoftEther VPN」および、その製品版「PacketiX VPN」が4月16日、v4.44 Build 9807 RTMへとアップデートされた。製品版(RTM)の更新は2023年6月以来、約2年ぶりとなる。

Read more →
0
0
1
0
0
0
1
0

살다보면 "좌우로 나누워서 싸우는..."이라고 하면서 정치혐오를 들어내며 자기는 중심 잡힌 척 하는 사람들에게 묻고 싶은 것은...

저 극우들 보수꼴통들 하는 짓을 보고서도 저것들과 싸워주는 좌(타칭이던 자칭이던)를 욕할 수 있는 그 무감각함은 도대체 어디서 오는 것인가?하는 질문...

세상사 부대낌 없이, 살려고 발버둥 치지않고 해결되는 일이 있던가?

부모가 형제자매가 가족들이 대신해주니 세상물정, 세상사가 그냥 되는 줄 아는...

뭐 글쎄 그런 줄이나 아소.

0
0
0
1
0
0
0

Random curiosity poll! Do you know any Finnish people? Defined here as people of Finnish lineage regardless of where they live, and people who live in Finland and consider it home, regardless of their lineage!

Boost to reduce bias of everyone answering knowing me at least, should it please you. 😄

0
0
0