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
0
0
0
Constraints Journal @constraintsjournal@mastodon.acm.org
Public

Many thanks to Springer's SharedIt program!

From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents):

a4cp.org/cj2











Screenshot from the ACP website, with the following contents Site header: ACP logo, Association for Constraint Programming Header H1: Constraints Journal Image with cover of the Constraints Journal Text: Constraints, published by Springer, is the journal for our community. Through the generosity of Springer's Sharedit program, we will also be providing access to the journal issues at this site, starting with Volume 29, Issues 3,4. In addition we will be providing here short introductory videos for the papers, provided by the authors. Further information about the journal, earlier issues, a search facility, submission information, etc. is included in the Springer website for the journal, which can be found here. Header H2: Volumes - Volume 29, issues 3,4
Constraints Journal @constraintsjournal@mastodon.acm.org
Public
Shared by Dr. Anna Latour

If you haven't heard about SharedIt yet, let us tell you about it!

springernature.com/gp/research

"SharedIt content-sharing initiative means that links to view-only, full-text subscription research articles can be posted anywhere"
"When your research article is published, an email will be sent to the corresponding author with a shareable link."


Screenshot from Springer Nature's SharedIt website. Header: SharedIt - Springer Nature's commitment to content sharing Text: Springer Nature wants researchers to share content easily and legally. Our Springer Nature SharedIt content-sharing initiative means that links to view-only, full-text subscription research articles can be posted anywhere - including on social media platforms, author websites and in institutional repositories - so researchers can share research with colleagues and general audiences. Then a form titled "Request Sharing Link", with the fields "Article DOI" and "Email", and a checkbox saying "I hereby confirm that I am an author of this article.", followed by a "Request Link" button. Then a Springer Nature SharedIt banner, saying that SharedIt was an ALPSP Awards for Innovationin in Publishing 2017 Finalist, sponsored by MPS.
0
0
0
Constraints Journal @constraintsjournal@mastodon.acm.org
Public
Shared by Dr. Anna Latour

Many thanks to Springer's SharedIt program!

From now on, we will share new issues of the Constraints Journal on the Association for Constraint Programming website, along with bonus content (e.g., videos about the contents):

a4cp.org/cj2











Screenshot from the ACP website, with the following contents Site header: ACP logo, Association for Constraint Programming Header H1: Constraints Journal Image with cover of the Constraints Journal Text: Constraints, published by Springer, is the journal for our community. Through the generosity of Springer's Sharedit program, we will also be providing access to the journal issues at this site, starting with Volume 29, Issues 3,4. In addition we will be providing here short introductory videos for the papers, provided by the authors. Further information about the journal, earlier issues, a search facility, submission information, etc. is included in the Springer website for the journal, which can be found here. Header H2: Volumes - Volume 29, issues 3,4
0
0
0
Darius Kazemi @darius@friend.camp
Public

Re: LLMs I am not a complete doomer. I think there are good applications for statistical processes that run on text!

That said, I keep seeing demoware for supposedly world-changing applications.

Maybe the core function of LLMs in a PRODUCT category is they let us automate and abstract out the "break things" part of "move fast and break things". Critically the "break things" is black boxed so now none of us can be held accountable for breaking anything...

0
0
0
nightside @nightside@g0v.social
Public

看到推友說，看了魯蛋玩《刺客教條：暗影者》的精華，佩服魯蛋是以玩遊戲為工作的男人，「這什麼廢到笑的遊戲也得玩下去，根本職業傷害」，我馬上也去找精華來看。
x.com/eason1305/status/1902711

結果看到魯蛋的觀眾留言：「餐包啊（魯蛋的兒子小名）以後看到這支影片記得要好好孝順你的爸爸，他的犧牲實在太大了」wwwwww

0
0
0
Dendrobatus Azureus @Dendrobatus_Azureus@mastodon.bsd.cafe
Public

Artificial intelligence companies are creating incredibly large scale denial of service situations on the infrastructure of Open Source Networks.

Now Network owners need to waste time on Finding ways of sending All These requests of the rogue AI insects to /dev/null

@altbot

thelibre.news/foss-infrastruct

screenshot of a messaging app conversation. The main text at the top reads: "Then, yesterday morning, KDE GitLab infrastructure was overwhelmed by another AI crawler, with IPs from an Alibaba range; this caused GitLab to be temporarily inaccessible by KDE developers." Below this, there are several messages in a chat interface. The first message is from a user named "bcooksley" at 11:35, stating: "Invent is getting Denial of Service'd by an Alibaba IP range." The second message is from a user named "Akseli" at 11:38, saying: "LLM bots again?" The third message is from a user named "svuorela" at 11:39, with the text: "* svuorela ([@]_irc_svuo...). The background of the screenshot is black, and the text is in white and pink.
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Demostraciones de "s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)" con Lean4 y con Isabelle/HOL. jaalonso.github.io/calculemus/

Propiedad semidistributiva de la intersección sobre la unión

Demostrar con Lean4 y con Isabelle/HOL que \[s ∩ (t ∪ u) ⊆ (s ∩ t) ∪ (s ∩ u)\] Para ello, completar la siguiente teoría de Lean4: import Mathlib.Data.Set.Basic import Mathlib.Tactic open Set variable

jaalonso.github.io · Calculemus

0
0
0
1
0
0
Glyph @glyph@mastodon.social
Public

I generally feel like just opting out of the news entirely is irresponsible, there's a lot that we really need to know, but there are some stories that I am really glad to have missed. it has definitely saved me a lot of time both thinking about it and being mad about it that the very first thing that I have heard about "LG's NFT marketplace for TVs" is that it's shutting down mastodon.social/@verge/1141956

The Verge (@verge@mastodon.social)

LG’s NFT marketplace for TVs is shutting down https://www.theverge.com/news/633272/lg-art-lab-nft-marketplace-shutdown

mastodon.social · Mastodon

0
0
0
Qasim Rashid, Esq. @QasimRashid@mastodon.social
Public

Wow. Mexico's President Claudia Sheinbaum officially recognizes Palestine as a state. Here she welcomes Palestinian ambassador Nadya Rasheed.

Sheinbaum is Jewish, supports Palestinian self-determination, & unapologetically condemns Netanyahu's attacks on Gaza.

Historic & inspiring leadership. ❤️✊🏽

0
0
0
0
0
0
0
0
0
Ed @edwellbrook@mastodon.social
Public

fediverse dev friends:

i have a custom activitypub server running locally on my machine. i want to test its activitypub implementation against a (local?) mastodon server *without* exposing anything to the public internet.

what's the simplest way to do this?

how do AP devs usually test this stuff without exposing works-in-progress to the public internet?

ty!

0
0
0
0
0
0
0
0
0
John Carlos Baez @johncarlosbaez@mathstodon.xyz
Public

Want to leave the US? Stockholm University is also hiring an Assistant Professor in Mathematics with focus on Mathematical Logic in the Department of Mathematics. The position is tenure track and the candidate will be part of the long standing tradition of logic research in Stockholm. Applicants from all areas of logic and related areas are very welcome to apply. Women and other underrepresented groups are strongly encouraged to apply.

Application deadline: April 15, 2025, 11:59 PM CEST

The Logic group in Stockholm currently consists of professor emeritus Per Martin-Löf and associate professors Peter LeFanu Lumsdaine and Anders Mörtberg with PhD students and postdocs. The Department is a vibrant place for logic research with a weekly seminar (logic.math.su.se/seminar/), advanced courses in logic, and close collaborations with other research groups in Sweden and internationally.

More information about the position and how to apply: su.varbi.com/en/what:job/jobID

(2/2)

The Stockholm Logic Seminar

logic.math.su.se

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
5
0
0
0
0
0
0
0
0
0
0
0
0
0
0
10
0
0
2
0
루미논카노네스🌨️ @atLuminon@byeolvit.space
Public
Shared by 안녕

만석반도체(Mansuk Semiconductors Co., Ltd.)의 최신 4cm 공정 CPU(Chicken Party Utility)가 패키징되어 있는 모습이다. 광활한 다이 크기를 가득 채운 본-리스 코어가 강력한 성능을 제공할 뿐만 아니라, “우리에게 AI(Avian Influenza)는 절대 있을 수 없는 일이다”라고 공언하며 창작자들에게 큰 호응을 얻을 것으로 기대된다. 하림닉스(코스닭 136480) 및 마니커론 테크놀로지(나스닭 MU)을 비롯한 많은 반도체 업계가 시장의 선두를 지키고 있는 가운데, 만석반도체가 이들의 파이를 얼마나 뺏어올 수 있는지 기대되는 대목이다.

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Glyph @glyph@mastodon.social
Public

and while I am complaining about internet problems which maybe just affect me: it really seems like _every_ website yesterday was giving me a fastly or cloudflare captcha interstitial or at the very least a flash of "uh, just making sure…" content branded by the CDN before sending me to the actual site. it seems to be getting a bit better today (I did see *one* this morning) but I am concerned that my IP has been used for something nefarious

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Linear @linear@hackers.pub
Quiet public
  1. 처음 써 보는 조용한 공개. 조용한 공개는 일반 공개와 뭐가 다를까. 연합 우주에는 올라가지 않는 거려나?
  2. 블스 연동을 했는데 hackers.pub 프로필에 쓴 텍스트가 블스 프로필로는 다 옮겨지지 않는다. 글자 수 제한이 있는 걸까요.
  3. 앱 지면을 무슨 아마존처럼 탐험하며 여기도 광고 넣을 수 있겠다! 저기도! 하는 흐름에 현기증이 난다. 이게 우리 회사 임원인지 사모펀드인지⋯.
  4. 마라톤 행사만 끝나고 나면 이것저것 해 보고 싶은 게 많은데.
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0