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
Eloise Lonobile @Beness.olistico@pixelfed.social
Public
Tok sen is an ancient technique that belongs to the oral tradition of Northern Thailand, especially widespread in the Chiang Mai area, and which therefore originates in the region of the Lanna Kingdom. It is performed along the meridians of the body, that is, the same energy channels on which Traditional Thai Massage and Thai Oil Massage work.

#toksen #thailannatoksen #thaimassage #traditionalthailandesemedecine #thailandesemeridians #thaimeridians #vibrations #connectivetissue #chiangmai
1
0
0
0
0
0
Alvin Ashcraft 🐿️ @alvinashcraft@hachyderm.io
Public

Microsoft build of Go Telemetry – Helping Us Build Better Tools | by George Adams.

devblogs.microsoft.com/go/micr

Microsoft build of Go Telemetry - Helping Us Build Better Tools

Starting with Go 1.25, we're enabling telemetry collection in the Microsoft build of Go to gather valuable usage data that helps us prioritize future roadmap items and improve the developer experience.

devblogs.microsoft.com · Microsoft for Go Developers

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
tobi (they/them) is writing bugs :terminal_cursor: @dumpsterqueer@gts.superseriousbusiness.org
Public

@dansup If you're really sorry about these posts you end up deleting minutes or hours later, perhaps you should implement some kind of system where you count to 30 or something before you post them, or draft them and read them back an hour later before you post them, or run them by someone else first. If you just delete heinous posts to clean up your profile, rather than addressing whatever lead you to make them in the first place, it doesn't really do much, imo, and it comes across as avoiding accountability rather than genuine contrition.

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

Bourbaki: Self-generated and goal-conditioned MDPs for theorem proving. ~ Matthieu Zimmer et als. arxiv.org/abs/2507.02726v1

arXiv logo

Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving

Reasoning remains a challenging task for large language models (LLMs), especially within the logically constrained environment of automated theorem proving (ATP), due to sparse rewards and the vast scale of proofs. These challenges are amplified in benchmarks like PutnamBench, which contains university-level problems requiring complex, multi-step reasoning. To address this, we introduce self-generated goal-conditioned MDPs (sG-MDPs), a new framework in which agents generate and pursue their subgoals based on the evolving proof state. Given this more structured generation of goals, the resulting problem becomes more amenable to search. We then apply Monte Carlo Tree Search (MCTS)-like algorithms to solve the sG-MDP, instantiating our approach in Bourbaki (7B), a modular system that can ensemble multiple 7B LLMs for subgoal generation and tactic synthesis. On PutnamBench, Bourbaki (7B) solves 26 problems, achieving new state-of-the-art results with models at this scale.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
João Santos @jmcs@social.jsantos.eu
Public

@dansup I still didn't read the web monetization proposal fully, but relying on crypto scammers like GateHub (did they ever reimbursed the money that was stolen in 2019?) is not better than paypal. At least Paypal is fully regulated in Europe. And honestly I trust SEPA transfers more than either of them, even for privacy.

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

The φ-weighted recognition hamiltonian: A self-adjoint operator unifying automorphic L-functions, E 8 symmetry, and cosmic dynamics. researchgate.net/publication/3

(PDF) The φ-Weighted Recognition Hamiltonian: A Self-Adjoint Operator Unifying Automorphic L-Functions, E 8 Symmetry, and Cosmic Dynamics

PDF | We construct a single, essentially self-adjoint Recognition Hamiltonian H = 8 n=1 H n + B, (H n f)(x) = x f (x), f ∈ L 2 R >0 , e −2x/φ dµ n ,... | Find, read and cite all the research you need on ResearchGate

www.researchgate.net · ResearchGate

0
0
0
0
0
0
1
0
0
Natalia Ossipova @nossipova@mastodon.social
Public
Shared by Jan Lehnardt :couchdb:

A reminder: I'm looking for a senior/staff engineer role, on-site/hybrid in Hamburg, Germany or fully remote elsewhere, can start asap. 10+ years of native iOS development of enterprise and consumer apps. Besides , , UIKit, iOS SDK, I've dealt with different app architectures, APIs, frameworks and requirements. Can work both in an agile team and on my own. AI usage isn't a problem but I strongly dislike all other tech stacks.

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

Robust, end-to-end correctness proofs of industrial divide and square root RTL designs. ~ Sol Swords, Cuong Chau. arith2025.org/proceedings/2159

Robust, End-to-end Correctness Proofs of Industrial Divide and Square Root RTL Designs

Sol Swords (Previous Institution: Intel Corporation. Current Institution: Arm, Inc.), Cuong Chau (Intel Corporation, Vietnam) · decomposition proof methodology, theorem proving, automated reasoning, equivalence checking, divide and square root verification, hardware verification

www.arith2025.org

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
1
제이미 @theeluwin@hackers.pub
Public

야크 털 깎기 안하기가 쉽지 않습니다.

  • 지금 필요한것: 일정 시간 동안만 설문을 수집하여 결과 확인하기
  • 올바른 구현: 구글 폼
  • 실제로 하고 있는것: 일정 시간만 공개되는 설문을 실시간 퀴즈 풀기 사이트와 유사하므로 웹소켓으로 퀴즈 내용을 알려주는 풀스택 웹서비스를 구현하기 위한 boilerplate에 혹시 모를 task 관리를 위해 redis 붙이고 celery 붙이고 모니터링 붙일지 말지 고민하기
6
1
0
PREreview @prereview@mas.to
Public
Shared by Danny Garside

📢 WE ARE HIRING! Join PREreview as our new Communication and Engagement Officer!

Are you experienced in crafting accessible, compelling narratives & care about driving transformational change in scholarly communications? Then consider joining our team!

Deadline of July 21st.

Learn more and apply here: job-boards.greenhouse.io/prere

Communications and Engagement Officer

Remote

job-boards.greenhouse.io

0
0
0
Elena Rossini @ele@elenarossini.com
Public
Shared by Danny Garside

https://elenarossini.com/2025/07/my-adventures-in-self-hosting-day-203/

Hello Fedi friends!

I’m currently experimenting with the POSSE method of publishing (“Publish [on your] Own Site, Syndicate Elsewhere”) on my federated WordPress site (this one) so that I can more easily organize posts and retrieve them in the future. This is the first of such posts.

I have created a “micro” post category and edited the functions.php file of my WordPress blog to exclude such posts from the main blog.

Here is the code I’m using:

function exclude_category( $query ) {
if ( $query->is_home() && $query->is_main_query() ) {
$query->set( ‘cat’, ‘-2132’ );
}
}
add_action( ‘pre_get_posts’, ‘exclude_category’ );

Where -2132 is the number assigned to the category “micro”.

You can find the category number by hovering over it in the Categories menu.

I also plan to tweak my site’s navigation menu to make “micro” appear under the blog category.

At some point in the future that will replace the “blog”… otherwise it’s too confusing to follow how many blogs I actually have.

I am also debating whether to migrate my GoToSocial account to WordPress using the MOVE function. What’s holding me back for now? I will need to be able to implement Serdy’s blocklists here before I do that. I experienced some terrible trolling and abusive messages when I didn’t have blocklists in place on my GoToSocial account last month, so I learned my lesson.

And I’d like to see how “social” the Friends for WordPress plugin by Alex Kirk is, before I consolidate my two accounts.

Anyway, this is all really exciting, made possible by the magic of and the ActivityPub for WordPress plugin by @pfefferleMatthias Pfefferle. Thank you Matthias!

Onwards and upwards!

My adventures in self-hosting: day 203 — Elena Rossini

today's experiment: setting up the POSSE method on my site, with a new "micro" blog category and federated posts

elenarossini.com · Elena Rossini

Link author: Elena Rossini@ele@elenarossini.com

0
1
0
0
0
0
1
0
0
0
0
0
0
0
0
Roshan 羅山先生 🌊 :verified: @Roshan@g0v.social
Public
Shared by MJ

我很喜歡購買小農產品。我在企業品牌部門任職時，每逢三節我很常購買小農禮盒送給客戶及投資人，有時下單多到青農來問我，市場上這麼多禮盒可以挑，為什麼選擇他們？

因為我在乎產地，我在乎品質。尤其現在大專院校農學院的產學合作，研發很多更精美同時又更環保的農業科學技術，幫助品管條件更好，還可以提高產業永續性，大農小農跟著老師一步步學習，調整自己的方法，成品都非常亮眼。

我支持這樣的精神與態度，因此我的消費並不吝嗇。

所以當有網紅青農說「哪裡便宜哪裡買、產地不都一樣」，我嗤之以鼻。是是是，你說得對，那我去買別人家的產品囉，反正我傾向支持更有內涵的小農經濟 🙂‍↕️

0
0
0
喵⋯⋯喵喵 🐈 @tony915@g0v.social
Public
Shared by MJ

找到一個方法可以過濾 Youtube 的簡體內容，搜尋的時候用減號把簡體關鍵字放進去，例如：「高音質 無損 音樂 2000 -无损 -音乐 -抖音 -国语 -精选 -音质 -播放 -器材 -耳機」

基本規則：
你想要的內容關鍵字
+ 年份 (可不加)
- 簡體關鍵字
- 不相關的關鍵字(例如產品名稱)

每次過濾的結果如果還有不想要的影片，就找出影片標題中的關鍵字用減號再加入搜尋關鍵字中。用久了就可以把後面一整排減號存起來，每次搜尋就貼上。

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

: Two postdoctoral positions in homotopy type theory at the University of Nottingham, UK. tinyurl.com/ysld3f5r

Job Vacancy at the University of Nottingham: Research Fellow - multiple positions (FTC)

Dependent type theory is a foundation of mathematics that allows us to mechanise arguments, and is closely related to higher category theory. It serves as that basis of programming languages and proof assistants. The current project aims to make...

jobs.nottingham.ac.uk · Jobs at the University of Nottingham

0
0
0