dotancohen

Math is a tool. It's what people do with the tools after they are invented that matters - and with mathematical tools sometimes that wait is hundreds of years.

The mathematics community has found that the tools have value long after being invented if the inventor leaves his tools in a specific format. The community is doing its best to preserve that - not because they want less toolmakers, but rather because they want the tools to be useful when they become needed.

Thank you. I might just check that out.

Even for LEO. Plane changes are expensive - and you've got to then wait potentially many orbits to get a collision. To shorten that timeframe you'd change your apogee or perigee anyway.

Raising the apogee, then changing the inclination there is relatively cheap - and you can adjust the plane change and apogee to time a collision. Remember - there is no need to recircularize. Just collide. If the goal was to recircularize then I don't know if raising the apogee would be worth it, maybe for extreme cases. But not for a collision.

The attacking bird needs to raise apogee to GEO anyway - after that the plane change is relatively cheap. They might not even raise perigee.

I'll look into Adam, thank you!

  > They could at least let you actively decide if you want to allow it to be drawn down and to what extent; some sort of latitude. As it is, for them it's money for nothing.

Is there possibly a breaker connecting the home mains with the grid? Which side of the breaker is the battery on? Will the system continue to output even if it doesn't have a reference AC waveform from the grid?

You and I live in areas where social norms are to help our neighbours and contribute to our communities. GP seems to live in a place where relationships are contractual - he pays taxes and expects to be served in return with no effort on his part.

Often people from different societies have difficulty understanding how anyone "could live like that" - in both directions.

You use DS through Open Router? Which harness?

I'd love to hear more, I'm considering jumping ship. I'm running a Debian desktop if that's a concern.

Why do you think that's AI?

Yeah, I kinda figured that head was the whole model, the way you phrased it. scikit-learn?

  > Ask for something difficult from GPT-6 Sol and Opus 5.5 and watch what each one does.

That's far too vague. I found Opus to be terrific at coding, but human text just seems so robotic with it. OpenAI models used to be the prototype for robotic text, but lately I've been finding them much more natural. What is "something difficult" in your workflow?

It would be great if we could correct Jev's incorrect answers, even on a separate endpoint. Let me tell it what Jev got wrong.

What type of head is that? What type of model is that head part of?

That's not incorrect.

LLMs produce semantically correct sentences, not factually correct statements. Have we forgotten this so soon?

I remember discovering ? as a shortcut for PRINT on the C64. That was when software development as a profession really started looking like a good choice to young me.

That might work for popular culture. It's probably a good strategy if you want to watch the latest superhero movie.

I listen to the Butthole Surfers and Amboog-a-Lard - I'm willing to bet a good portion of their material has less seeders than much illegal content do.

Is that actually done in practice?

Are you in the Salmon business?

  > It often surfaces ideas and approaches that I did not know about.

I'd love to hear some examples. I do agree that tech is moving at a pace that I can no longer keep up, however that absolutely does not mean that I want a dependency on some project that didn't even exist this time last year.

If I search for The Best of Both Worlds but open the video to find it's csam and not st:tng then I've unwittingly started watching, and thus potentially seeding, the csam.

If it's not trained on my data, it's going to be something on the order of a 500-shot prompt. This is a complex application with more corner cases than I'd like.

As are, honestly, most projects I work on.

There are already Jev-shaped open weight local models coming out that can be fine-tuned on specific data. We'll see which of them the community settles on.

This is my burning question as well.

I have 80,000 voice recordings to classify. Very few are in English, and the classes are not in English. Many of the classes are project names or other proper nouns. How could a system not trained on data specific to the problem possibly be expected to work?

To the guy who asked but his comment is dead:

  > Are you gating by license or user, or just by percentage of installs?

I'm gating by version. I want to dogfood features personally before releasing them to all my users.

Well, then, of your cows can only be milked on the 'morn you'll have to do with milking one of the goats.

1. When you finish the milk, voice record "buy milk" on the phone.

2. At supermarket, listen to voice recordings.

I'm actually working on a pet project to transcribe my 20 years of voice recordings and organise them, then sync them between the phone and desktop. Maybe in the coming weeks I'll know that I needed milk in October 2008.

So what? OpenAI may be a problem, but the security of a government website rests on the administrators of that government website. Not on attackers playing nice.

  > So if someone opens your unintentionally unlocked front door and steals your laptop, you don't care who's liable?

There are literally hundreds of thousands of script kiddies poking around at servers all the time. Cloudflare stops 99.99% of them. You're still left with many entities from states to hobbists trying to crack your system after they've gotten past the CDN and captchas. If OpenAI got through, then somebody else could too. Somebody malicious even.

I appreciate when white hats inform companies, governments, and the public about their successful exploits. It helps keep the whole internet safer - even if just by waking up lax server admins.

I'd love to hear more about this. Though I usually write bespoke software for specific clients, I'm about to release my first general-availability application. It's a rust application with Python GUI on the desktop (Linux, Mac, Windows) and a skinny Android application that wraps the rust on mobile. I'm going to be gating features starting probably next week. I'd love to hear tips and experience for implementing feature flags, for both the desktop and mobile space.

Thanks!

Bash does this well, reading only the first of half a dozen config file locations it searches. And if the user needs it to read from an additional location, just add a source line to that location.

I would like to subscribe to your newsletter.

Seriously, though, this is a great idea. Good communicators know to tailor their discourse to their audience. LLMs are just as sensitive to small variations in prompts, and just as inconsistent between them, as are humans.

  > Having a kill switch for the change is a perfectly reasonable safety measure in case something goes horribly wrong.

Having a way for the user to revert the update is a perfectly reasonable safety measure in case something goes horribly wrong.

Even though Anthropic or any other software provider could technically run anything on our system, there exists a modicum of trust between supplier and user. Anthropic performing arbitrary changes that are tangential but not specific to the premise of delivering a harness to package code files and prompts in context to their LLM breaks that trust for many users.