HackerTrans
TopNewTrendsCommentsPastAskShowJobs

elcomet

no profile record

Submissions

What does a lean proof prove?

supaiku.com
5 points·by elcomet·قبل 7 أشهر·1 comments

comments

elcomet
·الشهر الماضي·discuss
UUID as key is useful when you have a distributed system where multiple workers create items independently
elcomet
·قبل 4 أشهر·discuss
Could you share your config?
elcomet
·قبل 8 أشهر·discuss
The heat pump will pull heat from inside the house? This sounds terrible for efficiency in winter, as you will need to reheat the room
elcomet
·قبل 8 أشهر·discuss
Yeah this sounds disingenuous. I can also see my heater to 70C if I want, that does not increase its size...
elcomet
·قبل 9 أشهر·discuss
I don't understand all the hype for generating SVG with LLM. The task is not really useful, doesn't seem that interesting in single shot as it's really hard, and no human could do it (it would be more useful if the model has visual feedback and could correct the result).

And also, since it becomes a popular task, companies will add the examples in their training set, so you're just benchmarking who has the better text to SVG training set, not the overall quality of the model.
elcomet
·قبل 9 أشهر·discuss
I'd say that thoughts and reasoning are two different things, you're moving the goalpost.

But what makes the computer hardware fundamentally incompatible with thinking? Compared to a brain
elcomet
·قبل 9 أشهر·discuss
How can you know?
elcomet
·قبل 9 أشهر·discuss
Can you explain more? Which things are impossible in blender
elcomet
·السنة الماضية·discuss
Arc browser unifies the tabs and bookmarks in a very clever way.
elcomet
·السنة الماضية·discuss
If it's chromium based, they will need to remove manifest v2 at some point to stay close to the upstream version.
elcomet
·قبل 3 سنوات·discuss
There are many more things called lora.

https://en.m.wikipedia.org/wiki/Lora

It doesn't really matter as long as it's not in the same field. No one will be confused between the two.
elcomet
·قبل 5 سنوات·discuss
You're right, sorry about the lack of precision
elcomet
·قبل 5 سنوات·discuss
Turing completeness refers to a language, while NP-completeness refers to an optimization problem.

So for it to be turing complete you first need to define a language based on tetris. For NP-completeness, it might just be solving the game.
elcomet
·قبل 6 سنوات·discuss
Do you have big bills for traffic?
elcomet
·قبل 7 سنوات·discuss
I think the answer is in your question:

Why would search history be related to travel history? Can't they be decoupled?