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.

1


第一次參加越野賽,選擇10K的距離,並在賽前三週參加10公里練跑,覺得至少有可以順利完賽的自信

10K組從猴硐出發跑到十分,因為是搭火車來參賽,所以8:30起跑、7:30報到寄物、6點就要搭車。比賽最不人道的就是起跑都超早啊。

(開賽前可以看貓貓覺得療癒)

越野跑最讚的就是可以一邊跑一邊欣賞臺灣山林的美,雖然有大半時間都無暇欣賞,都在低頭注意落腳點😂

主辦設計的路線很好玩、很多變。有上有下、有水有土有泥還有一些拉繩。多謝老天賞臉,雖然前一天下雨,當天天氣卻超好,讓土徑不至於太濕、爛泥不至於太多。

0
1

Linuxだけじゃなくてオープンソースの物は、文句を全然言っていいんですよ。むしろ反応は欲しいです
ただ、それは公式の場所(掲示板、チャットやMLなど)でお願いしたいです。なぜなら、SNSだと開発の人が探せないから🥲
SNSで溜飲下げて終わりだとお互い幸せになれないので、不満は公式の場所でお願いします🙏

fedibird.com/@minna_iiko/11441

0
0

SKT 유심 해킹 사건 쉽게 이해하기 + 공동 대응하기
------------------------------
최근 발생한 SKT 유심 해킹 사건과 관련하여, 법무법인을 통해 피해자 집단소송 및 정부 국회 대상 항의를 준비하고 있습니다. 본 항의에 관심이 있으신 분들은 상단 링크를 클릭해서 신청해주세요.

약정 기간이 남아있는 경우 SKT의 통신과금 서비스 이용약관 위반을 근거로 과학기술정보통신부에 민원을 제기할 수…
------------------------------
https://news.hada.io/topic?id=20557&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0

韓国の携帯キャリア1位、SKテレコム。

先日、中国のハッカーグループと思われる集団から
加入者全員のSIMカードの機密情報が輸出され、本日から加入者全員に対してSIMカードの無償交換を呼びかけている。

しかし加入者は2千万人程度で、eSIMサービスはあるもののルールが厳しく利用を避けている人が多いことから、加入者ほぼ全員が物理SIMを交換するためにショップへ予約を入れようとしているが…

今の時点で予約サイトへのアクセス待機列
:left_side_jagged_balloon_without_tail:​15万人​:right_side_jagged_balloon_without_tail:

1

하지 않은 말로 추측하지 않을 것이되, 실제로 한 말에 기초하여 의문을 품는 것까지 삼가고 싶지는 않다. 그리고 그 너머는 오로지 개인적 신념의 영역일 것이므로, 누구도 정확한 답을 가질 수 없을 것이다. 어쩌면 정치인 본인도 그 최종적 답을 알지 못할 것이다. 그렇다면 민주시민이 할 수 있는 것은 내가 옳다고 생각하는 바를 계속해서 말하는 것 뿐이다. 가급적이면 허위와 억측과 편견과 증오를 배제하고서.

0
0
0

어느 부분을 믿어야 하는가? 망인에게 공과가 모두 있고 그 평가는 이제 역사에 맡기자고 한 부분을 믿어야 하는가? 아니면 그 망인의 공이 아닌 과만을 집어서 열거한 점과 내란세력에 대한 처단을 강조하며 협치의 반대에 가까운 "징치"라는 거친 말을 쓴 부분을 믿어야 하는가? 그의 과거 행보를 믿어야 하는가, 그의 오늘날 향하는 벡터를 믿어야 하는가? 좌파를 뭉개고 우파에 구애를 하는 중인가, 우파를 속이고 좌파를 전제하는 중인가? 그리고 언제까지 이런 전략적 모호함 너머 흐리게 보이는 정치를 지켜보아야만 하는가?

RE: https://bsky.app/profile/did:plc:g23eq6mc3wh6nk5kmxbobm6i/post/3lntqhtuplh2w

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

ヘイドン・ピカリング氏の「Principles Of Web Accessibility(ウェブアクセシビリティの原則)」日本語版が公開されました。私は「魚ではなく、釣り方を」で参加しております。

https://github.com/Heydon/principles-of-web-accessibility/blob/main/README_ja.md

0

緩募 書籍「テスト駆動開発」で、referされている、mockobjects.com はもはや存在していないようです。いくつかのmock objectに関するサイトからもlinkされていたのですが、もうどこにも存在しないのでしょうか。内容を確認したかったのですが。要約したものも存在しませんか?

0

What would you tell someone to do with their software, if they just got let go? What would you do with your code?

We're on our final draft for "10 quick tips for making your software outlive your job".

If you've got the time and want to add anything to this paper which I _sincerely hope_ gets wide readership and impact, we're going to close this up on Friday and submit it to PLOS. Happy to acknowledge any contributions at this stage.

github.com/RichardLitt/Quick-t

Share widely if you can!

0
1
0

퍼스트모바일은 전광훈 딸 소유구요 찾아보니 밸류컴이라는 전광훈 측근이 운영하는 알뜰폰 통신사가 발견되어서 다시 올립니다 둘다 KT망 알뜰폰이며 이곳을 고려하는 일이 없도록 해주세요. 저들은 알뜰폰 사업으로 극우집회 비용 충당중이며 저 통신사에 가입하는 것은 내란동조입니다.

RE: https://bsky.app/profile/did:plc:2sjfdilgcpeyjnqo7u6apdfn/post/3lntpg4qles2z

0

@lcamtuflcamtuf :verified: :verified: :verified: Sorry! I meant it in a “great minds think alike” kind of way.

The similarity in HZD is mostly superficial. There’s not much about the ‘rebuilding’ angle.

I can think of a handful of other SF books in which humans who have somehow lost their civilization are guided by a brain-damaged AI.
It’s probably going to be a whole genre someday, but it’s wide open right now.

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

Icônes - 퍼지 검색 가능한 35만개의 오픈소스 아이콘 라이브러리
------------------------------
-
Instant Fuzzy Searching 기능으로 모든 검색이 로컬에서 빠르게 수행됨
-
The Bag 기능을 통해 원하는 아이콘을 선택하고 아이콘 폰트로 패킹할 수 있음
- *svg-packer* 라는 프로젝트에서 발전하여 탄생한 서비스임
- *SVG 직접 다운로드* , *사용 스크립트 복사* , *모바일 친화성* 등 다양한 …
------------------------------
https://news.hada.io/topic?id=20564&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

우리가 역사로 접하는 온갖 급변과 사태들도 당대에 그것을 경험하는 사람들에게는 하루하루를 살아가며 느리게 버텨야 하는 삶의 순간들이었겠지. 우리의 영원과 같은 기다림과 고통이 후대에는 찰나의 대격변으로 적힐 것이다.

0

notJoon shared the below article:

논리적이 되는 두 가지 방법 - 논리와 저수준(Low-level) 자료 표현(Data representation) (2 편 중 1 편)

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

이 글은 어떤 문장이 "논리적"이라고 할 수 있는지에 대한 심도 있는 탐구를 시작합니다. 일상적인 오용을 지적하며, 진정으로 논리적인 주장은 증명 가능성과 체계의 무모순성이라는 두 가지 핵심 조건을 충족해야 한다고 주장합니다. 특히, "좋은 가정 아래" 논리성을 증명하는 두 가지 방법, 즉 함수형 언어와 유사한 구조를 가진 자연 연역과, 약간의 "부정행위"를 통해 무모순성을 쉽게 보일 수 있는 논건 대수를 소개합니다. 글에서는 명제와 판단의 개념을 명확히 정의하고, 자연 연역을 통해 논리적 증명을 구축하는 방법을 상세히 설명합니다. 특히, 자연 연역과 함수형 언어 간의 놀라운 유사성, 즉 커리-하워드 대응을 통해 논리적 사고와 프로그래밍 언어 이해 사이의 연결고리를 제시합니다. 또한, 자연 연역의 한계를 극복하고 무모순성을 보다 쉽게 증명할 수 있는 논건 대수를 소개하며, 자연 연역과의 구조적 차이점을 강조합니다. 이 글은 논리적 사고의 깊이를 더하고, 프로그래밍 언어와 논리 간의 관계에 대한 흥미로운 통찰을 제공합니다. 특히, 커리-하워드 대응을 통해 논리와 프로그래밍이 어떻게 연결되는지 이해하고 싶은 독자에게 유익할 것입니다.

Read more →
12
0
0
0
0