lajamerr

8 ms·

1.
by lajamerr 4mo ago
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 working on a problem that no one has solved this area o
2.
by lajamerr 4mo ago
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. Then there's a third factor now with Agentic AI sys
3.
by lajamerr 2y ago
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 kind of stuff that can only be done so quickly by having more
4.
by lajamerr 3y ago
128 bits*
5.
by lajamerr 3y ago
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 sighted, because if we care about security,
6.
by lajamerr 3y ago
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 train temporal coherence.
7.
by lajamerr 3y ago
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. So 2 and 3 are the same imo.
8.
by lajamerr 3y ago
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 of LLMs and in this post is his musings of how he sees it&#
9.
Embracing change and resetting expectations – Terence Tao(unlocked.microsoft.com)
3 points by lajamerr 3y ago|1 comments
10.
by lajamerr 3y ago
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-$5 to pay for some of the hosting/API costs. The ma
11.
by lajamerr 4y ago
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 great at handling the technical aspects, freeing us to focu
12.
by lajamerr 4y ago
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 application framework written in the Ruby programming language
13.
by lajamerr 4y ago
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 learn. A cat can learn. And they don't learn
14.
by lajamerr 4y ago
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 Whisper for is transcription part of it. Then use
15.
by lajamerr 4y ago
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 soon to be H100 that's just hitting the market. Go
16.
The next decades might be wild(forum.effectivealtruism.org)
3 points by lajamerr 4y ago|2 comments
17.
by lajamerr 4y ago
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 at the International Max-Planck
18.
by lajamerr 4y ago
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 tries to explain why the joke in the title is funny, bu
19.
by lajamerr 4y ago
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 idea to $1 Billion+ IPO in 2 years and exit and then start
20.
by lajamerr 4y ago
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.
21.
by lajamerr 4y ago
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 public. But could still be useful to research institutes who foll
22.
by lajamerr 4y ago
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 they would a baby. A continuous stream of dat
23.
by lajamerr 4y ago
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 analogy but from the time a baby is born that baby will have seen
24.
by lajamerr 4y ago
Can't really consume it if it's locked behind a flag. 99% of chrome users never touch the flags at all.
25.
by lajamerr 4y ago
Just make your own personal email address/domain. I already have my domain firstlastname.com with Google domains. I can setup email forwarding for free. All goes to my gmail address. As far as normal people their reaction was "Tha
26.
by lajamerr 4y ago
What is loneliness people speak of? I am alone and I don't feel like I am missing out on anything. I am happy and content. I have fun. I am fine just entertaining myself or going out to do things. I'd say I am by myself 95% of the
27.
by lajamerr 4y ago
I would. But in general I would consider anyone a founder of a company if they had a significant impact before the companies first product/service went general availability to their target demographic. If they already had a general rel
28.
by lajamerr 4y ago
The next step after is to build an AI to convert your style of writing to another person's style.
29.
by lajamerr 4y ago
https://iclr.cc/ The conference for reference
30.
by lajamerr 4y ago
I was wondering so as well. I went through entire sign-up process and did not see a place to enter a code. Edit: There seems to be a gift code when you try to invest in a property but the code hackernews is not a valid promotional code. So

More ›