back
user profile
pkoird
1,830karma·349submissions·May 16, 2016
recent activity (349 total)
comment
Reminds me of Simulated Annealing. Some randomness have always been part of optimization processes that seek a better equilbrium than local. Genetic Algorithms have mutation, Simulated Annealing has t…
comment
Going one abstraction deeper, SAT solvers are black magic.
comment
imo this is the pdf that many people like me used to learn SAT/SMT.
comment
Nice effort. As far as textbooks for QM, Electrodynamics, and any sufficiently complex field of study goes, I always feel that these have been written using abstractions that people have developed muc…
comment
I cannot relate to your experience at least in US. I did a lot of flying this summer and have been flying both nationally and internationally over the years but outside the occasional delays due to we…
comment
Curious to see how it'll combine with a RAG on its documentation.
comment
I used Manim for one of my class presentations, absolutely a delight to use and as expected many people recognized the style and overall the presentation was well received. Incredibly, I had the oppor…
comment
One of the things I love about my Samsung device is precisely this feature, i.e. DeX
comment
If the chemical composition is the same, yes.
comment
Potentially. But also remember what they say about self-driving cars, that it'd make fewer and fewer mistakes than a real driver.
comment
I can't simply help but think that optimal transport is intricately linked to the principle of least action (and as we know POLA is everywhere in nature). At the end, natural interactions seem to…
comment
Honestly don't understand why they have the prompt injection in arxiv of all places. One would imagine that a researcher aiming to leverage AI based reviews would only modify their private submis…
comment
Wonder how this compares to Autohotkey on Windows.
comment
Cheeky. But they are wrong. In the screenshot itself, the model outputs "I'm just a human", which is to say it's factually incorrect. Which is to say, it's hallucinating.
comment
If they do not know about it already, the OP would benefit from knowing more about Linear Programming and Mixed Integer Linear Programming. Many optimization problems can be naturally modeled into LPs…
comment
Good luck telling that to aging grandparents and people in third world countries who are just getting acquaintanted with the internet.
comment
So LLMs are poor at string diff, it seems. Tangentially, is there any source (a github repo or otherwise) that documents findings like these a la what LLMs are good at and what they aren't good a…
comment
If the model is designed to agree, ask it why something is good, it'll come up with good points. Then ask why it's bad, it'll come up with bad points. Finally, make a decision based on …
comment
Back to TF IDF we go.
comment
So they bomb their test. And? Isn't that the entire point of an exam? If you fail, you fail and presumably have to re-learn the contents.
comment
Well sometimes it just helps to verbalize all the suffering you are going through, in that aspect I don't doubt prayer has a therapy like effect. However, even if I were to believe in God, it fee…
comment
Growing up in a third world country with no formal CS classes, I will never forget the wonder and awe I felt when I coded a simple calculator after self-teaching myself VB6 from a book I stumbled upon…
comment
Closely related are in-code assertions. I remember when I used to liberally use asserts inside a code (and you could disable them for production) to check pre-conditions, post-conditions, or any invar…
comment
A *rich one. Who knows if he's happy or not.
comment
> “I think people are going to want a system that knows them well and that kind of understands them in the way that their feed algorithms do,” My god, he thinks people like their feed algorithm.
comment
Really really love the name.
comment
What, according to you, are some alternatives that exist or are in development that fill these gaps?
comment
Pets? People are crazy about the genetic makeup (and possible diseases) of their pets.
comment
It was dictated by Feynman. Parts of his original interview are still available as stated in my comment above. And as far as embllishment goes, I'm pretty sure all autobiographies suffer this fat…
comment
Just to clarify, the high speed at which electrons generally move around in metal is called "Fermi velocity". Like you said, since it's random, on average it cancels out to 0. When appl…