vzaliva

In fact I did. I multilingual and ocassinally query ChatGPT and Claude in other languges than English.

"Languages: German and English" – this is odd. That means their dataset is limited. In my understanding, frontier models are trained on multilingual datasets and can combine knowledge no matter what language it was written in.

In my experience, ArXiv has become too slow to publish. My previous paper took weeks to be approved. It was a recommended path for journal submission (posting to a public repository and submitting a link), and after waiting a long time, I just posted it on hal.science instead, and it was up in a day.

Another one of mine has been on hold for 18 days and counting.

I think it is a great service to the community, but clearly they are having a scalability problem.

I expect in the near future all digital cameras to digitally sign the images they take. Even before AI slop, it was useful to avoid manual alterations. AI makes it all too easy, so it makes sense.

However, this will certify only the original image. I think the missing part of this is additional layers of certification which allow some image editing (e.g., rotating, contrast, etc.) yet clearly document that the image was modified and link to the original image ID. Kind of like a signed git log.

I've used this to install some 3rd party skills: https://github.com/vercel-labs/skills It allows to install and update skills.

Caveat: It works for Claude Code and Codex, but does not work for Claude Desktop.

I was thinking about making a "personal data search engine". I have almost 30GB of email archives and a bunch of Google Drive and offline files. I am thinking about downloading it all from the cloud and storing it on a large RAID array, with an indexing and search interface (and possibly a local MCP server).

Would Hister be suitable for this? Can it index mbox files? Would it handle this amount of data? Does it have a search API so I can build an MCP server?

I’ve finally cancelled my Cursor subscription. It was an interesting product, but the fact that most interesting features only work with per-token pricing, not Cursor and Codex subscriptions, is a bummer. As to their Composer models, they were good for simpler coding tasks, but after the company purchase, they will probably end up merged with Grok, and I do not want to pay nor contribute to Elon Musk’s businesses.

Imagine all licence plates being small screens and periodically showing numbers derived from a private key issued by the DMV. As they change, vehicles could not be tracked without knowing the private key, yet the DMV can verify the ownership because they know one. I am not a crypto expert, and the actual scheme may be a bit more sophisticated, but you’ve got the idea.

You nailed it: there is a conflict between surface area (wanting more for solar charging) and efficiency (you want it to be aerodynamic and light, hence less area for solar charging).

I also think an extendable canopy (for a car, not a bike) should be a better approach. I wonder if anyone tried it.

I do not know any EU-only, but ProtonMail is in Switzerland.

The intention is good. I like the reviews idea. Since the author has hit the limitations of ATProto, could ActivityPub be an answer?

The missing integration point is reading progress. The killer feature (for me) of Kindle is that I can have several devices and continue reading on any of them with my position in the book synced. I want that across different readers.

For example, if I buy now Xtelink X4 for reading ‘on the go’, there is no easy way to switch back to a larger device for more comfortable reading at home.

This is a good example of a poor web site design. If you, like me, do not know what Phosh is and go to their website, it will tell you not much beyond "A user interface for your mobile phone," which could mean pretty much anything. Is it a UI level on top of Android? Is it an idependent mobile OS? How it is better that competition? What are key features and design goals?

Comcast + Netflix. My personal experience few years ago: switched to 8.8.8.8 DNS at home and my Netflix streaming become extrelemly slow.

unfortunately many DNS resolvers are integrated with CDNs. I do want privacy of an independent non-tracking DNS but I also want my video streaming work fast. :(

what languages it support? They only mention "language-agnostic".

2:463/80

Kudos for beatiful formulae rendering.

Reading reports of people objecting datacenters build in their states I wonder how Florida residents feel about the Spaceport ? It will certainly be more distruptive than datacenters.

We may be entering the age of "disposable software" (some people politely call it "on-demand software"). Until recently, coding was a highly specialised skill and was relatively expensive. So writing custom code for personal whimsy was a luxury only software developers could afford. Not anymore.

There are formally compilers (e.g. CompCert https://en.wikipedia.org/wiki/CompCert ) which are formally proven correct. I think eventually all production compilers will be formally verified.

He should publish a "bring Tesla to small court" kit, with all documents other people in the similar situation can use to sue them.

It should be a benefit of TSA Precheck program that TSA Pre members would not need an extra step of applying for Gate Explorer.

I do not use KDE and wanted just command-line version of it without any Qt dependencies, so I've burned some tokens and produced just that:

https://github.com/vzaliva/whatcable-linux-cli

I think it is fantastic to have more compiler implementations. It was probably also a fun project to code. What I find lacking in web pages is a motivation. What makes it different from popular compilers? Where is this project heading? What would be potential benefits/use-cases for using this compiler vs others, lessons learned, etc.?

Hardware-supported capability-based architectures like CHERI are great. I am lilttle skeptical about adpotion prospects of software-only implementation of fat pointers for languages like C and C++.

This is yet another variant of the "fat pointers" technique, which has been implemented and rejected many times due to either insufficient security guarantees, inability to cross non-fat ABI boundaries, or the overhead it introduces.

> Russians are essentially the only truly literate people left. The vast majority of Russians read regularly, more than anywhere else in the world.

Not really.

According to Nielsen, 59% of Russians read at least weekly. High, but not the highest in the world, and behind China:

https://nielseniq.com/global/en/insights/commentary/2017/maj...

Several European countries have a very strong reading rates, some exceeding 70% of adults reading books annually:

https://ec.europa.eu/eurostat/web/products-eurostat-news/w/d...

What would it show? If he logged in to Santoshi's email account and sent an email to his personal account, the metadata would be in order, and we would learn little from it.

I've installed from snap store