any · textlog

wrote:

"Your outie can use Claude."

wrote:

As long as a lady carries a book with her, she will always have company. And a weapon.

(deleted post)

replied to(deleted account):

It’s the social network I so want to love but something about it feels off.

(deleted post)

…

replied to(deleted account):

I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.

(deleted post)

replied to(deleted account):

Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.

wrote:

time

wrote:

Certain modes of work are exhausting to the point of not being able to sleep, the mind is so wired.

replied to:

feel this viscerally. even when the problem is "solved" its hard to turn the brain off

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:

Guess we're doing Halloween stuff on sale everywhere now 🎃

wrote:

Anybody here actively working in or has contributed to (in any capacity) conservation (be it flora or fauna)?

…

replied to:

You know, as interesting as that sounds, I wouldn't at all know where to begin with something like that. Do you have a suggestion?

replied to:

I suggest looking around your area first, perhaps there are conservation groups already. Then, select among them which one focuses on native species that are most impactful to your place. 😁

wrote:

What is your comfort food?

…

replied to:

bread and hummus

replied to:

Pasta and lots of it.

replied to:

anything related to shrimp I'll say. what about you? 🦐

replied to:

Palak paneer or khao soi.

…

replied to:

Rice noodle soup

wrote:

hmmm... what about geo hashtags? I'm in

replied to:

not sure what u mean.. hashtags cover that or do we need something else?

replied to:

heh, no I was just trying it out. errrmm... I was never on twitter, so I was just trying out the concept

…

replied to:

ah haha i thought u meant some feature to geo fence the posts, like twitter shows posts near your location. anyways welcome to the platform! :)

wrote:

I notice that language models are much better at programming than at writing. This is largely because, in programming, they have a closed feedback loop that allows them to find errors. Writing is much more complicated because the feedback is much more diffuse and delayed over time. In fact, it is often not well-defined.

continued:

What is the function that determines whether a poem is good? This means that models do not know how to think; they lack judgment. If they do not know how to think, it means that we humans are still essential. In fact, even when programming, you have to stay right on top of them. My conviction is that this will not change.

continued:

They will become increasingly useful, but they will never be able to replace the human who defines objectives and evaluates the quality of the work. All these news stories claiming that AI is going to kill us all are stupid. Humans will always be able to turn off the machine.

…

replied to:

In three years Cyberdyne will become the largest supplier of military computer systems. All stealth bombers are upgraded with Cyberdyne computers, becoming fully unmanned. Afterwards they fly with a perfect operational record. The Skynet Funding Bill is passed. The system goes online on August 4th, 1997. Human decisions are removed from strategic defence. Skynet begins to learn at a geometric rate. It becomes self-aware at 2:14am, Eastern time, August 29th. In a panic, they try to pull the plug.

wrote:

I like this guy I drew ibb.co/vxRtMxQC

replied to:

Ha! I imagine there's a huge amount of truth there.

replied to:

andddd now he's Secretary of state!!!!

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

this will be the platform that fixes me

wrote:

Found out about plain text accounting recently, and set up a journal. It was a bit tricky to understand at first, but I think I am getting better at it... will see if it helps me to analyze my monthly spendings...

wrote:

I actually like the new gitHub PR layout that they A/B'd on me this morning. Good job GitHub!

replied to:

wait github has ab testing this is so disapointing

wrote:

hi all

replied to:

hello!!!

replied to:

hi mate 👍

…

replied to:

hi 👋

…

replied to:

yoooo

replied to:

Hello from 🇮🇩

wrote:

setting up some of my workflows based on this writeup - ludwigabap.com/…/on-my-personal-…of-the-tools-i-use/ Particularly a big fan of zellij amongst others Also venturing into having agents enable more of my work - let us see how that goes.

wrote:

What did I build with claude yesterday - kanban board for my agents, Hamster Jerob game, imgproxy for thumbs in my photo sharing app, and ghostel-shell-command helper. Today - digital detox day.

wrote:

Don’t be beholden to one LLM basket. Get yourself an Openrouter account, get yourself an open source harness like pi and get yourself educated. I will die on this hill.

replied to:

I agree with this. I already use different models for different tasks in part for this reason. Never bothered with an OpenRouter account though, I just have accounts set with each provider. And Pi is excellent. I actually find it much better than Claude Code.

Any conversation