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

“결정문(원본)을 보니, 재판관들 사이에 상당한 논쟁이 있었던 것 같다.” 지난 5일 다시 만난 김 전 재판관은 뜻밖의 말을 했다. ‘5대3 교착설’ 등 언론에 보도됐던 ‘탄핵 기각·각하설’을 전혀 근거 없는 낭설로 볼 게 아니라는 것이다. 그 이유부터 물었다. www.hani.co.kr/arti/society...

hani.co.kr/arti/society/s...

0
0
0
0
0
0
0
0

I am finally to the point with the font editor I wrote in Rust/Bevy where I can start dog fooding it for doing actual font engineering work automating labor intensive type design tasks with AI.

This should be something like a free and open-source Cursor/Zed for fonts by the end of the year. All in pure vector graphics with no raster autotrace.

github.com/eliheuer/bezy

Bezy editing Bezy Grotesk
0
0
0

I am finally to the point with the font editor I wrote in Rust/Bevy where I can start dog fooding it for doing actual font engineering work automating labor intensive type design tasks with AI.

This should be something like a free and open-source Cursor/Zed for fonts by the end of the year. All in pure vector graphics with no raster autotrace.

github.com/eliheuer/bezy

Bezy editing Bezy Grotesk
0

넙죽스 shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
0
0

쓰레드 이거떨은 돌아가면서 계속 알고리즘을 찔러보는 건가… 기껏 헐벗은 츠자들 다 블록시켜놨더니 한 두어달쯤 지나서 또 뜨네 ㅡ,.ㅡ

그전엔 계속 스하리 같은거 다 블록했는데, 이것도 좀 지나면 또 튀어나오겠지 🤬

0

실제로 가능하지도 않은 멸종 동물 복원이 실존하는 멸종 위기 동물이 받아야 할 지원과 관심을 빼앗고 있다는 점에서 비판의 대상이 되고 있구나. apnews.com/article/scie... [다른 과학자들은 시도하는 것이 과연 바람직한지 의문을 품고, "멸종 복원"이 지구에 남아 있는 종을 구하려는 노력에서 관심과 돈을 돌려놓는 것은 아닌지 의문을 제기합니다.]

Bring back dodo? Ambitious pla...

0

McK shared the below article:

Sass v1.77.x 최근판이 Bootstrap v5에 뱉는 사용 중단(Deprecation) 경고

McK @mck@hackers.pub

Sass 최신 버전과 Bootstrap v5.3.x를 함께 사용할 때 발생하는 사용 중단 경고에 대한 해결책을 제시합니다. Bootstrap v5.3.4에서 수정된 `mixed-decls` 경고와 달리, `color-functions` 및 `global-builtin` 경고는 수정이 어려울 수 있습니다. Sass는 이러한 경고를 무시하기 위해 `quietDeps` 및 `silenceDeprecations` 옵션을 제공하며, vite 프로젝트에서 이를 설정하는 방법을 예시 코드를 통해 보여줍니다. `quietDeps` 옵션은 의존성 패키지의 경고만 무시하므로, 자체 코드의 경고는 `silenceDeprecations` 옵션을 사용하여 더 강력하게 무시할 수 있지만, 코드 수정이 더 나은 해결책일 수 있습니다. 이 글은 Sass와 Bootstrap을 함께 사용하는 개발자가 경고 메시지를 관리하고 잠재적인 문제를 해결하는 데 도움을 줍니다.

Read more →
1
0

Sass v1.77.x 최근판이 Bootstrap v5에 뱉는 사용 중단(Deprecation) 경고

McK @mck@hackers.pub

Sass 최신 버전과 Bootstrap v5.3.x를 함께 사용할 때 발생하는 사용 중단 경고에 대한 해결책을 제시합니다. Bootstrap v5.3.4에서 수정된 `mixed-decls` 경고와 달리, `color-functions` 및 `global-builtin` 경고는 수정이 어려울 수 있습니다. Sass는 이러한 경고를 무시하기 위해 `quietDeps` 및 `silenceDeprecations` 옵션을 제공하며, vite 프로젝트에서 이를 설정하는 방법을 예시 코드를 통해 보여줍니다. `quietDeps` 옵션은 의존성 패키지의 경고만 무시하므로, 자체 코드의 경고는 `silenceDeprecations` 옵션을 사용하여 더 강력하게 무시할 수 있지만, 코드 수정이 더 나은 해결책일 수 있습니다. 이 글은 Sass와 Bootstrap을 함께 사용하는 개발자가 경고 메시지를 관리하고 잠재적인 문제를 해결하는 데 도움을 줍니다.

Read more →
1
0

김장하 선생의 70년 지기는 김장하의 삶이 부럽지 않다고 말한다. “왜, 너무 신과 같으니까”란다. 명신고등학교 교사로 일했던 이는 “하루도 허투루 살 수 없으니 참 힘들었을 것”이라며 “그분의 삶을 닮을 수 없어 부끄럽다”고 말한다. 김장하 선생의 삶을 질투한다는 것이 가당키는 한 이야기일까?

문형배 재판관을 키워낸 어른 김장하의 ‘베품’을 질투하...

0
0
0
0

논란의 이완규 알고보니…노무현과 붙었던 바로 그 검사 www.nocutnews.co.kr/news/6321930... 윤석열 법대,연수원 동기. 고시 8수 친구. 계엄 전 날 가족을 미국으로 도피시킴. 계엄 다음 날 대통령 안전가옥 회동 후 스마트폰을 교체. 당연히 내란 관련 피의자이며, 국민에게 권력을 위임받지 않은 권한대행이 헌법재판관으로 지명했습니다.

논란의 이완규 알고보니…노무현과 붙었던 바로 그 검사

0
0
0

반기문 낙마·황교안 고배…실패 거듭했던 보수 '꽃가마' 대망론 송고2025-04-09 14:08 潘, 朴탄핵 당시 대권행보 중도하차…黃, 불출마 후 지난 대선경선 고배 진보 진영선 한때 고건 거명…국힘 내부서 한덕수 띄우지만 韓은 손사래 www.yna.co.kr/view/AKR2025...

yna.co.kr/view/AKR202504...

0
2
0
0
2
0
0

“결정문(원본)을 보니, 재판관들 사이에 상당한 논쟁이 있었던 것 같다.” 지난 5일 다시 만난 김 전 재판관은 뜻밖의 말을 했다. ‘5대3 교착설’ 등 언론에 보도됐던 ‘탄핵 기각·각하설’을 전혀 근거 없는 낭설로 볼 게 아니라는 것이다. 그 이유부터 물었다. www.hani.co.kr/arti/society...

hani.co.kr/arti/society/s...

0
2
2
0

佛州20歲變性女士故意挑戰州內廁所法律被補

目前佛州禁止變性人使用出生性別以外的廁所,Marcy Rheintgen事前向州政府代表、檢察官及州長寄出過百封信抗議有關法規

他選擇在州政府大樓內使用女廁以表達立場,最終被捕。這是該州首宗因為違反此法規被捕的案件

nytimes.com/2025/04/07/us/poli

0

반기문 낙마·황교안 고배…실패 거듭했던 보수 '꽃가마' 대망론 송고2025-04-09 14:08 潘, 朴탄핵 당시 대권행보 중도하차…黃, 불출마 후 지난 대선경선 고배 진보 진영선 한때 고건 거명…국힘 내부서 한덕수 띄우지만 韓은 손사래 www.yna.co.kr/view/AKR2025...

yna.co.kr/view/AKR202504...

0

진짜 좋았어서 공유하는 야옹이가 가득한 온천수 리조트 양양 더앤리조트...

제일 기본이 되는 방도 (특별한 할인 없으면 5~6만원) 투룸 구조라 매우매우 넓고 쾌적하고, 바베큐장 유료 대여, 야외 테라스형 식당에 고양이들이 아주아주 많은...

단점은 리조트라 조식, 내부식당, 시설비 등이 아주 죽여주므로 스파나 온천수영장 등 시설 할인권이나 숙박권에 포함된 패키지를 구매하는 것이 이롭다... 그래도 내부 화장실도 온천수 써서 샤워만 해도 피부 촉촉하고 좋기는 해요

저는 스파도 했는데 노천탕이 있는건 좋은데 탕은 조금 작습니다...

0
0
0
0

진짜 좋았어서 공유하는 야옹이가 가득한 온천수 리조트 양양 더앤리조트...

제일 기본이 되는 방도 (특별한 할인 없으면 5~6만원) 투룸 구조라 매우매우 넓고 쾌적하고, 바베큐장 유료 대여, 야외 테라스형 식당에 고양이들이 아주아주 많은...

단점은 리조트라 조식, 내부식당, 시설비 등이 아주 죽여주므로 스파나 온천수영장 등 시설 할인권이나 숙박권에 포함된 패키지를 구매하는 것이 이롭다... 그래도 내부 화장실도 온천수 써서 샤워만 해도 피부 촉촉하고 좋기는 해요

저는 스파도 했는데 노천탕이 있는건 좋은데 탕은 조금 작습니다...

0
0