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.
A lambda-superposition tactic for Isabelle/HOL. ~ Massin Guerdi. https://dl.acm.org/doi/pdf/10.1145/3779031.3779093 #ITP #IsabelleHOL
I'm having the first Radicle CI office hour this Friday at 08:00 UTC at https://meet.ffmuc.net/radicleciofficehour
If Radicle CI, distributed CI, or just Radicle, or just CI, interests you, feel free to join.
Black-White Array: A New Data Structure for Dynamic Data Sets https://lobste.rs/s/j2e4em #pdf #compsci
https://arxiv.org/abs/2004.09051
ああ、このままおふとぅんもふもふするだけで今日が終わる…
おしごと再開〜
I'm having the first Radicle CI office hour this Friday at 08:00 UTC at https://meet.ffmuc.net/radicleciofficehour
If Radicle CI, distributed CI, or just Radicle, or just CI, interests you, feel free to join.
피곤해 죽었다
We continue to receive warning signs for our future. The data is in, and last year was the 3rd hottest on record for our planet...
+ Full report by 
@CopernicusECMWF at https://climate.copernicus.eu/sites/default/files/custom-uploads/GCH-2025/GCH2025-full-report.pdf
RP) 파이썬 웃긴짤 중에 `10 9 8 ... 발사`라고 출력해야 되는데 `10 발사 9 발사 8 발사 ...` 이렇게 나와서 핵전쟁하냐는 그 짤을 한번더 보고 싶다
境界線が黒いと内容物が目立ちやすい＆内容物を太く目立たせる手法がサムネイル制作のトレンドっぽいので右上に投票した 右下と結構迷ったけど、目立たせたいのは枠線じゃなく内側の文字かな～と思っての投票
RE: https://misskey.io/notes/ahhkd88qexiv015g
Welcome to our next event as we return to the wonderful Hive Helsinki!
💬 Wrapping chatbots by Felipe Dessoy Caraballo & Nikolai Zharkevich
📜 Refurbishing Old PDFs for Comfortable Reading by Mikael Koponen
⚡️ My year at JetBrains by Alex Grönholm
And the famous HelPy quiz!
https://www.meetup.com/helpy-meetups/events/312829000/
We're also looking for hosts for February and beyond, please get in touch if you'd like to tell a roomful of Python experts about your company.
황금 진입했는데 벌써 재미없음 (이러면안되겟조)
🩶커미션 신청 감사합니다!🩶
Just saw this on a post on LinkedIn
It is a URL shortener that makes your links as suspicious as possible. Simply amazing
For example:
got turned into:
https://capitalone.c1ic.link/Z8gfcH_claim_gift_card.pl
I'm pretty sure every healthcare organization I've ever received an SMS from is already using this technology
삑 뽀 를 던 지 거 라 이 모 ! (?)
오늘 남편에게 일어난 일ㅎㅎ
그치만 중대형견은 내가 바닥이 미끄러워 넘어지려 할 때 날 끌어주기도 하는 걸?
Good high level overview of how active and passive funds dominate market movements, by the ‘its a bubble guy’ gif from The Big Short
ミームパロディ+α
MBC 공식 계정도 그렇고. 요즘 대형 언론사들이 트위터에 엉뚱한 기사 요약 올리는데 어디서 AI 자동 요약 및 게시 솔루션 영업한 듯. 멍청함이 하늘을 찌른다. 언론의 전문성이나 신뢰를 팔아먹는... 그런게 있었다면 말이지만.
今更ながらイベントとかで「なまこです〜」って言うのちょっと恥ずかしい
ぺんさんに
でアークナイツのロスモンティスを描いていただきました！
イラストなので是非リンク先までみんなに見て欲しい
#Skeb #commission #アークナイツ
삑 뽀 를 던 지 거 라 이 모 ! (?)
"아빠라 불러" 16세 9번 성폭행한 50대 공무원..."부양가족 있어" 집행유예
n.news.naver.com/mnews/rankin...
"피해자에게 평생 회복하기 어려운 상처를 남겨 엄히 처벌할 필요가 있다"면서도 "피고인이 초범이라는 점, 부양해야 하는 가정이 있다는 점을 참작했다"
"아빠라 불러" 16세 9번 성폭행한 50대 공무원.....
💣 blogged: Winter 2026: Self-Hosted… Disaster?
https://dbushell.com/2026/01/14/self-hosted-update-winter-2026/
— why is it always Sunday evening when stuff breaks!
"극소수의 의학적 예외를 가져와서 *멀쩡히 있는 남성과 여성의 생물학적 기준* 마저 뭉개가며 정당화할 일은 아니라고 봅니다" 아 (삐-) 그러니까 생물학적으로 그게 정의가 안 된다고 (삐-) 말을 하면 좀 (삐-) 들으라고... 생물학 레벨에서 하는 이야기가 "genotype과 phenotype이 스펙트럼이더라, 남성과 여성이라는 기준점은 통계적 휴리스틱이더라." 라니깐 뭐 지가 안 들어봤으면 없는거여; 아님 남성의 남성과 여성의 학계 레벨에서 합의된 생물학적 기준이 존재할 수 있다고 제시해서 가서 논문을 심사통과 받으시던가.
근데 여담인데 반려동물이 건강에 이로운가? 연구결과서 의외로 해로울 수 있다란 결론이 나왔는데 그 이유 중 하나가 고양이에게 걸려 넘어지기.....ㅋㅋㅋㅠㅜㅠㅜ
I'm not mad about AI stealing my open source code. I'm mad about it stealing the conversation.
新党Yづ
もちもちずきん総裁
ふんぬ〜〜〜！
RP) 체포됐을 때부터 윤석열한테 뭔일 났을 때마다 개인적으로 피자를 먹고 있다 (피자로 선정된 것 자체에는 별 의미가 없습니다. 맛있어서)
한국 노동자의 수리력·언어능력 등 인지역량이 다른 선진국에 견줘 이른 시점인 청년기부터 감소하기 시작하고, 연령에 따른 감소 속도도 매우 빠른 것으로 나타났습니다. 역량 향상을 위한 노력을 촉진할 수 있는 임금·보상 체계가 미비한 점이 원인으로 지목됩니다.
KDI “한국 노동자 인지역량 빨리 감소…임금·보상 체...
윤석열 사형 구형에 ‘탄핵정식’처럼 ‘사형구형정식’ 등장···시민들 “실제 선고로 이어져야”
www.khan.co.kr/article/2026...
"지난해 윤 전 대통령 탄핵 촉구 시위에 수차례 참석했다는 전하나씨(26)는 14일 기자와 통화하면서 “광장에 모였던 사람들이 직접 이뤄낸 사형 구형인 만큼 ‘축하’보다는 ‘자축’이라는 말이 더 맞는 것 같다”며 “퇴근 후 시위 현장에서 만나 친해진 사람들과 ‘사형 구형 정식’을 먹을 예정”이라고 말했다."
윤석열 사형 구형에 ‘탄핵정식’처럼 ‘사형구형정식’ 등...
I Love You, Redis, but I'm Leaving You for SolidQueue
Link: https://www.simplethread.com/redis-solidqueue/
Discussion: https://news.ycombinator.com/item?id=46614037
🆕 blog! “Responsible Disclosure: Chimoney Android App and KYCaid”
Chimoney is a new "multi-currency wallet" provider. Based out of Canada, it allows users to send money to and from a variety of currencies. It also supports the new Interledger protocol for WebMonetization.
But it has a security flaw which cannot be ignored.
👀 Read more: https://shkspr.mobi/blog/2026/01/responsible-disclosure-chimoney-android-app-and-kycaid/
⸻
#android #CyberSecurity #ResponsibleDisclosure #security #WebMonetization
Time for another re read. I feel like this is a Discworld novel i haven't reread enough. I'm already seeing little things i hadn't noticed before. Colon calling Vimes 'Sam' when he's taking to Nobby about him for example. showing their very real friendship. And Vimes being very complimentary about Colon
(comment on Thud!)
UPDATE: I just had a talk with two of the owners (whom I've known for years) and one of the young developers who was on yesterday's call. She confirmed that this manager's behavior was unmanageable. High-strung and narcissistic, he had apparently been let go from his previous company due to his inability to work with colleagues and owners alike. It seems he was even trying to boss the owners around.
To make a long story short, the entire sysadmin team threatened to quit if I stopped collaborating with the company. As a result, the owners summoned the manager in the late morning, and he resigned. They are reverting to the previous management structure (led by one of the owners). They might drop a few projects, but they said they prefer returning to a more "human" way of running the business - which is what always set them apart in the past.
I told them I'll think about it. If things are truly as they say (and I have no reason to doubt them yet), I'll propose a 6-month trial collaboration to see how things actually evolve. I'm aware it's easy to "pass the buck" - was it really just the manager's fault, or are the owners using him as a scapegoat now that things went south? However, given our history, I'm willing to give them the benefit of the doubt for now.
UPDATE: One of the company owners (whom I've known for many years and is a good person) has asked to speak with me in about fifteen minutes. I've agreed. I'm curious to see what he has to say. I'll update this post after the call.
Original post:
Yesterday I lost a client. And I couldn't be happier about it.
It's a long-standing client, but the management changed a few months ago. On Monday, they requested an emergency intervention, which I handled immediately.
On Tuesday (yesterday, evening), they asked for a non-urgent enhancement to be closed by Wednesday evening. I explained that due to various reasons (including urgent family matters), I wouldn't be able to finish the task before Friday. That's when the lecturing started: they told me they set tight deadlines even for non-emergencies because "that's the proper way to do things", and anyone working with them must respect them without exception.
I requested a video call to clarify. I explained that the work requires nearly a full day and that I simply couldn't close it by Wednesday. Even the physical time required to copy the data exceeded their deadline. But the new management believes that by applying pressure, you can overcome anything. Even the laws of physics.
Their response was sarcastic: "Our requests take priority, even if you are dying". I smiled and reiterated that I had no other way. "We will therefore have to find a new consultant who respects our timing", they said.
My response: "Okay. Our agreement expired on 31st December. I was waiting for a renewal, but it never arrived. Meaning, I have no legal obligations toward you. You have the data, the passwords, everything. Have a great day.".
The manager, annoyed and failing to understand the implications, replied: "Fine, we’ll look for someone younger with fewer family ties to manage.".
This morning, the phone rang. It was the manager, asking me to reconsider. His tone remained contemptuous, so I told him my decision was final. Two minutes later, I got a call from their biggest client - the one responsible for over 50% of their revenue. They had been notified I was leaving and informed the company they would also leave if I was no longer the one supervising their machines.
I called the manager back, friendly, trying to see if they were willing to change their attitude - to move from peremptory orders to requests between human beings. He started talking about "suing for damages" if they lost their main client because of me (to be clear: I am not taking that client for myself).
I don’t know how this story will evolve, but right now, I'm just enjoying a breath of fresh air outside my window.
#IT #FreelanceLife #WorkLifeBalance #ToxicManagement #TechLife #Consulting #SelfEmployed
People on the #Forkiverse may never know Nicole, the Fediverse Chick
私はそんなに労働単価が高くないため………
레즈비언 부부의 배우자를 친구라고 부르는 지극히 의도적인.
RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3mcf3amymvs2a
大人ゆかりさん
🩶커미션 신청 감사합니다!🩶
daniel:// stenberg://
わしゃ
Quincy ⁂
かぼぷ
かちかちなまこ
Ned Batchelder
ンゴ
とるねど
🕊️
