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.

なうぞめ @nz@misskey.pm
Public

安くない？？

月間 約790,000件（令和5年4月1日から令和6年3月31日までの月間平均）
（補足）トップページのみのアクセス件数（ページビュー単位）です。また、これは参考値であり、毎月のアクセス件数を保証するものではありません。
1枠当たり 5,000円（税込み）
www.city.saitama.lg.jp/005/002/006/001/p009747.html

さいたま市図書館ホームページバナー広告募集要項

www.city.saitama.lg.jp · 埼玉県さいたま市役所公式ホームページ

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

A formal proof of complexity bounds on diophantine equations. ~ Jonas Bayer, Marco David. arxiv.org/abs/2505.16963

arXiv logo

A Formal Proof of Complexity Bounds on Diophantine Equations

We present a universal construction of Diophantine equations with bounded complexity in Isabelle/HOL. This is a formalization of our own work in number theory. Hilbert's Tenth Problem was answered negatively by Yuri Matiyasevich, who showed that there is no general algorithm to decide whether an arbitrary Diophantine equation has a solution. However, the problem remains open when generalized to the field of rational numbers, or contrarily, when restricted to Diophantine equations with bounded complexity, characterized by the number of variables $ν$ and the degree $δ$. If every Diophantine set can be represented within the bounds $(ν, δ)$, we say that this pair is universal, and it follows that the corresponding class of equations is undecidable. In a separate mathematics article, we have determined the first non-trivial universal pair for the case of integer unknowns. In this paper, we contribute a formal verification of the main construction required to establish said universal pair. In doing so, we markedly extend the Isabelle AFP entry on multivariate polynomials, formalize parts of a number theory textbook, and develop classical theory on Diophantine equations in Isabelle. Additionally, our work includes metaprogramming infrastructure designed to efficiently handle complex definitions of multivariate polynomials. Our mathematical draft has been formalized while the mathematical research was ongoing, and benefitted largely from the help of the theorem prover. We reflect how the close collaboration between mathematician and computer is an uncommon but promising modus operandi.

arxiv.org · arXiv.org

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

Readings shared May 23, 2025. jaalonso.github.io/vestigium/p

Readings shared May 23, 2025

The readings shared in Bluesky on 23 May 2025 are A formal proof of complexity bounds on diophantine equations. ~ Jonas Bayer, Marco David. #ITP #IsabelleHOL #Math Solving guarded domain equations in

jaalonso.github.io · Vestigium

0
0
0
1
0
0
0
0
0
17
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
1
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
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Stefan Bohacek @stefan@stefanbohacek.online
Public

Echoing what @anildash said here. Truly an end of an era.

me.dm/@anildash/11455288010404

I've been a huge fan of Glitch before it was called Glitch. I've hosted dozens of apps, which have been turned into remixes by the community, covered by the Verge, won a Glitch app of year award, I wrote tutorials using Glitch, got interviewed for their blog, I could go on.

But I might just save that for a separate blog post. Until then, wishing Anil and the rest of the team all the best!

Anil Dash (@anildash@me.dm)

This one was, obviously, bittersweet to write: we’re shutting down app hosting on Glitch. This post covers how everybody can export your apps & download your code. I didn’t get into where the Glitch community goes next, because honestly we’re still figuring it out, but it’s still the end of an era. I’ll have more to share about this later, of course, but I just wanted to make sure everyone got the news straight from me. If you have any questions, you can ask in the forum. https://blog.glitch.com/post/changes-are-coming-to-glitch/

me.dm · me.dm by Medium.com

Stefan Bohacek @stefan@stefanbohacek.online
Public
Shared by @reiver ⊼ (Charles) :batman:

I wrote a few words, recounting my experience with Glitch, how much it meant to me, and how unique it is as a tool and a community.

stefanbohacek.com/blog/so-long

A 3-by-2 grid of slightly rounded squares, each containing a simple illustration and a caption. - Tools for Work (drawing of a steaming cup of coffee or tea) - Community Picks (2-D drawing of a diamond) - Handy Bots (a cube with a big robot-like face and stick-figure arms and legs) - Building Blocks (a shape-sorter toy viewed from above) - Games (geometric Tetris shapes) - Learn to Code (three books stacked on top of each other titled Birds, Code, Bees)

So long, Glitch, and thanks for all the apps | Stefan Bohacek

The story of Glitch started back in May 2016, when it was announced under the name Hyperdev. It was a truly revolutionary idea at the time: anyone can create a node.js app, edit it in their browser, and host it completely for free. And others can create their own “remixes” of your app! The name...

stefanbohacek.com

Link author: Stefan Bohacek@stefan@stefanbohacek.online

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
r1w1s1 @r1w1s1@snac.bsd.cafe
Public
Shared by Stefano Marinelli

Today, the world lost Sebastião Salgado — a giant in the world of photography and one of the most profound visual storytellers of our time.

His work showed us the dignity of labor, the harsh beauty of migration, and the fragile splendor of our planet. As a street photographer myself, I’ve often looked to his images not only for inspiration but as a reminder of why we press the shutter: to witness, to care, and to remember.

Obrigado, mestre Salgado. Your light will never fade.


0
0
0
CherryPick GitHub Notifier @repo@kokonect.link
Public
Shared by Esurio

🆕 Pushed by noridev with 1 commit:
・?[7b82661] enhance(frontend): (Friendly) 스크롤 시 요소 표시 기능에 의해 숨기도록 설정하지 않은 요소는 스크롤하면 반투명하게 표시되도록 변경됨

🌎 A interplanetary communication platform 🚀. Contribute to kokonect-link/cherrypick development by creating an account on GitHub.

Contributors to kokonect-link/cherrypick

🌎 A interplanetary communication platform 🚀. Contribute to kokonect-link/cherrypick development by creating an account on GitHub.

github.com · GitHub

0
0
0
0
0
0
0
0
0
0
0
0
맹꽁이 @sunwoo1524@pointless.chat
Public

어느 오디오 커뮤니티 사이트에 저번에 중고로 산 TEAC SL-D950의 노이즈 문제를 물어봤는데 밖에 나온 금속 부분에 손 댔을 때 노이즈가 사라지지 않으면 접지 문제가 아니라고 했었음
그것만 알려주고 그 뒤로는 답이 없어서 해결 방법은 모르지만 일단 접지 문제가 아니라는 건 알게 됨
그러면 수리업체에 들고가서 뜯어야하나...

0
0
0