Yeah, I suggested to take down the app someone between seeing the Gina (core) comment (saying php.ini etc changes won't do anything) and after seeing the Cloudflare CTO tweet.
I've been vibe coding my own language and it's compiler is in Haskell, it's been great for the agents to be inspired by Haskell and I'm having fun just adding random language features, currently implementing prophecy ghost variables. Not really a public project but can suss it out for now at http://lsalpha.com
This is super cool! You should put a clear example implementation of a feed forward network, transformer block, loss function, or something more ML specific on the homepage, assuming you're primarily targeting that domain.
EDIT: also the links to GitHub on https://lsalpha.com/systems are 404ing for me, so I exited your site without an example of what a real implementation might look like.
- ask it to generate Lean 4 proofs based off centimorgans
- extract subject, object, subjects from all source texts and create a graph database (maybe someone mentioned a red dog in their oral history, and someone else mentioned a sick dog in a eulogy, ask ai to explore weakly correlated connections, sometimes pays off)
> ask it to generate Lean 4 proofs based off centimorgans
That's not confidence inspiring. It'll give you proofs I'm sure, but with what assumptions? You need a full blown model for crossover, and even that would hardly help, because you don't know what assumptions went into the segment match. What size segments are filtered out, how many mismatches are ignored, how interpolation is done, how no-calls are treated etc. Let alone the cM value for services which don't give segments!
And then there's that the question for instance Bettinger's shared cM project asks (given this relationship, what shared cM level do you expect to see?) is actually very different from the question we most often ask (given this shared cM level, what relationship should I expect?). When you get into the distant cousin range, those questions can be very different indeed. And we're not even getting into endogamy.
They say the first principle is that you must not fool yourself, and you're the easiest person to fool. I'm worried that AI can be really powerful self-fooling tools!!
aha I appreciate the rant, and you obviously know what you are talking about.
I have used the Lean 4 approach and I wasn't proposing it solves the problem, but it has reduced the search space for me in certain circumstances. At best it's a nice way for agents to keep in their context windows potential relations, I made it create enormous amounts of hypothetical nodes and then visualized it so I could talk with my relatives about potential paths.
As a side note, I believe, if we had a better DNA site that had great API access (and exposed genomes), I think agents could probably solve genealogy, even as far as complex endogamics.
(I don't think centimorgans is that useful past 4 generations kind of thing)
I've been doing family history on my aboriginal Australian side, there were a bunch of Lutheran missions, and ever so kindly they digitized 800 pages for me, but it was all written in German. I transcribed and translated all of it.
I sent it back and they didn't acknowledge it, probably for various reasons, and I doubt they would like me linking it above.
Beyond being fascinating in general, I also found that from a different state in Australia there was an aboriginal who became a man of letters came to my ancestral state and was the first to write the language of the tribe, I think (not something easy to prove) it's the first ever written version of the tribal language circa ~1870 of Kuku Yalanji.
> I sent it back and they didn't acknowledge it, probably for various reasons, and I doubt they would like me linking it above.
Because if you study this stuff long enough, you'll find the LLMs hallucinate in this space far more than they do in a discourse or programming project.
It can be close enough to seem useful, but make critical errors that can cause rippling problems.
I've done a lot of the same sort of thing with Latin and chancery and while it can really help in understanding it on a personal level, it takes combing over what it has said and zooming in, comparing it with other information, and understanding the historical context. Otherwise it can completely mangle clauses, contexts, etc.
It is remarkable how well they can start to read things like chancery script, but again, many errors. Not reliable, especially in such large volumes. It would require extensive review. And they are probably getting flooded wth things like that now. And not all of them will be benevolent. History is laden with intentional corruptions and the flat, context-less reading that LLMs give can bury that even further.
Don't inundate researchers, churches, and records offices wth this stuff. But it is absolutely a space where it can help, with proper organization and engagement.
Or, more simply, affairs, unwed couples, incidences of rape that were a dark stain in the victim’s life, etc.
A friend of mine loves to think about heritage and genealogy and when I brought up genetic testing and “wouldn’t it be neat to find out if someone in your lineage wasn’t actually in it?” they were quick to point out that they’re not interested in that because it doesn’t matter and her parents are her parents (and her great great grandparents are her great great grandparents).
Discovering infidelity and/or abuse in your family tree 2-3 generations back often (but never ever always) does little but harm to one’s own genealogical journey.
I'm a little more flexible, if the new knowledge (that human's don't understand) can be put into a mechanism and have an observable effect, I'd be happy enough. e.g. a new type of rocket fuel that burns 1000x more efficiently.
If some LLM somewhere managed to produce a coherent and _correct_ explanation of how it worked inside, but no human ever saw it, would it matter?
We know how to apply LLms to problems, which is a subtly different thing to understanding how they do what they do. It's similar to fire: I can cook using fire, but I don't really understand how fire _works_. Heat+oxygen+fuel, sure, but what goes on chemically? I dunno. Doesn't stop me using it. (Pretty sure _humanity_ knows how fire works, though).
