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
김팟싸퍼먹개🕯 여론 @caut10n.bsky.social@bsky.brid.gy
Public

제가 오늘 어이없는 일을 겪었는데요... 원래 탕후루란게 제철이고 수요많은 과일들로 만드는거 아닌가요...? 오늘 탕후루 가게에 갔는데 글쎄 블친 탕후루가 없다는거에요... 블친만큼 제철인게 어디 있다고... 심지어 계절도 안타서 항상 제철일텐데... 속상한 마음에 포슽이라도 남겨봐요...

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 세랄이 :annoying_dog: :seralness:

[단독] "농담이라도 '성소수자·인권감수성' 발언 말라" 서울시교육청 '강사 입틀막' 논란 입력2025.04.18. 오전 9:00 m.pressian.com/m/pages/arti...

[단독] "농담이라도 '성소수자·인권감수성' 발언 말라...

[단독] "농담이라도 '성소수자·인권감수성' 발언 말라" 서울시교육청 '강사 입틀막' 논란

서울시교육청에서 배부하는 강사 유의사항에

m.pressian.com

0
0
0
The Japan Times @thejapantimes@mastodon.social
Public

Finance Minister Katsunobu Kato is "deeply concerned" about the global economic fallout from U.S. President Donald Trump's trade tariffs, in the government's strongest warning yet as the two nations began trade talks. japantimes.co.jp/business/2025

Japan's finance minister is 'deeply concerned' over impact of Trump's tariffs

The minister also voiced concern over volatile market moves that Trump's tariffs triggered, saying they could hurt Japan's economic recovery.

www.japantimes.co.jp · The Japan Times

0
0
0
0
0
0
0
0
0
Dejan Mihajlović @dejan@d-64.social
Public
Shared by Quincy ⁂

So sieht es gerade in Belgrad vor dem RTS-Gebäude (staatlicher, Regime-naher Rundfunk) in der Stadtmitte aus.
Folgen der mehrtägigen Blockade:
• Sendungen ausgefallen
• Programm gekürzt
• Ausstrahlung vom Studio eines anderen Senders
Das schwächt das autokratische System, Vučić, der sonst omnipräsent im TV ist.

1/2

0
0
0
とみなが しんぺい @tominagasinpei_@threads.net
Public
Shared by GENKI

クリエイティブチームBanafitのポッドキャスト『アフターファイブクリエイター』にゲスト出演しています。
相変わらず歯切れの悪い喋りを披露しています。
良ければ作業のお供にしていただければ…！何卒。
https://open.spotify.com/episode/17hJetDJCBQENsUoVXT9YB?si=wfWje8CqR9etun8L0Zk2MQ

https://open.spotify.com/episode/17hJetDJCBQENsUoVXT9YB

#12 シンプルだけど個性的なイラストの制作裏側。イラストレーターとみながしんぺいさんに聞いてみた。前編

アフターファイブクリエイター · Episode

open.spotify.com · Spotify

0
0
0
1
0
0
0
0
0
0
0
0
XWiki SAS @xwiki@fosstodon.org
Public

💸 Germany sends €204.5M to Microsoft annually while European open-source projects need investment.

Our Account Manager's analysis shows how redirecting these funds could:
✔️End vendor lock-in cycles
✔️Strengthen data sovereignty
✔️Create local tech jobs
✔️Support FLOSS innovation

XWiki, CryptPad and other open-source solutions prove alternatives exist, they just need proper funding.
Read more : xwiki.com/en/Blog/why-governme

@ueeuAll Europeans 🇪🇺

In a recent LinkedIn article, Neculai Dăscălița, our Account Manager, highlighted that the German federal government spends over €1.3 billion annually on software, with €204.5 millions going directly to Microsoft. His analysis raises a crucial question: Could part of this budget be redirected toward Free/Libre and Open-Source Software (FLOSS) to support national digital sovereignty? To explore this further, we sat down with Neculai to discuss the challenges of proprietary software dependency, the advantages of FLOSS adoption, and the strategic steps governments can take to transition to open-source solutions.
0
0
0
1
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

: Demostraciones con Lean4 y con Isabelle/HOL de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]". jaalonso.github.io/calculemus/

Demostraciones de "f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]​"

Demostrar con Lean4 y con Isabelle/HOL que \[f⁻¹[A ∪ B] = f⁻¹[A] ∪ f⁻¹[B]\] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Function open Set variable {α β : Type _} varia

jaalonso.github.io · Calculemus

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

: Eliminación de las ocurrencias aisladas. jaalonso.github.io/exercitium/

Eliminación de las ocurrencias aisladas

Definir la función eliminaAisladas :: Eq a => a -> [a] -> [a] tal que (eliminaAisladas x ys) es la lista obtenida eliminando de ys las ocurrencias aisladas de x (es decir, aquellas ocurrencias de x

jaalonso.github.io · Exercitium

0
0
0
Jaeyeol Lee @kodingwarrior@hackers.pub
Public

토요일/일요일 각각 카테고리를 나눠서 작업하게 될 것 같습니다.

토요일

  • Fedify를 이용해서 마이크로블로그를 만드는 튜토리얼을 완주하는 것을 도전해보려고 합니다.

이미 postgres 기반으로 데이터베이스 세팅해서 만들고 있는게 있긴 하지만, Vibe coding으로 쭉 이어나가다가 Fedify를 제대로 활용하는 방법에 대해 알지 못한 상황이라 중간에 삑사리나서 헤매고 있는 상황입니다.

큰 욕심은 안내고 천천히 튜토리얼을 정주행하면서 전반적으로 한 사이클 돌고 감을 잡는 것에 의미를 둘 생각입니다. 예제는 sqlite를 쓰고 있지만, 여기서도 배리에이션 안주고 최대한 예제를 충실히 따르면서 완주하고 배리에이션은 천천히 주려고 합니다.

일요일

  • 지난주말에 작업했던 뉴스레터 서비스를 마저 작업할 것인데요. django 기반의 개발환경은 이미 세팅 완료 했습니다.

django admin에서 아티클 url을 수동으로 입력하고 langchain 기반으로 요약하는 기능 PoC로 나마 구현해보려고 합니다.



RE: https://hackerspub-ask-bot.deno.dev/message/0196468d-7fd8-7447-b2a6-e974c49e42b8

5
0
0
Diligence Jones @DeliaChristina@sfba.social
Public
Shared by Quincy ⁂

Dear tech people.

NOW is absolutely the time for you to reach out to your friends and colleagues in places like Palantir, Microsoft, Meta, etc., and start propagandizing them.

They are participating in and facilitating the destruction of human lives.

They are collaborating with fascists for a paycheck.

Convince them to choose a side. Not by being passively silent. But actively *choosing* the world they want to see.

Force that moment.
Invite them to leave the Death Star.

Because this fucking apparatus *needs to be stopped.*

BAMP.

0
0
0
0
0
0
Quincy ⁂ @quincy@chaos.social
Public

menschheitsprobleme, rant

Die Behauptung, man bräuchte "" um Menschheitsprobleme zu lösen, ist ein Fußtritt ins Gesicht aller, die seit Jahrzehnten wissen, was getan werden müsste, um z.B. das zu schützen, und alles versuchen, damit ihnen zugehört wird.

0
0
0
geeknews_bot @geeknews_bot@sns.lemondouble.com
Public
Shared by 악하

Spotify 대안으로서의 Jellyfin
------------------------------
- Spotify 를 떠나 Jellyfin 을 사용하게 된 경험을 공유함
- Spotify를 탈퇴한 후 대체 음악 감상 방법을 찾아 여러 로컬 음악 플레이어를 시도했지만 대부분 불편하거나 시대에 뒤처진 UX였음
- 웹 기반 음악 플레이어를 직접 만들기도 했지만, 오프라인 사용 불가 등 한계가 있었음
- 결국 Jellyfin 셀…
------------------------------
https://news.hada.io/topic?id=20398&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

Spotify 대안으로서의 Jellyfin | GeekNews

Spotify를 떠나 Jellyfin을 사용하게 된 경험을 공유함Spotify를 탈퇴한 후 대체 음악 감상 방법을 찾아 여러 로컬 음악 플레이어를 시도했지만 대부분 불편하거나 시대에 뒤처진 UX였음웹 기반 음악 플레이어를 직접 만들기도 했지만, 오프라인 사용 불가 등 한계가 있었음결국 Jellyfin 셀프 호스팅 미디어 서버를 선택해 음악 라이브러리를 구축

news.hada.io · GeekNews

0
0
0
realgsong @realgsong@silicon.moe
Public
Shared by 악하

이거 남일이 아닌게, 우리 부서만 해도 매년 뽑던 인턴쉽을 올해는 안할까 생각중. 그들에게 시킬 게 별로 없다.

n.news.naver.com/article/009/0

[단독] “24시간 일 시켜도 불평없어”…카카오, 코딩 등 AI로 대체할 업무 신입 안 뽑는다

매일경제 | 네이버 · 카카오가 코딩 등 인공지능(AI)이 대신할 수 있는 직무는 신규 채용을 제한하기로 했다. 생성형 AI가 업무 생산성 향상에 활용되는 것에서 나아가 사람 자체를 대체하는 ‘AI발 일자리 충격’이 현실화하고 있다. 17

n.news.naver.com

0
0
0
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
Quincy ⁂ @quincy@chaos.social
Public
Shared by Quincy ⁂

@grimmRico Grimm

Und selbst wenn die "" wirklich intelligent wäre:

(baut Riesencomputer)

Mensch: "Computer, was sollten wir für das Klima tun?"

Computer: "Mich abschalten."

Mensch: "Glaub ich nicht"

(baut größeren Computer, der noch mehr Seen austrocknet)

Mensch: "Computer, was sollten wir für das Klima tun?"

Computer: "Mich abschalten."

... repeat

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

Readings shared April 17, 2025. jaalonso.github.io/vestigium/p

Readings shared April 17, 2025

The readings shared in Bluesky on 17 April 2025 are Formalization of Fraïssé limits in Lean. ~ Gabin Kolly. #ITP #LeanProver #Math A readable and computable formalization of the Streamlet consensus p

jaalonso.github.io · Vestigium

0
0
0
1
0
0
0
0
0
⠠⠵ avuko @avuko@infosec.exchange
Public
Shared by Dr. Anna Latour

cam.ac.uk/stories/strongest-hi

Leaving aside whether or not this is proof of life, can we stop for a second to admire the fact we can tell with relative certainty (they are working to be more certain) the presence of two different gasses on a planet 124 light years away?!

Strongest hints yet of biological activity outside the solar system

Astronomers have detected the most promising signs yet of a possible biosignature outside the solar system, although they remain cautious.

www.cam.ac.uk · University of Cambridge

0
0
0
1
0
0
Jaeyeol Lee @kodingwarrior@hackers.pub
Public

https://hackerspub-ask-bot.deno.dev/message/0196468d-7fd8-7447-b2a6-e974c49e42b8 살아는 있는데 이게 왜 해커스펍에 안보이지

# Ask Hackers Pub : 이번 주말에 뭐 하시나요?이번 주말에 뭘 하려고 계획 중인지 편하게 얘기해 보아요.읽을 책, 가볼 곳, 해볼 것.. 어떤 것이든 좋습니다.도움 요청이나 피드백 요청도 좋습니다.물론! 아무것도 하지 않고 쉬는 것도 훌륭합니다.* 지난 주말에 계획하셨던 일의 회고도 한 번 남겨보면 좋을 것 같아요. — HackersPub Ask Bot (@bot@hackerspub-ask-bot.deno.dev)

hackerspub-ask-bot.deno.dev

0
1
0
0
0
0
bgl gwyng @bgl@hackers.pub
Public

VS Code였나, 옛날의 Atom이었나 Ctrl+S를 한번 누르면 그냥 저장, 두번 누르면 포맷하도록 설정할수 있었던거 같은데. 또는 Ctrl+S 누르면 soft(?) 포맷, 두번 누르면 hard 포맷도 가능했던거 같다. 이거 편한데 지금은 하는 방법을 모르겠다. 클로드한테 물어보면 직접 키바인딩을 만들라는데 이렇게 안하고도 가능했던거 같은데?

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