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
0
0
Forgejo @forgejo@floss.social
Public

The monthly update was published ✨ It is a high level overview of the project activities.

Forgejo v11.0 is on track for release on 16 April 2025. New versions of v7.0 and v10.0 have been released. Improvements to the availability of Forgejo actions have been completed and the Forgejo runner has received new versions. The DDoS attack on code.forgejo.org has ceased and precautions have been taken for the future.

forgejo.org/2025-03-monthly-up

Forgejo monthly update - March 2025

Forgejo monthly update - March 2025

forgejo.org

0
0
0
Silverkey | 은열쇠 @silverkey.social@bsky.brid.gy
Public

인간은 더위를 얼마나 참을 수 있을까 인간 생존 한계 온도가 기존 예상치(습구온도 35℃)보다 낮아, 땀 증발이 어려운 환경(습구온도 32.3℃)에서 체온 조절이 어려워진다는 연구 결과가 나왔다.

인간은 더위를 얼마나 참을 수 있을까

인간은 더위를 얼마나 참을 수 있을까

육지훈 기자 · 인간의 체온조절 능력 한계가 학계의 기존 예상보다 낮은 것으로 확인됐다. 이는 가속화되는 지구온난화로 인해 인간 생존이 불가능한 지역이 늘어날 수 있음을 시사한다.지난 3월 31일(현지 시간) 오타와대 인간환경생리학연구소(HEPRU)는 그간 학계에서 이론적으로 제시됐던 인간 생존 한계 온도보다 실제 한계가 훨씬 낮다는 사실을 실험으로 확인했다. 이번 연구에서 중요한 개념은 '습구온도(Twb)'다. 습구온도란 물이 젖은 천에 감싸인 온도계로 측정한 온도로, 공기 중 습도를 함께 고려한 체감온도와 유사하다. 쉽게 말해 땀이 증발하지 못

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
1
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

인간은 더위를 얼마나 참을 수 있을까

인간 생존 한계 온도가 기존 예상치(습구온도 35℃)보다 낮아, 땀 증발이 어려운 환경(습구온도 32.3℃)에서 체온 조절이 어려워진다는 연구 결과가 나왔다. fortunekorea.co.kr/news/articl

인간은 더위를 얼마나 참을 수 있을까

육지훈 기자 · 인간의 체온조절 능력 한계가 학계의 기존 예상보다 낮은 것으로 확인됐다. 이는 가속화되는 지구온난화로 인해 인간 생존이 불가능한 지역이 늘어날 수 있음을 시사한다.지난 3월 31일(현지 시간) 오타와대 인간환경생리학연구소(HEPRU)는 그간 학계에서 이론적으로 제시됐던 인간 생존 한계 온도보다 실제 한계가 훨씬 낮다는 사실을 실험으로 확인했다. 이번 연구에서 중요한 개념은 '습구온도(Twb)'다. 습구온도란 물이 젖은 천에 감싸인 온도계로 측정한 온도로, 공기 중 습도를 함께 고려한 체감온도와 유사하다. 쉽게 말해 땀이 증발하지 못

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
0
0
0
0
藤井太洋, Taiyo Fujii @taiyo@ostatus.taiyolab.com
Public

拳銃を持ち込んでしまった事案、ハワイの空港のセキュリティのせいでしょ。トランプマスクに首切られてるからザルになった。
入国側はほとんどチェックしないもん。

news.livedoor.com/article/deta

「誤って入れてしまった」護身用の拳銃を荷物に入れたまま入国‥アメリカ人観光客を逮捕　保安検査すり抜けか　クルーズ船で申告し発覚　銃弾は「港のターミナルで捨てた」トイレゴミ箱から発見 - ライブドアニュース

3月22日に関西空港から入国したアメリカ人観光客が、拳銃を誤って持ち込んだとして逮捕されていたことが分かりました。銃刀法違反の疑いで逮捕されたのは、アメリカ国籍のアラン・ランディ・ピーターソン容疑者（73

news.livedoor.com · ライブドアニュース

0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

윤석열 옹호한 국민의힘 비판했다가 정년 앞두고 중징계 회부된 공무원 수정 2025-04-02 16:22 등록 2025-04-02 16:22 www.hani.co.kr/arti/area/ye...

윤석열 옹호한 국민의힘 비판했다가 정년 앞두고 중징계 ...

부산 남구 6급 공무원, 계엄 옹호 의원·국힘 비판했다 중징계 위기

정년퇴직을 3개월 앞둔 6급 지방공무원이 12.3 비상계엄을 발동한 윤석열 대통령을 옹호한 국민의힘과 박수영 국민의힘 국회의원을 비판했다가 중징계를 당할 처지에 놓였다. 비리 혐의가 아닌데도 중징계를 받으면 퇴직 후 연금 삭감을 당할 수가 있어 과도한 처사가 아니냐는

www.hani.co.kr · 한겨레

0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

GOL in GOL in HOL: Verified circuits in Conway's game of life. ~ Magnus O. Myreen, Mario Carneiro. arxiv.org/abs/2504.00263

arXiv logo

GOL in GOL in HOL: Verified Circuits in Conway's Game of Life

Conway's Game of Life (GOL) is a cellular automaton that has captured the interest of hobbyists and mathematicians alike for more than 50 years. The Game of Life is Turing complete, and people have been building increasingly sophisticated constructions within GOL, such as 8-bit displays, Turing machines, and even an implementation of GOL itself. In this paper, we report on a project to build an implementation of GOL within GOL, via logic circuits, fully formally verified within the HOL4 theorem prover. This required a combination of interactive tactic proving, symbolic simulation, and semi-automated forward proof to assemble the components into an infinite circuit which can calculate the next step of the simulation while respecting signal propagation delays. The result is a verified "GOL in GOL compiler" which takes an initial GOL state and returns a mega-cell version of it that can be passed to off-the-shelf GOL simulators, such as Golly. We believe these techniques are also applicable to other cellular automata, as well as for hardware verification which takes into account both the physical configuration of components and wire delays.

arxiv.org · arXiv.org

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

‘체르노빌의 목소리’ ‘전쟁은 여자의 얼굴을 하지 않았다’로 국내에 알려진 스베틀라나 알렉시예비치(77)가 제6회 제주4·3평화상 수상자로 선정됐습니다.

4·3평화상에 ‘체르노빌의 목소리’ 스베틀라나 알렉시예...

4·3평화상에 ‘체르노빌의 목소리’ 스베틀라나 알렉시예비치

‘체르노빌의 목소리’ ‘전쟁은 여자의 얼굴을 하지 않았다’로 국내에 알려진 작가 스베틀라나 알렉시예비치(77)가 제6회 제주4·3평화상 수상자로 선정됐다. 제주4·3평화재단의 4·3평화상위원회(위원장 문창우 주교)는 2일 본인의 수락을 받아 벨라루스 출신 작가 스베틀라

www.hani.co.kr · 한겨레

0
0
0
0
0
0
報導者 Bot @read_tw_reporter_bot@g0v.social
Public

大罷免潮觀察：為何核心志工30世代和女性居多？各方串聯策略有何不同？

大罷免潮從何崛起？罷藍、罷綠的團體有何差別？有哪些影響走向的關鍵因素？《報導者》記者前往各地觀察這波大罷免潮的新現象，並分析與過往罷免案的重要差異。

twreporter.org/a/recall-moveme

大罷免潮觀察：為何核心志工30世代和女性居多？各方串聯策略有何不同？ - 報導者 The Reporter

大罷免潮從何崛起？罷藍、罷綠的團體有何差別？有哪些影響走向的關鍵因素？《報導者》記者前往各地觀察這波大罷免潮的新現象，並分析與過往罷免案的重要差異。

www.twreporter.org

0
0
0
0
0
0
Silverkey | 은열쇠 @silverkey.social@bsky.brid.gy
Public

“지갑 또 못 열겠네” 3월 물가 상승률 2.1%

“지갑 또 못 열겠네” 3월 물가 상승률 2.1%

“지갑 또 못 열겠네” 3월 물가 상승률 2.1%

김다린 기자 · 소비자물가가 2%가 넘는 오름세를 나타냈다. 벌써 3개월 연속이다. 2일 통계청이 발표한 소비자물가 동향에 따르면, 3월 소비자물가지수는 116.29(2020년=100)로 1년 전 같은 달보다 2.1% 올랐다. 지난해 9∼12월 1%대로 안정됐던 소비자물가지수 상승률은 1월 2.2%, 2월 2.0%를 기록하면서 다시 출렁이고 있다.품목별로 보면 농축수산물은 전년 동월 대비 0.9% 상승했다. 농산물(-1.1%)은 떨어졌지만 축산물(3.1%), 수산물(4.9%) 등에서 큰 폭으로 올랐다. 특히 전체 농산물 가격 하락에도 채소류 가격은

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
0
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

“지갑 또 못 열겠네” 3월 물가 상승률 2.1% fortunekorea.co.kr/news/articl

“지갑 또 못 열겠네” 3월 물가 상승률 2.1%

김다린 기자 · 소비자물가가 2%가 넘는 오름세를 나타냈다. 벌써 3개월 연속이다. 2일 통계청이 발표한 소비자물가 동향에 따르면, 3월 소비자물가지수는 116.29(2020년=100)로 1년 전 같은 달보다 2.1% 올랐다. 지난해 9∼12월 1%대로 안정됐던 소비자물가지수 상승률은 1월 2.2%, 2월 2.0%를 기록하면서 다시 출렁이고 있다.품목별로 보면 농축수산물은 전년 동월 대비 0.9% 상승했다. 농산물(-1.1%)은 떨어졌지만 축산물(3.1%), 수산물(4.9%) 등에서 큰 폭으로 올랐다. 특히 전체 농산물 가격 하락에도 채소류 가격은

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

SF·비평·논픽션·만화 작가 등 ‘집필 노동자’로 자칭한 243명이 저마다 ‘윤석열 파면’을 결정·선고하는 한줄 선언을 내놓았습니다.

“계엄 뀐 놈이 성내는 꼴 언제까지” 집필노동자 243...

“계엄 뀐 놈이 성내는 꼴 언제까지” 집필노동자 243명도 한줄 선언

에스에프(SF)·비평·논픽션·만화 작가 등 ‘집필 노동자’로 자칭한 243명이 저마다 ‘윤석열 파면’을 결정·선고하는 한줄 선언을 내놓았다. 이들은 2일 “집필 노동자들은 지금, 여기에서 쓴다. 각자의 글을 써내려가던 저마다의 손으로 윤석열의 탄핵을 선고한다. 가만히

www.hani.co.kr · 한겨레

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by :prideflag_demigirl:​:texmoji_ko_nonbinoko:​서버메이드 깐프

마크 루비오 미국 국무장관이 각국 주재 미 대사관에 학생 비자 등 일부 미국 비자 신청자들의 소셜미디어까지 조사하라는 지시를 내렸습니다. 조사 목적은 미국 또는 이스라엘에 대한 비판적 시각을 지닌 사람들의 입국을 막기 위해서입니다.

미 국무, 학생 비자 신청자 소셜미디어까지 조사 지시

미 국무장관 “학생 비자 신청자 SNS 검사하라”

마크 루비오 미국 국무장관이 각국 주재 미 대사관에 학생 비자 등 일부 미국 비자 신청자들의 소셜미디어까지 조사하라는 지시를 내렸다고 뉴욕타임스가 1일 보도했다. 조사 목적은 미국 또는 이스라엘에 대한 비판적 시각을 지닌 사람들의 입국을 막기 위해서라고 했다. 뉴욕타임

www.hani.co.kr · 한겨레

0
0
0
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

“관세 때문에 가격 올린다” 억만장자 사업가의 엄포

마크 큐반의 온라인 약품 회사가 트럼프의 인도산 수입품 관세로 약가 인상이 불가피하다고 경고했다. fortunekorea.co.kr/news/articl

“관세 때문에 가격 올린다” 억만장자 사업가의 엄포

Ani Freedman & 김다린 기자 · 미국 온라인 약국 서비스 코스트 플러스 드럭스(Cost Plus Drugs)가 약 가격을 올릴 것으로 보인다. 약의 일부를 인도에서 수입하는데, 여기에 관세가 부과되면 가격 인상이 불가피하다는 이유에서다. 이 회사를 공동 창업한 억만장자 기업가이자 NBA 댈러스 매버릭스의 구단주로도 유명한 마크 큐반은 타라 팔메리(Tara Palmeri)의 팟캐스트 인터뷰에서 이런 방침을 밝혔다. 그는 “누군가는 이겨야 한다(Somebody's Gotta Win)”면서 “다른 방법이 없다”고 말했다.큐반의 회사는 의약품 가격을 낮추는 게 목표다.

www.fortunekorea.co.kr · 포춘코리아 디지털 뉴스

0
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

마크 루비오 미국 국무장관이 각국 주재 미 대사관에 학생 비자 등 일부 미국 비자 신청자들의 소셜미디어까지 조사하라는 지시를 내렸습니다. 조사 목적은 미국 또는 이스라엘에 대한 비판적 시각을 지닌 사람들의 입국을 막기 위해서입니다.

미 국무, 학생 비자 신청자 소셜미디어까지 조사 지시

미 국무장관 “학생 비자 신청자 SNS 검사하라”

마크 루비오 미국 국무장관이 각국 주재 미 대사관에 학생 비자 등 일부 미국 비자 신청자들의 소셜미디어까지 조사하라는 지시를 내렸다고 뉴욕타임스가 1일 보도했다. 조사 목적은 미국 또는 이스라엘에 대한 비판적 시각을 지닌 사람들의 입국을 막기 위해서라고 했다. 뉴욕타임

www.hani.co.kr · 한겨레

0
0
0
0
0
0
BMDV @bmdv@social.bund.de
Public

Wer es hat, liebt es: das ! 🙌 Eine Befragung der Menschen, die das bereits nutzen, ergab: 95 Prozent finden es gut.

Kein Wunder, denn es ist digital verfügbar, unkompliziert & umweltfreundlich! 💪 Deswegen haben sich inzwischen über 13 Millionen Bürgerinnen und Bürger dafür entschieden.

Gemeinsam machen wir Deutschland digitaler, mobiler & einfacher. 🚀

Werde jetzt eine bzw. einer von über 13 Millionen: Informiere Dich auf: bmdv.bund.de/deutschlandticket

Auf der gelben Grafik steht oben: Deutschlandticket. Darunter sieht man ein Fenster eines Zuges, dahinter sind diverse Menschen abgebildet, die den ÖPNV nutzen. Darunter steht der Text: Über 95 % der Nutzerinnen & Nutzer finden es gut! In kleiner Schrift steht ganz unten die Quelle: DZSF, Erhebung Dezember 2024, Befragte gesamt: 2.500
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Readings shared April 1, 2025. jaalonso.github.io/vestigium/p

Readings shared April 1, 2025

The readings shared in Bluesky on 1 April 2025 are A small Prolog on the Z3 AST. ~ Philip Zucker. #Prolog #LogicProgramming #Z3 #SMT STP: Self-play LLM theorem provers with iterative conjecturing and

jaalonso.github.io · Vestigium

0
0
0
정진명 @jjme@hackers.pub
Public
Shared by Jihyeok Seo

할 말 없으니까 그나마 기술적인 내용이 있는 거 갖고오기: React로 게임 프로토타이핑하기

React로 게임 프로토타이핑하기

액션, 실시간 반응이 비교적 덜 중요하고, 상태들의 이산적인 전환으로 설명될 수 있는 종류의 게임을 만든다면 웹 프론트엔드 도구… 그러니까 React 같은 걸로, SPA를 만들듯이 프로토타이핑하는 게 괜찮을 수 있다. 이터레이션 속도 개인적으로는 React로 게임을 프로토타이핑하는 게, 대충 '프로그래밍할 수 있는 페이퍼 프로토타이핑' 비슷한 것 같다. 페이퍼 프로토타이핑은 유용하지만, 다뤄야 할

guji.jjme.me · 정진명의 굳이 써서 남기는 생각

0
0
0

洪 民憙 (Hong Minhee) shared the below article:

함수형 프로그래머한테 닉스 패키지 매니저의 derivation 소개하는 글

lionhairdino @lionhairdino@hackers.pub

닉스의 derivation은 코드 모양으로만 보면, 단순히 빌드에 필요한 속성의 집합이다. 별 거 아닌 것 같지만, 이 개념이 닉스의 핵심 아이디어다. 패키지를 빌드할 때 개입하는 널리고 널린 이펙트들을 깡그리 무시하고, 순수한 척 하는 derivation만으로 의존 관계를 표현한다. 만일, 패키지A가 패키지B에 의존한다면, A의 derivation이 B의 derivation에 의존한다고 표시해 둔다. 이렇게 derivation만 엮어서 패키지 빌드 명세서를 완성해 두고, 진짜 패키지가 필요한 순간이 오면, 그때서야 realize란 동작으로, 미뤄 놨던 이펙트들의 영향을 받게 된다. 모나드들의 runner처럼 말이다.

진짜 귀찮게 굴러야 하는 이펙트들은 나몰라라 하고, 고귀한 척 동작의 선언적인 명세서derivation만 조합해서 최종 결과 패키지를 위한 명세서를 작성하니 선언형 패키지 매니저라 부른다.

어떤 이펙트가 방해할지는 나중 문제고, 최종 패키지 명세서 자체는 순수한 derivation 조합으로만 구성해 놓고, 이들 이름에, 내용을 기반으로 계산한 해시까지 붙여 놓으니 절대 같은 이름, 다른 내용의 derivation이 생기지 않는다. 그래서 이들을 캐싱하기에도 좋고, 재현성도 올라간다고 한다.

다만, derivation에서 해시 베이스가 되는 필드의 점하나만 달라져도 해시값이 달라지니 다른 패키지가 되어버려, 디스크 용량이 좀 과하게 필요하고, 빌드 시간이 좀 과하게 걸리는 단점이 있다. 덕분에 쉴 시간이 자주 생긴다!

※ Nixpkgs를 보면 derivation이 아닌, derivation을 생성하는 표현식 .nix들의 모음으로 되어 있다.

(닉스 공부한지 몇 달 안된 사람의 노트입니다. 생각이 틀렸다면 알려주세요. 저는 혼자 공부한 내용들을 요약해서 블로그 혹은 닉스 NixOS.kr 디코에 올리고 제대로 길을 가고 있는지 검증 받곤 합니다.)

Read more →
0
0
0
Will T @wjt@mastodon.me.uk
Public

Imagine being the person who, 30+ years ago, solved the problem of moving the mouse diagonally to a submenu closing the submenu because the mouse passed over another element – just add a short timeout before switching to a different submenu – and then living to see every application on the planet reimplement menus without that behaviour.

A diagonal mouse movement from a menu to a submenu in Discord that will, incorrectly, cause the submenu to close.
0
0
0
정진명 @jjme@hackers.pub
Public
Shared by bgl gwyng

할 말 없으니까 그나마 기술적인 내용이 있는 거 갖고오기: React로 게임 프로토타이핑하기

React로 게임 프로토타이핑하기

액션, 실시간 반응이 비교적 덜 중요하고, 상태들의 이산적인 전환으로 설명될 수 있는 종류의 게임을 만든다면 웹 프론트엔드 도구… 그러니까 React 같은 걸로, SPA를 만들듯이 프로토타이핑하는 게 괜찮을 수 있다. 이터레이션 속도 개인적으로는 React로 게임을 프로토타이핑하는 게, 대충 '프로그래밍할 수 있는 페이퍼 프로토타이핑' 비슷한 것 같다. 페이퍼 프로토타이핑은 유용하지만, 다뤄야 할

guji.jjme.me · 정진명의 굳이 써서 남기는 생각

0
0
0
0
0
0
0
0
0
lunamoth @lunamoth@threads.net
Public

- ASUS ROG가 34초 길이의 트레일러를 통해 엑스박스 브랜드의 휴대용 콘솔을 공개, 이는 업그레이드된 ROG Ally X로 보임

- 이 기기는 AMD의 새로운 라이젠 Z2 프로세서를 탑재할 가능성이 높음

Xbox Handheld Game Console Design Teased In ASUS ROG's Sneak Peek Trailer | HotHardware

https://hothardware.com/news/first-xbox-handheld-game-console-teased-asus-rog-trailer

Xbox Handheld Game Console Design Teased In ASUS ROG's Sneak Peek Trailer

ASUS ROG has taken to X (formerly Twitter) to tease an upcoming Xbox-branded game console in a short 34-second animated/rendered trailer.

hothardware.com · HotHardware

0
0
0
0
0
0
0
0
0
0
0
0
정진명 @jjme@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

할 말 없으니까 그나마 기술적인 내용이 있는 거 갖고오기: React로 게임 프로토타이핑하기

React로 게임 프로토타이핑하기

액션, 실시간 반응이 비교적 덜 중요하고, 상태들의 이산적인 전환으로 설명될 수 있는 종류의 게임을 만든다면 웹 프론트엔드 도구… 그러니까 React 같은 걸로, SPA를 만들듯이 프로토타이핑하는 게 괜찮을 수 있다. 이터레이션 속도 개인적으로는 React로 게임을 프로토타이핑하는 게, 대충 '프로그래밍할 수 있는 페이퍼 프로토타이핑' 비슷한 것 같다. 페이퍼 프로토타이핑은 유용하지만, 다뤄야 할

guji.jjme.me · 정진명의 굳이 써서 남기는 생각

0
0
0
0
0
0
0
0
0
Sara Joy :happy_pepper: @sarajw@front-end.social
Public

Sara's sugar sagas:

I mean, I try not to eat sugar. Chocolates around Christmas and ice cream in summer are hard to ignore, of course.

After a long OGTT (Oral Glucose Tolerance Test) I was clearly v. hangry and jittery and was heading into hypoglycemia, so I now officially have Postprandial Hypoglycemia (basically a pretty solid regular sugar crash).

I am to go to a nutritionist, there was talk again of the weight loss injections (do not want, they apparently can cause more hypoglycemia)

1/?

0
0
0
0
0
0
0
0
0
뉴스봇 - 국제 @news_global@802.3ether.net
Public
Shared by 은열쇠🥨 :ivory_boost:

"당장 내려!" 끄집어내 퍽퍽…"테슬라 타서 당했다" 확산
미국에서 트럼프 행정부의 실세, 일론 머스크에 대한 반대 시위가 확산하고 있는데요.테슬라 자동차 운전자들을 노리는 테러 또한 잇따르고 있습니다.…
news.sbs.co.kr/news/endPage.do

"당장 내려!" 끄집어내 퍽퍽…"테슬라 타서 당했다" 확산

SBS 뉴스 · 미국에서 트럼프 행정부의 실세, 일론 머스크에 대한 반대 시위가 확산하고 있는데요. 테슬라 자동차 운전자들을 노리는 테러 또한 잇따르고 있습니다.

news.sbs.co.kr · SBS NEWS

0
0
0
0
0
0
0
0
0
0
0
0