FieryTransition

8 ms·

31.
by FieryTransition 3y ago
That's very awesome, I feel like it would be fun to make a feedback loop with the LLM outputting syntactically valid programs which also log the status of various invariants and pre/post conditions as the program runs to validate
32.
by FieryTransition 3y ago
Does that mean you could make any model at least always produce syntactically correct code as output?
33.
by FieryTransition 3y ago
I live in one of the myriad of countries in the eu, so I'm confused about what you mean when you say protectionist taxes and which country you are referring to or just something else?
34.
by FieryTransition 3y ago
Best thing I did for privacy was to use things like nextdns and pihole, they block alot of the stuff with minimal effort.
35.
by FieryTransition 3y ago
I live en Europe too (northern countries) and we almost never handle coins anymore, but nickel itself is in so many things as an alloy. So I can imagine it must be very annoying to buy something and suddenly realise you can't use it du
36.
by FieryTransition 3y ago
Mixed interval training for phone holding, I sincerely hope that was a joke, but judging by the last paragraph, I'm not sure :-D
37.
by FieryTransition 3y ago
You might be allergic, I would get that tested, but it's nothing to worry about, just nice to know. AFAIK most people shouldn't react badly to prolonged skin contact with aluminum in the range that is holding a phone.
38.
by FieryTransition 3y ago
yeah, I had some weirdness with the UI and disconnects as well. My takeaway from trying it was that I wouldn't want to use it for something if I need peace of mind for my data.
39.
by FieryTransition 3y ago
Used it for a while, recently tried to restore some things and it failed, taking a really long time to restore some snapshots compared to other things I've tried. Switched to restic instead. Really like what kopia is but I'll wait
40.
by FieryTransition 3y ago
Does unpoly try to solve the same problem and how does their approach differ compared to htmx? Curious to hear thoughts, I haven't done web in a while, so understanding your thoughts might help understanding the whole thing better.
41.
by FieryTransition 3y ago
One way to do it is to use cosine similarity[0], the reason to do this is to get around the context window limitation, and hope that whatever text chunks you get which via the similarity function is the correct information to answer your qu
42.
by FieryTransition 3y ago
Yeah, it's quite interesting how energy works, AFAIK we still don't know if task fatigue is really a thing or not. But if it isn't, doing more in the morning would not leave you more tired than usual, assuming you get regular
43.
by FieryTransition 3y ago
On the whole, I agree with you, but sometimes there are actually issues and that's why we get sick, when the body response is out of wack or lacking. Sometimes it's less about being tired and more about something which causes you
44.
by FieryTransition 3y ago
I often wish I could sort Hacker News into two categories. Actual software/tech/STEM and everything else. I think both are interesting, but often, the niche tech stuff gets drowned out fast. So this is great for that :-)
45.
by FieryTransition 3y ago
I wish that the regulations would exist in America to begin with, and the American people would push more for it. Instead we have to adhere to whatever their laws are and try to play catch up with regulations. And when we threaten with lock
46.
by FieryTransition 3y ago
But is a Hilbert system easier to run in a computer since there are many axioms which clarifies the cases where contradictions or some inference rules are used which might be hard to program? For example, on the top of my head, in predicate
47.
by FieryTransition 3y ago
I think sim cards have been able to run java for quite a while[0], and who knows what else they can do. So I guess encrypted post cards it is. [0] https://www.extremetech.com/defense/161870-the-humble-sim-ca...
48.
by FieryTransition 3y ago
You can fine tune a open source model for your task and achieve better results, at least, instead of just using them directly. But they are still not close to the openai models in generality. Huggingface is the place for exploring models, r
49.
by FieryTransition 3y ago
AAA devs target the consoles level of performance, and its been like that for a while. A lot of "extreme" settings in games are usually just poorly optimized and sometimes even looks ugly or almost does nothing artistically or exp
50.
by FieryTransition 3y ago
Wouldn't that be too big? A typical failure point of all my wired headphones/buds has been the connector or whatever the connector plugs into. A bigger connector creates more leverage, which in turn creates more force, which has b
51.
by FieryTransition 3y ago
My hunch is that they combine it with some kind of web crawl and index for source reference, I've used both gpt4 and phind, and find phind better for tasks like api exploration and questions for typical sample programs and error messag
52.
by FieryTransition 3y ago
You are right I think, it's about impulse, force over time, surface area and how much energy can be transfered through the surface area through the underlying tissue and create a ripple basically. I suspect that at some point, the &#x2
53.
by FieryTransition 3y ago
Make.md is trying to solve this, you could take a look, I tried it, but it's still not stable for my use case, but apparently they have people who use it successfully.
54.
by FieryTransition 4y ago
I guess you could argue, that most places suffer from that, as everyone has a boundary, at which they don't understand things. But the effect itself, is probably more relevant in an organization, as it was used to describe management.
55.
by FieryTransition 4y ago
I would worry that if the infrastructure to access these things would be taken down, either by law, war or some kind of great depression, people would value other things than a picture of a monkey and how to keep IPFS running.
56.
by FieryTransition 4y ago
I've known a dude who taught at university on the side, besides working on logistics of all things, he said he had a mild form of dyslexia, so he taught himself to read books, by reading each page, on each side at the same time, as som
57.
by FieryTransition 4y ago
I totally understand what you are saying, in terms of probabilities, but what I'm arguing against, is thinking that safety, robustness etc. for a program is just a given, just because you happen to use Rust or whatever else is claiming
58.
by FieryTransition 4y ago
No language will save you from: - A lack of knowledge about the domain, this includes the technical framework in which your program exists, behaves and interacts - Code errors which result in valid code, but does the wrong thing, Rust isn&
59.
by FieryTransition 4y ago
Just reread what you meant, yeah, I see that self-signing wouldn't neccesarilly solve the issue. As you say, it might also be that some apps use root status. After they updated our digital signing platform, a colleague who had a phone
60.
by FieryTransition 4y ago
true, it gets tricky when there's an online component to it, since they can just keep their key secret, if the service I'm using is also online. Would there be no way to spoof it? Like, Client (validate)-> server, requires a va

More ›