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
alexanderadam @alexanderadam@ruby.social
Public
Shared by Andy Piper

So there's a instance for people that are into called mathstodon… and that instance allows users to use .

The is amazing on so many levels.
Ah, and also you might read about problem 728 which was kinda solved with the help of : 😉

mathstodon.xyz/@tao/1158558402

Terence Tao (@tao@mathstodon.xyz)

Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)

mathstodon.xyz · Mathstodon

0
0
0
0
0
0
0
0
0
Gerry McGovern @gerrymcgovern@mastodon.green
Public

URGENT: If you're Irish read this. Please spread the word

"The government now wants to make it super expensive (>€100,000) for ordinary people to go to court to protect the environment.
The Government is currently engaged in an extremely short consultation on proposed rules to cap legal costs when you go to court and hold the state to account for breaking environmental law.
If you think this is wrong, make your views known by emailing
aarhus@dcee.gov.ie by 15 January.

0
0
0
Prof. Rachel Thorn 🍉🇺🇦🏳️‍⚧️🏳️ @RachelThornSub@famichiki.jp
Public

I am very much a non-expert, but to my amazement, I have been able to get up and running with a smartphone running an open-source, non-evil OS, and can actually do almost everything I had used my iPhone for. It is possible! But the most important thing to know is that, unlike an OS for computers, an OS for a smartphone has to be surprisingly device-specific. I had to track down a 9-year-old Google Pixel 3a XL in order to run the OS I wanted. It's doable! If I could do it, you can do it!

0
0
0
2
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
:pizza_enby_city: Admin :v_root: @tootadmin@pizza.enby.city
Public

Fediblock: fasterthanlime @hachyderm.io CW: harrassment

We're suspending the user fasterthanlime @ hachyderm.io for harassment of a Puerto Rican FOSS contributor and being a sloperator (someone who ruins the environment and code quality using ai).

The FOSS contributor, that fasterthanlime harassed, created an open source list of software projects infected with ai slop, and was harassed into leaving the FOSS community by people such as fasterthanlime who love LLMs more than they love BIPOC fems in this community.

What they did was shameful. They have tens of thousands of followers on fedi and thousands on GitHub. They knew what they were doing.

Fasterthanlime even went and removed all references to Kat's associated projects, such as KDL, and kept publicly shaming her. This is highly inappropriate and unprofessional.

LLM defenders are not allowed on this instance, especially if they harass Puerto Rican comrades out of the FOSS community. This is awful.

Anyone coming to defend LLMs or LLM users in the comments will be suspended.

Screenshot of @fasterthanlime@hachyderm.io on mastodon, who goes by amos, saying "mom mom I'm pominent" and linking to the codeberg.org gen-ai-transparency/open-slopware repo, where they were featured for having used ai in their project. At the time of screenshot, the post had 9 boosts and 26 likes with many replies, but only 1 quote.Screenshot of fasterthanlime changing 270 files in their facet-rs/facet repo via a PR 4 hours ago. Their repo has 2.3k stars, and 98 forks. The PR is #1730 and in this screenshot is open to a file called .claude/README.md in which they have removed support for kdl. Claude is a popular LLM for generating slop.
0
0
1
1
0
0
1
0
0
Richard MacManus @ricmac@mastodon.social
Public

Open question: how do tech folks keep track of interesting events and conferences you might want to attend. Back in Web 2.0, Upcoming was great for this. I know @andybaio resurrected it several years ago, but not sure if it’s currently maintained (it seems to only have a Twitter login option, for example). Is there an Upcoming for the fediverse? Or somewhere else to see what events e.g. @andypiper is going to this year? I.e. a social events app that isn’t Twitter-based (Bluesky would be ok tho).

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
2
0
0
0
0
0
0
0
0
0
0
1
0
0
0
daniel:// stenberg:// @bagder@mastodon.social
Public

My (public) weekly emails celebrate three years today. The fact that almost 500 subscribers willingly want my nerdy details every week fascinates me. I love you. 💚

daniel.haxx.se/blog/2023/01/10

My weekly report on email

Starting this week, you can subscribe to my weekly report and receive it as an email. This is the brief weekly summary of my past week that I have been writing and making available for over a year already. It sums up what I have been doing recently and what I plan to do next. … Continue reading My weekly report on email →

daniel.haxx.se · daniel.haxx.se

0
0
0
0
0
0
0
0
0
산세베리아 @sansebelia@buttersc.one
Public

리노트 환영!!
MO ETHICE 사회탐구영역 생활과윤리, 윤리와 사상(스티커+엽서 존재) 택미포 1.0
괴도님 일러북 더블 다운(double down) 아크릴 포함 택미포 5.0
(이건 본래 가격을 까먹어서 비싸면 말씀주세요)
양도합니다~ 관심있으시면 답글남겨주세요!

0
0
0
kazuhito @kazuhito@vivaldi.net
Public

New on Instagram: 前から気になっていた、Let’s Beer Worksのタップルームを初訪問。席があって良かった……じっくり2杯いただきました。 instagr.am/p/DTVDGTUD4N1/

Kazuhito Kidachi on Instagram: "前から気になっていた、Let’s Beer Worksのタップルームを初訪問。席があって良かった……じっくり2杯いただきました。"

0 likes, 0 comments - kazuhito.kidachi on January 10, 2026: "前から気になっていた、Let’s Beer Worksのタップルームを初訪問。席があって良かった……じっくり2杯いただきました。".

www.instagram.com · Instagram

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
Minnesota 123456 @Minnesota411988@mastodon.social
Public



It was overt even before Wednesday morning.

This Will Happen Again
The conditions that claimed Renee Nicole Good’s life will claim the lives of others.
By Elizabeth Bruenig
The Atlantic
2026-01-10

“What is now overt, in a way that it hadn’t been Wednesday morning, is that these agents are at war with the public, and have been for some time.”

theatlantic.com/ideas/2026/01/

This Will Happen Again

The conditions that claimed Renee Nicole Good’s life will claim the lives of others.

www.theatlantic.com · The Atlantic

0
0
0
Horologram @horologram.bsky.social@bsky.brid.gy
Public

트럼프의 묘한 정책인데 월가 회사들 반발이 엄청날듯 할 강제로 금리를 내리는 효과가 날것 같은데 지금 아마 이렇게라도 안하면 침체가 확정적이라 그러는것 같음 물론 실제로 실행되긴 어려울듯

RE: https://bsky.app/profile/did:plc:uf6xe5actjzjqqglrr5fvu7j/post/3mc2v2z2jqs22

Barchart (@barchart.com)

JUST IN 🚨: Credit Card Interest Rates will be capped at 10% beginning January 20, says President Trump 🤯👀

bsky.app · Bluesky Social

0
0
0
1
0
0
4
0
0