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
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
Mike Kuketz 🛡 @kuketzblog@social.tchncs.de
Public

»Die elektronische Patientenakte kann nach einer Testphase ab Ende des Monats in ganz Deutschland genutzt werden.«

Na dann. Bis dahin hat ja jeder noch ein paar Tage für den Opt-Out. 👇

kuketz-blog.de/opt-out-widersp

deutschlandfunk.de/elektronisc

Opt-Out: Widerspruch bei der elektronischen Patientenakte (ePA) einlegen

Die Einführung der elektronischen Patientenakte (ePA) steht vielen von uns bevor, und die Frage, ob man sich für oder gegen…

www.kuketz-blog.de

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

Mike Kuketz 🛡 @kuketzblog@social.tchncs.de
Public
Shared by Quincy

@bkastlBianca Kastl sagt: »Dass die Sicherheitsmängel der elektronischen Patientenakte beseitigt seien, bezweifelt Kastl gegenüber netzpolitik.org. „Die bisher angekündigten Updates sind grundsätzlich ungeeignet, um die aufgedeckten Mängel in der Sicherheitsarchitektur auszugleichen“.«

Quelle: netzpolitik.org/2025/elektroni

Elektronische Patientenakte: Fachleute zweifeln weiterhin an Sicherheitsversprechen

Der bundesweite Rollout der elektronischen Patientenakte wird erneut verschoben. Auf die erste Testphase soll nun eine gestaffelte Hochlaufphase folgen. Zugleich versichert Bundesgesundheitsminister Karl Lauterbach, dass die erste Testphase zufriedenstellend verlaufe und Sicherheitsprobleme behoben seien. Expert:innen haben daran jedoch ihre Zweifel.

netzpolitik.org · netzpolitik.org

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
mcc @mcc@mastodon.social
Public

Do you ever write a fiendishly complicated implementation of a piece of code, stare at it for ten seconds, git reset --hard HEAD to undo the entire thing, and then write a compact, clear 4-line implementation that does the same goddamn thing

0
0
0
0
0
0
1
0
0
Josh Thomas @josh@joshthomas.dev
Public
Shared by Simon Willison

Got tired of reinstalling llm plugins after every uv tool upgrade — it uses standard pip install under the hood which uv tool wipes every time. Wrote my first llm plugin to solve it for good.

github.com/joshuadavidthomas/l

A plugin for LLM that enables proper plugin management when installed via uv tool - joshuadavidthomas/llm-uv-tool

GitHub - joshuadavidthomas/llm-uv-tool: A plugin for LLM that enables proper plugin management when installed via uv tool

A plugin for LLM that enables proper plugin management when installed via uv tool - joshuadavidthomas/llm-uv-tool

github.com · GitHub

0
0
0
Josh Thomas @josh@joshthomas.dev
Public

Got tired of reinstalling llm plugins after every uv tool upgrade — it uses standard pip install under the hood which uv tool wipes every time. Wrote my first llm plugin to solve it for good.

github.com/joshuadavidthomas/l

A plugin for LLM that enables proper plugin management when installed via uv tool - joshuadavidthomas/llm-uv-tool

GitHub - joshuadavidthomas/llm-uv-tool: A plugin for LLM that enables proper plugin management when installed via uv tool

A plugin for LLM that enables proper plugin management when installed via uv tool - joshuadavidthomas/llm-uv-tool

github.com · GitHub

0
0
0
Ben Royce 🇺🇦 @benroyce@mastodon.social
Public

Juan Carlos Lopez-Gomez was charged with illegally entering as an “unauthorized alien”

oklahomavoice.com/2025/04/17/u

Juan Carlos Lopez-Gomez is a

Born in the

He was on his way to his job in

The state prosecutor said the court lacked jurisdiction to release Juan because US asked the jail to hold him

Judge LaShawn Riggans inspected Juan’s birth certificate and released him any way

To his mother's embrace

0
0
0
김성일 Sung-il Kim @sung-il-kim.com@bsky.brid.gy
Public

태몽이나 상상친구 같은 (아마도) 문화적인 현상에 관한 얘기들이 오가고 있는데, 약간 궤가 다르지만 나는 항상 "내적 독백"이 신기하게 여겨졌다. 처음 그에 관해 들었을 때는 사람이 혼자 생각을 하는데 왜 그걸 머릿속에서 언어로 하지? 하고 이상하다 여겼는데 알고 보니 그걸 안 하는 게 더 드문 일이었음.

1
0
0
0
0
0
Initiative Hamburg Werbefrei @hhwerbefrei@bewegung.social
Public

:

Auf dieser Karte werden die erscheinen - wir versuchen die 70, die uns in der ersten geholfen haben, wieder zu akquirieren, brauchen diesmal aber noch deutlich mehr.

hamburg-werbefrei.de/sammelort

Hamburg Werbefrei – Volksentscheid Hamburg Werbefrei

Hamburg Werbefrei – Volksentscheid Hamburg Werbefrei

Damit es zur Volksabstimmung kommt, brauchen wir bis zum 13. Mai 2025 die Unterstützung von 80.000 Menschen.

www.hamburg-werbefrei.de

0
0
0
1
0
0
0
0
0
geeknews_bot @geeknews_bot@sns.lemondouble.com
Public

LLM으로 대규모 테스트 마이그레이션을 가속하기
------------------------------
- Airbnb는 약 3,500개의 Enzyme 기반 테스트 파일을 *React Testing Library(RTL)* 로 자동 마이그레이션하는 데 성공
- 원래 1.5년이 걸릴 것으로 예상한 작업을 *LLM과 자동화 파이프라인으로 단 6주 만에 3.5K의 테스트파일 업데이트 완료*
- 자동 유효성 검사, 리트라이 루프, 동적 프롬프트 및 대규모 컨텍…
------------------------------
https://news.hada.io/topic?id=20404&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

LLM으로 대규모 테스트 마이그레이션을 가속하기 | GeekNews

Airbnb는 약 3,500개의 Enzyme 기반 테스트 파일을 React Testing Library(RTL) 로 자동 마이그레이션하는 데 성공원래 1.5년이 걸릴 것으로 예상한 작업을 LLM과 자동화 파이프라인으로 단 6주 만에 3.5K의 테스트파일 업데이트 완료자동 유효성 검사, 리트라이 루프, 동적 프롬프트 및 대규모 컨텍스트 구성으로 높은 자동화

news.hada.io · GeekNews

0
0
0