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
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Bridge&Tunnel Jeff @jf_718@mas.to
Public
Shared by Jenniferplusplus

Emergency responders shouldn't be forced to play nanny for self-driving cars. Any of them that misbehaves should be impounded and the company responsible for these cars heavily fined (not returning the car until fine is paid). Any vehicle with multiple violations should be confiscated and scrapped as they've proven to be unsafe.

futurism.com/advanced-transpor

Emergency Responders Say They're Now Unpaid "Roadside Assistance" for Confused Waymos

First responders at San Francisco's Department of Emergency Management are fed up with having to deal with blundering Waymo robotaxis.

futurism.com · Futurism

0
0
0
0
0
0
Terence Tao @tao@mathstodon.xyz
Public

After a nine month hiatus, I have recorded another Lean formalization video, this time using the Claude Code agent to formalize the same informal proof I had recorded doing with Github Copilot and canonical last year. youtu.be/JHEO7cplfk8

Formalizing a proof in Lean using Claude Code

I revisit the formalization task I did nine months ago in https://www.youtube.com/watch?v=cyyR7j2ChCI , but this time use a recent version of Claude Code to ...

www.youtube.com · YouTube

0
0
0
0
0
0
1
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public
Shared by 라쿤 덱스터

세상을 한참 배워나가던 어린 시절에 의아하게 여겼던 것들 중에 제네바 협약을 비롯한 국제법을 누군가 안 지키면 과연 어떻게 되는지였다. 내가 자고로 얻은 답은 결국 "전 세계의 무시무시한 반대와 비난에 직면한다" 가 전부였다. 그리고 세상이 그 정도로 주먹구구란 게 계속 드러나고 있어서 속이 쓰리다.

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
6
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
The Rt. Rev. Fumire, Ph.D. @fumire@uri.life
Public

🍝 저의 주님, 날아다니는 스파게티 괴물 님, 당신께 제 마음을 드리니, 이른 아침부터 제 소리를 굽어 들으소서.
😋 날아다니는 스파게티 괴물 님이시여, 찬란한 당신 이름을 찬미하나이다.

🍝 성면(the Holy Noodle)이 충만하신 날아다니는 스파게티 괴물 님께 찬미드리며 믿는 마음으로 기도합시다
😋 저의 주님, 당신의 성면(the Holy Noodle)을 저희에게 부어주소서.

"13. 주님께서 주시는 소스의 풍요로 저희를 채우시어, 사랑과 나눔의 삶을 살아가게 하소서."

저의 주님, 날아다니는 스파게티 괴물 님,
간절히 바라오니, 저희가 할 일을 알려 주시고 선행을 행할 힘을 주시어,
저희의 모든 일을 당신으로 말미암아 시작하고 시작한 것을 당신으로 말미암아 끝마치게 하소서.

🍝 날아다니는 스파게티 괴물 님께서 여러분과 함께.
😋 또한 주교의 면발과 함께 하소서.
🍝 전능하신 스파게티 괴물 님, 미트볼🧆과 소스🥫와 성면(the Holy Noodle)🍝께서는 여기 모인 모든 이에게 강복하소서.
😋 라-멘 🍜.

🍝 날아다니는 스파게티 괴물 님을 찬미합시다.
😋 주님, 감사합니다.

2026-03-08T09:21:43+09:00


0
0
0
2
0
0
0
0
0
1
0
0
0
0
0
0
0
0
멋토 @tomtatist@buttersc.one
Public

[확산해주시면 감사]
혹시 연합우주 내에 명주달팽이 키워보고 싶으신 분 있으실까요?
1.궁금한데 달팽이 안 키워봤어요
한 달 정도 키워다 보내드립니다.

2.전 알부터 달팽이의 생애를 보고 싶어요
알로 보내드립니다

택배로 보내도괜찮나요:택배로 한 이십명 가량한테 보내봤는데 보낼만합니다
직접 받고 싶어요: 서울 남부/경기 남부 가능

1
0
0
0
0
0
Bridge&Tunnel Jeff @jf_718@mas.to
Public

Emergency responders shouldn't be forced to play nanny for self-driving cars. Any of them that misbehaves should be impounded and the company responsible for these cars heavily fined (not returning the car until fine is paid). Any vehicle with multiple violations should be confiscated and scrapped as they've proven to be unsafe.

futurism.com/advanced-transpor

Emergency Responders Say They're Now Unpaid "Roadside Assistance" for Confused Waymos

First responders at San Francisco's Department of Emergency Management are fed up with having to deal with blundering Waymo robotaxis.

futurism.com · Futurism

0
0
0
1
0
0
1
0
0
Joyce Park @troutgirl@hachyderm.io
Public

A friend's 27 year old daughter, Violet, is missing during a mental health crisis. She has been seen in the Ballard area. Seattle people, PLEASE share this URL and keep an eye out!

findviolet.com/

Photo of Violet Benjamin — Missing Person — Seattle, WA

MISSING PERSON — Violet Benjamin — Ballard, Seattle — $1,000 Reward

Help us find Violet Benjamin, 27. Last seen Ballard, Seattle near Swedish Hospital. Vulnerable adult without medication. $1,000 reward. Call 911 or (206) 684-0850.

findviolet.com · Find Violet Benjamin

0
2
1
0
1
0
1
0
0
0
1
0
1
0
0
Catboard @ojo82.bsky.social@bsky.brid.gy
Public
Shared by 라쿤 덱스터

“조선 남성들 보시오. 조선의 남성이란 인간은 참으로 이상하오. 잘나건 못나건 간에 그네들은 적실, 후실에 몇 집 살림을 하면서도 여성에게는 정조를 요구하고 있구려. 하지만 여자도 사람이외다! 한순간 분출하는 감정에 흩뜨려지기도 하고 실수도 하는 그런 사람들이외다. 남편의 아내가 되기 전에, 내 자식의 어미이기 전에 첫째로 나는 사람인 것이오. 내가 만일 당신네 같은 남성이었다면 오히려 호탕한 성품으로 여겨졌을 거외다.” - 나혜석 <이혼고백서 (離婚告白書)>

0
0
0
2
0
0
bioinformatics @biochemistry@seaofog.com
Public

在日常的政治结构中，公民被长期要求“去政治化”，被系统性地排除在「国家治理的主体性」之外，其关键的政治权利长期处于缺席： 无法参与政治决策、无法监督权力、无法提出公共诉求、无法影响公共资源与政策分配…
然而，当国家叙事需要动员时，这些没有被允许拥有政治权利的个人，又被重新召唤出来，被要求承担“国家利益共同体”的宏大叙事中的道德义务。

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