Powdering7082

> I turned it on briefly to receive a confirmation code that I needed in order to maintain that phone plan itself, and once spiritually but not literally - when going on a remote and slightly dangerous hike, friends insisted that I bring along a few communication devices that they had for emergency comms and use them to check in once every few hours.

It is funny to have witnessed the conversion from the default state of people is being not connected digitally to being connected digitally and once people start living with the 24/h connection they start the perceive simply being out of cell network as carrying inherent risk.

I've noticed people reacting to going hiking beyond cell networks with a "but that's dangerous!" response. Being outside of cell networks was the natural state of being for the vast majority of human existence!

> ParticleDB’s home page advertised that ParticleDB was “formally proven” with a TLA+ proof.

Perhaps they meant formerly, probably just a speech to text problem

This was using llama-serve on my local which by default gave it current time & unhelpfully "get_info" which is specific to the browser

The full request was

``` {"messages":[{"content":"What animal lays the biggest egg?","role":"user"}],"return_progress":true,"sse_ping_interval":1,"stream":true,"tools":[{"function":{"description":"Returns the current local date and time in ISO 8601 format, with the IANA time zone name","name":"get_datetime","parameters":{"properties":{},"required":[],"type":"object"}},"type":"function"},{"function":{"description":"Get runtime info (OS name), may call when user asks about local files or shell commands","name":"get_info","parameters":{"properties":{},"required":[],"type":"object"}},"type":"function"}],"reasoning_format":"auto","reasoning_control":true,"backend_sampling":false,"timings_per_token":true} ```

Disabling tools removes the bit about mentioning instructions.

Just an interesting detail I noticed.

Do y'all have any penalty/regularization w.r.t. reasoning traces or is it pure SFT -> RL?

I am seeing the following in the reasoning trace:

> However, the instructions say I must use available tools when answering questions.

On "What animal lays the biggest egg?" with no system prompt

I assume this is something baked into the model through lots of RL with tool use?

Do you use API for google & anthropic or subscription? I was under the impression those two are apt to ban you for using their models in a non-approved way

What exactly would be the tragedy of the commons here?

Publishing a crap app on the app store doesn't make anyone else's app worse

Me too! (although I am hoping to release it, but it was primarily for me)

I was thinking about writing something and hopefully starting a community/resource area around hyper-personalized software, it's so easy to make now. I was thinking about how it'd be useful to have a place to share these, for ideation, sharing techniques and the ability for LLMs to riff on something already existing. It's not quite like open source's advantage of having many people contribute to the same project, but rather something that is closer to evolution, giving the next generation a place to start modifying.

Would you have any interest in sharing what you've made?

Is your claude.md, skills or other settings that you have honed public?

So by default it pulls out recent PRs, grabs only the tests that were commited and then checks to see how well an agent with different claude.mds can finish the test suite?

This excerpt is well worth reading IMO

Back when I first started doing these clean-up projects, I started by just picking up litter that was in my own neighborhood. (Because that was where I lived, and because I had never been to a lot of the other neighborhoods in my area.) But I found that the more that I did this kind of work, the more that I wanted to do it, and I eventually found myself going beyond my own neighborhood and into neighborhoods that I had never been to before. (Including the ones that I had always heard were "bad neighborhoods".)

Then to make things more interesting, I started using the city bus system for the first time, and I started making it a point to go someplace new that I had never been to before whenever I picked up litter. And after going through a big stack of monthly bus passes, and walking down just about every street in the city (and doing it alone and without a phone) I want to say that not only has nothing bad ever happened to me, but I've encountered a lot of strangers who were almost "too nice" to me...

Because these clean-up projects involve a lot of walking and lugging around heavy stuff, it seems that no matter where I go, strangers will keep pulling over to offer me a ride. And because I do these projects even during extreme weather, the more intense the weather gets, the nicer people will become. (During the summer on really hot days, strangers will keep pulling over just to ask if I'm going to be OK working outside in the heat and if they can go and buy some cold water for me, and sometimes people will even try to give me an umbrella or an extra coat on days when it's raining or snowing.)

And there were times when I would pick up a penny that was in the middle of road or stuck in a crack in the sidewalk, and I guess that it would give strangers walking by the impression that I must need money, and sometimes people would actually pull out their wallet and start trying to give me money!

Strangers will also come up and thank me for what I'm doing, and sometimes they will end up talking to me for a long time, and I've ended up meeting a lot of friendly people this way.

I have been shown such a good side of people, that it simply wouldn't make sense for me to go back to being fearful of strangers and automatically imagining the worst-case scenarios about them. (Like I tended to do back when I didn't get out much and my view of the outside world was being shaped by watching the News.)

I don't doubt that there is crime in my area. (After all, "littering" itself is a crime, and there are MILLIONS of examples of this crime in plain sight where I live.)

But because I have been doing these clean-up projects, I've spent more time outside and less time looking at a screen in the past few years than I have at any other time in my life. And I know that what I am about to say will probably sound crazy to anyone who did the exact opposite of that and who spent the past few years locked in their homes and being bombarded all day long by the media with stories about crime, riots, racism, sickness, and war, but I honestly have never felt safer going outside than I do today.

I started picking up litter in my neighborhood because I wanted to help make the world a better place, and because it got me to get out more and start to base my view of the outside world on my actual experience in the outside world, the world is a much better place to me now, and that is the priceless treasure that I found while picking up a zillion pieces of litter.

I mean they are being sued for insider trading, not exactly a bad headline maybe it could say alleged?

It seems extremely unlikely to me, a casual observer of the shit show that was Luna/Terra, that the suit would be successful