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
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
Hacker News 50 @hn50@social.lansky.name
Public

AI solves Erdos problem #728 (Terence Tao mathstodon post)

Link: mathstodon.xyz/@tao/1158558402
Discussion: news.ycombinator.com/item?id=4

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
1
0
0
0
0
0
1
0
0
alexanderadam @alexanderadam@ruby.social
Public

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
1
0
0
1
0
0
Shugo Maeda @shugo@social.shugo.net
Public

近所（といいつつ徒歩30分）のローソンで売ってるかな

隔週刊 水曜どうでしょう DVDコレクション | デアゴスティーニ公式
deagostini.jp/sdd/

隔週刊 水曜どうでしょう DVDコレクション | デアゴスティーニ公式

「隔週刊 水曜どうでしょう DVDコレクション」デアゴスティーニ公式サイト。直送定期購読キャンペーンなど情報満載。どうでしょう班の成長と旅のすべてをDVDとマガジンで放送順に追体験！

deagostini.jp · DeAGOSTINI デアゴスティーニ公式

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

Man, nerves are just shot in Minneapolis right now. Everyone is on edge and frayed. Sightings are flying, rumors are flying, facts are flying. Feels like things are teetering. Everyone is working so hard to hold the community together, but I’m really worried that something is going to break.

1/

0
0
1
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
2
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
mayuri🏍:vrc::blobcamera: @mayuri041@misskey.io
Public
Shared by かぼぷ

・カメラ屋でいいレンズを見つけた際にピンとまっすぐになるアホ毛
・カビ玉やクモリ玉だった時しおしおになるアホ毛
・いい写真が撮れた時に回転するアホ毛
・欲しいものが手に入ったときに左右にルンルンした感じに揺れるアホ毛

RE: https://misskey.io/notes/ahb2mkkfge6p08mt

1
0
0
0
0
0
0
0
0
0
0
0
3
0
0
mayuri🏍:vrc::blobcamera: @mayuri041@misskey.io
Public

・カメラ屋でいいレンズを見つけた際にピンとまっすぐになるアホ毛
・カビ玉やクモリ玉だった時しおしおになるアホ毛
・いい写真が撮れた時に回転するアホ毛
・欲しいものが手に入ったときに左右にルンルンした感じに揺れるアホ毛

RE: https://misskey.io/notes/ahb2mkkfge6p08mt

1
0
0
0
0
0
1
0
0
1
0
0
1
0
0
Kojo Idrissa @ Home @kojoidrissa@fosstodon.org
Public
Shared by Paolo Melchiorre

@ryancheleyThe B is Silent @lorenipsumLoren

I'm currently surrounded by billboards from Odoo. Odoo is an open-source ERP built with Python. I live in the 3rd most populous county in the world's 3rd most populous country. This makes me think a few things:
1. They have money.
2. They got this money from a thing built in Python that they sell to businesses.
3. The PSF and DSF should be getting sponsorship money from this company.

However, I'm not the person to pursue this, so I'm passing the info on to you.

0
0
0
1
0
0
3
0
0
mayuri🏍:vrc::blobcamera: @mayuri041@misskey.io
Public

フィルム一眼はデジタルとレンズ共用出来るのでレンズ一つで3度おいしい（フルサイズ/APS-C/フィルム）だが気軽さが薄い
少しコンパクトフィルムカメラも欲しい気持ちがある

1
0
0
3
0
0
0
0
1
1
0
0
0
0
0