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

Gravatar, Linktree, Bento, there are all things we could incorporate into fediverse profiles. Libravatar demonstrated that this can be done in a federated way.

Imagine when you add a new fediverse account to the profile of an existing one, it offers to synchronise your avatar, other social accounts, etc between the two. Obviously you'd have the option to say no, for each item. In case you like to have different avatars for different accounts, etc.

0

Back in December I got some Mellanox ConnectX-6 Dx, now I finally got around to playing with them. I got them because I was interested in two features:

  • True integrated switch between all VM virtual functions and outside links, with communication between VMs, VLAN filtering rules, LACP-bonding the links and so on
  • Hardware offloading for TLS-encryption

I now benchmarked the TLS-offload, and unfortunately I'm underwhelmed. A 🧵​

Two Mellanox/Nvidia ConnectX-6 Dx network cards

I hoped that TLS-offloading would increase throughput or at least keep throughput but reduce cpu load. But when you look at the throughput graph, the TLS-offloading (nginx+hw) is completely useless for small transfers. I'd have needed log charts to better show this, 8.7 MByte/s total for 500 clients repeatedly requesting a file of 10 kBytes. The regular userspace-only nginx can do 323 MBytes/s for the same load. Even with 100 kBytes requests it is still useless (83 MBytes/s).

It only becomes useful in the region somwhere between 1 and 10 MBytes file size.

While offloading TLS to the kernel (kTLS) has some setup cost, it pays off from shortly after 100k, offloading the transmission to the network card seems to be much slower. Since the CPU is nearly idle during this time it seems like setting up the offload is somehow implemented inefficiently.

Graph showing the total throughput on y and request/file size on y.

The data is shown for http, ngnix software https, ngnix with kernel-tls (ktls) and ngnix with hardware offload.Graph showing the cpu-load during the bandwidth tests before.
0
0
0
0

突然就在醫院陪了兩週。

在醫院家裡兩頭奔波的日子裡,最能安住我心的一段話來自冥想引導:

Imagine placing all your worries, all your stress into a stream. Watch them float by, carried gently by the current.”

You are not your thoughts, you are the observer.

每日坐電梯的次數激增,發現美國人都沒有人會去按關門鍵,以至於我也成為一個默默不按關門鍵的人了。

呼吸,Just be.
門該開該關就會的。

0
1
0

아 그리고 한국게이머가 왜 유독 미형에서 벗어난 커마가지고 욕하나 생각해보면... 한국 게임에서 일부러 못생기게 커마가 대체로 난 비매너짓을 위해 불쾌하게 어그로끄는 커마를 한 사람이 많음이 몇십년동안반복되다보니 나온 거이긴 한듯(실제로 k게임하다보면 좆같은커마한새끼들때문에 비주류커마나 비주류 패션 좋아서입는 사람들이 피해보는거 많잖음)

1
0
0

二戰納粹德國投降今天屆滿80週年,48家德國大型企業罕見發表聯合聲明,首次明確承認在納粹政權罪行中扮演關鍵角色,並呼籲在極右勢力崛起的當下,企業必須展現「立場與勇氣」,共同守護德國民主。


RE: https://pbs.idv.tw/users/pbs/statuses/114469680434304628

0
0
0

你的瀏覽器目前保留的分頁數量有多少?

我想知道我是不是不正常 :blackcat_surprised:

0

Jaeyeol Lee shared the below article:

논리와 메모리 - 논리와 저수준(Low-level) 자료 표현(Data representation) (2 편 중 2 편)

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

이 글은 "논리적"이 되는 두 번째 방법인 논건 대수를 재조명하며, 특히 컴퓨터 공학적 해석에 초점을 맞춥니다. 기존 논건 대수의 한계를 극복하기 위해, 컷 규칙을 적극 활용하는 반(半)공리적 논건 대수(SAX)를 소개합니다. SAX는 추론 규칙의 절반을 공리로 대체하여, 메모리 주소와 접근자를 활용한 저수준 자료 표현과의 커리-하워드 대응을 가능하게 합니다. 글에서는 랜드(∧)와 로어(∨)를 "양의 방법", 임플리케이션(→)을 "음의 방법"으로 구분하고, 각 논리 연산에 대한 메모리 구조와 연산 방식을 상세히 설명합니다. 특히, init 규칙은 메모리 복사, cut 규칙은 메모리 할당과 초기화에 대응됨을 보여줍니다. 이러한 SAX의 컴퓨터 공학적 해석은 함수형 언어의 저수준 컴파일에 응용될 수 있으며, 논리와 컴퓨터 공학의 연결고리를 더욱 강화합니다. 프랭크 페닝 교수의 연구를 바탕으로 한 SAX는 현재도 활발히 연구 중인 체계로, ML 계열 언어 컴파일러 개발에도 기여할 수 있을 것으로 기대됩니다.

Read more →
12
0
0

你的瀏覽器目前保留的分頁數量有多少?

我想知道我是不是不正常 :blackcat_surprised:

0

[사회][단독] 인천 구월동서 음주운전 사고...2명 사망·4명 부상 | YTN

ytn.co.kr/_ln/0103_20250508114

음주운전으로 면허정지당한 상태에서 또 음주운전하다 사고냄. 음주운전은 절반이상이 재범하고, 엉뚱한 사람이 죽는 미친 범죄라 엄벌해야 하는데....
저놈도 뭐 몇년 살다 나오겠지.

0
0

최근 한화 야구는 제대로 폭풍에 올라탄 독수리 같습니다. 거칠 것 없이 비상 중입니다. 팀 상승세와 맞물려 구단 유튜브 구독자 수는 41만3000명을 넘어섰습니다. 메이저리그 30개 구단 중 가장 구독자 수가 많은 LA 다저스를 추월할 기세입니다. 한화는 7일까지 37경기를 치렀는데, 27경기가 매진됐습니다. 현재 안팎으로 가장 뜨거운 구단이 한화입니다.

한 달 전 꼴찌였던 그 팀, 지금은 1위입니다…독수리의...

0
0

突然就在醫院陪了兩週。

在醫院家裡兩頭奔波的日子裡,最能安住我心的一段話來自冥想引導:

Imagine placing all your worries, all your stress into a stream. Watch them float by, carried gently by the current.”

You are not your thoughts, you are the observer.

每日坐電梯的次數激增,發現美國人都沒有人會去按關門鍵,以至於我也成為一個默默不按關門鍵的人了。

呼吸,Just be.
門該開該關就會的。

0

Q: 정적인 스포츠의 특징을 여러 가지 갖는 야구의 특성 상, 인내심은 야구 선수에게 필요한 중요한 미덕 중 하나이다. 또한, 야구팬의 미덕이기도 하다. #neo_quesdon

0

최근 한화 야구는 제대로 폭풍에 올라탄 독수리 같습니다. 거칠 것 없이 비상 중입니다. 팀 상승세와 맞물려 구단 유튜브 구독자 수는 41만3000명을 넘어섰습니다. 메이저리그 30개 구단 중 가장 구독자 수가 많은 LA 다저스를 추월할 기세입니다. 한화는 7일까지 37경기를 치렀는데, 27경기가 매진됐습니다. 현재 안팎으로 가장 뜨거운 구단이 한화입니다.

한 달 전 꼴찌였던 그 팀, 지금은 1위입니다…독수리의...

0

“국가 핵심 인프라를 담당하는 기간통신사업자로서 국민의 안정적인 통신 이용, 국가 안보, 정보통신기술(ICT) 발전 등 책무를 수행하기 위해
그걸 아는 놈들이 유심 정보를 통째로 털려요?

https://n.news.naver.com/mnews/article/025/0003439398

0

Gemini 2.0 플래시 프리뷰: 이미지 생성 및 편집 기능 공개
------------------------------
- Google이 *Gemini 2.0 Flash 모델을 통한 이미지 생성 기능* 을 개발자 프리뷰로 공개
- 텍스트 기반 명령으로 *이미지 생성, 수정, 부분 편집* 까지 가능하며, 시각 품질과 텍스트 렌더링도 개선됨
- *제품 리스킨, SKU 생성, 실시간 공동 편집* 등 다양한 활용 사례 소개
- [Google AI Studio] 및 [Verte…
------------------------------
https://news.hada.io/topic?id=20781&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
1
0
0
0
0
0
0
0

방금 하스켈 학교에서 객체지향 vs 함수형 떡밥이 n번째로 돌았는데, 나는 그냥 객체지향 = 상속(서브타이핑) 이라고 생각한다. 객체지향에서 상속을 빼면 뭐 남는게 없다. 그래서 객체지향이란 단어를 의미있게 사용하려면 상속이랑 동치시켜 사용할수 밖에 없다고 본다.

근데 상속은 코드를 합성하는 수많은 방법중 하나일 뿐이다. Java같은 언어는 그 수많은 방법중 딱 하나 상속만을 언어 자체에서 지원하는거고, 거기서 벗어나는 다른 유용한 추상화들은 죄다 디자인 패턴이라고 퉁쳐서 부른다. 그래서 객체지향 vs 함수형(= 상속 vs 함수형)은, 나에겐 Monoid vs 타입클래스 같은 비교처럼 들린다. 좌변과 우변이 체급이 안 맞아서 대결이 불성립한다.

3
0
0
0
0
0

니 적을 알라: 맥킨지 3년이 내 두 번째 스타트업에 준 교훈
------------------------------

"적을 알기 위해 들어간 곳에서 배운 것들"
- 스타트업 창업자 Zac Townsend는 *McKinsey에서 3년간 근무하며* 대기업의 작동 원리를 내부에서 학습함
- 그는 *신규 사업 구축 프로젝트(Leap)* 와 * 규제 대응 리스크 프로젝트*를 통해 * 대기업의 장점과 한계를 직접 체험*함
- 이를 통해
유통 채널과…
------------------------------
https://news.hada.io/topic?id=20780&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0

프로야구 NC, 올해 대체 홈구장으로 울산 문수야구장 선정
프로야구 NC 다이노스가 울산 문수야구장을 올해 대체 홈구장으로 쓰기로 했습니다.NC는 오늘 "이번 결정은 경남 창원NC파크의 재개장이 …
news.sbs.co.kr/news/endPage.do

0
0