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.

1
0
0
0
0
1
0
0

時事、政治

トランプのアメリカひでえって思うんだけど、いまのイランまわりのかんじ、トランプよりずっと前からアメリカそんな国だったよね、というのをおもいだす

昔はそれがわたしはわかってなかったんよな

0
0
0
0
0

RE: mastodon.nl/@yamuis/1161697535

Retro válka

Mathijs Bouman

76letý Izraelec a 79letý Američan společně bombardují 86letého Íránce. Ten nepřežije. První dva staříci pocítili Epic Fury, epickou zuřivost. Proto.

Nyní znovu vidíme všechny vrcholy jejich mladých let. Rostoucí ceny ropy jako v roce 1973, íránská lidová revoluce jako v roce 1979, uzavření Hormuzského průlivu pro ropné tankery, stejně jako v roce 1984. Možná brzy dokonce i američtí vojáci na zemi, jako v roce 1990. Rakety dopadly tento víkend na Tel Aviv, jako by byl rok 1991.

Retro válka je zcela v módě. 73letý ruský diktátor nastolil tento trend před čtyřmi lety svým útokem na Ukrajinu, motivovaným nostalgií a falešnou historií.

Mezitím Pákistán bombarduje Afghánistán, stejně jako v roce 1986. 76letý pákistánský ministr obrany to nazývá „otevřenou válkou”. Dal jí jméno: Ghazab Lil Haqq, „Operace spravedlivý hněv”.

Naše geriatrická vládnoucí třída chce odejít s velkým třeskem. Jejich smrtelnost je činí „epickými“ a „spravedlivě“ rozhněvanými, a tak naposledy zapalují svět.

0
0

収益を当てにしないのであれば、無料版と有料版に機能面の差をつけないという方針もあるにはある。たとえばCotEditorは継続的な寄付(年額3,000円)をしている期間中はフッター(ステータスバー)にコーヒーのアイコンが表示される。(buy me a coffee的な意味で)

0
0
0
1
1
1
1
0
0
0
0
1
0
0
0
1
0
0

生成AIがどこまでいくのかいかないのか、そもそも持続するのかも含めてまだわかってないま、付き合い方もまだわかってる人はいないんだろなーと思う

投げてから帰ってくるまでが長いジョブを並列で投げて忘れる、みたいなのだと割と良い…と言いたいとこだけど、結果の質次第

とかねえ

0
0
0
0
0
0
0
0
1
1

AI, green energy inference

I got this setup working at home, to experiment with and help me to talk with colleagues about potential alternatives to Copilot/OpenAI/Anthropic.

It's using Regolo.ai, a 100% green energy inference provider with zero water waste, based in the EU: regolo.ai/the-environmental-im

I'm using their open weight models via OpenCode, which also works inside VS Code.

It doesn't solve all the problems with of course, but it seems preferable to the default Big Tech options. WDYT?

Screenshot of OpenCode model selection prompt listing models from RegoloScreenshot of output from Qwen3-Next-Coder model in OpenCodeScreenshot of OpenCode running inside VS Code, providing an answer about a blog post markdown file
0
1

Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].

[1] thefundamentaltheor3m.github.i

[2] leanprover.zulipchat.com/#narr

[3] math.inc/sphere-packing

0
0
0
0
0