Viewing profile — upghost

I love how first we destroyed the word "AI" now we want to destroy the word "telepathy"

I do indeed mis-using dashes.

I'm not sure why but Prolog seems to have more misinformation circulated about it than any other programming language I've ever seen. I'd take a lot of the information in these com…

theprimagen called this[1] like three days ago. That was fast. [1] https://www.youtube.com/watch?v=m-bT5v5Tm7w&t=164s

If this wasn't CERN tech I would think I was being taken for a ride. Conventional wisdom is that distributed consensus is not possible at this kind of performance, does anyone have…

Thanks. I thought it was interesting choosing arithmetic instead of some other relation because multimodal arithmetic (via CLP) is more of a PhD thesis than a blog post. Other rela…

Man that is such a bummer. The Naval Support Activity (NSA) "base" is not a hardened military facility. I've never been to the one in Bahrain, but it's usually where you go to play…

Great writeup. Only thing I din't see in here was an analysis of the impact of players like Talaas[1] and their stupid faster hardware LLMs. I feel like it could be majorly disrupt…

> familiarity vs simplicity Love this, I've never heard it put that way before.

Yeah, this checks out. I wonder what they are doing to prevent semantic collapse. Also, I wonder if the base model would already be instruct and RLHF tuned or only pre-trained. Try…

> Pre-training allows organizations to build domain-aware models by learning from large internal datasets. > Post-training methods allow teams to refine model behavior for specific…

> We are doing this to self-fund further investment in AI and enterprise sales while strengthening our financial profile. Some quotes from the video: > ...at the same time, we're a…

In Prolog the syntax is incredibly important. It is designed to be metainterpreted with the same ease in which a for-loop might be written in another language. https://www.metaleve…

Very interesting stuff. Apparently this is the implementation: https://github.com/dicpeynado/prolog-in-forth Thinking about the amount of thought and energy that went into this, ba…

I'm surprised how hard I had to dig for an actual example of syntax[1], so here you go. [1]: https://www.lix.polytechnique.fr/~dale/lProlog/proghol/extra...

So I have been doing formal specification with TLA+ using AI assistance and it has been very helpful AFTER I REALIZED that quite often it was proving things that were either trivia…

Anakin: I'm going to save the world with my AI vulnerability scanner, Padme. Padme: You're scanning for vulnerabilities so you can fix them, Anakin? Anakin: ... Padme: You're scann…

tl;dr - All this AI stuff is just Universal Paperclips[1] I see a lot of comments about folks being worried about going soft, getting brain rot, or losing the fun part of coding. A…

Author: "Not my favorite language" Prolog: "Mistakes were made" As an avid Prolog fan, I would have to agree with a lot of Mr. Wayne's comments! There are some things about the lan…

Ok what I would really love is something like this but for the damn terminal. No, I don't store credentials in plaintext, but when they get pulled into memory after being decrypted…