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
도막도 @domatdo@hackers.pub
Public

사람이라는 게 참 묘하다. 서비스 개발을 시키면 플랫폼 엔지니어링을 하고 싶고, 플랫폼 엔지니어링을 시키면 서비스 개발을 하고 싶어한다. 둘 다 해야 할 때는 이론 공부를 하고 싶다고 하고, 이론 공부를 시키면 서비스 개발을 하고 싶다고 한다.

도막도 @domatdo@hackers.pub
Public
Shared by 악하

주어가 계속 바뀌는 이상한 문장인데, 그래서인지 더 마음에 들어서 올렸다. 역시 사람 마음이라는 것은 "내 이야기는 아니고 아는 친구의 친구 이야기인데" 같은 걸로는 쉽게 숨기기 어렵다.

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

: Demostraciones con Lean4 y con Isabelle/HOL de "f[s ∩ t] ⊆ f[s] ∩ f[t]​". jaalonso.github.io/calculemus/

Demostraciones de "f[s ∩ t] ⊆ f[s] ∩ f[t]​"

Demostrar con Lean4 y con Isabelle/HOL que \[ f[s ∩ t] ⊆ f[s] ∩ f[t]​ \] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Function import Mathlib.Tactic open Set variable {

jaalonso.github.io · Calculemus

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

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

Readings shared April 18, 2025

The readings shared in Bluesky on 18 April 2025 are #Exercitium: Eliminación de las ocurrencias aisladas. #Haskell #ProgramaciónFuncional #Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "

jaalonso.github.io · Vestigium

0
0
0
iX Magazin @iX_Magazin@social.heise.de
Public
Shared by Quincy

Kommentar zum Koalitionsvertrag: Schwarz-Rotes Schlangenöl

Der Koalitionsvertrag steht und entblößt einen erschreckenden Blick auf Digitales: KI als Allheilmittel, Datenschutz als Störfaktor. Falk Steiner kommentiert.

heise.de/meinung/Kommentar-zum

Kommentar: Der Koalitionsvertrag ist voll mit katastrophalem Technikglauben

Der Koalitionsvertrag steht und entblößt einen erschreckenden Blick auf Digitales: KI als Allheilmittel, Datenschutz als Störfaktor. Falk Steiner kommentiert.

www.heise.de · iX Magazin

Link author: Falk Steiner@fsteiner@mastodon.social

0
0
0
1
0
0
0
0
0
Haskell Weekly @haskell_discussions@mastodon.social
Public

[ANNOUNCE] GHC 9.10.2 is now available

discourse.haskell.org/t/ghc-9-

Discussions: discu.eu/q/https://discourse.h

GHC 9.10.2-rc1 is now available

The GHC developers are very pleased to announce the availability of the release candidate for GHC 9.10.2. Binary distributions, source distributions, and documentation are available at downloads.haskell.org and via GHCup. GHC 9.10.2 is a bug-fix release fixing over 50 issues of a variety of severities and scopes. A full accounting of these fixes can be found in the release notes. As always, GHC’s release status, including planned future releases, can be found on the GHC Wiki status. This relea...

discourse.haskell.org · Haskell Community

0
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

미국판 비상행동 같은 전국 반트럼프 시위연대체가 활동을 시작한 모양이다. "50개 주에서 50개의 시위를 하루에 일제히", 즉 50-50-1. "손떼라(Hands Off)" 시위들을 포함한 비폭력 대규모 시위들로부터 자연조직된 후 지역별 풀뿌리 시민단체들을 연결하는 중.

RE: https://bsky.app/profile/did:plc:f6gfdc4j4h7jbvs64lvpq2l5/post/3lmwpqviw7k2a

50501: The People’s Movement (@50501movement.bsky.social)

We've received reports that some people are having trouble finding events in their area for April 19th. You can check our website for events or look for your local 50501 chapter's social media and check their social media posts for event details. (1/2)

bsky.app · Bluesky Social

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
北市真 @KitaitiMakoto@bookwor.ms
Public

BEACONってZINE、こんな面白いZINEだったのか。
これまでも本は港とかで見かけていたんだけど買ってなくて、今回tegusuの狭いブース内で話を聞いたり、その中で、ロビン マナバットさんや土屋創太さんが寄稿していることを知って、買ってみた。
そしたら当たりでしたわ。過去見かけた時に買っても積読だったと思うんで、タイミングの妙でもあるなあ。
この一週間、ずっとリソグラフでVol. 1を刷っていたと言ってたw

0
0
0
0
0
0
0
0
0
1
0
0
Emelia 👸🏻 @thisismissem@hachyderm.io
Public

Something I've never seen documented is how to actually do SSRF prevention with Node.js's fetch implementation.

Like you could resolve DNS before making the request, and assert the IP addresses are public IP addresses, but afaict, fetch() will do that too so you could theoretically get two different results (although unlikely)

Feels like Node.js should just ship an SSRF safe fetch implementation.

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

...'결혼피로연'에서 동성애자 손주를 둔 할머니 역할을 맡은 윤여정은 18일 버라이어티와의 인터뷰에서 "당신이 이 캐릭터에 공감한 이유 중 하나가 아들이 동성애자이기 때문이라고 들었어요. 한국은 이런 이슈에 대해 아직 개방적이지 않다고요"라는 질문을 받게 된다. www.huffingtonpost.kr/news/article...

77세 윤여정이 외신 인터뷰서 툭 공개한 초대형 비밀(...

77세 윤여정이 외신 인터뷰서 툭 공개한 초대형 비밀(?): 한국도 이젠 달라졌으면 좋겠다

곽상아 에디터 · 그저 소중한 자녀일 뿐

www.huffingtonpost.kr · 허프포스트코리아

0
0
0
도막도 @domatdo@hackers.pub
Public
Shared by 박준규

사람이라는 게 참 묘하다. 서비스 개발을 시키면 플랫폼 엔지니어링을 하고 싶고, 플랫폼 엔지니어링을 시키면 서비스 개발을 하고 싶어한다. 둘 다 해야 할 때는 이론 공부를 하고 싶다고 하고, 이론 공부를 시키면 서비스 개발을 하고 싶다고 한다.

8
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public

우리나라 소식이 외부에 전달될 때도 그렇겠지만, 작금의 미국 시민저항 소식이 국내에 언론을 거쳐 들어올 때도 중요한 디테일들이 제법 지워져 있다는 느낌을 받곤 했다. 그 와중 이런 움직임의 구체적 이름을 알게 된 것이 기쁘다.

0
0
0
0
0
0
0
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public

미국판 비상행동 같은 전국 반트럼프 시위연대체가 활동을 시작한 모양이다. "50개 주에서 50개의 시위를 하루에 일제히", 즉 50-50-1. "손떼라(Hands Off)" 시위들을 포함한 비폭력 대규모 시위들로부터 자연조직된 후 지역별 풀뿌리 시민단체들을 연결하는 중.

RE: https://bsky.app/profile/did:plc:f6gfdc4j4h7jbvs64lvpq2l5/post/3lmwpqviw7k2a

50501: The People’s Movement (@50501movement.bsky.social)

We've received reports that some people are having trouble finding events in their area for April 19th. You can check our website for events or look for your local 50501 chapter's social media and check their social media posts for event details. (1/2)

bsky.app · Bluesky Social

0
0
0
도막도 @domatdo@hackers.pub
Public

사람이라는 게 참 묘하다. 서비스 개발을 시키면 플랫폼 엔지니어링을 하고 싶고, 플랫폼 엔지니어링을 시키면 서비스 개발을 하고 싶어한다. 둘 다 해야 할 때는 이론 공부를 하고 싶다고 하고, 이론 공부를 시키면 서비스 개발을 하고 싶다고 한다.

8
0
0
0
0
0
broken_del_key @dale@g0v.social
Public

Taiwanese Meta exodus

I stopped using Instagram and WhatsApp some time ago. Never touched Threads. Facebook … is going to be difficult, which is upsetting.

Facebook is my Rolodex to relatives in Taiwan, decades of work friends, classmates now spread all over the world. There is no easy way to move this.

I was even thinking about reaching out and ask for email one by one.

0
0
0
1
0
0
Mike Kuketz 🛡 @kuketzblog@social.tchncs.de
Public

Genauso wie der Osterhase seine Eier 🥚 gut versteckt, könnt ihr auch systemweit Werbung und Tracker verschwinden lassen – ganz einfach mit wenigen Handgriffen für und . Denn wie alte Schokoeier im Gras will die wirklich niemand finden. 👇

kuketz-blog.de/fuer-anfaenger-

Für Anfänger/Bequeme: Werbung und Tracker unter iOS/Android systemweit verbannen

Mit einfachen Mitteln können Android- und iOS-Nutzer Werbung, Tracker und Co. systemweit (in allen Apps) loswerden. Die größtenteils rechtswidrige Datensammlung- bzw. -erhebung muss niemand hinnehmen.

www.kuketz-blog.de

Link author: Mike Kuketz 🛡@kuketzblog@social.tchncs.de

0
0
0
1
0
0
iX Magazin @iX_Magazin@social.heise.de
Public

Kommentar zum Koalitionsvertrag: Schwarz-Rotes Schlangenöl

Der Koalitionsvertrag steht und entblößt einen erschreckenden Blick auf Digitales: KI als Allheilmittel, Datenschutz als Störfaktor. Falk Steiner kommentiert.

heise.de/meinung/Kommentar-zum

Kommentar: Der Koalitionsvertrag ist voll mit katastrophalem Technikglauben

Der Koalitionsvertrag steht und entblößt einen erschreckenden Blick auf Digitales: KI als Allheilmittel, Datenschutz als Störfaktor. Falk Steiner kommentiert.

www.heise.de · iX Magazin

Link author: Falk Steiner@fsteiner@mastodon.social

0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

‘차별 없는 세상’으로 개혁 받아안는 대선주자는 여전히 소수 수정 2025-04-19 13:22 www.hani.co.kr/arti/society...

‘차별 없는 세상’으로 개혁 받아안는 대선주자는 여전히...

‘차별 없는 세상’으로 개혁 받아안는 대선주자는 여전히 소수

윤석열 전 대통령 파면 뒤 ‘차별없는 세상으로 향하자’는 요구가 쏟아지고 있지만, 이런 변화를 위한 법·제도 마련을 공약으로 내세운 대선주자는 드문 상황이다. 광장의 승리를 만든 시민 그 누구도 배제하지 않기 위해 정치권이 차별금지법 입법 등 제도 마련에 나서라는 촉구

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
0