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.
Modelling and verifying neuronal archetypes in Coq. ~ Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria, Amy Felty. https://arxiv.org/abs/2505.05362 #ITP #Coq #Rocq
おかいもの
Hier mal eine kleine Erinnerung, dass unter https://pxlfed.de eine kleine deutsche Pixelfed Instanz zu finden ist, die noch Platz für neue User hat.
1972년 지구 궤도를 벗어나는 데 실패했던 옛 소련의 금성 탐사선 ‘코스모스 482호’가 이번 주말 지구로 추락할 것으로 예상된다.
수정 2025-05-09 10:25 www.hani.co.kr/arti/science...
“첨벙, 쿵, 비명 중 하나”…495kg 금성 탐사선,...
なんかリアクションしたら自分のリアクションが増殖した
비퀴어 청년 남성분들 제일 신기한점 억울한 건 되게 많은데 그럼 님을 글케 힘들게 하는 이 사회의 문제점을 진지하게 말해 보라고 하면 갑자기 억울징징은 어디가고 기득권 팬보이 모드가 돼서 AI 쓰는 게 기업 입장에선 좋긴 하다 한국 남자면 군대 가는 게 당연한 거다 복지한다고 무조건 좋은 게 아니다 이럼 하지만 넌 기업가도 아니고 장교도 아니고 나랏님도 아니잖아...
#新日本海フェリー 
は日本最速フェリーのはまなす/あかしあがまもなく引退なので今のうちに乗っておくのがおすすめ
エンジンのパワーが強すぎて船内は常に小刻みに揺れ続けてるので、食堂ではプルプル震えるそば等が食えます
갑자기 섹계한테 팔로우를 받아서 당황스러웠는데 1분 지나고 다시 보니까 정지됐네 🤣
還給我0ne-drive 
Yesterday I learned about https://cartes.app, a new AGPL 
@openstreetmap app that has an impressive PWA!
Thanks to 
@Bristow_69Cdrik ⏚🌻 for sharing!
https://framapiaf.org/@Bristow_69/114466716762089709
New report from Doublethink Lab: The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study
#Taiwan #China #SocialMedia #TikTok #InformationWarfare #台灣 #中國
When Godwin's Law went hilarious by politicians
https://www.upmedia.mg/news_info.php?Type=2&SerialNo=229813
아이폰 15 시리즈 벌써 2년 됐구나 ㄷㄷㄷ
From Haskell to a new structured combinator processor. ~ Yukang Xie et als. https://pure.hw.ac.uk/ws/portalfiles/portal/149643713/TFP-2025-Author-Submitted-Manuscript.pdf #Haskell #FunctionalProgramming
당장 여성들은 어떤 주장을 하냐: 여성을 대상으로 한 온/오프라인 성범죄 및 여성혐오 범죄를 제대로 처벌하라, 여성이란 이유로 채용 차별하지말고 동등한 노동권 보장하라, 여성의 성적 권리를 치부로 여기지 마라, 여성을 성적 도구로 여기거나 성적 목적을 위해 돈으로 사고파는 재화로 취급하지 마라 등등 당장 떠오르는것만도 이정도인데 정작 2030남성들은 뭘 주장함? 알페스는 불법이다웅앵웅? 히이익 저 엄지검지는 해로운 손이다!!!! 하는 진상민원? 군인권도 지들 내킬때만 갖고오지 진지하게 얘기하려고 하면 너만 힘드냐? 이난리나 치면서
그리고 원래 OLED 디스플레이를 굉장히 싫어했는데 아이폰12 쓰면서 그게 깨져버림.. 애플 올레드는 분명 삼성꺼 받아쓰는건데 왜 번인이 안보이는가
물론 언젠가 번인이 오긴하겠다만 그때쯤이면 배터리가 먼저 뒤져있을듯
雨ふりそ…
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
그리고 원래 OLED 디스플레이를 굉장히 싫어했는데 아이폰12 쓰면서 그게 깨져버림.. 애플 올레드는 분명 삼성꺼 받아쓰는건데 왜 번인이 안보이는가
기자의 쓰레기같은 질문에 비해 소년의 대답이 너무 훌륭했다.
아이가 무사히 있기를.
그리고 전쟁은 하루빨리 끝나기를.
RE: https://bsky.app/profile/did:plc:adywzg7ar6r6jd3ngkc7y7ln/post/3looevjuz5226
When Godwin's Law went hilarious by politicians
https://www.upmedia.mg/news_info.php?Type=2&SerialNo=229813
『ハルビン』本予告来た。リリー・フランキーのこの台詞が、韓国でも印象的な名台詞として評価を得たやつですね。
https://www.youtube.com/watch?si=yj3jvbVKj9yt-cU2&v=DbA45uu9n2E&feature=youtu.be
This is how close to impossible it would be to read the terms & conditions from social media platforms.
Do you know what you're agreeing to?
麦入り米がスーパーで売っているのを見て、ｱﾚは見事に戦前戦中の日本を取り戻したなと感じた。
이거 왤케 웃기지 ㅋㅋ
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
New report from Doublethink Lab: The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study
#Taiwan #China #SocialMedia #TikTok #InformationWarfare #台灣 #中國
이어폰을 건강하게 쓸 수 있는 방법은 없는 걸까
그러면 헤드폰을 써야 하나...
感覺我又要跟星期一的自己講抱歉了
もとむら伸子(本村伸子） (@motomura_nobuko@twitter.com): "日本学術会議解体法案、衆議院内閣委員会で採決が強行され、自民党、公明党、日本維新の会の賛成で可決💢 日本共産党、立憲民主党、国民民主党、れいわ新選組、有志の会は反対しました。 塩川鉄也衆議院議員が求めていた資料は出てきておらず、もっと審議をすべきと求めていたのに、採決が強行されたことに強く抗議します。 #日本学術会議への介入に反対します #日本学術会議解体法案の採決反対 #日本学術会議解体法案は廃案に " | nitter: https://nitter.net/motomura_nobuko/status/1920746409940447397#m
@risa2りさ姉@V2β りさ姉にも画像認識機能つけるか
내가 왜 폰에 깃허브 앱을 설치했었는지는 까먹었는데 그냥 삭제할까 생각 중임
로그인할 때 이중인증할 때 말고는 쓸모가 없는데 이중인증도 타사 앱으로 할 수 있음
그래서 완전히 쓸모가 없는데 깃허브 링크만 들어가면 자동으로 열려서 짜증남
Anybody know more about the Rust null-pointer optimization for enums than I do? https://github.com/facet-rs/facet/pull/527#issuecomment-2865797586
麦入り米がスーパーで売っているのを見て、ｱﾚは見事に戦前戦中の日本を取り戻したなと感じた。
Doge software engineer's computer infected by info-stealing malware
Link: https://arstechnica.com/security/2025/05/doge-software-engineers-computer-infected-by-info-stealing-malware/
Discussion: https://news.ycombinator.com/item?id=43934540
야...아무리 바보라도 그정도 액수는 안믿겠다. ㅋㅋㅋㅋㅋ
『ハルビン』本予告来た。リリー・フランキーのこの台詞が、韓国でも印象的な名台詞として評価を得たやつですね。
https://www.youtube.com/watch?si=yj3jvbVKj9yt-cU2&v=DbA45uu9n2E&feature=youtu.be
Another composition of these awesome trees slightly twisting upwards. This composition is what caught my eye initially, I liked these shapes.
Have a good weekend everyone!
#landscape #LandscapePhotography #tree #trees #moss #mosstodon #fog #australia #forest #photo #photography #LPW #AntonGorlinPhotos #art #fediart #MastoArt #green #nature #NaturePhotography #forest #noai
이제 국회 청문회나 공개되는 정보에서도 IMSI와 IMEI와 같은 약어가 나온다. 그러나 "유심 식별번호"나 "유심 인증키", "유심 비밀번호"가 구체적으로 뭔지는 아직도 언급되지 않고 있다. "유심 식별번호"에는 최소한 두 가지가 있고, "유심 인증키"라고 부를 수 있는 것만 최소한 5가지가 있으며, "유심 비밀번호"라고 부를 수 있는 것도 최소한 5가지가 있다. 그 중에서는 메모리 내에서도 가급적 암호화되어야 하는 것과, 디스크에서만 암호화할 수 밖에 없는 것도 섞여 있다. 대부분 여기에 사용되는 암호화 방식은 대칭 키 방식이기 때문에 평문 키에 접근해야 하며, 전가의 보도로 사용되는 "해시"도 사용할 수 없다.
구체적으로 무슨 정보가 유출되었는지가 알려지지 않는 이상, 쓸데없는 보안 관련 규제가 생길 가능성도 간과할 수 없다.
유심 식별번호:
- IMSI('임지'라고도 읽음): 이동통신망에서 가입자를 식별할 때 사용하는 번호. SIM에 기록되어 있다.
- ICCID: 신용카드의 카드번호와 동일한 규칙으로 부여되며, 물리적인 SIM 카드를 식별한다. 이동통신망 그 자체에서는 사용되지 않으며, 통신사 영업 전산에서 사용한다.
유심 인증키:
- K_i/OPc: 털리면 엿 되는 것.
- KIc/KID: 원격 접근에 사용하는 인증 키. KIc는 암호화, KID는 RC/CC/DS를 담당함.(GSMA FS.22 § 4 참조)
- KIK: 위 두 KIc, KID를 보호하기 위한 원격 프로비저닝 키.
유심 비밀번호:
- PIN1/PUK1: SIM 카드 탈취를 막기 위한 비밀번호. SIM에 최초 전원 인가 후 사용하기 전에 입력해야 함.
- PIN2/PUK2: SIM 카드의 특정 설정에 접근하기 위한 비밀번호. 통신사에 따라서 사용되지 않는 경우가 있음.
- ADM: SIM 카드의 파일을 조작하기 위한 비밀번호.
@dohee_ehehe 네엥 저두 주말이라 야구 중계할 때까지 기다렸어오! 
이제 국회 청문회나 공개되는 정보에서도 IMSI와 IMEI와 같은 약어가 나온다. 그러나 "유심 식별번호"나 "유심 인증키", "유심 비밀번호"가 구체적으로 뭔지는 아직도 언급되지 않고 있다. "유심 식별번호"에는 최소한 두 가지가 있고, "유심 인증키"라고 부를 수 있는 것만 최소한 5가지가 있으며, "유심 비밀번호"라고 부를 수 있는 것도 최소한 5가지가 있다. 그 중에서는 메모리 내에서도 가급적 암호화되어야 하는 것과, 디스크에서만 암호화할 수 밖에 없는 것도 섞여 있다. 대부분 여기에 사용되는 암호화 방식은 대칭 키 방식이기 때문에 평문 키에 접근해야 하며, 전가의 보도로 사용되는 "해시"도 사용할 수 없다.
구체적으로 무슨 정보가 유출되었는지가 알려지지 않는 이상, 쓸데없는 보안 관련 규제가 생길 가능성도 간과할 수 없다.
Lean4 machine assisted proof framework for chip firing game & graphical Riemann-Roch. ~ Dhyey Dharmendrakumar Mavani. https://dhyeymavani.com/publication/math-thesis-lean/math-thesis-lean.pdf #ITP #LeanProver
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
Только что прошёл бесконечное лето полностью.
Хоть мне и не близок характер Семёна, после этой истории остаётся тёплое ощущение.
Всё в этой жизни могло бы быть по-другому. Сейчас мы здесь. Нам может быть плохо, может быть хорошо, кому-то из нас никак. Но, знаете, я доволен тем, что получается. Да, я лежу с ногой в гипсе за 3 недели до ЕГЭ. Да, я посрался с некоторыми людьми, зря их обидел. Но с каждым днём понимаешь немного больше об этом мире. Понимаешь, насколько он всё-таки красивый. Бесконечный. Хочется, чтобы каждый из вас не забывал об этом, не забывал, что светит солнце, что можно творить, учиться, дружить, любить. Что можно жить.
У каждой истории есть начало и конец. Почти у каждой.
this. so much this.
좀 자기만 선거판을 훤히 보고 있고 끝까지 진보후보 찍는 사람은 생각이 없다는 식의 얘기는 안 했으면 좋겠음
dansup
SparklingOutlaw🍉
깻잎 (상태: 좀비)
ACAB 
Emelia 👸🏻