pkoird

10 ms·

121.
by pkoird 2y ago
You entirely underestimate the power of structured learning and reinforcing exercises. While critical reasoning, curiosity, and passion are things that may be difficult to impart, a well-written book can cut hours of trial and error to some
122.
by pkoird 3y ago
Wasn't user aggression a factor in the orchestration of the xz attack? At this point, any aggression (at least in an Open Source project) must be dispelled not just because it's rude but also because of potential malicious implica
123.
by pkoird 3y ago
Any sufficiently advanced LLM is indistinguishable from Prolog. I half-jest but I envision the direction of LLM research to head towards a parser-oriented setup where LLMs merely extract the entities and relations and the actual logic is do
124.
by pkoird 3y ago
This is super cool! As someone who is interested but unfamiliar with formal verification, how "powerful" or "complete" would you say FizzBee is compared to the conventional tools such as TLA+? I'm unsure if I framed
125.
by pkoird 3y ago
I won't be surprised. The accelerometers seem to be pretty sensitive. Enough to measure any variations in heart rates and breathing patterns which are likely highly correlated with sleep patterns.
126.
by pkoird 3y ago
Thanks for linking this. I always did wonder how they did it. From a cursory read, it looks like the basic approach is to collect accelerometer data and train it to predict ground truth labels generated via a consumer EEG device. Not sure i
127.
by pkoird 3y ago
I'd like to contribute by saying that even when you are sleeping, body burns calories for various neurobiological processes. That automatically translates to bad sleep equals decreased calorie utilization (than a healthy baseline)
128.
by pkoird 3y ago
Many countries in the Southeast Asia do it at least.
129.
by pkoird 3y ago
This is such a first world problem. It's normalized in many 3rd world countries to give and receive cash (red envelopes). Directly not giving money and resorting to gift cards (and roundabout methods like these) just, doesn't make
130.
by pkoird 3y ago
The only analytical solution I could find was this: https://www.mathpages.com/home/kmath668/kmath668.htm I admit it kinda flew over my head (as I mentioned, I'm an empiricist through and through)
131.
by pkoird 3y ago
It'd be cool to learn how one could reduce this resistances in this grid to an equivalent resistance. Perhaps you could share some insights?
132.
by pkoird 3y ago
I believe it's a kinda-sorta reformulation of the Gauss-Seidel method of solving systems of linear equations (which, obviously are fundamental in physics).
133.
by pkoird 3y ago
Indeed, sounds like an interesting approach! This was just the first thing that came to my mind and it was cool to relate a concept from thermodynamics to electronics. I'll go and see if I can find the superposition version now.
134.
Solving the Nerd-Sniping Problem: When Electronics Meets Heat Equations(praveshkoirala.com)
64 points by pkoird 3y ago|17 comments
135.
by pkoird 3y ago
This same argument could have been made in the 60's regarding computers. Don't just look at what is, also look at what could be.
136.
by pkoird 3y ago
I don't know but Skynet would probably have been a cooler name.
137.
by pkoird 3y ago
Kinda tangential but I've noticed that my most satisfying and restorative sleep is always followed by tons of eye goop the following morning. Maybe a kind of brain-waste?
138.
by pkoird 3y ago
My primary motivation for having a website was to "reserve" it for future. It's going to be nigh impossible to have a <firstname><lastname>.com in the future unless you have a very unique name.
139.
by pkoird 3y ago
Lying to thousands shamelessly for their own gain? How very... Sociopathic.
140.
Solving the Nerd-Sniping Problem: When Electronics Meets Heat Equations(praveshkoirala.com)
2 points by pkoird 3y ago|0 comments
141.
Solving the Nerd-Sniping problem: when Electronics meets Heat(praveshkoirala.com)
3 points by pkoird 3y ago|0 comments
142.
by pkoird 3y ago
I would really love for Google to provide advanced search capabilities or filters to superusers who know EXACTLY what they are searching for. I wouldn't even mind paying for it tbh.
143.
by pkoird 3y ago
Is the problem under-specified? What if a compression allows for symbols outside of data? Which is to say, the domain of input is, let's say the alphabets, while the outputs can have numerics in addition? aaaaa under this scheme can be
144.
by pkoird 3y ago
If you think about it, teenage rebellion makes sense from an evolutionary perspective as it encourages a subgroup (teenagers) to explore outside whatever's the norm (aka adults). I wrote more about it in my blog post: https:/&#x2
145.
by pkoird 3y ago
Guilty as charged. I'm definitely aware of my tendency to repeat things. In my admittedly flimsy defense, it stems from my fear of being misinterpreted.
146.
by pkoird 3y ago
Programming is what we call a formal language with well-defined unambiguous parsing rules. Any comparisons of programming to rhetorical languages doesn't sit right with me... Well, didn't use to sit right, I guess. What with Karpa
147.
by pkoird 3y ago
For all his comparisons to Paul Dirac, Feynmam seems to have really respected him, often saying, at times, "well, I'm no Dirac." But unfortunately, the meeting of two great theoretical physicists was kinda lack-luster with Di
148.
Hundred Pages vs. 11 Words(praveshkoirala.com)
9 points by pkoird 3y ago|5 comments
149.
by pkoird 3y ago
Currently startint Book 2. Definitely agree that some of the elements are weird but the core ideas of Book 1 were really awesome!
150.
by pkoird 3y ago
I'd be curious to know the results you get if you forgo serialization entirely and save the embeddings on a table with 512 columns, one for each embeddings. Some rough calculation, assuming you store doubles, seem to show that the tota

More ›