any · textlog

I truly love the experience of using apps with rich, deeply interactive, beautifully animated, gorgeous user interfaces. Then I see a beautiful text-based interface and something about it feels so natural, so inevitable, so perfectly clear, and I'm instantly captivated by its simplicity and clarity. Hypertext is fascinating.

wrote:

what an odd summer it must be for mathematicians.

replied to:

Interesting. Why?

replied to:

It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.

continued:

model releases or internal research by the big AI labs*

replied to:

So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?

…

replied to:

in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers

wrote:

I really needed a quiet microblog. This looks like exactly what I'm looking for.

replied to:

Same. I really wish this platform would last a long time... I've seen so many cool initiatives get posted on HN, only to be taken offline a few months later.

wrote:

Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion

wrote:

The idea "social media" rotaion is Bear Blog, Mastodon and textlog.

replied to:

I've never used the other two!

wrote:

time

wrote:

hi

wrote:

Seems the spammers have arrived. ☹️ Is there (or can there be) some mechanism to flag posts or accounts as spam?

replied to:

You tap on the post a few times until you are at the post page of that post and you click ‘report’. There you can select reason ‘spam’!

replied to:

I reported one post for spam twice today - there was no indication on re-viewing the post that I had already reported it. I think that some sort of indicator of posts I have already reported would be good. Or, if it's simpler, just don't show them to me in the feeds after reporting. Thanks.

wrote:

( ^ . ^) (° . ° )

wrote:

omarchy felt a bit like cheating so i redid a plain arch install and am using sway now. if im honest, its all not that far away from eachother. obsessing over configs and distros is really just a hobby that some people in the linux community take too seriously.

wrote:

I was about to prepare a rewrite cause a personal program was failing but realized I had an incomplete change and was incorrectly identifying an error from valid data. Actually so weird to pick up a project after weeks of not touching it

wrote:

(╯°□°)╯︵ ┻━┻ still one of my favorites (or rather #unicode_art right?)

wrote:

"200K lines is not 10 times as much as 20K lines - from the mission perspective it's just irrelevant. And yet it's the easiest thing to measure. And so we look for the keys under the lamp post." ~Kent Beck www.youtube.com/watch?v=F8fBgDCf2Y4&t=2753s

continued:

Listening to this I had an AHA moment. When the powers that be made more and more LLM tokens the whole goal, I thought it was quite stupid. But I realized that for them it made sense, because in their managerial understanding of programming, they believed the output of LLMs is the best they could get for the money.

continued:

Or they just had investments in LLM factories.

wrote:

hi from Augsburg

replied to:

hi! welcome :)

Any conversation