JimmyRuska

Looks promising. I found a music generator called heymusic.ai and was considering subscribing, the songs were fun to make with the kids, but then it disappeared off the face of the earth with no updates anywhere online. I'm cautious of subscribing to AI services, lots of GEN AI startups popping up and it's not easy to make a profit

It doesn't sound like the approaches are incompatible. You can use minhash LSH to search a large set and get a top-k list for any individual, then use a weighted average with penalty rules to decide which of those qualifies as a dupe or not. Weighted minhash can also be used to efficiently add repeats to give some additional weighting.

Pretty amusing the old AI revolution was pure logic/reasoning/inference based. People knew to be a believable AI the system needed some level of believable reasoning and logic capabilities, but nobody wanted to decompose a business problem into disjunctive logic statements, and any additional logic can have implications across the whole universe of other logic making it hard to predict and maintain.

LLMs brought this new revolution where it's not immediately obvious you're chatting with a machine, but, just like most humans, they still severely lack the ability to decompose unstructured data into logic statements and prove anything out. It would be amazing if they could write some datalog or prolog to approximate more complex neural-network-based understanding of some problem, as logic based systems are more explainable

Isn't this how most vector search backends work, cosine similarity sorting against whatever the vector embeddings returned? How is this different?

Thanks!

Looking forward to an 8bit instruct version on llama.cpp to try out problems with the insane context length.

It would be interesting if all these models were finetuned on basic datalog which is a very simple language. That way they could demonstrate their logic/reasoning capabilities as well as ability to learn from mistakes and iterate.

Sounds like an implementation for how to managing scopes using stack frames with some state machine like elements to it

If they add fstrings, some type of easier map get/put syntax eg #map.value = 1, and maybe a shorter hand fun syntax, then Erlang feels like it's gotten all the conveniences of python. Amazing how far things have come

Sounds like it's just a Haskell thunk but as a probability wave

Lazily evaluated until there's a probability it has to interact with something. Since you can never really see the value of the actual function, but only see what it looks like when it's forced to evaluate a computation in some context, an interaction, you can never get a precise definition of the function

Go to settings -> extensions and make sure youtube is enabled Maybe it only works for gemini advanced

Some guy will put videos of a patient getting lasik/*, records all the movements of the surgeon as input, shove it into a transformer model and there will be machines which do it 10x better than humans in 5 years. Might as well wait

They're sending people a bunch of invoices without any due dilligence. You're going to get companies that double pay because they're not sure/don't have time to review licensing contracts. The business model is very scam inspired.