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…
10mo ago·view thread
comment
Going one abstraction deeper, SAT solvers are black magic.
11mo ago·view thread
comment
imo this is the pdf that many people like me used to learn SAT/SMT.
11mo ago·view thread
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…
11mo ago·view thread
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…
11mo ago·view thread
comment
Curious to see how it'll combine with a RAG on its documentation.
11mo ago·view thread
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…
11mo ago·view thread
comment
One of the things I love about my Samsung device is precisely this feature, i.e. DeX
1y ago·view thread
comment
If the chemical composition is the same, yes.
1y ago·view thread
comment
Potentially. But also remember what they say about self-driving cars, that it'd make fewer and fewer mistakes than a real driver.
1y ago·view thread
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…
1y ago·view thread
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…
1y ago·view thread
comment
Wonder how this compares to Autohotkey on Windows.
1y ago·view thread
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.
1y ago·view thread
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…
1y ago·view thread
comment
Good luck telling that to aging grandparents and people in third world countries who are just getting acquaintanted with the internet.
1y ago·view thread
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…
1y ago·view thread
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 …
1y ago·view thread
comment
Back to TF IDF we go.
1y ago·view thread
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.
1y ago·view thread
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…
1y ago·view thread
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…
1y ago·view thread
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…
1y ago·view thread
comment
A *rich one. Who knows if he's happy or not.
1y ago·view thread
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.
1y ago·view thread
comment
Really really love the name.
1y ago·view thread
comment
What, according to you, are some alternatives that exist or are in development that fill these gaps?
1y ago·view thread
comment
Pets? People are crazy about the genetic makeup (and possible diseases) of their pets.
1y ago·view thread
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…
1y ago·view thread
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…
1y ago·view thread