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
0
0
0
0
0
0
0
0
0
josh's harp @Joshsharp@aus.social
Public

added a way to publicly share playlists today! So for fun I thought I'd make one to highlight stuff in my library that isn't too well known (that is, it appears in <1000 fans' libraries) with a few Aussies in there too. It's mostly indie rock/pop stuff with guitars in (noodly, jangly, or folky) so if that's your vibe, maybe you'll find some inspiration here.

bandcamp.com/joshsharp/playlis

Lesser-Known Bangers - Playlist by Josh Sharp

Faves and random picks from my library with <1000 purchases. Except for Jay Som, who is nonetheless required listening. No instrumental stuff in…

bandcamp.com · Bandcamp

0
0
0
1
0
0
Miká Kruschel @mikakruschel@mastodon.social
Public

I've been working on a new version of the Indie App Catalog, and it’s almost done. You can see a preview here: indie-app-catalog.pushtomain.de. I’d love to hear your thoughts, suggestions for improvements, or any feature ideas you might have.
By the way, I've also set up a Mastodon account: @indieappcatalog

Indie App Catalog

Discover and explore the best indie apps for Apple platforms. Find new releases, updates, and curated collections of independent applications.

indie-app-catalog.pushtomain.de · Indie App Catalog

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
ssig33 @ssig33@hollo.ssig33.com
Public
Shared by GENKI

「日産やパナソニックのリストラは大変めでたい、これで人手不足の会社に有為の人材がいきわたるだろう」などと誰も本気で言わないあたりに「人手不足」の真実がある気はしますよね。

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

CLEVER: A curated benchmark for formally verified code generation. ~ Amitayush Thakur et als. arxiv.org/abs/2505.13938v2

arXiv logo

CLEVER: A Curated Benchmark for Formally Verified Code Generation

We introduce ${\rm C{\small LEVER}}$, a high-quality, curated benchmark of 161 problems for end-to-end verified code generation in Lean. Each problem consists of (1) the task of generating a specification that matches a held-out ground-truth specification, and (2) the task of generating a Lean implementation that provably satisfies this specification. Unlike prior benchmarks, ${\rm C{\small LEVER}}$ avoids test-case supervision, LLM-generated annotations, and specifications that leak implementation logic or allow vacuous solutions. All outputs are verified post-hoc using Lean's type checker to ensure machine-checkable correctness. We use ${\rm C{\small LEVER}}$ to evaluate several few-shot and agentic approaches based on state-of-the-art language models. These methods all struggle to achieve full verification, establishing it as a challenging frontier benchmark for program synthesis and formal reasoning. Our benchmark can be found on GitHub(https://github.com/trishullab/clever) as well as HuggingFace(https://huggingface.co/datasets/amitayusht/clever). All our evaluation code is also available online(https://github.com/trishullab/clever-prover).

arxiv.org · arXiv.org

0
0
0
Bumble @bumble@ibe.social
Public

With the demise of from Mozilla, now is a great time to test out the excellent Readeck

https://readeck.org

If you don't want to self host at this point, but are curious, ping me an DM/email (bumble@ibe.social) with your desired username and I will set you up on our server for free.

I am not affiliated with the official app or the author -- just another busy bee on the Fediverse helping everyone on their journey.

 @readeck@mastodon.online

Readeck: Home

Save interesting articles, long read, pictures, videos. Read or revisit them later.

readeck.org · Readeck

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

Cで構造体が構造体を参照していることがあって、
Rubyで親側のラッパーを作る時、子への参照をCの構造体への参照かRubyのオブジェクトへの参照にするか迷う。

Cの構造体にするのが素直な気持ちはあるが、
参照先をRuby世界に渡す時に子のラッパーでラップするわけだけど、参照の度にラップしていたらRubyでのオブジェクトIDが毎回変わってしまう。
かといってCの構造体にRubyオブジェクトへの参照を持たせると、GCのこと考えたらいつ何したらいいか分からん。これはまあ僕の知識不足なので、ちゃんと勉強してこっちを採るのが正解かなあ。

0
0
0
Cliff @cliffwade@infosec.exchange
Public

Good morning and happy Friday!

How's everyone doing today and what do you all have in store for the day as well as the weekend ahead?

For many, at least those in the US, it's a long weekend. I'm on my 2nd out of 5 days off. I'm hoping it's going to be a relaxing day without much going on.

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
한국여성민우회🎗 @womenlink.or.kr@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

🌈🌈🌈🌈 트랜스젠더 혐오 플로우가 돌 때 트랜스젠더의 편에 서는 활동을 하고 싶은데 혼자 뭘 하기엔 잘 모르는 것 같아서, 뭘 해야할지 모르겠어서 아무것도 안 하다가 결국 약간의 찝찝함만 남아서 뭐라도 해볼까... 고민 중인 페미니스트 계신가요? 그래서 준비했습니다. 트랜스 컴트루..! 🎈신청은? forms.gle/txJnJ7wasMvN...

트랜스 컴트루(trans come ture) 모집

💬 트랜스 컴트루trans *come true는 어떤 모임인가요? (*come true: 가시화하다) → 트랜스젠더 혐오 플로우가 돌 때 트랜스젠더의 편에 서는 활동을 하고 싶은데 혼자 뭘 하기엔 잘 모르는 것 같아서, 뭘 해야할지 모르겠어서 아무것도 안 하다가 결국 약간의 찝찝함만 남아서 뭐라도 해볼까... 고민 중인 페미니스트들이 모여 트랜스, 젠더퀴어 등을 좀 더 이해할 수 있는 강의도 듣고, 지지를 표명하는 소소한 활동도 해보는 모임입니다. 🤝 무엇을 할 예정인가요? → 6/11(수) 첫 만남 (아이스 브레이킹 및 서로 알아가기) "트랜스젠더 혐오 플로우가 돌 때 나는 왜 단체 또는 개인의 지지 성명에 '좋아요' 버튼 밖에 못 눌렀을까?" "트랜스젠더 지지 활동을 하고 싶은데 망설이게 되는 이유는 뭘까?" "나는 이 모임에 왜 찾아왔을까?" "사람들과 어떤 이야기를 나누고 싶을까" + 퀴퍼에서 할 수 있는 소소한 활동에 뭐가 있을까 함께 고민해보는 것까지! → 6/14(토) 퀴퍼 구글폼으로 받은 간단한 활동 아이디어 중 하나를 함께 실행해봐요. (예시: 트랜스젠더 지지하는 페미니스트 부채, 스티커 등 배부, 피켓들고 행진하기, 깃발 만들기 또는 민우회 깃대에 깃발 걸고 함께 행진하기) *만약 퀴퍼 참여가 어렵다면 아래 구글폼에 적어주시거나 미리 말씀해주세요. → 강의 듣기 트랜스, 젠더퀴어 등을 좀 더 이해한다면, 행동을 하는 것도 좀 더 수월해지지 않을까요? 트랜스젠더 관련 강의를 함께 찾아 듣거나, 강사를 초청해 함께 공부해요! → 소소한 활동 기획하기 활동 예시: ‣ 트랜스젠더 배제·혐오자에 맞서는 대응법 공유 ‣ 우리만의 대응 언어를 만들고 지지 성명 같이 써보기 ‣ 카드뉴스/뉴스레터 제작 ‣ 티셔츠 제작 및 수익금 기부 ‣ 당사자/지지자 인터뷰 및 가시화, 해시태그 캠페인, 트랜스젠더와 관련된 키워드를 중심으로 간단한 방탈출 설계 및 운영 등 🗓️ 우리는 몇 차례 함께 하게 되나요? - 기간: 6월 ~ 9월 - 만남 횟수 및 방식: 월 1~2회 오프라인 모임 (상황에 따라 온라인 전환 가능) 😌내향형인데 괜찮나요? → 환영합니다(외향인 여러분도 당연히 환영하는 거 아시죠?) 담당활동가 두 명 모두 너무 내향인…입니다.. 내향형 감성 가득한 활동만 할 수도 있어요... 🙋‍♀️이런 활동이 처음입니다. 잘 모르고 지지하는 마음만으로 참여해도 괜찮나요? → 네. 괜찮습니다. 함께하면 소소하게 뭐라도 한다! 엄청난 걸 하지 않아도 활동하는 페미니스트들의 존재를 보여주는 것만으로 의미 있지 않을까요?

docs.google.com · Google Docs

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

Ineq-Comp: Benchmarking human-intuitive compositional reasoning in automated theorem proving on inequalities. ~ Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora. arxiv.org/abs/2505.12680

arXiv logo

Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities

LLM-based formal proof assistants (e.g., in Lean) hold great promise for automating mathematical discovery. But beyond syntactic correctness, do these systems truly understand mathematical structure as humans do? We investigate this question through the lens of mathematical inequalities -- a fundamental tool across many domains. While modern provers can solve basic inequalities, we probe their ability to handle human-intuitive compositionality. We introduce Ineq-Comp, a benchmark built from elementary inequalities through systematic transformations, including variable duplication, algebraic rewriting, and multi-step composition. Although these problems remain easy for humans, we find that most provers -- including Goedel, STP, and Kimina-7B -- struggle significantly. DeepSeek-Prover-V2-7B shows relative robustness -- possibly because it is trained to decompose the problems into sub-problems -- but still suffers a 20\% performance drop (pass@32). Strikingly, performance remains poor for all models even when formal proofs of the constituent parts are provided in context, revealing that the source of weakness is indeed in compositional reasoning. Our results expose a persisting gap between the generalization behavior of current AI provers and human mathematical intuition.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
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
0
0
0
0
0
0
0
0
0
0
0
0
Richard "RichiH" Hartmann @RichiH@chaos.social
Public
Shared by leyrer

Well, that cat is kinda out of the bag. I sent messages publicly to two accounts instead of private by accident. Deleted as they contained direct registration links

is an unconference about organizing conferences. Also see confconf.org

It's organized by four people, myself included.

We are focusing on OSS and hacker conferences, and in particular for the first edition it's invite-only.

If you believe you fit the profile feel free to poke me and we can have a look

ConfConf

ConfConf is a free conference for organisers of conferences around free and open source software and hardware.

confconf.org

0
0
0
Tom Schuster @evilpie@hachyderm.io
Public
Shared by Kagami is they/them 🏳️‍⚧️

We now have evidence that the strict Content-Security-Policy we added to the fronted for hardening purposes prevent a Pwn2Own participant from escaping the sandbox! Definitely validates our approach.

blog.mozilla.org/security/2025

P.S: Nice work from everyone for being the fastest to ship a fix for the findings again.

Firefox Security Response to pwn2own 2025 – Mozilla Security Blog

At Mozilla, we consider security to be a paramount aspect of the web. This is why not only does Firefox have a long running bug bounty program but also mature ...

blog.mozilla.org · Mozilla Security Blog

0
0
0
0
0
0
0
0
0
0
0
0
Florian Haas @xahteiwi@fedifreu.de
Public
Shared by leyrer

Wie haltet ihr das, wenn mehrere Ideen für einen Vortrag bei der selben Konferenz vorhanden sind: ist es besser,

A — einen einzigen Konferenzvortrag einzureichen (nämlich den, den man am liebsten halten möchte), oder
B — für alle Ideen Einreichungen abzuschicken?

(Gerne weitertröten, insbesondere dann, wenn du nicht zu den beiden Personenkategorien gehörst, für die es Auswahlmöglichkeiten gibt.)

0
0
0
みゆ•_• :ddoskey: @rabit777@ddoskey.com
Public

新人ちゃんのコロナが判明する前は「有給」と言ってた上司に、感染症による出社停止なので特別休暇(有給 個人の有給日数に影響なし)になりますって言ったら「5類なのに？」って言われた
「インフルエンザと同じです。出社停止なので」って返事したけど、みんな「5類」って名前になったら感染力が急激に落ちるとでも思ってんのか？？？？

0
0
0
1
0
0
0
0
0