I don’t know what you mean by negating the subexponential time. If the reduction is polynomial the time is still dominated by the 3SAT. Btw wikipedia says that the proposed algorithms correspond to 2^(n (log log…
You are talking about high energy physics. In high energy maybe AI can help analyze accelerator data and physicists are probably already using it for that. There is theory all over the place, including condensed matter,…
> This I don't know about. I think math acquires meaning when it contacts reality: like an iota is pointless until there's some circuit that it explains. Abstract math can diverge from that and can become an exercise in…
From them demo it looks like some search on structured data interface. So model the git data somehow and then index them?
Is this paper in arxiv?
This sounds like a resolution for the Fermi paradox.
How dis he do all these animations? Any idea?
You mean they don’t understand the “but no simpler” part?
Reading the comments, is it safe to say that LLMs are a digest of the internet which is some update over google search, but with the caveat that you need to double check the results? I mean they basically have some…
The author claims to be able to tell AI content. I am wondering, is there any test to help me train to distinguish AI content? Like: this paragraph is written by a human this by an AI and see how well we all do?
Does anyone of if there are any consequences of the existence of monotiles in algebra or number theory?
I love TexMacs for taking math notes. It has great keyboard shortcuts too. I am wondering if it is still actively developed though…
Why does it have to be foldable?
I am wondering what will come to save us from this AI storm. It looks like online search and social networks will be more or less dead. Maybe we will start going out again.
I think the point is that string theory is a huge model with so many parameters that it can fit everything. This is overfitting. Because of that it does not have predicting power.
It is not. A nucleus is bound together by the strong force. A neutron star is bound by gravity.
The point about stability is that as the curve of stability is not a straight line. That is as the number of nucleons increases, you need proportionally more and more neutron to be stable. So you cannot just smash small…
I think his point is that it is not clear why every microstate is equally probable.
You are certainly right for the higher level higher paying jobs that look for elite candidates. How would you modify your answer to also include less experienced candidates who are looking for something to specialize…
Not a surprise, CL's most marketable advantage is that it is infinitely moldable. It has the most powerful macro system which enables one to define arbitrary syntax, essentially creating mini languages. So, CL is…
> Although I’m writing these words in Visual Studio Code, I always have my Emacs open He is writting the blog's text in Code praising Emacs. Makes me a bit sceptical or am I missing something?
The take home and "easy to digest" conclusion is that the proton is a linear superposition of states. The most likely of these states (the ones with highest amplitude) have 3 quarks. The second most likely have 5…
I was looking at their documentation: > For example, Axiom's integrator gives you the answer when an answer exists. If one does not, it provides a proof that there is no answer. Integration is just one of a multitude of…
I don't really play games, but I spent a fair amount of time on sandspiel (I saw it on hackernews a few times). https://sandspiel.club/
I had a laptop which had a faulty memory module, it was working quite well after I put it in the fridge for some reason. Also linux at the time would have kernel panics while freebsd would have some application crashes,…
I don’t know what you mean by negating the subexponential time. If the reduction is polynomial the time is still dominated by the 3SAT. Btw wikipedia says that the proposed algorithms correspond to 2^(n (log log…
You are talking about high energy physics. In high energy maybe AI can help analyze accelerator data and physicists are probably already using it for that. There is theory all over the place, including condensed matter,…
> This I don't know about. I think math acquires meaning when it contacts reality: like an iota is pointless until there's some circuit that it explains. Abstract math can diverge from that and can become an exercise in…
From them demo it looks like some search on structured data interface. So model the git data somehow and then index them?
Is this paper in arxiv?
This sounds like a resolution for the Fermi paradox.
How dis he do all these animations? Any idea?
You mean they don’t understand the “but no simpler” part?
Reading the comments, is it safe to say that LLMs are a digest of the internet which is some update over google search, but with the caveat that you need to double check the results? I mean they basically have some…
The author claims to be able to tell AI content. I am wondering, is there any test to help me train to distinguish AI content? Like: this paragraph is written by a human this by an AI and see how well we all do?
Does anyone of if there are any consequences of the existence of monotiles in algebra or number theory?
I love TexMacs for taking math notes. It has great keyboard shortcuts too. I am wondering if it is still actively developed though…
Why does it have to be foldable?
I am wondering what will come to save us from this AI storm. It looks like online search and social networks will be more or less dead. Maybe we will start going out again.
I think the point is that string theory is a huge model with so many parameters that it can fit everything. This is overfitting. Because of that it does not have predicting power.
It is not. A nucleus is bound together by the strong force. A neutron star is bound by gravity.
The point about stability is that as the curve of stability is not a straight line. That is as the number of nucleons increases, you need proportionally more and more neutron to be stable. So you cannot just smash small…
I think his point is that it is not clear why every microstate is equally probable.
You are certainly right for the higher level higher paying jobs that look for elite candidates. How would you modify your answer to also include less experienced candidates who are looking for something to specialize…
Not a surprise, CL's most marketable advantage is that it is infinitely moldable. It has the most powerful macro system which enables one to define arbitrary syntax, essentially creating mini languages. So, CL is…
> Although I’m writing these words in Visual Studio Code, I always have my Emacs open He is writting the blog's text in Code praising Emacs. Makes me a bit sceptical or am I missing something?
The take home and "easy to digest" conclusion is that the proton is a linear superposition of states. The most likely of these states (the ones with highest amplitude) have 3 quarks. The second most likely have 5…
I was looking at their documentation: > For example, Axiom's integrator gives you the answer when an answer exists. If one does not, it provides a proof that there is no answer. Integration is just one of a multitude of…
I don't really play games, but I spent a fair amount of time on sandspiel (I saw it on hackernews a few times). https://sandspiel.club/
I had a laptop which had a faulty memory module, it was working quite well after I put it in the fridge for some reason. Also linux at the time would have kernel panics while freebsd would have some application crashes,…