HNHacker News
TopNewBestAskShowJobs

vzaliva

1,790 karma · joined June 27, 2015

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/
submissionscomments
vzaliva··on Log File Viewer for the Terminal
I've installed from snap store
vzaliva··on Log File Viewer for the Terminal
So, I started it and was doing something but there is no obvious way to exit. I tried Q,q, Ecc, :q. I tried `man lnav` in separate terminal - but no man page is provided. `ps` shows 3 processes which would not die with SIGTERM, have to `kill -9`. But nice web site :)
vzaliva··on $ teebot.dev – from terminal to tee in 6 seconds
I've tried to type in non-ASCII (Ukrainian) and preview shows it correctly. Does it guarantee it would print it properly?
vzaliva··on I love my dumb watches
There's a non-obvious fact that people with good sight might not realise. You need decent eyesight (or spectacles) to actually use smartwatch functions beyond just telling the time. As I've got older, I need reading glasses for small print, which I don't always have on when I'm away from my computer or not reading. That's killed smartwatches for me.
vzaliva··on The emergence of print-on-demand Amazon paperback books
I think it is pretty obvious. While Jack London's martin Eden is out of copyright and public domain now, if they order Penguin edition they still have to pay them some money for it. So Amazon calculated that it is cheaper to print their own. My guess they could not do this for non-public-domain books without securing rights first.
vzaliva··on Show HN: Klaus – OpenClaw on a VM, batteries included
VM hosting is good. But I want to go step further and have a local model in this VM.
vzaliva··on Don't post generated/AI-edited comments. HN is for conversation between humans
Mine understant novell you policy. AI gramair chex no.
vzaliva··on SSH Secret Menu
It does not. open ssh linux to mac, typing ~ just types it on fish shell prompt. It works after`cat` followed by ENTER
vzaliva··on Exploring the ocean with Raspberry Pi–powered marine robots
I find another article linked from this one even more exiting: "BearID: Face recognition for brown bears" https://www.raspberrypi.com/news/bearid-face-recognition-for...
vzaliva··on SSH Secret Menu
I've used ~. for a long time but did not know about others. I know, should have read man page.

Anyway, if you try it from shell prompt it is likely will not work as pressing ENTER shows the next prompt. Try `cat` followed by ENTER and then ~?

vzaliva··on I ported Linux to the PS5 and turned it into a Steam Machine
Is it something wihch would make PS5 attractive to run local LLM models? I've heard Mac Mini shared CPU/GPU memory makes it popular for that.
vzaliva··on UUID package coming to Go standard library
A slow day in Go-news land? :)

It is heathwarming to see such mundane small tech bit making front page of HN when elsewhere is is debated whether programming as profession is dead or more broadly if AI will be enslaving humanity in the next decade. :)

vzaliva··on Running NanoClaw in a Docker Shell Sandbox
I do not use nanoclaw, but I run my claude code and codex in podman containers.
vzaliva··on Dark web agent spotted bedroom wall clue to rescue girl from abuse
First of all, sorry to hear about the poor girl’s ordeal, and I’m glad she was rescued. But after reading about all that complicated digital sleuthing, it basically comes down to this:

"The team realised that in the household with Lucy was her mother’s boyfriend - a convicted sex offender."

I feel like the police should’ve started there: cross-referencing people in her close circle against a list of known sex offenders.

vzaliva··on Fix the iOS keyboard before the timer hits zero or I'm switching back to Android
Interesting (I am Android user myself). Any examples of such features?
vzaliva··on Fix the iOS keyboard before the timer hits zero or I'm switching back to Android
Why the drama? If you do not like native keyboard, install 3rd party one like Gboard.
vzaliva··on The Codex App
How about us, Linux users? This is Mac only. Do they plan to support CLI version with all the features they are adding to desktop app?
vzaliva··on Flameshot
Flameshot is great! It was one of the reasons I have not switched to Wayland. Although it seems now they have wayland support in beta.
vzaliva··on Show HN: Whosthere: A LAN discovery tool with a modern TUI, written in Go
this does not scale if you have 20-30 small utilities installed on your system.
vzaliva··on Show HN: Whosthere: A LAN discovery tool with a modern TUI, written in Go
I am not a golang user. If I install as recommended via `go` command on Linux how do I make sure it is updated when new versions are released? I wish it has a .deb package..
vzaliva··on SETI@home is in hiberation
I could not find mentions of any Ukraine-based company working with them. Do you have more info?
vzaliva··on The Nobel Prize and the Laureate Are Inseparable
Quote: "Knut Hamsun (Literature Prize 1920): In 1943, the Norwegian author Knut Hamsun travelled to Germany and met with Propaganda Minister Joseph Goebbels. After returning to Norway, he sent his Nobel medal to Goebbels as a gesture of thanks for the meeting. Goebbels was honoured by the gift. The present whereabouts of the medal are unknown."
vzaliva··on Show HN: Mantic.sh – A structural code search engine for AI agents
I've tried it on my project and it always finds one file: package.json. What languages it support? Only javascript?
vzaliva··on Agentic Patterns
I like the idea, but I am confused why many of them expressed as code. How I am suppose to use them?
vzaliva··on Can I start using Wayland in 2026?
What a fantastic and timely post! Especially coming from i3 maintainer! Michael did such diligent analasys and saved me (and hopefully others) a lot of time. I was considering trying Wayland/sway and this post answered all my questions and showed me that it is not ready, at least for me, yet.
vzaliva··on Finland detains ship and its crew after critical undersea cable damaged
I suspect the price of a ship compared to economic damages caused by the cut cable is negligible. This is what russia calls "assymetric war". The response should be more economic sanctions.
vzaliva··on Finland detains ship and its crew after critical undersea cable damaged
You saying the Finland and Estonia are guilty of russia cutting their cables because they signed an agreement?!
vzaliva··on Show HN: Witr – Explain why a process is running on your Linux system
Sounds like something I could use, but installing a binary via `curl` doesn't sit right with me. Next problem you have is "explain how this thing was installed on my system" followed "is it up to date (including security patches).

I hope they have deb package or snap some day.

vzaliva··on Phoenix: A modern X server written from scratch in Zig
Multiple screens support is listed as non-goal. Would that prevent its usage with window managers which support virtiaul desktops? I am i3 user and it is a critical feature for me.
vzaliva··on Test, don't just verify
There are many arguable points in this blog post, but I want to highlight just one: the need for formal specification. It is indeed a big issue. However, one must distinguish between a full specification, which is sufficient to prove functional correctness, and a specification of certain security or safety properties, which only allows us to verify those properties. For example, we can easily specify the property that "the program shall never read uninitialised memory" and prove it. That wouldn't guarantee that the program is functionally correct, but it would at least rule out a whole class of potential errors.
← PreviousPage 2 of 19Next →