Viewing profile — lajamerr

You can tell an agentic system. "Go and find a novel area of math that has unresolved answers and solve it mathematically with verified properties in LEAN. Verify before you start …

LLMs by themselves are not able to but you are missing a piece here. LLMs are prompted by humans and the right query may make it think/behave in a way to create a novel solution. T…

So a mishmash of ideas from other papers(Not to downplay the results). This is exciting times of hackery and basically using puzzle pieces and piecing together stuff. This is the k…

128 bits*

I assume he means with the encrypted metadata in HTTP/3 / QUIC that it makes it harder as a security admin to "peek" at what is going on in the network. In my opinion its short sig…

Change up the model. That allows it to see previous frames and 1-2 future frames. Then train the model on movies that are color and then turn them black and white. That way you can…

Probably the same sentiment between DLC vs Expansions in gaming. But fundamentally no difference because you are getting a discounted price in exchange for the soft locked feature.…

For context Terence Tao is often referred to as one of the greats of modern mathematicians of our time. He also has a Mastodon account where he sometimes goes over the implications…

Thanks, I just hope this is sustainable. I like newsletters and the site design is simple and basic. I hope there's some way you can set up like a monthly contribution of like $1-$…

AI can efficiently teach your daughter how to solve math problems, but as a human, you can provide her with the context and understanding of why and what she's learning. AI is grea…

Me with not much background experience in programming not knowing what RoR stood for. Me asking ChatGPT: In this context, RoR most likely refers to Ruby on Rails, which is a web ap…

I wouldn't necessarily say it learns how a human would. But instead learns how an arbitrary brain would. There's all kinds of brains in this world from all kinds of life. A dog can…

Even though Whisper advertises the translation part of it. I honestly wouldn't say it's a first class feature at least part of the Whisper model itself. The only thing I'd use Whis…

Most big AI is trained on Nvidia GPUs but usually not the standard consumer ones found in the GeForce line-up. Instead it's usually their data centre GPUs like the current A100 or …

The article was written by Marius Hobbhahn. Here is his public bio to gain a sense of his perspective. https://www.mariushobbhahn.com/aboutme/ > I'm currently doing a Ph.D. in ML a…

This post is funny because the author uses ChatGPT to explain the joke in the title, which is that ChatGPT can't explain the jokes. But then, the comment written by ChatGPT itself …

Let's say we have 2 people in two different walks of life. Jim and Alice. Both of them are entrepreneurs and like doing startups. Both of their goals are to take a startup from ide…

I'd like a version of Tokyo that is hyper detailed and functioning transit system/lines. Spend a week preparing for a trip on how to navigate the city before actually going.

Glad to hear you are working on such a project. There definitely will be a lot of privacy concerns in any such project so it may be difficult to open source the data to broad publi…

There's value in redundancy and continuous stream of images where one follows the other. It would be nice to have a dataset of a couple "raising" a Video recorder for 1 year as if …

While impressive number of images today. I believe this will be an underwhelming amount of images compared to what models are trained on in the future. This is an incomplete analog…

Can't really consume it if it's locked behind a flag. 99% of chrome users never touch the flags at all.