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.

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

‘급식중단’ 대전 학생의 소신 발언 “부끄러운 건 파업 아닌 우리의 조롱” 수정 2025-04-17 18:40 www.hani.co.kr/arti/area/ch...

‘급식중단’ 대전 학생의 소신 발언 “부끄러운 건 파업...

‘급식중단’ 대전 학생의 소신 발언 “부끄러운 건 파업 아닌 우리의 조롱”

전국적인 학교 조리(실무)사 결원 사태 속에 결국 대전의 한 고등학교에서 저녁 급식이 중단되며 논란이 이어지고 있다. 조리사들의 인력 충원 요구를 교육청이 수용하지 않는 상황에서 조리사들이 업무 강도라도 낮추려 제시한 ‘냉면그릇 사용 횟수 제한’, ‘뼈(족발·사골) 삶

www.hani.co.kr · 한겨레

1
0
0
CCC @CCC@social.bau-ha.us
Public
Shared by Quincy

Die schwarz-schwarz-rote Regierung will den Datenschutz erheblich schwächen. Und der Koalitionsvertrag strotzt so vor Überwachungsvorhaben, dass jeder Einzelne betroffen sein wird taz.de/Digitalpolitik-im-Koali

Überwachungskameras an einem Gebäude

Digitalpolitik im Koalitionsvertrag: Überwachung, Datenschatzsuche und viel KI

Was hat Schwarz-rot vor in Sachen Digitales? Ein neues Ministerium – und einiges, was Bür­ger­recht­le­r:in­nen erschrecken lässt.

taz.de · taz.de

0
0
0
takimura@​:misskey:​.dev​​:spi: @cv_k@misskey.dev
Public
Shared by Kur0den0010@ふわふわ

ETC障害 原因は容量超過を防ぐためのプログラムが正常に作動していなかった :inf:

障害の原因について報告があり、システム間のデータのやりとりのなかで、本来は消去すべきデータが蓄積されていた

データはどのシステムに送信するかの「宛先データ」と「ETCカードが使用可能か判定するためのデータ」で構成される。送信後に消去されるはずの宛先データが蓄積されたことで、判定データの情報領域が侵食され破損していた

ETC障害「消去すべきデータが蓄積」　検討委が初会合 - 日本経済新聞 https://www.nikkei.com/article/DGXZQOFD18B7X0Y5A410C2000000/

ETC障害「消去すべきデータが蓄積」　検討委が初会合 - 日本経済新聞

中日本高速道路（NEXCO中日本）は18日、今月上旬に発生した自動料金収受システム（ETC）の障害を受け、広域的な危機管理を検討する委員会の初会合を名古屋市内で開いた。同社から障害の原因について報告があり、システム間のデータのやりとりのなかで、本来は消去すべきデータが蓄積されていたと明らかにした。今後は消去のためのプログラムが入っていなかった理由などの調査を進める。データはどのシステムに送信

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

0
0
0
1
0
0
takimura@​:misskey:​.dev​​:spi: @cv_k@misskey.dev
Public

ETC障害 原因は容量超過を防ぐためのプログラムが正常に作動していなかった :inf:

障害の原因について報告があり、システム間のデータのやりとりのなかで、本来は消去すべきデータが蓄積されていた

データはどのシステムに送信するかの「宛先データ」と「ETCカードが使用可能か判定するためのデータ」で構成される。送信後に消去されるはずの宛先データが蓄積されたことで、判定データの情報領域が侵食され破損していた

ETC障害「消去すべきデータが蓄積」　検討委が初会合 - 日本経済新聞 https://www.nikkei.com/article/DGXZQOFD18B7X0Y5A410C2000000/

ETC障害「消去すべきデータが蓄積」　検討委が初会合 - 日本経済新聞

中日本高速道路（NEXCO中日本）は18日、今月上旬に発生した自動料金収受システム（ETC）の障害を受け、広域的な危機管理を検討する委員会の初会合を名古屋市内で開いた。同社から障害の原因について報告があり、システム間のデータのやりとりのなかで、本来は消去すべきデータが蓄積されていたと明らかにした。今後は消去のためのプログラムが入っていなかった理由などの調査を進める。データはどのシステムに送信

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

0
0
0
Pauline von Hellermann @pvonhellermannn@mastodon.green
Public
Shared by Dr. Anna Latour

There are just too many awful things happening in the world, all at once. And in between everything else, the horrors in go on and on. Each of these deaths a total tragedy.

Fatima Hassouna, who had been documenting war in Gaza for 18 months and was subject of new documentary, killed along with 10 members of her family

theguardian.com/world/2025/apr

Screenshot of top of this article 1 Gaza 'If I die, I want a loud death': Gaza photojournalist killed by Israeli airstrike Fatima Hassouna, who had been documenting war in Gaza for 18 months and was subject of new documentary, killed along with 10 members of her family
0
0
0
0
0
0
Terence Eden @edent.tel@bsky.brid.gy
Public

Shitposting. shkspr.mobi/blog/2024/04...

Toilet Review! Better Bathroom...

A dark room. An ethereal glowing light emanates from the bowl of a toilet. Possibly leading sailors to their doom.

Toilet Review! Better Bathrooms Smart Toilet Seat

I want to make one thing very clear. Despite my propensity for IoT gadgetry, I did not connect my toilet to the Internet! It's 2024. Why are you still scraping your arsehole with paper like some kind of 20th century throwback? A decade ago, I got a cheap bidet attachment. It wasn't great. The water was cold, the fittings leaked, and the plastic was creaky. For our recent bathroom renovation, I decided that I wanted to get a proper Japanese style toilet with integrated bidet and all the…

shkspr.mobi · Terence Eden’s Blog

0
0
0
1
0
0
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