SmartestUnknown
SmartestUnknown on Hacker News
Re:The Future of Mathematics
on Monday October 05, 2026 @11:11PM (#49973715)
I am not really sure. The models can be bootstrapped to become much better at both natural language generation and verification for sure and my hypothesis is that the current days models would have been just as good at math without Lean.
Re:DeepSeek Elastic Compute (DSec)
on Saturday September 26, 2026 @05:00PM (#49860497)
Just because other companies don't write papers about what they do doesn't mean they aren't innovative...
Re:Tinybox- offline AI device 120B parameters
on Saturday March 21, 2026 @07:30PM (#47472661)
Regarding 2x faster than pytorch being a condition for tinygrad to come out of alpha:
Can they/someone else give more details as to what workloads pytorch is more than 2x slower than the hardware provides? Most of the papers use standard components and I assume pytorch is already pretty performant at implementing them at 50+% of extractable performance from typical GPUs.
If they mean more esoteric stuff that requires writing custom kernels to get good performance out of the chips, then that's a different issue.
Re:Tell HN: Happy New Year
on Wednesday December 31, 2025 @10:08AM (#46444755)
నూతన సంవత్సర శుభాకాంక్షలు from India!
Re:The QMA Singularity
on Sunday September 28, 2025 @06:35PM (#45408708)
The expression f(z) = \sum_i 1/(z-\lambda_i) is called Stieltjes transform and is heavily used in random matrix theory and similar expressions are used in other works such as Batson, Spielman and Srivastava. This is all to analyze the behavior of eigenvalues which is exactly what they were trying to understand. I'd be very surprised if Aaronson doesn't know about this.
Re:Claude Sonnet Will Ship in Xcode
on Friday August 29, 2025 @11:10AM (#45065162)
Deepthink with Gemini AI Ultra plan. Daily limit of 10 might be restrictive for you though.
Re:Someone at YouTube Needs Glasses
on Wednesday April 30, 2025 @12:15PM (#43847301)
I think it is not just the library but the huge costs associated with storage, encoding and bandwidth. YouTube has innovated significantly to make it as cheap as possible to run such a service and it is likely that it would take an enormous amount of money for any competitor to replicate it.
(Disclaimer: I work at Google but no connection to YouTube)
Re:Even Microsoft Notepad is getting AI text editing now
on Thursday November 07, 2024 @08:02PM (#42083038)
To my eyes, the original text in the example is much more readable than the LLM suggested rephrasing.
Re:How an African streaming service dethroned Netflix
on Friday February 16, 2024 @02:33PM (#39401861)
Netflix is definitely trying its hardest to get into the Indian market and I do think they are gaining some ground recently. They have picked up a lot of new telugu movies and has basically become essential if you want to stream new movies. They also have mobile only plans at 199Rs but not sure how many such subscriptions they sell but for me at least the 649Rs plan is not too bad even if my parents watch at most 1-2 movies a month on Netflix.
If they are able to get even 2 million telugu households over to subscribe the next few years, that would be a revenue of about $150 million which I think is probably much less than the amount of money they spend on telugu content.
Re:Linear transformers are faster after all
on Thursday January 18, 2024 @12:41AM (#39038333)
I didn't want to associate this account w/ my real name but now that you mentioned it wasn't right of me to not point that out. I added a disclaimer.
The posted algorithm and the one mentioned in my paper are very similar. It is just that the cumulative sum computation is parallelized in the posted website.
Re:Linear transformers are faster after all
on Wednesday January 17, 2024 @11:03PM (#39037646)
This is not a new algorithm. The same algorithm is described in Figure 4 (Theorem 3.1) of https://arxiv.org/pdf/2310.01655.pdf
(Disclaimer: I am an author on the linked paper)
Re:Lean4 helped Terence Tao discover a small bug in his recent paper
on Friday October 27, 2023 @08:58PM (#38045930)
Exactly lol. Not sure why everyone is taking the contribution of lean in finding the error so seriously.
I would be more impressed when some mathematician finds a more severe error in their proofs with the help of theorem provers (meaning a mistake in their own intuition).
Re:Ryuichi Sakamoto Has Died
on Sunday April 02, 2023 @12:09PM (#35412069)
“Rain” is one of my favorites. RIP.
Re:Queueing Theory
on Saturday October 15, 2022 @08:43AM (#33214279)
http://www.performancemodeling.org
People who take the course by the author at CMU say very good things about the class and the professor.
Re:iPhone 14 Pro Camera Review: Scotland
on Wednesday September 14, 2022 @08:55PM (#32845624)
I recently visited France. Before flying from the US, I purchased an Orange e-sim online and activated it while at the airport in the US. As soon as I landed in Paris, I was connected to Orange network and was able to use internet instantly.
Re:Eight hundred employees resign after WhiteHat Jr asks them to work ...
on Saturday May 14, 2022 @03:35PM (#31381538)
God! I hope both WhiteHat Jr. and their parent company Byju's crash and burn. They are crap companies which make poor and gullible parents enroll their kids in one of their programs for extortionate amount of money. If the parents cannot afford to pay all at once, they give a "loan" to the parents and collect a part of it each month even if the kids aren't satisfied with the education that is being provided. Note that none of the kids in India use these apps as the only way to study. They attend regular schools and use these apps as an additional source. Byju's employs 1000s of people whose only job is to go visit as many houses as they can and trick the parents into subscribing for their services by falsely claiming that the only way their kids can succeed is when their education is supplemented by these apps. Many innocent people who want to do all they can to make their kids' lives better fall into the trap and then keep paying the "loan" amount back which could be a substantial part of their monthly income.
Meta and Disney invested a lot of money into these companies and they use it to bully anyone who tries to bring these issues up by shutting down their YouTube channels and filing defamation law suits [1,2]. The entire online education industry is unregulated and resort to shitty antics to extort money. I don't understand why these companies need to exist when we have other free and amazing resources online like Khan Academy which teach all topics to all ages of people.
[1] https://thepost.co.in/news/633/whitehat-jr-lawsuit-pradeep-p...
[2] https://www.reddit.com/r/india/search?q=pradeep+poonia&restr...
Re:Wish HN: Happy Holidays
on Friday December 24, 2021 @08:54PM (#29679594)
క్రిస్మస్ శుభాకాంక్షలు. From Hyderabad, India!
Re:FAQs: Why we don’t have them (2013)
on Tuesday December 07, 2021 @07:45AM (#29471822)
FAQs can be useful if they are used as a questionnaire to test our own understanding of the content. But FAQs being the only source of information is pretty terrible and very lazy. Lately, on many Indian government websites, I’ve seen that they straight up just have a list of FAQs and nothing else which infuriates me a lot.
Re:Culture shock
on Monday November 01, 2021 @10:21PM (#29076133)
As an Indian who recently moved to the US, this list captures a lot of things that surprised me. One of the biggest things I was shocked by is the number of choices in US supermarkets - 100s of varieties of chips, 4-5 different sizes of eggs along with a choice of white/brown/cage-free/organic, 4 types of milk (skim/1%/2%/whole), 10s of types of bread etc. Back in India, we have considerably fewer choices in each of the ones I mentioned even in the bigger supermarkets.
Re:Apple responds to Epic Games lawsuit, says CEO asked for special tr...
on Friday August 21, 2020 @06:50PM (#24239715)
"we will understand that Apple is not willing to make the changes necessary to allow us to provide Android customers with the option of choosing their app store and payment processing system."
Did they intend to write iOS there? That's a pretty big typo in such an important email.
Re:Palm – The best small phone for minimalists, athletes, and kids
on Saturday June 27, 2020 @08:28AM (#23661403)
Yes. iPhone XR already had great battery life and 11 Pro and 11 Pro Max have more than 4-5 hours additional battery life compared to Xs and Xs Max. My 11 Pro can easily last 1.5 days with heavy usage.
Re:Why is it important for a matrix to be square? (2018)
on Sunday June 21, 2020 @01:35PM (#23593607)
Any two matrices AB and BA have same eigen values. Say v is an eigen vector of AB with eigen value lambda : you have ABv = lambda v. Now BA(Bv) = B(ABv) = B(lambda v) = lambda*(Bv). So, Bv is an eigen vector of BA with eigen value lambda.
Re:The most prized degree in India became the most worthless
on Tuesday May 12, 2020 @06:06PM (#23160576)
I am an Indian and I have seen so many worthless engineering colleges. The main issues, at least in my opinion, are "very very" bad teaching and very low incentives for someone to study well. I can't fathom how easy it is to pass a class in these engineering colleges and how widespread plagiarism is. When >50% points of the class is determined by a single exam that repeats same questions every year, it isn't hard to study for a day and pass the class. I am not kidding, you can buy an "all-in-one" of around 600 pages which is essentially enough to pass or even score 80% in "all the classes" in a semester.
I would say at most 10% of engineering students in India are properly taught and properly tested and rest of them just spend 4 years in college essentially learning nothing. When it is so easy to get an engineering degree, people who barely pass high school also enroll in these programs for "engineering degree" and become an "engineer" after 4 years of college. It's no wonder that most of these "engineers" can't do anything.
Re:Finding Fibonacci numbers using linear algebra
on Saturday July 27, 2019 @11:57PM (#20545771)
n^th Fibonacci number requires O(n) bits. So, saying the solution is O(log(n)) is kinda not true. I mean there cannot be a o(n) algorithm for computing decimal representation of n^th fibonacci number.