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.

BWINF @BWINF@mastodon.social
Public

Noch eine Woche: Der Jugendwettbewerb Informatik 2026 läuft bis zum 8. März – und schon jetzt verzeichnen wir über 40.000 Teilnahmen.

Wer noch nicht dabei ist: Die Anmeldung ist unkompliziert, Vorkenntnisse braucht es keine. Programmiert wird mit Blockly, einer visuellen Programmierumgebung. Teilnahme allein oder im Zweierteam möglich.

Lehrkräfte: Die Aufgaben lassen sich gut in einer Schulstunde bearbeiten.

bwinf.de/jugendwettbewerb/2026/

Unter dem Slogan "Für Ausgefuchste!" ein großes Ausrufe- und Fragezeichen, in/aus dem zwei Füchse ein- und austreten.
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
1
0
0
0
0
라쿤 덱스터 @raccoondaxter.bsky.social@bsky.brid.gy
Public

얼마전에 볼트건2 트레일러 떴는데 솔직히 볼트건보다 이게 더 재미있어 보임. 볼트건 뒤에 숫자 하나 늘었다고 시스템 복잡해지는거 같더라. 난 복잡한거 싫어. youtu.be/zlFe0nRFYiE?...

Warhammer 40,000: Boltgun 2 - ...

Warhammer 40,000: Boltgun 2 - Official Gameplay Trailer | IGN Fan Fest 2026

Enjoy this new gameplay trailer for Warhammer 40,000: Boltgun, featuring an exclusive first look at the Daemons of Slaanesh and Death Guard.Warhammer 40,000:...

www.youtube.com · YouTube

0
0
0
0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

Hardwood: A New Parser for Apache Parquet

Link: morling.dev/blog/hardwood-new-
Discussion: news.ycombinator.com/item?id=4

Hardwood: A New Parser for Apache Parquet

Today, it’s my great pleasure to announce the first public release of Hardwood, a new parser for the Apache Parquet file format, optimized for minimal dependencies and great performance. Hardwood is …

www.morling.dev · Gunnar Morling

0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

Why is the first C++ (m)allocation always 72 KB?

Link: joelsiks.com/posts/cpp-emergen
Discussion: news.ycombinator.com/item?id=4

Why is the first C++ (m)allocation always 72 KB?

Why is the first C++ (m)allocation always 72 KB?? It’s the ’emergency pool’ for exceptions, here’s how I uncovered it using GDB and digging through the source code of libstdc++, glibc and Valgrind!

joelsiks.com

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

'곧 챗GPT 제친다'…한국서 결제액 '폭발' AI 뭐길래 2026. 3. 1. 17:46 1년새 10배 늘어 v.daum.net/v/2026030117...

'곧 챗GPT 제친다'…한국서 결제액 '폭발' AI 뭐...

'곧 챗GPT 제친다'…한국서 결제액 '폭발' AI 뭐길래

한국경제 · ‘소프트웨어(SW)산업 파괴자’로 불리는 미국 앤스로픽 클로드의 지난달 국내 결제금액이 1년 전보다 열 배 이상 증가한 것으로 나타났다. 국내 기업 가입자를 중심으로 클로드의 코딩 지원 서비스를 업무에 본격적으로 적용하기 시작한 결과다. 1일 한경에이셀(Aicel)에 따르면 앤스로픽의 대규모언어모델(LLM)인 클로드 결제금액은 2월 1~22일 약 197억원

v.daum.net · Daum | 한국경제

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

Bidirectional interpolation for the lambda-calculus – Revisiting and formalising Craig-Čubrić interpolation. ~ Meven Lennon-Bertrand, Alexis Saurin. hal.science/hal-05526634v1/fil

Bidirectional Interpolation for the Lambda-Calculus – Revisiting and Formalising Craig-Čubrić Interpolation

Meven Lennon-Bertrand, Alexis Saurin · Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Science [cs]/Programming Languages [cs.PL]

hal.science

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
鷹野凌 @ryou_takano@mstdn.jp
Public
Shared by GENKI

メルマガセット完了。今週もお疲れさまでした。今回は「性加害原作者起用を小学館が謝罪・調査委員会立ち上げ」「2025年コミック市場は8年ぶりのマイナス成長」などをピックアップ・コメントしました。お楽しみに。こちらのURLから無料で購読できます。
hon.jp/news/registration

HON.jp メールマガジン | HON[.]jp News Blog

ISSN 2436-8245 　HON.jp メールマガジン（ISSN 2436-8245）は、編集長 鷹野が広い意味での出版に関連する最新ニュースから気になったものをピックアップし独自の視点でコメントする「週刊出版ニュースまとめ＆コラム」

hon.jp · HON[.]jp News Blog

0
0
0
0
0
0
iamdtms @iamdtms@mas.to
Public
Shared by GENKI

Mastodon sticker sheet
shop.joinmastodon.org/products

Mastodon Reactions 10-Sticker Sheet

These soft touch vinyl stickers featuring our Mastodon mascot will allow you to brighten up any object! And thanks to the 3 logo stickers included on the sheet, you can spread the word about the decentralized social media that's good for you, if you wish to. Size: 13x16.3cm

shop.joinmastodon.org · Mastodon

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시오

정글리안 햄스터 7천원. 펄 햄스터 7천원…. 한끼 밥값조차 안 되는 가격에 팔리는 동물. 그 숫자는 사회가 그들에게 부여한 가치의 지표이기도 하다. 생명을 거래 대상으로 치부하는 윤리적 결함을 차치하더라도, 값이 싸다는 것은 구매의 문턱이 낮다는 뜻이며 사라져도 아쉬움이 덜한 이유가 되기도 한다.

‘7천원짜리 생명’을 카트에 담기 전에 [정진아의 다르...

‘7천원짜리 생명’을 카트에 담기 전에 [정진아의 다르지만 함께]

정진아 | 동물자유연대 이슈행동팀장 층층이 쌓인 투명 플라스틱 진열장 앞에 서서 가격표를 하나하나 읽어보았다. 정글리안 햄스터 7천원. 펄 햄스터 7천원…. 대형 마트에서 판매 중인 수많은 식재료와 생필품 사이 진열된 작은 생명들의 몸값이다. 만

www.hani.co.kr · 한겨레

0
0
0
CoMaps @CoMaps@floss.social
Public
Shared by GENKI

Since the in December, every first Sunday of the month has been a "Digital Independence Day" for trying out alternatives to dominant/big tech platforms.

If you're looking to explore alternatives to Google or Apple Maps, why not give CoMaps – or any of the other open source map-applications that are based on data from – a try!

You can learn more about the here: edri.org/our-work/didit-edri-m

a sharepic showing a black and white photo of a broken chain, with the text comaps @ #didit digital independence day overlayed next to a colorful CoMaps screenshots showing robben island (one of the locations suggested in a former social media campaign for places that would make good screenshots)
0
1
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

정글리안 햄스터 7천원. 펄 햄스터 7천원…. 한끼 밥값조차 안 되는 가격에 팔리는 동물. 그 숫자는 사회가 그들에게 부여한 가치의 지표이기도 하다. 생명을 거래 대상으로 치부하는 윤리적 결함을 차치하더라도, 값이 싸다는 것은 구매의 문턱이 낮다는 뜻이며 사라져도 아쉬움이 덜한 이유가 되기도 한다.

‘7천원짜리 생명’을 카트에 담기 전에 [정진아의 다르...

‘7천원짜리 생명’을 카트에 담기 전에 [정진아의 다르지만 함께]

정진아 | 동물자유연대 이슈행동팀장 층층이 쌓인 투명 플라스틱 진열장 앞에 서서 가격표를 하나하나 읽어보았다. 정글리안 햄스터 7천원. 펄 햄스터 7천원…. 대형 마트에서 판매 중인 수많은 식재료와 생필품 사이 진열된 작은 생명들의 몸값이다. 만

www.hani.co.kr · 한겨레

0
0
0
pkg update @pkgupdt@hl.pkgu.net
Public

디지털 카메라에서 컬러 필터 어레이(센서 앞에 붙는 필터) 설계, 소재 기술도 생각보다 재미있는 부분. 다들 공개 잘 안 하지만, 세대별로 변화, 발전하는 부분들이 있음.

0
0
0
0
0
0
0
0
0
0
0
0
나나나나미 @nnanananami@planet.moe
Public

일본 포켓몬 로마자 표기가 영어 이름이랑 다른 거 아마 언어나 상표권 이슈가 얽혀 있겠지만... 이브이가 eievui인 건 어째서 그렇게 된 걸까. pokemon.co.jp/goods/2021/05/21

「Eievui Collection」がポケモンセンターに登場！｜ポケットモンスターオフィシャルサイト

5月28日（金）・6月12日（土）、イーブイと、イーブイの進化形であるサンダース・ブースター・シャワーズ・エーフィ・ブラッキー・リーフィア・グレイシア・ニンフィアが勢ぞろいした「Eievui Collection」が、ポケモンセンターに登場！ ...

www.pokemon.co.jp · ポケットモンスターオフィシャルサイト

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

Machine-generated, machine-checked proofs for a verified compiler (Experience report). ~ Zoe Paraskevopoulou. arxiv.org/abs/2602.20082

arXiv logo

Machine-Generated, Machine-Checked Proofs for a Verified Compiler (Experience Report)

We report on using an agentic coding assistant (Claude Code, powered by Claude Opus 4.6) to mechanize a substantial Rocq correctness proof from scratch, with human guidance but without human proof writing. The proof establishes semantic preservation for the administrative normal form (ANF) transformation in the CertiCoq verified compiler for Rocq. The closely related continuation-passing style (CPS) transformation in CertiCoq was previously proved correct by human experts over several months. We use this proof as a template and instruct the LLM to adapt the proof technique to the ANF setting, which differs in important technical ways. The resulting ANF proof comprises approximately 7,800 lines of Rocq (larger than the 5,300-line CPS proof) and was developed in approximately 96 hours. We describe the proof technique and report on the experience of developing it with an LLM, discussing both the strengths and limitations of the approach and its implications for verified compiler construction.

arxiv.org · arXiv.org

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

붕괴 이후 민주화? 이란, 군사 권위주의 체제 가능성 입력 2026.03.01. 오후 9:24 www.munhwa.com/article/1157...

붕괴 이후 민주화? 이란, 군사 권위주의 체제 가능성

붕괴 이후 민주화? 이란, 군사 권위주의 체제 가능성

미국의 공습으로 아야톨라 세예드 알리 하메네이 이란 최고지도자가 사망한 가운데 정권 붕괴 이후의 권력 공백이 오히려 장기 불안정으로 이어질 가능성이 더 크다는 지적이 제기된다. 특히 이란은 민주화가 아닌 더욱 강경한 군사 권위주의 체제로 이동할 가능성이 있다는 분석이다

www.munhwa.com · 문화일보

0
0
0
0
0
0