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
1
0
0

민주노총은 협치 같은 개소리하면 죽여버린다 하는 게 업무인거고, 민주당은 호호하하 그래도 재네도 의원인데 일단 협치는 해야죠 하면서도 다 죽여버리는게 업무인 것. 민주당 정치인들 계엄으로 죽을 뻔 한 사람들이고 그 원한 잊지 않았길 바람.

RE: https://bsky.app/profile/did:plc:y5csbf6vxv6d2jwp7r5jkx3n/post/3lryutl63bc2m

0
1
0
0
0

민주노총은 협치 같은 개소리하면 죽여버린다 하는 게 업무인거고, 민주당은 호호하하 그래도 재네도 의원인데 일단 협치는 해야죠 하면서도 다 죽여버리는게 업무인 것. 민주당 정치인들 계엄으로 죽을 뻔 한 사람들이고 그 원한 잊지 않았길 바람.

RE: https://bsky.app/profile/did:plc:y5csbf6vxv6d2jwp7r5jkx3n/post/3lryutl63bc2m

0

E2EE (단대단 암호화)가 들어간 비밀글 서비스는 어떨까요.... 서버에서도 내용을 읽을 수 없고, 당사자들만 읽을 수 있어요 그리고 약간 기존 트위터 비계처럼, 허가/거절 방식으로 팔로워를 받아요. E2EE라 (정확히는 구현된 방법때문에) 누구누구 선택해서 그 사람들한테만 공개되게 할 수 있어요. 아 대신에, 회원가입때 비밀번호를 만드셔야하고, 로그인할 때도 치셔야해요.

0
0
0
0
1
0
0
1
0
0

Pixel 7aちゃんのPhotosアプリが写真の撮影時刻を撮影場所のローカル時刻に変換してからソートする模様で19時間巻き戻った日の分はたいへん面倒なことになっています

0

밥먹으러 나왔다가 화장실이 급해서 백화점으로 뛰쳐들어갔죠

근데 1층엔 여자화장실 밖에 없는거에요
:blobcatresonyance:
2층에 올라가니까 여기도 여자화장실만 있는거에요
:resonyance_dundundun:
3층을 가니까 화장실이 없어요
:blobcat_fu_fearful:
4층을 가니까 화장실이 2개 있는데 둘 다 여자화장실인거에요
:blobcat_fu_fearful2:
5층을 가니까 있더라구요
:blobcatfrustration2:

1
0
0
0

A new post to mark the summer solstice, on how astronomical measurements, from the time of Eratosthenes to the modern day, rely on the tireless (and often unsung) efforts of many careful and precise data collectors. instagram.com/p/DLG6a_WIWyb

Cosmic Distance Ladder on Instagram: "In the fourth century BCE, Eratosthenes took advantage of the small deviation between the angle of the summer solstice Sun in the cities of Syene (more or less on the Tropic of Cancer) and Alexandria (hundreds of miles to the north) to obtain the first reasonably accurate, recorded measurement of the circumference of the Earth. For this, he needed to know the precise distance between the two cities. We have joked that Eratosthenes hired a “graduate student” to walk between the towns. The truth may not be too far off—in that era there were professional bematists whose job was to precisely measure long distances, either through methodical pacing or with early odometers. The history of the cosmic distance ladder is replete with such carefully collected data which has always relied on two things: well-calibrated tools and a plethora of tireless researchers whose names have frequently been lost to history. We see this in the many scholars of Tycho Brahe’s Uraniborg collecting decades of heroic naked-eye astronomical observations. It is also in the adept organization and remarkable spectroscopic analysis of the glass plate photographs at the Harvard Observatory by dozens of the Harvard “Computers”—skilled women who developed the ability to categorize the spectra of hundreds of stars an hour and maintained a working knowledge of the features of thousands of bright stars in the northern and southern hemispheres. Today, teams of hundreds of scientists collect many terabytes of observational data streamed to us from a wide range of complex telescopes on Earth and delicately calibrated specialized instruments in space observatories. Eratosthenes would likely be baffled by the technology and sophisticated mathematics of modern astronomy, but perhaps he would recognize that it is still fundamentally the same type of science, driven by both data and theoretical reasoning, that it was in his day. He would certainly recognize the importance of the countless unsung researchers who wrangle the volumes of data that astronomy demands. #DistanceLadder #astronomy #bematist #DataScience #AncientAstronomy #RenaissanceAstronomy #HarvardObservatory #VeraCRubinObservatory"

3 likes, 0 comments - cosmic_distance_ladder on June 19, 2025: "In the fourth century BCE, Eratosthenes took advantage of the small deviation between the angle of the summer solstice Sun in the cities of Syene (more or less on the Tropic of Cancer) and Alexandria (hundreds of miles to the north) to obtain the first reasonably accurate, recorded measurement of the circumference of the Earth. For this, he needed to know the precise distance between the two cities. We have joked that Eratosthenes hired a “graduate student” to walk between the towns. The truth may not be too far off—in that era there were professional bematists whose job was to precisely measure long distances, either through methodical pacing or with early odometers. The history of the cosmic distance ladder is replete with such carefully collected data which has always relied on two things: well-calibrated tools and a plethora of tireless researchers whose names have frequently been lost to history. We see this in the many scholars of Tycho Brahe’s Uraniborg collecting decades of heroic naked-eye astronomical observations. It is also in the adept organization and remarkable spectroscopic analysis of the glass plate photographs at the Harvard Observatory by dozens of the Harvard “Computers”—skilled women who developed the ability to categorize the spectra of hundreds of stars an hour and maintained a working knowledge of the features of thousands of bright stars in the northern and southern hemispheres. Today, teams of hundreds of scientists collect many terabytes of observational data streamed to us from a wide range of complex telescopes on Earth and delicately calibrated specialized instruments in space observatories. Eratosthenes would likely be baffled by the technology and sophisticated mathematics of modern astronomy, but perhaps he would recognize that it is still fundamentally the same type of science, driven by both data and theoretical reasoning, that it was in his day. He would certainly recognize the importance of the countless unsung researchers who wrangle the volumes of data that astronomy demands. #DistanceLadder #astronomy #bematist #DataScience #AncientAstronomy #RenaissanceAstronomy #HarvardObservatory #VeraCRubinObservatory".

www.instagram.com · Instagram

0
0
0
0

We are deeply grateful to ACM SIGPLAN for recognizing with the Programming Languages Software Award 2025 at .

The citation states: "The Lean theorem prover is a remarkable software artifact. Grounded on strong theoretical and engineering foundations, Lean has had and continues to have a broad impact on industrial practice and scientific research."

Unquestionably, this recognition belongs to the community as much as it does the original authors - especially to the many mathematicians and contributors who have helped to build Mathlib to over 1.8M lines of code. As Soonho Kong said on accepting the award: "This award goes to the actual Lean community and all the people who love Lean and using Lean."

Thank you to everyone who has contributed to making formal mathematics more accessible and reliable!

0
0
0
0
0
0
0
0
1
1
0

有些效能比較低的電腦,真的無法顯示GIF檔,第一次看到這種圖示的我,還以為要重做,嚇死~~~(別台開就沒事)
圖為敝校超老舊的windows桌機,還有在某些chromebook也會看到。
Some low-performance computers cannot display GIF files. When I first saw this kind of icon, I was scared me to death~~~
The image is of our school's very old Windows desktop, and you can also see this on some Chromebooks.

0
1
0
0
1
0
0
1

Video: Resistance fighters storm field office after No Kings Sat June 14

This video is combat footage from an unknown stage of the battle. It does not show the battering ram used to breach the door reported elsewhere but of course is not the entire battle.

THIS is how it's done! Next step is storming ICE facilities while detaines are inside and freeing them

0
0
0
0

なにはともあれ、ThreadsからFediverseの投稿がみられるようになったんだから、

こっちに広報アカウント作って、向こうでフォローしてもらってもいいのだ。

0
0
0
0
0
0
1