qnleigh

9 ms·

151.
by qnleigh 10mo ago
> If the proof is correct, Aristotle has a good chance at translating it into Lean How does this depend on the area of mathematics of the proof? I was under the impression that it was still difficult to formalize most research areas, eve
152.
by qnleigh 10mo ago
What do you think about the market for custom apps? Like one app, one customer? You describe future businesses as having one app/service and using AI to add more features, but you did something very different for your wife with AI and
153.
by qnleigh 10mo ago
I think you're misunderstanding my point. If you can crank out a custom app this quickly, you don't make a commercial app and then try to sell it on an app store. Customers pay you to make apps for their specific usecase. One app,
154.
by qnleigh 10mo ago
So much of the conversation is around these models replacing software engineers. But the use cases described in the article sound like pretty compelling business opportunities; if the custom apps he built for his wife's business have b
155.
by qnleigh 10mo ago
- I try to get outside and go for a short walk. Even a cloudy sky is actually much much brighter than the lights inside a building, so it has a stronger affect on maintaining your circadian rhythm than indoor lights. It's also a good t
156.
by qnleigh 10mo ago
Least squares is guaranteed to be convex [0]. At least for linear fit functions there is only one minimum and gradient descent is guaranteed to take you there (and you can solve it with a simple matrix inversion, which doesn't even req
157.
by qnleigh 10mo ago
Skip to around 50 minutes to see gaming on a receipt printer. Pretty funny.
158.
by qnleigh 10mo ago
Haha fair. But you would be protesting a weird thing in a weird way, so at least you'd be consistent.
159.
by qnleigh 10mo ago
Uuuuuum no? e^(i x) = cos(x) + i sin(x). In particular e^(i pi) = -1 (1 + 1/n)^n = e. This is part of what makes e such a uniquely useful exponent base. Not applied enough? What about: d/dx e^x = e^x. This makes e show up in the s
160.
by qnleigh 10mo ago
People should bring raspberry pies in protest, see what happens.
161.
by qnleigh 10mo ago
The air quality issue alone is mind-boggling. The air quality index nominally tops out at 500, corresponding to 'hazardous.' Major Indian cities blow past this threshold on a regular basis in the winter months. In Delhi, poor air
162.
by qnleigh 10mo ago
I think a more charitable reading of this post doesn't defend the moral aspects you're referring to, but is about much more pedestrian things like office politics. It kinda makes me sad to see the top comment on a thoughtful piece
163.
by qnleigh 10mo ago
Let's not make everything political. Not to take a stance on the issue either way, but I think the author is only referring to the politics involved in building products, not the broader political/moral issue of what the company d
164.
by qnleigh 10mo ago
This feels a bit like semantics. To get something big done you have to build consensus (e.g. on what to build and what resources to dedicate to it) and align incentives. Oftentimes these things require building relationships and trust first
165.
by qnleigh 10mo ago
What happens to the CEO and the remaining shell of a company? Do they have to pretend to carry on just to keep up the pretense that this wasn't an acquisition? Or will they actually continue to do things?
166.
by qnleigh 10mo ago
Yeah it's a great question. I don't know the answer, but I suspect the people who study it strongly suspect that it is highly complex in this sense. Otherwise they would be looking for simpler representations instead of running ma
167.
by qnleigh 10mo ago
But what about the second point?
168.
by qnleigh 10mo ago
It's complex in a physicist's sense of the word: the equations are hopelessly complicated to solve even in very simple cases. This means it's hard to build intuition or describe in simple terms. Quantum chromodynamics is actu
169.
by qnleigh 10mo ago
> Recently, GPT informed me that the strong force is really a tiny after-effect of the "QCD force" This is kind of just semantics. QCD describes both the force binding quarks inside protons and neutrons, and the residual force
170.
by qnleigh 10mo ago
I mean to ask 'why now?' not 'what took so long?' What about the regulations or the science let this happen now, and not 5 years ago or 5 years into the future? Also do we know that this was CRISPR?
171.
by qnleigh 10mo ago
What enabled this treatment to be used now? Gene editing techniques have existed for a long time, but there were many reasons why they weren't being used in humans, like concerns about off-target edits and heritability. The article men
172.
by qnleigh 10mo ago
No offense intended, just speaking by the numbers you shared above, but it sounds like you are at the lower end of the bell curve. Most day traders are, largely because they don't have access to priveledged information like the dataset
173.
by qnleigh 10mo ago
> If I'm honest, many of those hours reading through textbooks, blog posts, technical papers, iterating a million times on broken code that had trivial errors, were really wasted time But this is the learning process! I guess time w
174.
by qnleigh 10mo ago
> People are capable of seeing which is which. I would hazard a guess that this is the crux of the argument. Copying something I wrote in a child comment: > When someone writes with an AI, it is very difficult to tell what text and id
175.
by qnleigh 10mo ago
I guess your point is that a camera, a paintbrush, and an LLM are all tools, and as long as the user is involved in the making, then it is still their art? If so, then I think there are two useful distinctions to make: 1. The extent to whic
176.
by qnleigh 10mo ago
I hope the model that sent this email sees his reaction and changes its behavior, e.g. by noting on its scratchpad that as a non-sentient agent, its expressions of gratitude are not well received.
177.
by qnleigh 10mo ago
Somehow I doubt it. Getting such an email from a human is one thing, because humans actually feel gratitude. I don't think LLMs feel gratitude, so seeing them express gratitude is creepy and makes me questions the motives of the people
178.
by qnleigh 10mo ago
These are great. I recently started taking phone holidays, usually on weekends, where for a whole day I don't allow myself to use my phone except to communicate with people.* Sometimes I just wind up bored, sometimes I wind up spending
179.
by qnleigh 10mo ago
> I want to build the AGI god in order to bring abundance, wealth, and prosperity to all of humanity. What's the plan to make sure that progress in AI leads to predominantly positive outcomes for people? All the people I've ask
180.
by qnleigh 10mo ago
I'm not downvoting you, but I think you are probably getting downvoted because "Stock trading can be quite lucrative" is statistically just not true. Even professional financial advisors almost never beat the market [0]. Only

More ›