thomasfromcdnjs

Confirmed, orbit!

Hell yeah, that was the longest 10 minutes.

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)

A couple ideas (that I have used with success);

- 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)

Amen.

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.

While I get the point and it's true.

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.

I gave it a spin using muse 1.3

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.

Well described the problem scope.

I wonder if harness-hooks + Jev (equivalents) could semantically lint for `sloppy_law` etc when ever they are edited

Beautiful!

Awesome! doing similar things

ssh sshfighter.com

Been optimising an ssh ansi rendering engine for six months, starting to look great. Homepage is slop please forgive

Gen UI is meant to be design agnostic, the output is just the content and the form. It is on the implementation, agentic or human to make it look good.

would love to see what you build. i am working a ssh mmorpg, about to start working on the lore

aha i've been hacking away at the terminal graphics over ssh for ages for months, the repo is fully open source.

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.

I built sshfighter.com recently and pushed terminal graphics to the limit (with no kity)

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)

Fair criticisms, I didn't even really want a homepage, just let the ssh speak for itself kind of thing.

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.

It's pretty fun, and you don't have to worry about auth and a bunch of other things.

Here is a doc on how to achieve the same kind of graphics -> https://github.com/thomasdavis/sshfighter.com/blob/main/docs...

So great =D

I built "ssh sshfighter.com" recently, enjoy!

Same.

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.

I think a lot better

- 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've had a bit of fun working with low resource languages (aboriginal australian), and enjoying the result from Facebook's No Language Left Behind project -> https://huggingface.co/facebook/nllb-200-distilled-600M

I'd recommend giving it a squiz. (I assume Amish has a large corpus)

I'm waiting for someone to make an open source gene sharing platform to rival ancestry etc in the future.

There must be some cool way to share enough structure with some cryptography to share parts of your dna to find relatives etc

* Location: Melbourne, Australia * Remote: Yes * Willing to relocate: Yes - US (need US sponsorship)

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.

I'm on Google pixel 10 xl, everything could be nicer in general, the chart isn't very smooth when scrolling around etc

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.

The mobile experience is horrible otherwise really awesome.

Discussed building it with my friends, obviously you might share secrets and other real reasons, but if gangs of corporations are already doing it, I don't see why we shouldn't just share it amongst the crowd too.

I was loving grok-4.1-fast, very good and cost effective.

But it's not actually 4.1 anymore they silently rerouted it to 4.3 and just started charging more - https://www.reddit.com/r/grok/comments/1ta8yrn/grok_41_fast_...

Quite a bad practise.

Hats off, really well built.

Everytime I get Claude to write a pdf it uses tectonic.

Regardless if it is a messy soup or not, if disk/cost is not an issue, I would have no problem with anyone (likely agents) looking at what I was doing, and forgive me, but my reasoning™.

Not overly confident in my position, but I believe agents prefer the extra information albeit noise to some.