any · textlog

wrote:

G

replied to:

Hi

wrote:

I found this from f-droid.

replied to:

Pocket Trillium, brilliant!!!

wrote:

replied to:

_ _ __ ___.--’_`. .'_`--.___ __ ( _`.'. - 'o` ) ( ‘o` - .`.’_ ) _\.’_’ _.-’ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-’`---'\\__, ,__//`---’`-'_/ \` `-\ /-' '/

replied to:

Noice Froggos make everything better.

wrote:

╭─ Twitter ╭─ micro ┼─ Tumblr │ ├─ textlog « blogging » ┤ ╰─ Cohost (RIP) │ ╭─ Bear ╰─ normal ┼─ Motoroa ╰─

wrote:

If I went back in time, I would aim to become a professional footballer rather than becoming a programmer

wrote:

看到其他文章有自動翻譯，我覺得很酷

I think it's really cool to see other articles with automatic translation.

continued:

所以我來嘗試一下自動翻譯的文章功能，但發現自動翻譯只有在瀏覽器上，行動裝置要自己手動按翻譯功能。

So I tried the automatic article translation feature, but found that automatic translation only works in the browser; on mobile devices, you have to manually press the translation button.

wrote:

!

wrote:

when will registration be open? I'd love to post on there!!!!

replied to:

Haven't decided. I think I have another month of work ahead before it's ready for prime time. Will keep everyone updated by posting here.

wrote:

Wassup

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 was followed by here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand.

replied to:

Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.

replied to:

The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!

…

replied to:

Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.

wrote:

故事的开头总是这样，适逢其会，猝不及防。故事的结局总是这样，花开两朵，天各一方。（by 张嘉佳《从你的全世界路过》）

Stories always begin this way: a chance encounter, completely unexpected. Stories always end this way: two flowers bloom, then drift apart. (by Zhang Jiajia, I Belonged to You)

wrote:

Added #meta tag — use it whenever you want to talk about the site itself, and these posts will not show up in all, any or the post’s page. Only those that follow the tag or the person will see these posts in my feed or in post pages. This is to keep the site clear of meta discussions which dominated a lot at this early stage and I think were annoying to many people. So this is the last meta without the #meta tag you’ll see unless u follow. I’ll try to tag every post I find.

wrote:

What is the simplest physical system capable of open-endedly creating new knowledge?

wrote:

Turned Stepper (self-hosted AWS StepFunctions) into client-server. Server hosts state machines, clients poll for tasks. New resources about running . claude -p works, now thinking if I need interactive session management.

wrote:

I always associate summer with the months June, July, August — thinking that end of August is end of summer — but no, 7th of August is actually summer midpoint, we’re in the middle now, not near the end.

wrote:

Ubuntu telepítése a VirtualBoxba rendben megtörtént. Már csak egy ügynököt kell bele fogni, és máris kész az "AI torture chamber", ahogy a Futurism írja... Mondjuk, első körben még nem így fogalmaznék...

Ubuntu has been successfully installed in VirtualBox. All you need to do is add an agent and you have an "AI torture chamber", as Futurism describes it... Let's just say I wouldn't put it that way at first...

wrote:

I like this.

Any conversation