HN user

8note

6,376 karma
Posts0
Comments5,797
View on HN
No posts found.

it isnt particularly true, when other ML models have been shown to reinforce the ethics of the training data, eg. racism in hiring.

judgement is being added, and its hard to tell exactly what judgement it is and whether you agree or not

This is cool and im not familiar with what lean actually does beyond the words "formal methods"

immediate questions from reading:

* what is rfl?

* what is decide?

i spent a lot of time looking for where these keywords(? declarations?) were made and i still dont know what they end up meaning

iphone is 50x better? because you get a blue box around your text rather than green?

androids and iphones are approximately the same thing

the kinda obvious direction LLM training can go is into the direction of particle physics, and the training is set up democratically and through universities and via multi-state funding

then the resulting weights end up open, the same as the particle detection data

DUI checkpoint checking all cars on this road at this time

isnt this only allowed in that you need a license to drive?

theres no equivalent where the cops camp a walkway and demand everyone show whats in their pockets

ive built a variation that spins the chunks out as if they had been done by a subagent, and so the summary is like what the subagent returns

i couldnt figure out a nice enough way to reload the conversation, and didnt want to have to worry about the cache rebuilds so its a bit languishing

missing canaries more likely?

insufficient tests that dont assert on the right things?

the existence of a test doesnt mean it catches the right thing

based on the description, id bet the COE action item will be to do a migration that enforces units are passed at the billing service level

theres no good reason for the billing service to make up its own units.

as far as people go, the US could grant citizenship to all those people its trying to deport?

and there isnt a lack of people that would accept working in one of said manufacturing towns for 10 years or something to get US citizenship?

If manufacturing was a serious problem, the US could definitely solve that problem too.

russia is currently holding just about all the land it wants in Ukraine

They might not be taking Kiev for a hundred years, but the fortress belt is well within reach in the next couple of years

If they were to negotiate an end tomorrow, Russia certainly wouldnt be giving up territory in ukraine. i dont see how thats not winning