2,806 karma · joined December 13, 2012
thomasalwyndavis at gmail dot com @ajaxdavis on x
The next problem to work on in this scenario, is modules, give the LLM instructions to write orchestration of the outputs, given that they can only probably write 8kb of binaries without losing their fucking mind. (this could be wrong too)
Going to setup a shared community of hosted libraries and work towards an operating system, forgive the buzz words, but might use something like Jev to help with finding compatible binary artefacts.
---
The virtual cpu design is written in typescript, it has a terminal with keyboard inputs, and a framebuffer for rendering.
All generations are public at the moment, so you can browse and share, best I've got is a little mario world, use your imagination.
---
The proposed instruction set is named "ANMA-1", I'd recommend clicking the "System prompt" button in the top bar.
If you click around there are 4kb binary outputs that work, the generation is using my 6-luna api credits so I might have to drop it depending if people are interested. Experiments with lesser models are a bit meh and I'm of the mind that the open weight efforts are still behind (I do think they will catch up for weird problems like this)
The next problem to work on in this scenario, is modules, give the LLM instructions to write orchestration of the outputs, given that they can only probably write 8kb of binaries without losing their fucking mind. (this could be wrong too)
Going to setup a shared community of hosted libraries and work towards an operating system, forgive the buzz words, but might use something like Jev to help with finding compatible binary artefacts.
---
The virtual cpu design is written in typescript, it has a terminal with keyboard inputs, and a framebuffer for rendering.
All generations are public at the moment, so you can browse and share, best I've got is a little mario world, use your imagination.
---
The proposed instruction set is named "ANMA-1", I'd recommend clicking the "System prompt" button in the top bar.
Hell yeah, that was the longest 10 minutes.
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)
- 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)
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.
https://drive.google.com/file/d/1en9gDgZRP7EmSHU72k6g2Iz3RRf...
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'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.
Got it to port kaparthys microgpt -> https://github.com/thomasdavis/bend-experiments/tree/main/mi...
muse did surprisingly well getting it to work, can't speak for the code quality.
I wonder if harness-hooks + Jev (equivalents) could semantically lint for `sloppy_law` etc when ever they are edited
Been optimising an ssh ansi rendering engine for six months, starting to look great. Homepage is slop please forgive
the sprites aren't all the same size or as good as they could be but already spent too much $$ on sprites.
the sprites are just passed through algorithms that optimize for what text characters at different aspects would make them look good.
You have to zoom out to get more pixels for it to look good (and press v to switch rendering engine if it starts off poor)
> ssh sshfighter.com
And instructions on how to do it are here -> https://github.com/thomasdavis/sshfighter.com/blob/main/docs...
(the homepage is ai generated, the real work is in the ssh server)
I have spent quite a bit of time on getting that rendering engine in ssh, I don't think I've ever seen anyone get the quality of graphics on ssh so I thought it was unique.
Will do some more homepage clean up, and try to promote that product is the ssh game, not the homepage.
Here is a doc on how to achieve the same kind of graphics -> https://github.com/thomasdavis/sshfighter.com/blob/main/docs...
I could not get Opus 5 to do anything without losing a few years of my life from stress.
Fable has been okay but I am doing ML work and not allowed to use it which feels insane.
- the best image related stuff I've seen is where the harness is constantly cropping and looking closer at things (likely helps a lot for computer vision in general) - also it would be interesting because the harness could almost have its own "palette" as if it could play with blank squares and different strokes over lapping or blending before applying to the main canvas
I'd recommend giving it a squiz. (I assume Amish has a large corpus)
There must be some cool way to share enough structure with some cryptography to share parts of your dna to find relatives etc
Technologies: Mostly Javascript. I've coded in pretty much all non functional languages though. Most of the databases sql/nosql. Comfortable with gCloud/aws/heroku etc. Mostly worked with node/rails/laravel/python/golang backends.
20+ years experience
* Résumé/CV: https://registry.jsonresume.org/thomasdavis
* GitHub: https://github.com/thomasdavis/
I'm a full stack web developer who can build apps from the ground up. I've worked mostly at startups so I am used to wearing many hats. I am a very product focused developer who prioritizes user feedback first and foremost. I'm generally very flexible when investigating new roles. Nothing too big or small.
But the main problem is I can't seem to reliably click on a node, it works occasionally but if I find one I want to click on, it either takes ten taps or some I couldn't just open what so ever.