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
Andy Piper @andypiper@macaw.social
Public

@ernmander in my experience it's just a question of engaging in conversations like these - we also have some fun chats in our Discord (for Patreon donors) on some community topics - I also look at the Lemmy groups that talk about Mastodon, and browse what folks are building via Codeberg etc.

0
0
0
Paul Cantrell @inthehands@hachyderm.io
Public

I have, much to my dismay, learned enough about stock trading to explain how to bet against Tesla as an individual, with your own money. Doing this can put downward pressure on Tesla’s stock price and hurt the company. (And if, like me, you’re betting that Tesla is grossly overvalued and will hit it hard, then this might actually make you money — but don’t count on that!)

I’ll share what I’ve learned in a thread here. I hope it helps others, and I hope people with actual expertise will correct me if I say anything wrong.

1/

0
0
0
상어아저씨 :blobcatverified: @vanillaprpr@planet.moe
Public

테슬라 오토파일럿이 안개나 폭우 상황에서는 불안정할 수 있구나

라는 이야기의 결론:
운전할때 정신 꼭 붙들어매라 자율주행이니 반자율주행이니 해도 통제권은 사람이 가지고 있어야 한다

이건 다른 회사의 자율주행 시스템도 공유하는 문제일 수 있으나
테슬라는 카메라 기반이라 더 그럴 수 있다나 뭐라나

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Cat Hicks @grimalkina@mastodon.social
Public

Seeing even "humanities" people post so much about saving the INFORMATION of science and really not at all about the humans who are scientists does convince me that our culture is fundamentally utilitarian and transactionally dehumanizing; you are nothing but an object, you are nothing but your intellectual value to others

Cat Hicks @grimalkina@mastodon.social
Public
Shared by Glyph

I have had trouble articulating exactly why I find a certain kind of humanities perspective very dehumanizing in a completely different way than the "STEM thinking" that's often critiqued in more lefty social media; I think part of it is because unlike many people on lefty social media I actually have experienced profoundly rightwing liberal arts and the type of vicious humanities that can drive philosophical takeovers of institutions and thought (e.g., law)

0
0
0
0
0
0
0
0
0
0
0
0
Cat Hicks @grimalkina@mastodon.social
Public

Seeing even "humanities" people post so much about saving the INFORMATION of science and really not at all about the humans who are scientists does convince me that our culture is fundamentally utilitarian and transactionally dehumanizing; you are nothing but an object, you are nothing but your intellectual value to others

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
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
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