Any conversation

Finally got around to setting up Remux on my phone so I can connect to tmux sessions when I'm not at my laptop. Even just for around the house, this seems like it'll be super useful.

Tell us more! What apps are you operating?

This is for monitoring/poking agentic coding sessions while I'm not at my computer. So, typically Claude, Emacs, and an overmind process running my app locally in different panes of a tmux window.

Call me old fashioned, but instead of adopting one of the "agentic coding orchestration frameworks" that seem to basically be reinventions of tmux, I've been tweaking my tried-and-true tmux-oriented workflow to incorporate agentic coding harnesses in an ergonomic way. I'm currently still using Claude Code, but getting Pi-curious as local models advance.

I will be dead, and many years will pass after that, before local models are capable to match those of the big companies, unless their intended use is banal.

…

It seems like we've reached a point where mid-grade frontier models like Sonnet are good enough for most day-to-day tasks. And Sonnet-grade models are already runnable on the higher end of consumer hardware. In which case, I can imagine a workflow where local models serve as workhorses for implementing plans that you may bump up to e.g. Opus or Sol to produce.

I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.

I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.

Watching the UTMB livestream. Any other trail fans out there tuning in?

It was only yesterday that I clicked on a Translate button to read a Japanese post. Today I see a Chinese post with English translation right below. Beautiful stuff.

Ask HN: What's slop? what's AI written text and why read/not read? news.ycombinator.com/item?id=49289341#49290428

You've hit the nail on the head. But here's the mindblowing part—writing isn't just about text on a page. It's not about listing a bunch of facts to memorize. Writing is about human connection. And here's where it gets even more fascinating... [parody, not AI]

…

Some writing yes, If you want to write a post saying why your company has a position yes; if you are documenting an API, does the average swagger page have a human connection factor? If you are in X/FB, is any of your followers a "human connection"?

Then, in some spaces, say big corp communications, the terse, direct communication is desired, for example the quarter earning communication? What about software?, what part of your browser gives you the "human connection"?

If writing (incl X/FB posts) is meant to convey "some human being did/saw/thought this and found it worth writing about", then AI undermines human connection and will annoy people. API docs, earnings reports, &c never conveyed that to begin with, so nobody will care about AI use.

I think slop is not taking the time to refine and polish and simply publishing something as it was handed to you by the . You use AI but the decisions should be yours. Otherwise it's .

i would choose x and the fediverse over this tbh

You can now change the theme/color scheme appearance by . Thanks to who implemented this first in their app and which I shamelessly ripped from.

nice i dig the dracula

dracula is nice yeah i use that now too

…

Thanks for that one!!

cool!

I think more than 50% of our economy's businesses, are cosplaying. Not in it for customers or profit; in it for investors and investments. "Looking like a business", as your real line of work.

Like a very elaborate pump and dump but with an intellect and capital entry barrier

…

Influencing, OnlyFans, sports betting, prediction markets. Gambling is fast becoming the American way of life.

"Financial nihilism" is the keyword

I've never thought of something like OF as gambling. But I guess your point is that young adults are pushed to a lot of "you have a 0.1% chance of hitting it big and a 99.9% chance of getting no online traction at all" types of careers?

…

Yeah, no point in investing in yourself or a real sustainable long-term future, just gamble the little you have for a shot at life above the line. Barbell economy.

…

I know many small business owners, and a clear majority do have investors, whether spouse, parents, or a small business loan. Easily more than 50% never make a profit. I know a woman who ran a clothing retail store for over a decade, who was never able to pay herself a dime. When the pandemic hit, everyone closed, but the ones who actually needed the business to pay their bills opened up as soon as it was allowed or shortly thereafter. Many took years. They are cosplaying.

a business loan is not an investment, it is debt financing that pays back with interest. An investment means putting money into a company to gain ownership or a share of future profits. to me it feels like youre arguing against cosplaying, showing small businesses struggle and arent just playing boss for the funzies.

Is anyone interested in the situation of homeless people in China?

Yep spill the beans

okay, writing from emacs, textlog.el -

Beautiful, thanks for this, fellow emacs friend

I'm in bed and cannot sleep

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!

Wow! thank you for even considering that!

hello world

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

Bad people are working together to enrich themselves and slave others into rat races. Good people need to start working together too.

Good people are always more, if more affraid of things. Bad people, unfortunately, is more willing to make harm, hence why they keep the upper hand. To support eachother is the minimum we need to move forward, and so long this doesn't happen things will remain the same. A revolution, as they say, doesn't happen with a single person, we need the mayority to join.

"we need the majority to join" - this is a very interesting point; actually we only need 3,5% 👌 Erica Chenoweth from Harvard found this from their research with Maria J. Stephan, and wrote the book "Why Civil Resistance Works". They also found that nonviolent resistance is more often successful than the violent ones. Very interesting stuff.

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.

even vanguard supports passkeys now investor.vanguard.com/…/trust-security

I'm so fed up with the series of tabloid articles claiming Koji was a stand-in actor in koitoki. the 'insider' seems to be part of the staff since they had access to details like the location of the wrap-up party. Idc who they are and how true their information is, the intention is obviously malicious. it's just disappointing that a person like that is blending in with the people my oshi works with, viewing him as nothing more than a subject to sell to trash tabloids.

the fact that these articles completely contradict official content is reason enough to ignore them. for instance, the article claimed Koji wasn't as cheerful as usual, yet the crank-in footage with Mone-chan was filled with laughter, and she even explicitly called him the mood maker of the set. they also claimed he joined filming late, contradicting the fact that they all met at the initial script reading. plus, on sunomanma, Raul even mentioned seeing the original drama proposal early on.

an official article from the director confirming he sent the offer to Koji after seeing his performance in 'fake mommy' is the only thing we should believe. behind-the-scenes details that aren't officially shared shouldn't be treated as truth. I don't understand why they're so persistent about how Koji got the role. why not direct that focus toward the one prominent cast member with a history of racism and misogyny? that's the only valid reason to feel uncomfortable about this drama.