mofosyne

Doesn't ADA have some method of checking if the input/output of a function is within bound? Can't remember if its a runtime or compile check however.

But the concept of function contract verification would be interesting.

Your idea inspired me to see what such a microstory based on your idea would look like (Of course generated by ChatGPT3.5):

> As I delved into my computer, eager to tackle my to-do list, I was met with an unexpected sight: a digital love triangle among the Language Models (LLMs). The Email LLM, with its quick wit, seemed to be engaging in flirtatious banter with the verbose Textbook LLM, while the Programming Language LLM watched on with amusement. I couldn't help but laugh at the absurdity of it all, but as the bickering between the LLMs intensified, I realized their antics were hindering my progress. With a mixture of frustration and amusement, I gently redirected the LLMs back to their intended purpose, finally able to accomplish my task amidst the chaotic comedy within my computer.

It could be helpful if the annotation can be stripped out if needed for use with older compilers (especially important for older microprocessors that won't ever have it's C compiler ported).

Due to the vagueness of human language, could we also output a degree of confidence in the translation

Could we use LLMs to give a readability score to codes?

If a dumb LLM can understand a piece of code, then maybe that's one way to check if it's a sensible code.

That works too, but there is something to be said about a turn key solution friendly to corporations who are willing to just throw some money to make a problem go away. Plus archive will get a bit of extra money for the Wayback machine!

Just pay some donation, redirect your DNS to the way back machine and bingo.

Oh, if this snippet is just a search and replacer... would it be possible for this to be a preprocessor as well? Would allow for noJS websites.

How technically possible is it to integrate this with KiCAD?

Any writeups or video about that model? It's interesting about the concept of a breathalyzer locked door. I wonder if his model includes a public intoxication rest area accessible to such members, where they can safely recover and get service/advice.

Wether or not he decided it or not. He is still the prime beneficiary of a culture of explotation and fear.

Anyone tried Dendron (https://github.com/dendronhq/dendron)? It feels like it could almost become a competitor to Obsidian and plus is essentially a vscode plugin, so you get the benefit of using vscode as your code editor as well.

Too bad the project has ended as there is no clear approach for the Dendron team to make it financially sustainable (with their cloud sync subscription, much like Obsidian Sync). But it's basically opensource now so hopefully can be forked and the lessons learnt from Obsidian be applied to it (e.g. Any folder of textfile should be openable under Dendron. Unfortunate at the moment you have to initialize a separate repo and then port it over)

Regarding accessible local LLMs have you heard of the llamafiles project? It allows for packaging one executable LLM that works on Mac, windows and Linux.

Currently pushing for application note https://github.com/Mozilla-Ocho/llamafile/pull/178 to encourage integration. Would be good to hear your thoughts on making it easier for home assistant to integrate with llamafiles.

Also as an idea, maybe you could certify recommendations for LLM models for home assistant. Maybe for those specifically trained to operate home assistant you could call it "House Trained"? :)

I suspect google also neutered the hdmi capability of Pixel phones to push people into Chromecast as well.

Yes somewhat, but if I understand X11 is closer to a 'thin client' where X11 only handles drawing and moving windows on the display and interacting with a mouse, keyboard or touchscreen. This is opposite to how most a typical web browser experience works, which much of the logic happening on the client side (e.g. UI elements)

I do wonder what it would be like if we have a linux distro, where you can work seamlessly between a desktop PC and a laptop or a random cafe, because the desktop is essentally a web browser like this example.

Of course you could just say IPKVM or VNC, but I would say it's a bit different if you can run most of the logic client side (via webassembly etc...). So this would require the app to be rewritten to have a clearer separation between the view and controller... which is what most linux apps don't really do. So I think at this stage it's just a pipedream.

Have the wall paper have a microphone and/or camera and the wallpaper will be able to react to what was said or seen every 29 mins!

In context of this article, it's most definitely a joke.

At the very least for the engine there is now llama.cpp which is an open source port. Admittedly the real magic is in the weights however.

Would it be possible to extend geohash to define a polygon in a compact manner? e.g. ['9bc1db2', '9bc1db6', '9bc1db1', '9bc1db0', '9bc1db4', '9bc1db9', '9bc1db8', '9bc1dbd', '9bc1db3'] has lots of repetition. Might be nice to have a geopolyhash or something that can compress this...

e.g. maybe have a cbor structure that encodes this? Then maybe encode as base32 or base64 or whatever. If we can get a spec going then maybe we could also get a CBOR semantic tag if it doesn't exist already.

{ "origin": "9bc1db2", "vertices": [ {"deltaLat": 0.0001, "deltaLon": -0.0002}, {"deltaLat": 0.0003, "deltaLon": -0.0001}, {"deltaLat": -0.0002, "deltaLon": 0.0004}, {"deltaLat": -0.0006, "deltaLon": 0.0003}, {"deltaLat": -0.0003, "deltaLon": -0.0001}, {"deltaLat": -0.0004, "deltaLon": 0.0002}, {"deltaLat": 0.0002, "deltaLon": 0.0001}, {"deltaLat": 0.0004, "deltaLon": -0.0004}, {"deltaLat": -0.0001, "deltaLon": 0.0003} ] }

I wish Sony didn't hobble the mini disc format against storing data in it's paranoia against piracy.

It could had been the next floppy disc of its day.

While not actually speeding things up, I wonder if it's possible to run a very small autocomplete model to guess what the next sentence ahead of time from the LLM on the client side. To at least keep the perceived latency low.

Thus if there is a delay, you still get the stream of text coming at a steady rate, but you may have to backtrack and correct for mispredictions.

Could the offline editor interface with the online editor? Would be handy for a hybrid approach for reliability purposes.

Eh it's rational to expect stable housing before having kids. Even during medevial time, while you don't have much freedom, you have at least the certainty and stability of a place to live and a role to play. I don't think modern society does that anymore.

I wonder if we could have adoption process, where two random person can adopt the same person without being in a relationship? Heck maybe the adoption services can act as pairing services between two potential singles who are willing to act as a parent.

It's not a silver bullet for everything, but it will at least avoid the effect of people picking non optimal jobs just because they need food on the table.

Ideally this will be combined with good urban design to encourage higher density living and good public transportation with a decentralized city layout.

Good point, in regards to concerns about inflation devaluing UBI's can be addressed through progressive taxation, which ensures fair funding without burdening the less well-off. Targeted government spending and investments in essential services can also mitigate potential inflation while promoting economic growth. Crafting effective UBI policies involves striking a balance between economic considerations and social support systems to maximize positive outcomes.

Looks like you got some common questions that maybe this site can explain as well.

https://basicincomeaustralia.com/faq/

Doubt that. People will always want more than just a basic life.

If you want the latest yeezy shoes then you better get a well paying job even if you got a basic income.

It would be nice if there was a webring like mechanism in RSS feeds so that authors can personally recommend other RSS feeds. With a smart enough RSS reader, it can act as a simple web crawler finding potential feeds to recommend to the user based on recommendations of other RSS feeds.

I would love to see a webassembly version of this engine so we can see these worms on a webbrowser. Wonder how hard it would be to do so.

---

edit: Possibly baked already at http://wormsim.org/

Is there a way to have a simpler protocol for community discovery perhaps? E.g. RSS feed of other RSS feeds so people can search for other communities... so the more you Favorited a new feed the more you discover other feeds?