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
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

경찰에 따르면 10일 오전 2시 40분쯤 이천시 호법면의 한 자갈 가공업체에서 베트남 국적의 이주노동자 A씨(20대)가 대형 컨베이어 벨트에 끼이는 사고가 발생했다. 이 사고로 A씨가 크게 다쳐 병원으로 옮겨졌으나 숨졌다.

경찰에 따르면 10일 오전 2시 40분쯤 이천시 호법면...

새벽 컨베이어 벨트 끼임 사고···이천 자갈 가공업체서 20대 이주노동자 숨져

경기 이천시의 한 자갈 가공업체에서 20대 이주노동자가 컨베이어 벨트에 끼어 숨지는 사고가 났다. 경찰에 따르면 10일 오전 2시 40분쯤 이천시 호법면의 한 자갈 가공업체에서 베트남 국적의 이주노동자 A씨(20대)가 대형 컨베이어 벨트에 끼이는 사고가 발생했다. 이 사고로 A씨가 크게 다쳐 병원으로 옮겨졌으나 숨졌다. A씨는 컨베이어 벨트에 과부하가...

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

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
:rss: DevelopersIO @dev_classmethod@rss-mstdn.studiofreesia.com
Public

Claude Codeで「あとからIaC」— 既存AWSリソースをCloudFormationにimportする実践ガイド
dev.classmethod.jp/articles/cl

Claude Codeで「あとからIaC」— 既存AWSリソースをCloudFormationにimportする実践ガイド | DevelopersIO

既存AWSリソースをCloudFormationにimportする「あとからIaC」に関する記事です。棚卸しからテンプレート作成、エラー対処までClaude Codeで効率化する実践手順を紹介します。

dev.classmethod.jp · クラスメソッド発「やってみた」系技術メディア | DevelopersIO

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

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature. ~ Joseph Tooby-Smith. arxiv.org/abs/2603.08139v1

arXiv logo

Formalizing the stability of the two Higgs doublet model potential into Lean: identifying an error in the literature

In 2006, using the best methods and techniques available at the time, Maniatis, von Manteuffel, Nachtmann and Nagel published a now widely cited paper on the stability of the two Higgs doublet model (2HDM) potential. Twenty years on, it is now easier to apply the process of formalization into an interactive theorem prover to this work thanks to projects like Mathlib and PhysLib (formerly PhysLean and Lean-QuantumInfo), and to ask for a higher standard of mathematical correctness. Doing so has revealed an error in the arguments of this 2006 paper, invalidating their main theorem on the stability of the 2HDM potential. This case is noteworthy because to the best of our knowledge it is the first non-trivial error in a physics paper found through formalization. It was one of the first papers where formalization was attempted, which raises the uncomfortable question of how many physics papers would not pass this higher level of scrutiny.

arxiv.org · arXiv.org

0
0
0
Hrefna (DHC) @hrefna@hachyderm.io
Public

Once again: The nazi bar analogy is overused and used incorrectly so often that it is damn near meaningless as a commentary any longer.

People consistently seem to use it as a way to denigrate "those people/groups over there" so that they don't have to look _at what is going on around them_.

0
1
0
0
0
0
Metaph :verified_dragon: @Metaph@dragon.style
Public

AI Art Advice / Discourse

So if you're evaluating whether to commission or pay an artist, and you're uncertain whether they are AI, the most surefire way to make that determination is to ask the artist about their medium and their process. There is not an artist in the world that isn't happy to talk about their medium. If they're cagey about that, easy red flag.

If you're evaluating whether to favorite, comment, or engage with an artist on some level that doesn't directly involve exchanging money, the stakes are lower; you can still ask about the medium if you want, but like. If you don't have the time or energy or desire to have that conversation with every artist you engage with, and there's some art that you're on the fence about, I promise you, I PROMISE YOU, the engagement, the encouragement, the share, means THE WORLD to the artist if they're real, while withholding that engagement from an AI user really will not be felt by the prime movers of the AI world.

If 5% of the time you accidentally engage with AI art, that's still 95% of the time that you're actively encouraging and helping real artists get noticed in a sea of talent and an ocean of slop. That means everything.

Put another way: accidentally refusing to engage (or worse, encouraging others to refuse to engage) with a real artist based on arcane pattern-seeking and hunches that it might be AI is *far more damaging* to real artists than it is to AI and frankly, probably more damaging to them than AI itself.

You don't need to have a perfect success rate at AI detection. Support real artists by engaging with them instead of being so afraid of AI that you make it harder for them. It's gonna be okay. Connection and engagement is both the purpose of art and the best weapon we have against generative AI, and that is frankly great news for artists.

0
1
0
0
0
0
Horologram @horologram.bsky.social@bsky.brid.gy
Public
Shared by Silverkey | 은열쇠

캘리포니아의 크기는 남북한 합친것보다 큰데... 기름값은 더 비싸거나 같습니다; 게다가 차로 출퇴근 보통 다들 최소 30분-1시간씩은 할걸요...? 더 멀리 다니는 분도 계시겠고요 (먼산) 다른 동네/주는 좀 싸긴한데 그래도 거리가 너무 멀어서 사실상 더 많이 내는 사람들도 많을것임... 그래서 하이브리드 자동차가 인기이고요 차없으면 살기 힘듬;;

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

Apply2Isar: Automatically converting Isabelle/HOL apply-style proofs to structured Isar. ~ Sage Binder, Hanna Lachnitt, Katherine Kosaian. arxiv.org/abs/2603.07771v1

arXiv logo

Apply2Isar: Automatically Converting Isabelle/HOL Apply-Style Proofs to Structured Isar

In Isabelle/HOL, declarative proofs written in the Isar language are widely appreciated for their readability and robustness. However, some users may prefer writing procedural "apply-style" proof scripts since they enable rapid exploration of the search space. To get the best of both worlds, we introduce Apply2Isar, a tool for Isabelle/HOL that automatically converts apply-style scripts to declarative Isar. This allows users to write complex, possibly fragile apply-style scripts, and then automatically convert them to more readable and robust declarative Isar proofs. To demonstrate the efficacy of Apply2Isar in practice, we evaluate it on a large benchmark set consisting of apply-style proofs from the Isabelle Archive of Formal Proofs.

arxiv.org · arXiv.org

0
0
0
0
0
0
daniel:// stenberg:// @bagder@mastodon.social
Public
Shared by daniel:// stenberg://

10K downloads per year

daniel.haxx.se/blog/2026/03/09

10K curl downloads per year

The Linux Foundation, the organization that we want to love but that so often makes that a hard bargain, has created something they call "Insights" where they gather lots of metrics on Open Source project. I held back so I never blogged and taunted OpenSSF for their scorecard attempts that were always lame and misguided. … Continue reading 10K curl downloads per year →

daniel.haxx.se · daniel.haxx.se

0
9
0
わきまえないナニカのぴっち 삧치 ∀🌻 @zpitschi@fedibird.com
Public

トランプ氏、ロシア制裁解除を示唆　イラン攻撃で高騰の油価下げ狙う - 日本経済新聞 nikkei.com/article/DGXZQOGN100

トランプ氏、ロシア制裁解除を示唆　イラン攻撃で高騰の油価下げ狙う - 日本経済新聞

【ワシントン=坂口幸裕】トランプ米大統領は9日の記者会見で、米軍によるイラン攻撃で高騰する原油価格を引き下げるため、ロシアへの制裁解除を示唆した。「一部の国への制裁を解除する。事態が落ち着くまでだ」と表明した。国際原油指標のWTI（ウエスト・テキサス・インターミディエート）先物価格は8日、前週末から急騰した。トランプ氏は「（原油）価格を下げるため、特定の石油制裁を解除する。その後、再び導入する

www.nikkei.com · 日本経済新聞

0
0
0
Russia-Ukraine Daily News @rvps2001@mastodon.social
Public

ISW:

🇺🇦 🇷🇺 Ukrainian forces are successfully counterattacking not only in the Oleksandrivka and Hulyaipole directions but also in western Zaporizhia Oblast.

These counterattacks are generating tactical, operational and strategic effects that may disrupt ’s Spring-Summer 2026 offensive campaign plan.

understandingwar.org/research/

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
Miau Huang @miau715@g0v.social
Public

國中時有一次朝會（？現在是不是已經沒有這種事情了？）時好像是以國三學生快要畢業為由，有一對男女學長姐上台唱歌給大家聽，操場上的我們都很困惑，而且唱的是《雪中紅》，學姐先唱然後唱得超爛的，爛到眾人面面相覷，但學長一開口就引起了一陣「喔喔～～！」，確實是宛如王識賢的厲害歌聲，雖然整個對唱還是蠻悲劇的但總之是唱完大家也鼓掌結束了這一回合。

後來過了好一陣子有一次音樂課老師還找了一個畢業生來跟我們講話，講什麼我已經忘記了，只記得大家本來完全搞不懂這人幹嘛來跟我們講話，但過一陣子之後大家就發現他是那個雪中紅學長！！於是「是那個雪中紅！！！」的私語聲此起彼落XDD

不知道為什麼突然想起這個雪中紅學長XDD 好想知道他現在到底在幹嘛喔？還想知道他當年的女友（必定是這樣吧？）想起當年在全校前面唱歌時到底會覺得這是黑歷史還是甜蜜的回憶呢？看別人的青春都覺得好青春喔 :ageblobcat:

0
1
0
0
0
0
1
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Learnings from paying artists royalties for AI-generated art

Link: kapwing.com/blog/learnings-fro
Discussion: news.ycombinator.com/item?id=4

Learnings from Paying Artists Royalties for AI-Generated Art

A retrospective on Tess.Design, our attempt to make an ethical, artist-friendly AI marketplace. We launched Tess in May 2024 and shut it down in January 2026.

www.kapwing.com · Kapwing Company Blog

0
0
0
1
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by 초무

인권단체 "이스라엘, 레바논 주거지에 백린탄 공격…국제법 위반" n.news.naver.com/mnews/articl... 백린탄은 4000도의 열을 내며 연소해 주변의 모든 것을 태우는 '악마의 무기'라고도 불린다. 레바논 보건부는 이스라엘 공습으로 지난 일주일 동안 최소 394명이 사망했으며 이 가운데 어린이 83명과 여성 42명이 포함됐다고 밝혔다.

인권단체 "이스라엘, 레바논 주거지에 백린탄 공격…국제...

인권단체 "이스라엘, 레바논 주거지에 백린탄 공격…국제법 위반"

뉴스1 | 네이버 · 이스라엘이 레바논 남부 주거 지역에서 백린탄을 불법 사용한 사실이 드러났다는 인권 단체의 성명이 나왔다. AFP통신에 따르면 9일(현지시간) 인권 단체 휴먼라이츠워치(HRW)는 성명에서 "이스라엘 군이 3월 3일 레

n.news.naver.com

0
0
0
0
0
0
Harsh Shandilya @msfjarvis@androiddev.social
Public
Shared by Abhinav 🌏

Just published a new release of Claw, my client for @lobsters

This includes a bunch of performance fixes for rendering posts in the main list views as well as significant improvements in the comments page to reduce scrolling jank.

I have also made the long overdue change to allow the app to be localized, and PRs are welcome for additional languages that people wish to see supported in the app.

github.com/msfjarvis/compose-l

Fixed Improve comment scrolling performance Ensure saved/read state for posts updates properly in UI All strings in the app are now translatable, open to volunteer contributions.

Release v1.62.0 · msfjarvis/compose-lobsters

Fixed Improve comment scrolling performance Ensure saved/read state for posts updates properly in UI All strings in the app are now translatable, open to volunteer contributions.

github.com · GitHub

0
0
0
1
0
0
Satoshi Kojima (小嶋智) @skoji@sandbox.skoji.jp
Public

2026年に蘇るシンクライアントじゃん

publickey1.jp/blog/26/oswindow

専用OS「Windows CPC」を搭載した「クラウドPC」デバイスがDellとASUSから登場

マイクロソフトは、デスクトップ仮想化の技術を用いてWindows環境をクラウドから配信する「Windows 365 クラウドPC」専用のクライアントデバイスがDellとASUSから登場することを発表しました。 Announcing new ...

www.publickey1.jp

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

전 직장 동료인 30대 여성 ㄱ씨와 맞고소를 이어가는 등 갈등을 빚어 온 정희원 저속노화연구센터 대표가 검찰에 넘겨졌습니다.

경찰, 직장 동료와 맞고소 정희원 검찰 송치…강제추행 ...

‘저속 노화’ 정희원 검찰 송치…강제추행 혐의는 제외

전 직장 동료인 30대 여성 ㄱ씨와 맞고소를 이어가는 등 갈등을 빚어 온 정희원 저속노화연구센터 대표가 검찰에 넘겨졌다. 서울 방배경찰서는 ㄱ씨로부터 강제추행, 무고, 저작권법 위반, 명예훼손, 스토킹처벌법 위반 등 혐의로 고소당한 정 대표의 일부 혐의를 인정해 검찰에

www.hani.co.kr · 한겨레

0
0
0
ottoto @ottoto2017@prattohome.com
Public
Shared by Satoshi Kojima (小嶋智)

「専用OS「Windows CPC」を搭載した「クラウドPC」デバイスがDellとASUSから登場」：

publickey1.jp/blog/26/oswindow

専用OS「Windows CPC」を搭載した「クラウドPC」デバイスがDellとASUSから登場

マイクロソフトは、デスクトップ仮想化の技術を用いてWindows環境をクラウドから配信する「Windows 365 クラウドPC」専用のクライアントデバイスがDellとASUSから登場することを発表しました。 Announcing new ...

www.publickey1.jp

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

이 와중에 드론 업체 투자한 트럼프의 두 아들…美 내부 ‘시끌’ - 시사저널 (2026-03-10 13:14 KST)

이 와중에 드론 업체 투자한 트럼프의 두 아들…美 내부...

이 와중에 드론 업체 투자한 트럼프의 두 아들…美 내부 ‘시끌’ - 시사저널

이주희 디지털팀 기자 · 도널드 트럼프 미국 대통령의 두 아들이 미국 드론 조달 시장을 겨냥해 자율 드론 업체 파워러스에 투자했다. 미국 국방부가 1조6000억원 규모의 드론 조달 계획을

www.sisajournal.com · 시사저널

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

[AI전 된 이란전①] 우크라이나서 이란까지…AI로 진화된 전장 (2026-03-07 11:09 KST)

[AI전 된 이란전①] 우크라이나서 이란까지…AI로 진...

[AI전 된 이란전①] 우크라이나서 이란까지…AI로 진화된 전장

전쟁의 중심축이 화력에서 데이터와 연산 능력으로 이동하고 있다. 우크라이나 전쟁과 중동 분쟁, 최근 미국의 이란 공습까지 이어진 일련의 군사 작전에서 인공지능(AI)은 단순한 보조 기술을 넘어 지휘부의 판단을 지원하는 핵심 분석 도구로 부상했다.위성·드론·통신 등 다양한 전장 데이터를 실시...

zdnet.co.kr

0
0
0
0
0
0
0
0
0