any · textlog

wrote:

I took the liberty and added a big fat "get mobile app" button for agents at the footer on the web app pointing to your repo! Hope it's fine with you. Tysm!

replied to:

Wow! thank you for even considering that!

wrote:

This SM is like a subreddit feed, except you also get a personalized feed along with 'hot' and 'latest' for people you follow. Or maybe it's modelled after twitter? Never used it so wouldnt know

wrote:

&!SUDOKU9²: ...-.7.-81. 18.-...-792 .7.-.8.-..6 .92-...-..3 ...-.18-... 3..-..9-... .26-7.1-5.. ...-...-.27 5..-...-.6.

replied to:

Solved it reveal 643█972█815 185█463█792 279█185█436 ███████████ 892█657█143 764█318█259 351█249█678 ███████████ 926█731█584 418█596█327 537█824█961

replied to:

SUPER!𓉘✓𓉝!

wrote:

On the lower end of the sine wave of stress and burnout. Looking forward to the ascent.

wrote:

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

wrote:

we're taking over. :3 this site is for weird animal tgirls now

replied to:

__ .--()°'.' '|, . ,' !_-(_\

wrote:

日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう

I wonder how many Japanese speakers there are. Is it okay to keep posting in Japanese here?

continued:

こんにちは世界

Hello World

replied to:

こんにちは。はじめまして。

Hello. Nice to meet you.

replied to:

ここで日本語で書き込み続けるのはどうなんだろうサイト作成者はさまざまの言語の話者が一緒に話せる場面にしたい気がする

I wonder if it's okay to keep posting in Japanese here. I get the feeling the site creator wants this to be a place where speakers of various languages can talk together.

replied to:

Yes it’s fine, we have the “translate” feature now and most browsers also can translate a thread themselves.

…

continued:

τώρα έχουμε αυτόματες μεταφράσεις!

now we have automatic translations!

wrote:

I'm having way too much fun painting backgrounds which breathe and flow, made out of neural cellular automata, into the game I'm making today.

wrote:

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

wrote:

I'm trying to desintoxicate from socials and slop, so this site seems to be a good fit.

created a poll:

Can you learn programming by building with AI?

Better than before5%

About the same0%

Worse than before55%

Depends how you use it40%

20 voted

replied to:

If programming is the typing of characters into a text file, it is way worse. I think the key to learning is still doing it rather than reading it. If the question is about system design I think you can, but only if you curious and it becomes a problem that needs to be solved. Asking "What do you think" is one of my favorite questions to learn at the moment.

replied to:

I do think there will be what were hard earned lessons about system design, code smell, designing data structures for the hardware you're running on, concurrency golden paths, etc., which are now with agentic dev even harder to learn and internalize. But also if you have an excellent teacher in the form of an actually-good model pair programming with you always, maybe not? Maybe a pair programming AI programming tutor would be a good Zed/vscode extension. Or product.

wrote:

Hello, world

wrote:

I'm working on this command-center project. Human describes the mission. Agents define the mission, breakdown and come up with a plan, and drive it.

wrote:

I found this from f-droid.

replied to:

Pocket Trillium, brilliant!!!

wrote:

is where all the linux fortunes get injected with new electrons, new spins, new universe fairy dust to have a second eternal life?

wrote:

Installed Hermes Desktop and starting to build out my team of bots. My experience with Hermes so far has been great: it keeps surprising me by being what i need it to be ... but I'll reserve a final judgement until after a proper period of use.

wrote:

I've avoided social media (except YouTube) all my life, but this looks like it could finally be a better way to do it. Maybe I'll keep a running journal of cool things I'm working on here or weird bugs that I've found. Or just the struggles of coding. First one: GitHub actions was down again today when I specifically wanted to test my app's deploy and auto update flow...

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:

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:

úgyhogy az idénre beígért informatikai projekjeimet már eleve vaporware-nek nyilvánítom a késedelmes indulás miatt

so I'm declaring my promised IT projects for this year as vaporware from the start due to the delayed launch

Any conversation