HNHacker News
TopNewBestAskShowJobs

vzaliva

1,826 karma · joined June 27, 2015

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/
submissionscomments
vzaliva··on Person of Interest
I've read somewhere that creators wanted to make a show about AI but they have to disguise it is crime show to sell to the network.
vzaliva··on The Ubuntu 26.04 Rust sudo is not compatible with standard sudo
Theress a bug. That happens. Reporting it should take way less time than writing a sarcastic blog post ("I haven't filed a bug because we aren't Canonical's free debugging resource"). It's open source, so I think reporting bugs or submitting a PR is just good citizenship.
vzaliva··on How does Fable 5.1 hide messages in images?
I really hate such clickbait titles. When I read it, the assumption was that the Fable model would hide some information in watermarked images by default. This would be very concerning from a privacy point of view.

What the article is actually about is how the authors instructed Fable to do so.

vzaliva··on What Is Gridifcation
I bet the same is happening with writing, at least with technical and academic. Automated grammar checkers and AI correctors bland the language by enforcing strict grammar. Whereas a slight departure from standard grammar and punctuation is something that could give writing character and personality.
vzaliva··on Ukraine claims first drone evacuation of wounded soldier
It reaffirms that Ukrainians are:

1. very advanced with drones 2. caring about their soldiers

Disclaimer: I am a proud Ukrainian.

vzaliva··on Show HN: Proton Drive for Linux
it was very slow, and I had to re-authenticate often. I want something like dropbox daemon, which mounts drive and syncs it. Set up once and forget. Since I have not found anything like this for Proton I am still using Dropbox for some synced data.
vzaliva··on Kolibri: A Sovereign Open-Weight Model
In fact I did. I multilingual and ocassinally query ChatGPT and Claude in other languges than English.
vzaliva··on Kolibri: A Sovereign Open-Weight Model
"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.
vzaliva··on ArXiv's Updated Rate Limit Policy
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.

vzaliva··on Proof of Capture: Apple Reference Image, but open source and using steganography
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.

vzaliva··on Ask HN: How do you manage skills files?
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.

vzaliva··on Hister – A private, full content search index that you control
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?

vzaliva··on Cursor Origin
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.
vzaliva··on License plate reader searches should require a warrant
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.
vzaliva··on Production Imminent: 40 Solar-Charging Aptera EVs Coming Soon
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.

vzaliva··on Fastmail offers EU data region
I do not know any EU-only, but ProtonMail is in Switzerland.
vzaliva··on Building on ATProto
The intention is good. I like the reviews idea. Since the author has hit the limitations of ATProto, could ActivityPub be an answer?
vzaliva··on FreeInk: Open ecosystem for e-readers
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.

vzaliva··on Phosh 0.56.0
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?
vzaliva··on Choosing a Public DNS Resolver
Comcast + Netflix. My personal experience few years ago: switched to 8.8.8.8 DNS at home and my Netflix streaming become extrelemly slow.
vzaliva··on Choosing a Public DNS Resolver
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. :(
vzaliva··on FUTO Swipe – A new swipe typing model
what languages it support? They only mention "language-agnostic".
vzaliva··on Fidonet: Technology, Use, Tools, and History (1993)
2:463/80
vzaliva··on The quadratic sandwich
Kudos for beatiful formulae rendering.
vzaliva··on Starship V3
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.
vzaliva··on I let AI build a tool to help me figure out what was waking me up at night
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.
vzaliva··on Nobody Reviews Compiler Output
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.
vzaliva··on Tesla owner won $10k in court for Tesla's FSD lies. Tesla is still fighting him
He should publish a "bring Tesla to small court" kit, with all documents other people in the similar situation can use to sue them.
vzaliva··on SFO Gate Explorer
It should be a benefit of TSA Precheck program that TSA Pre members would not need an extra step of applying for Gate Explorer.
vzaliva··on Show HN: WhatCable, a tiny menu bar app for inspecting USB-C cables
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

Page 1 of 19Next →