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.

体积,续航和价格让我真的好想买 M4 MacBook Air,但是 AArch64 Darwin 又真的让我很犹豫。看着隔壁 LNL 的价格迟迟下不去手,唉 Intel 你崛起吧。
0
0
9
0
0
9
0
0
0

Google is so sneaky. This prompt inside Gmail gives you three options. The two most visible options (number 1 is 'Try it now' and number 2 is 'Continue') basically mean 'Enable Gemini AI to write emails.' The third option cancels it which is hidden well. Google, you could do better than this. This is a perfect example of a dark pattern. For those who want AI to write basic emails can enable it but there is not need to do this kind of "shady" stuff.

This images is about Gmail. Google is so sneaky. This prompt inside Gmail gives you three options. The two most visible options (number 1 is 'Try it now' and number 2 is 'Continue') basically mean 'Enable Gemini AI to write emails.' The third option cancels it which is hidden well. Google, you could do better than this. This is a perfect example of a dark pattern. For those who want AI to write basic emails can enable it but there is not need to do this kind of "shady" stuff.
0
29
0
1
0
0
0
0
0
0
0
0
9
0
0
9
0
0
0

저번에 오타쿠 굿즈샵 갔을때 납득은 했지만 조금 웃겼던 것.

원래는 서류 등을 수납하기 위한 물건인 클리어 파일이 워낙 흔하게 굿즈로 제작되다 보니 그 클리어 파일을 수납하기 위한 클리어 파일 홀더라는 물건이 존재함.

1
0
9
0
0

WSJ, 일론 머스크의 자녀는 알려진 것보다 더 많을 수 있다고 보도

일론 머스크가 혼외 자녀들을 관리하는 담당자를 두고 있으며, 양육비 지급을 이유로 자녀를 둔 여성들에게 비밀 유지 계약을 강요했다는 사실이 우익 인플루언서 세인트 클레어에 의해 폭로됨. (세인트 클레어는 최근 머스크의 자녀를 출산한 것으로 알려져 있음)

세인트 클레어가 임신하는 동안 머스크는 더 많은 아이를 더 빨리 낳기 위해 다른 여성들을 데려올 것을 제안하기도 했으며 소셜 미디어를 통해 자신의 아이를 임신해 줄 여성들을 모집하기도 했다고...

WSJ가 확인한 클레어의 문자 메시지에는 “종말 전에 군단(Legion) 수준에 도달하려면 대리모를 사용해야 할 것”이라는 내용도 있었으며, 머스크는 클레어에게 제왕절개를 통해 아기를 출산하라 강요도 하고 10명의 자녀를 가져야 한다고 말하기도 함.
wsj.com/politics/elon-musk-chi

0
1
0
0
0
0
0
0
0
0
0
1

這比那 245% 更刺激了

美國計劃使用關稅談判來隔離中國
https://archive.is/20250415231842/https://www.wsj.com/politics/policy/u-s-plans-to-use-tariff-negotiations-to-isolate-china-177d1528
美國正計劃利用與 70 多個國家的關稅談判,要求這些國家限制與中國的交易,包括阻止中國貨物經其國家運送,以及不吸收中國的廉價工業產品。此策略旨在對中國經濟施壓,迫使中國政府減少談判籌碼。財政部長 Scott Bessent 正在領導談判,並與川普討論過此方法。最終目標是孤立中國經濟,並可能將中國股票從美國交易所除名。然而,目前還不清楚是否所有國家都收到了這樣的要求,或者中美之間的交易是否即將達成。

0
0
0
0
0
0
0
9
0
0
0

Yacc와 같은 파서 제네레이터에 BNF를 넣으면 파서 코드가 자동으로 생성된다. 그런데 HTTP나 ActivityPub 등의 프로토콜 스펙을 입력으로 넣으면 자동으로 코드를 구현해주는 도구 어디 없나?

4

도막도 replied to the below article:

함수형 언어의 평가와 선택

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

이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.

Read more →
15
3
0
3

The cheek of the American nazis.

The UK has already offered to drop its proposed digital services tax on Google et al to get some trade deal settled. But the US wants more, much more.

Vance is demanding the UK repeal its hate speech laws which ban abuse targeting LGBT+ groups & minorities, as a condition of any deal. He's also demanding UK plans for a new online safety law be dropped.

Who the hell does Hillbilly CouchFucker think he is?

independent.co.uk/news/uk/poli

0
0
0
0
0

這比那 245% 更刺激了

美國計劃使用關稅談判來隔離中國
https://archive.is/20250415231842/https://www.wsj.com/politics/policy/u-s-plans-to-use-tariff-negotiations-to-isolate-china-177d1528
美國正計劃利用與 70 多個國家的關稅談判,要求這些國家限制與中國的交易,包括阻止中國貨物經其國家運送,以及不吸收中國的廉價工業產品。此策略旨在對中國經濟施壓,迫使中國政府減少談判籌碼。財政部長 Scott Bessent 正在領導談判,並與川普討論過此方法。最終目標是孤立中國經濟,並可能將中國股票從美國交易所除名。然而,目前還不清楚是否所有國家都收到了這樣的要求,或者中美之間的交易是否即將達成。

0
0
0

그럼 저도 @discipulus_ignavus 님께 받았으니 숙제를...

🍶좋아하는 술: 소맥! 귀한 날엔 글렌피딕
🖤좋아하는 색깔: 핫핑크
✈️좋아하는 휴가지: Lakes Entrance (호주 멜번에서 동쪽으로 한 네 시간 운전해 가면 있는 작은 동네)
🎧좋아하는 외국노래: Wherever You Will Go - Love Actually OST
🎧좋아하는 한국노래: 땡벌 - 강진 (전여친이자 현부인이 다녔던 회사 회식에 뜬금없이 껴서 불렀다가 그 회사 인싸가 되었던 그 노래 ㄷㄷㄷ)
🎯목표: 젖은 낙엽처럼 찰싹

---
저도 이제 지명을... 🙏
@_lemonism
@prof_dr_k
@kiburm_song
@yogini_jess_96
@1mintickets

RE: https://www.threads.net/@discipulus_ignavus/post/DIfryX5JvaP

0

Attending NWO ICT.OPEN today, presenting "Exploring DevOps Practices as Sites for AI Contestability" as part of the Human-Computer Interaction and Societal Impact in the Netherlands track. ictopen.nl/programme/human-com

0

I really enjoyed @FelienneFelienne Hermans's narrative about narratives about Computer Science yesterday. She applied some of the ideas presented in the Glaciers, Gender and Science paper (journals.sagepub.com/doi/abs/1) to her experiences in the Computer Science / Programming Languages communities. She's also starting a reading club to brainstorm the meaning (and the name?) of the field of "Computer Science".
















Felienne presents a slide in which a cartoon version of herself says "'Programming language' is a social construct", and presents a timeline where the 1960s are labelled with two quotes: "Programming requires patience and eye for detail ..." and "Women are naturals at computer programming".Felienne presents her title slide: A narrative about narratives about Computer Science. She drew cute cartoons of her and her collaborator.Felienne presents a slide with a cartoon picture of herself, with a thought bubble that visualises the bias that "hard = value" and "easy != value" through the metaphor of the fact that we know more about remote glaciers high up in mountains than about glaciers that are right next to where people live.
0
0