Viewing profile — ak_111

ah i thought so, interesting. I think the challenge is to do 2 while still keeping it realistic, which actually gets very close to synthetic data generation.

if the data is not synthetic, how do you ensure that the LLM hasn't learnt about this data for example from training on the Financial Times.

This is not new, most famous conjectures are believed to be true mainly because an already enormous brute force search was conducted finding no counter-example.

lol honest this wasn’t AI, I guess I need to work on my style

Hmm this sounds like an incumbent missing a paradigm shift because they didn't want it to disrupt their core (usually enterprise) business, although riding the shift would have ult…

Well you can see from the original poster's timeline, that 10 years from now will be effectively 16 years into Apple's ARM journey, so you can add two more cycles. And also from th…

ten years is a very long time in technology, RISC-V ecosystem could be so vibrant and advanced that it might prove more cost effective for Apple just to feed off it (assuming Apple…

clever tricks has value for sure. But the main way progress is done in mathematics is by building new theory, the proof of Fermat's Last Theorem is much more important because of t…

Unlike the unit distance problem, the impressive thing here is that it is a proof rather than a counter-example. However, it seems the proof is extremely concise so it seems that i…

Open any technical textbook in an area slightly outside your domain and you will quickly disabuse yourself of the notion that majority of words are obscure. Most complex words are …

Just top of my head (and I don't even follow his takes that closely), just check his takes on Magic Leap which he consistently promoted using quite dramatic langauge (along with th…

I am also not sure about Finney, but Hal saw his death coming so it is plausible he handed the reins to one more person he deeply trusted, and asked him to tie some knots but not t…

Anyone tried to run some stylometry to identify if satoshi-like comments appeared in any of the early post on hacker news discussing BTC? I would say there is a very significant ch…

This very interesting hypothesis and solves multiple issues at once, has anyone attempted debunking it?

It is getting to the point where all the top (living) credibly accused Satoshis are incurring all the cost of being outed as Satoshi without getting any of the upside. In other wor…

Wait it seems like doing unscalable things - like face-to-face teaching/examination - is exactly the sort of things that humanity can afford to do as it benefits from the surplus f…

can you elaborate more, also isn't this necessary for a Lab that wants to compete with highly funded entities (like OpenAI, Anthropic)?

Concorde?

What are they top 3 languages that you have used that can be used as Go alternatives ranked by fun in your opinion (I am guessing Clojure and Rust are two of them)?

It’s a combination of the problem appearing to be low-hanging fruit in hindsight and the fact that almost nobody actually seemed to have checked whether it was low-hanging in the f…

You can do a lot of money in swindles and bubbles if you time your exit well. There is a fair bit of opportunistic investors who did well in the NFT craze, who speculated knowing f…

Yes I should point out that I am a noob in this area, so you might be right in calling me out. My understanding is that CT was invented in part to provide a robust foundation for a…

This title is a bit ironic when you consider the fact that one of the motivations of inventing category theory is to provide a foundation for many branches of mathematics

It works perfectly on Gnome (ubuntu) though. There is simple toggle you have to do in one of the standard control panels as well. I am surprised this issue is not gaining traction …