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
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
サイトウユカ @saitohyuka@fedibird.com
Public

火鉢でホットケーキ焼きました！
これがこうなってこうなって、こうです！（途中にこっそり猫がいます）
ひっくり返すとこだけいったんキッチンでやったけど、あとはぜんぶ火鉢で。ホットケーキミックスも自家製なのでめちゃくちゃ膨らみました。 :yusyo:

火鉢の上に網が乗っていて、その上に小さなフライパン。フライパンにみちみちにホットケーキの生地が広がっている。左の写真の数分後。生地に小さな気泡がいくつも浮かび、膨らんできている。左の写真のさらに数分後。ひっくり返したあと。一面、均等にキツネ色になっている。膨らみはフライパンのふちを超えるほど。ホットケーキ完成の図。火鉢に乗せたまま、真ん中にバターのかけら、全体にメイプルシロップがかかっている。
1
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

차은우 200억 세금 전쟁…'징역 5년' 중범죄냐, '세금폭탄' 해프닝이냐 최종수정 2026-01-24 13:16 news.nate.com/view/2026012...

차은우 200억 세금 전쟁…'징역 5년' 중범죄냐, '...

차은우 200억 세금 전쟁…'징역 5년' 중범죄냐, '세금폭탄' 해프닝이냐 | 아이돌24시 : 네이트 연예

한눈에 보는 오늘 : 아이돌24시 - 뉴스 : 차은우. 사진 | 스포츠서울 DB [스포츠서울 | 원성윤 기자] “어머니가 하셔서 몰랐다”는 해명이 통할 수 있는 선을 넘었다. 배우 차은우(본명 이동민)를 둘러싼 200억 원대 세금 논란이 연예계를 넘어 법조계의 뜨거운 감자로 떠올랐다. 국세청은 이

news.nate.com · 네이트 뉴스

0
0
1
Horologram @horologram.bsky.social@bsky.brid.gy
Public

사실 AI 자동화 등등 여러 이름이 붙을수 있지만 사람은 아무래도 모든 종류의 노동과 업무를 개선하고 싶어하고 그래서 오랜 기간 노력해왔고 그 과정에서 생산성과 효율이 어떻게든 좋아지는것은 당연히 일어나는데.. 실제 문제는 그 부분은 아닌것 같고 대신 이런 과정의 연구개발 비용을 누가 어떻게 투자하느냐 그리고 이런 발전을 통해서 생긴 이득을 누가 가져가느냐 이 문제 같긴함; 어찌보면 AI와 자동화 이런건 일종의 껍데기이고 이러한 고전적인 경제 및 사회 문제가 진정한 문제 아닌가 싶고... 이 부분은 근데 해결이 거의 안되는 느낌;;

0
0
0
拉拉山債主 @optimistdog@g0v.social
Public
Shared by MJ+

就是有不想競爭跟什麼都要贏的兩種類型，社會才進步，少了其中一個都不可能進化。資源平衡才能往前。

但到底是什麼時候進了鄙視這個系統？

懶惰想休息人之常情，腦袋累是累，身體累是累。

但加入鄙視這個情緒，一個大系統就會爛掉。到底是哪個垃圾把階級制度加進我們社會的，這個垃圾的源頭才是我們人類之敵。

0
0
0
MárciaW @MarciaW@ohai.social
Public
Shared by earthling

RE: mastodon.social/@DrALJONES/115

"After Gaza was razed, starved,&deliberately blockaded over the past yrs, these ‘new’ communities built on the rubble of ppls homes are not only governance labs to test ultimate control &subjugation, but they are also the reincarnation of refugee camps.They are designed 2contain a new generation of dispossessed Palestinians,effectively screened and corralled into shrinking Israeli-controlled zones in exchange 4survival..."

0
0
0
fefe_interim @fefe_interim@mastodon.social
Public

Könnte bitte jemand dem Innenminister zum 100. Mal erklären, warum "Hackback" nicht funktioniert?

Mechanische Argumentationshilfen sind erlaubt.

"Dobrindt kündigt an, dass Deutschland konsequenter gegen Hackerangriffe vorgehen wird. "Wir werden zurückschlagen, auch im Ausland", so Dobrindt. Cyber-Gegenangriffe, auch Hackbacks genannt, sind rechtlich allerdings umstritten. Dafür müsste das Grundgesetz geändert werden, um dem Bundeskriminalamt mehr Kompetenzen zu geben."
tagesschau.de/inland/gesellsch

Bundesbank beklagt 5.000 Cyberangriffe pro Minute

Hochgerechnet auf ein Jahr sind es mehr als zwei Milliarden Attacken auf die IT-Systeme: Cyberkriminalität macht der Bundesbank immer mehr zu schaffen. Innenminister Dobrindt kündigt Gegenwehr an - auch im Ausland. Von Oliver Neuroth.

www.tagesschau.de · tagesschau.de

0
0
1
0
0
0
earthling @appassionato@mastodon.social
Public

Earthset from Orion

Eight billion people are about to disappear in this snapshot from space taken on 2022 November 21. On the sixth day of the Artemis I mission, their home world is setting behind the Moon's bright edge as viewed by an external camera on the outbound Orion spacecraft. Orion was headed for a powered flyby that took it to within 130 kilometers of the lunar surface.

Image Credit: NASA, Artemis 1






Velocity gained in the flyby maneuver was used to reach a distant retrograde orbit around the Moon. That orbit is considered distant because it's another 92,000 kilometers beyond the Moon, and retrograde because the spacecraft orbited in the opposite direction of the Moon's orbit around planet Earth. Swinging around the Moon, Orion reached a maximum distance (just over 400,000 kilometers) from Earth on 2022 November 28, exceeding a record set by Apollo 13 for most distant spacecraft designed for human space exploration. The Artemis II mission, carrying 4 astronauts around the moon and back again, is due to launch as early as February 6.
0
0
0
MárciaW @MarciaW@ohai.social
Public

RE: mastodon.social/@DrALJONES/115

"After Gaza was razed, starved,&deliberately blockaded over the past yrs, these ‘new’ communities built on the rubble of ppls homes are not only governance labs to test ultimate control &subjugation, but they are also the reincarnation of refugee camps.They are designed 2contain a new generation of dispossessed Palestinians,effectively screened and corralled into shrinking Israeli-controlled zones in exchange 4survival..."

0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Sequencelib: A computational platform for formalizing the OEIS in Lean. ~ Walter Moreira, Joe Stubbs. arxiv.org/abs/2601.11757v1

arXiv logo

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean

The On-Line Encyclopedia of Integer Sequences (OEIS) is a web-accessible database cataloging interesting integer sequences and associated theorems. With more than 12,000 citations, the OEIS is one of the most highly cited resources in all of theoretical mathematics. In this paper, we present Sequencelib, a project to formalize the mathematics contained within the OEIS using the Lean programming language. Sequencelib includes a library of Lean formalizations of OEIS sequences as well as metaprogramming tools for programmatically attaching OEIS metadata to Lean definitions and deriving theorems about their values. Further, we describe OEIS-LT, a highly scalable Lean server that exposes these tools via a low-latency API. Finally, using OEIS-LT and prior work of Gauthier, et al., we describe a computational pipeline that formalized more than 25,000 sequences from the OEIS and proved more than 1.6 million theorems about their values. Our method makes use of a transpiler, available in OEIS-LT, that is capable of translating a subset of Standard ML to Lean, together with a set of performance improvement transformations and proofs of correctness.

arxiv.org · arXiv.org

0
0
0
DrALJONES @DrALJONES@mastodon.social
Public
Shared by Kagami is they/them 🏳️‍⚧️

Analysis: Gaza: The reality

Satellite imagery shows Israel is literally cutting Gaza in half with a trench many meters deep along the yellow line. Palestinians can't cross it.

Israel will corral them into Orwellian housing zones & control every aspect of their lives.

Others will live in a wasteland under genocidal conditions: no construction allowed, bombs, little food & shelter.

democracynow.org/2026/1/23/tru

@palestinePalestine_Group .

Israel constructing earth berms, creating a physical barrier and taking meters further into Palestinian land. (Satellite imagery: Pla
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Numina-Lean-agent: An open and general agentic reasoning system for formal mathematics. ~ Junqi Liu et als. arxiv.org/abs/2601.14027v1

arXiv logo

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

Agentic systems have recently become the dominant paradigm for formal theorem proving, achieving strong performance by coordinating multiple models and tools. However, existing approaches often rely on task-specific pipelines and trained formal provers, limiting their flexibility and reproducibility. In this paper, we propose the paradigm that directly uses a general coding agent as a formal math reasoner. This paradigm is motivated by (1) A general coding agent provides a natural interface for diverse reasoning tasks beyond proving, (2) Performance can be improved by simply replacing the underlying base model, without training, and (3) MCP enables flexible extension and autonomous calling of specialized tools, avoiding complex design. Based on this paradigm, we introduce Numina-Lean-Agent, which combines Claude Code with Numina-Lean-MCP to enable autonomous interaction with Lean, retrieval of relevant theorems, informal proving and auxiliary reasoning tools. Using Claude Opus 4.5 as the base model, Numina-Lean-Agent solves all problems in Putnam 2025 (12 / 12), matching the best closed-source system. Beyond benchmark evaluation, we further demonstrate its generality by interacting with mathematicians to successfully formalize the Brascamp-Lieb theorem. We release Numina-Lean-Agent and all solutions at https://github.com/project-numina/numina-lean-agent.

arxiv.org · arXiv.org

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by KAGAMI🏳️‍🌈🏳️‍⚧️

[단독]"정보사 '특정 대령'이 무인기 침투 지시한 걸로 사실상 결론" 2026-01-23 16:24 정보사 관계자 익명 인터뷰 "사실상 정보사 오모 대령이 지시한 것으로 결론나고 있어" 오 대령은 '기반조성단' 단장…'공작용 언론사' 설립에도 관여 www.nocutnews.co.kr/news/6461174

[단독]"정보사 '특정 대령'이 무인기 침투 지시한 걸...

[단독]"정보사 '특정 대령'이 무인기 침투 지시한 걸로 사실상 결론"

북한에 무인기를 침투시켰다고 주장한 30대 대학원생 사건과 관련해, 국군정보사령부(정보사) 내부에서 "사실상 정보사 소속 오모 대령이 무인기 비행을 지시한 것으로 결론이 나고 있다"는 취지의 증언이 나왔다.

www.nocutnews.co.kr · 노컷뉴스

0
0
0
복설 뉴스 @boknews.bsky.social@bsky.brid.gy
Public
Shared by KAGAMI🏳️‍🌈🏳️‍⚧️

‘위험한 건 ice가 아니라 ICE’···미 경찰, 이민 단속 반대 성직자 100명 체포 www.khan.co.kr/article/2026... “이날 낮 최고기온은 영하 23도였다. 집회 참석을 위해 와이오밍주 샤이엔에서 온 엘리자베스 배리시 브라운 목사는 “우리에게 진짜 위험한 건 이런 추운 날씨의 ‘얼음(ICE)’이 아니다”라고 했다. 위험한 건 ‘ICE(이민 단속국)’이라는 취지의 말이다.”

‘위험한 건 ice가 아니라 ICE’···미 경찰, 이...

‘위험한 건 ice가 아니라 ICE’···미 경찰, 이민 단속 반대 성직자 100명 체포

미국 미네소타주 미니애폴리스-세인트폴 국제공항에서 이민 단속에 반대하는 성직자 약 100명이 23일(현지시간) 체포됐다고 AP가 보도했다. 같은 날 수천 명의 주민이 혹한 속에서도 미니애폴리스 도심에서 시위를 벌였다. 성직자들은 이날 공항에서 국토안보부(DHS)가 “역대 최대 규모의 이민 단속 작전”이라고 밝힌 추방 정책에 항의하다 체포됐다. 이들은 ...

www.khan.co.kr · 경향신문

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 초무

미 국방부는 23일 공개한 국가방위전략에서 “한국이 북한 억지의 일차적 책임을 지고, 미국은 결정적이지만 제한적인 지원에 그쳐야 한다”는 입장을 명시했습니다. 한반도 방어의 기본 구조를 ‘미국 주도’에서 ‘한국 주도·미국 지원’ 체제로 재편하겠다는 전략적 방향 전환을 공식화한 것입니다.

트럼프 새 국방전략 “‘북한 억지’ 1차 책임은 한국…...

트럼프 새 국방전략 “‘북한 억지’ 1차 책임은 한국…미국은 ‘제한적’ 지원만”

도널드 트럼프 행정부 국방부가 23일(현지시각) ‘2026 국가방위전략’(National Defense Strategy·NDS)을 발표하고, 한반도 방위 전략의 근본적 변화를 예고했다. 새 전략서는 한국의 국방 역량을 높이 평가하는 동시에, 이를 근거로 북한 억제에 대

www.hani.co.kr · 한겨레

0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa. ~ Francisco R. Villatoro. francis.naukas.com/2026/01/23/

Sobre la resolución de problemas de Erdős usando inteligencia artificial generativa - La Ciencia de la Mula Francis

Las redes sociales hierven con la resolución de problemas de Erdős usando inteligencia artificial (IA) generativa. Cada día se publican nuevas soluciones obtenidas  con ayuda de alguna IA. Por ello, […]

francis.naukas.com · La Ciencia de la Mula Francis

0
0
0
Drop Bear @DropBear@theblower.au
Public

It looks like 7 February is the day. Circle that date and clear your calendar.
"… they’re trying to sneak the president into the country for a visit to protect him from anti-genocide protesters. Really think about what that means, and what it says about Australia as a country."
caitlinjohnst.one/p/theyre-try
@palestine@lemmy.ml
@palestine@fedibird.comPalestine_Group




They're Trying To Sneak Israel's President Into Australia Without Anti-Genocide Protests

And Other Notes

www.caitlinjohnst.one

Drop Bear @DropBear@theblower.au
Public
Shared by earthling

This could get interesting.
“Where credible international findings indicate incitement to genocide and where domestic accountability has not occurred, Australia has both the legal authority and responsibility to act,”
aljazeera.com/news/2026/1/23/a
@palestine@lemmy.ml @palestine@fedibird.comPalestine_Group




Australian, Palestinian lawyers seek police probe of Israeli president

Australian, Palestinian lawyers seek police probe of Israeli president

Legal groups says Australia obliged to investigate Israel's President Herzog for his role in genocidal war on Gaza.

www.aljazeera.com · Al Jazeera

0
0
0
Deck @deck@looop.day
Public

Deck v0.13.0을 배포했습니다. 주요 기능 업데이트는 다음과 같습니다.

- 키보드 단축키 & 내비게이션 강화
- 뽀모도로 타이머 기능 강화: 할 일 목록 & 페이즈 기록 추가
- 단축키 안내 페이지 추가

전체 변경사항은 Github 페이지를 참고해주세요.
https://github.com/deholic/deck/releases/tag/v0.13.0

What's Changed 미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현 by @deholic in #178 Revert "미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현" by @deholic in #179 미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현 by @deholic in #180 Fix: 마스토돈 좋아요 기능 오류 수정 by...

Release v0.13.0 · deholic/deck

What's Changed 미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현 by @deholic in #178 Revert "미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현" by @deholic in #179 미스키 즐겨찾기 기능 및 플랫폼별 북마크 분리 구현 by @deholic in #180 Fix: 마스토돈 좋아요 기능 오류 수정 by...

github.com · GitHub

0
0
0
0
0
0
1
0
0
Quds News Network @QudsNen@mastodon.neometropolis.net
Public
Shared by earthling

The American University of Beirut prevented United Nations Special Rapporteur on Human Rights in the Occupied Palestinian Territories, Francesca Albanese, from entering the campus to deliver a lecture, citing "failure to complete compliance procedures."

Albanese was scheduled to speak at the university after receiving an invitation from the PLSC, an academic research center within the university that focuses on Palestinian issues. However, the university administration did not grant her permission to give the lecture, prompting her to move the event to Saint Joseph University (USJ).

0
0
0
Quds News Network @QudsNen@mastodon.neometropolis.net
Public

The American University of Beirut prevented United Nations Special Rapporteur on Human Rights in the Occupied Palestinian Territories, Francesca Albanese, from entering the campus to deliver a lecture, citing "failure to complete compliance procedures."

Albanese was scheduled to speak at the university after receiving an invitation from the PLSC, an academic research center within the university that focuses on Palestinian issues. However, the university administration did not grant her permission to give the lecture, prompting her to move the event to Saint Joseph University (USJ).

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
DrALJONES @DrALJONES@mastodon.social
Public

A concentration camp by any other name

Report: The US-led Civil-Military Coordination Center in Israel designs a so-called "planned community" in Gaza

A 1 sq km site in Rafah city is already being prepared.

It will contain & control Gazans "through biometric surveillance, checkpoints, monitoring of purchases, & educational programs promoting normalization with Israel."

profmoosa.com/leaked-documents

@palestinePalestine_Group .

1 sq km site in Rafah city being prepared.
0
0
1