ynniv

30 ms·

181.
by ynniv 3y ago
In fact, in the general case (first-order or higher-order logic), it is algorithmically undecidable, i.e., every bit as unsolvable as the halting problem. Thus, by Church’s thesis, we cannot expect any algorithm, LLMs included, to solv
182.
by ynniv 3y ago
Try using a syntax highlighter that reduces their contrast and you'll find it looks a lot like python.
183.
by ynniv 3y ago
It can easily be faked, using a technique that would destroy the poster's career. It's one thing to not do something to the letter, and another to commit blatant fraud. Most career academics would not burn their career for the lul
184.
by ynniv 3y ago
Yes, and the response should be to make the repo private. Only allowing interactions from previous contributors to a public repo is disingenuous.
185.
by ynniv 3y ago
You measure the things that block, to predict when they will queue. Your async dispatcher still takes time per request. The resources that each request needs will eventually be exhausted. Your network interface isn't infinitely fast. I
186.
by ynniv 3y ago
All systems respond the same way eventually. Keep multiplying your load by ten and you'll see them.
187.
by ynniv 3y ago
That doesn't change the meaning of Open Source. These are "free as in beer", not "free as in [modify the sources and rebuild it]". There are LLMs for which that is true, which include a specific list of training dat
188.
by ynniv 3y ago
There are "chat" and "instruct" variants of most models now.
189.
by ynniv 3y ago
An old, messy automation: https://github.com/ynniv/vagrant-opengenera
190.
by ynniv 3y ago
i'm importing from js cdns instead of adding them here FWIW this seems counter to llama.cpp's philosophy.
191.
by ynniv 3y ago
Software is slow because being slow isn't fatal.
192.
by ynniv 3y ago
If this were submitted as a new comment it would be at the top of the page.
193.
by ynniv 3y ago
It's one thing to make a guess; it's another for them to tell you.
194.
by ynniv 3y ago
Maybe those comments are no longer true? "OpenAI will avoid competing with their customers — other than with ChatGPT Quite a few developers said they were nervous about building with the OpenAI APIs when OpenAI might end up rele
195.
by ynniv 3y ago
Last time I tried I was unable to sort out the dependencies. IIRC it was something to do with Qt and sbcl.
196.
by ynniv 3y ago
It's a cool story, but the headline is bullshit since they didn't include the value of 576k frequent flier miles. That more than doubles the cost.
197.
by ynniv 3y ago
Anthropomorphism is the UI of ChatGPT. Having to construct a framing in which the expected continuation provides value to the user is difficult, and requires technical understanding of the system that a very small number of people have. As
198.
by ynniv 3y ago
PHP has 99 problems, but shipping code ain't one
199.
by ynniv 3y ago
Aperture Science We do what we must because we can. For the good of all of us.
200.
by ynniv 4y ago
Surprisingly, many more oscillations are visible than expected from existing theory This is the best part of science
201.
by ynniv 4y ago
Audio and Game devs: Need to port my custom malloc and ring buffer code to get rid of those malloc pauses JavaScript devs: Foolish audiophiles think they can hear when someone calls malloc! Mis-diagnosing a problem doesn't mean there i
202.
by ynniv 4y ago
This is not a valid application of the DMCA. URLs aren't covered by the DMCA unless they point to infringing content (Pluto TV has distribution rights) or circumvention technology. https://www.dmlp.org/legal-guide/
203.
by ynniv 4y ago
The Bitcoin Lightning Network uses indirection for privacy and liquidity in a way that could be described as mixing. https://en.wikipedia.org/wiki/Lightning_Network
204.
by ynniv 4y ago
That's what I've been doing for decades, but in current browsers `import` doesn't work with file urls, and whatever you download will need that
205.
by ynniv 4y ago
I’m not aware of any legal protections available to the person holding the private key that last signed an NFT. Digital property rights are enforced by client apps / DRM as well as legal trade agreements, but legal enforcement will be
206.
by ynniv 4y ago
Digital ownership is enforced by the code that’s interpreting the data, so the app publisher is the organization responsible for enforcing property rights. Tokens signed by an app-trusted key solve the problem with almost zero resource cost
207.
by ynniv 4y ago
Bitcoin is a useful mechanism for exchanging value, but NFTs have yet not shown any utility. The difference is that a currency only needs to solve scarcity and double spend, which blockchains accomplish, but ownership of property requires p
208.
by ynniv 4y ago
Knight Capital will forever haunt fintech engineers... https://www.henricodolfing.com/2019/06/project-failure-case-...
209.
by ynniv 4y ago
I'm not recruiting for them, just sharing my experience. I included their careers link for people who might be interested because I know they're always looking for good engineers.
210.
by ynniv 4y ago
I think those are Bloomberg's words, or their paraphrasing of the grapevine. The high level people that I knew there weren't petty, and everyone was of the opinion that it didn't matter who clicked the button: we were all in

More ›