HN user

pkoird

1,814 karma
Posts22
Comments236
View on HN
arxiv.org 1y ago

Foundations of Large Language Models

pkoird
219pts20
rationalwiki.org 1y ago

Aumann's Agreement Theorem

pkoird
1pts0
praveshkoirala.com 2y ago

Solving the Nerd-Sniping Problem: When Electronics Meets Heat Equations

pkoird
64pts17
praveshkoirala.com 2y ago

Solving the Nerd-Sniping Problem: When Electronics Meets Heat Equations

pkoird
2pts0
praveshkoirala.com 2y ago

Solving the Nerd-Sniping problem: when Electronics meets Heat

pkoird
3pts0
praveshkoirala.com 2y ago

Hundred Pages vs. 11 Words

pkoird
9pts5
praveshkoirala.com 2y ago

A non-mathematical introduction to Kalman filters for programmers

pkoird
660pts97
www.youtube.com 3y ago

Linear Algebra Done Right (YouTube playlist)

pkoird
8pts1
praveshkoirala.com 3y ago

A Non-Mathematical Introduction to Kalman Filters for Programmers

pkoird
3pts0
praveshkoirala.com 3y ago

A Non-Mathematical Introduction to Kalman Filters for Programmers

pkoird
1pts2
praveshkoirala.com 3y ago

A Non-Mathematical Introduction to Kalman Filters for Programmers

pkoird
5pts0
praveshkoirala.com 3y ago

Avg, Mean, and Average

pkoird
1pts0
praveshkoirala.com 3y ago

Can God create square circles?

pkoird
2pts11
praveshkoirala.com 3y ago

The Artificial in Artificial Intelligence

pkoird
1pts0
praveshkoirala.com 3y ago

The Artificial in AI

pkoird
1pts0
praveshkoirala.com 3y ago

On the opposite end of the Imposter Syndrome

pkoird
1pts0
praveshkoirala.com 3y ago

Avg, Mean, and Average

pkoird
1pts0
praveshkoirala.com 3y ago

The catch-22 of democracy

pkoird
3pts0
news.ycombinator.com 3y ago

Ask HN: How will the search engines deal with ChatGPT?

pkoird
3pts1
praveshkoirala.com 3y ago

Surely you're publishing, Mr. Feynman

pkoird
209pts104
www.lesswrong.com 3y ago

Textbooks on Every Subject

pkoird
3pts1
praveshkoirala.com 4y ago

Combating disinformation with humility

pkoird
76pts75

For the life of me, I could never get electronics. I used to love the idea of me coming up with electronic circuit designs, but the arcane art of electronics never really clicked for me because I just couldn't intuitively grasp the maths no matter which book I read (AoE, I'm looking at you). But then it hit me, I don't need maths, I just need a formal language to represent the circuits. So over the past few weeks, I worked on a code your own spice (the electronic simulator). So now, for the first time in history, I finally understand how circuits work and how they are designed. And I did this all by coding circuits in python and making my own functional spice (which used to seem impossible at one point, it's surprising how easy it is though).

Fable 5 Is Back 21 days ago

I'm not saying you are on a list now, I'm just saying if you were now to be on a list, I wouldn't be surprised.

Fable 5 is Back 21 days ago

I gave it a book on human consciousness I was writing and it flagged it. This model is hilariously bad. Anthropic has defanged this model to the point of malice. No way am I paying to use something that is basically useless.

I'm not sure if there are any research showcasing the effects humanity has had in general due to low sun exposure. From all the benefits of Vitamin D and the recent human behavorial shift leading to low sun exposure (car travel, air conditioning, sunscreens even), there are bound to be new biological or psychological changes humanity is experiencing for the first time.

Precisely. People don't realize that it's all numbers. Given average IQ of people involved in a project is 140, an AI with an IQ of 150 can replicate each and every such individuals in the pipeline. People saying AI can't do this or AI can't do that should come to terms with the fact that this IQ gap is monotonously increasing.

Meh, it's the age old distinction between Formal vs Informal language.

Simply put: Formal language = No ambiguities.

Once you remove all ambiguous information from an informal spec, that, whatever remains, automatically becomes a formal description.

Project Euler 8 months ago

I remember it vaguely but there used to be a badge awarded for being among the first 100 people to solve the problem. I was obsessed with getting that badge to the point that I spent obscene amount of time solving the-then recently released problem even when the following day was my final exams. I did manage to get that badge though. This was circa 2013. Fun times!

That would be something that is intelligent to you. I believe the author (or anyone in general) should be focused on mining what intelligence objectively is.

Perhaps it was due to English not being my primary language, but it took me an embarrassing amount of time to learn that probability and likelihood are different concepts. Concretely, we talk about probability of observing a data given an underlying assumption (model) is true while we talk about the likelihood of the model being true given we observe some data.

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 temperature, Gradient Descent similarly has random batches.

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 much later retroactively. I understand the advantages: it makes the entire content concise, structured, and basically straightforward. However, what I crave is a technical book that is based upon the history of the subject. Something that doesn't start immediately with Hilbert spaces but starts off by talking about why Max Plank did what he did, how did Einstein improve upon it, what mistakes were made, what misguided hypothesis were later corrected in what manner, how were different things then unified... you get the point. I think this narrative based approach would motivate me much better than something that's condensed and distilled.

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 weather, my experience has been quite pleasant. Even when traveling with luggage, I can generally check them in right outside the airport where I'm dropped off by Uber. Security checks have been straightforward with just the right amount of annoyance in the mix and mobile apps mean that any last minute changes to gates are well communicated in advance. I have found it all really streamlined to be honest.

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 opportunity to meet Grant as well a few years back. I told him I have used Manim and he was genuinely excited. Such a cool person with so much contribution to human knowledge and understanding.