Hacker News Reader

wadimon LLMs are making formal software verification feasible at a much larger scale

> I'm not going to go to the trades

I find it unrealistic anyway, that market will be saturated so fast, it won't make a difference for you or me, in the grand scheme of things.

wadimon JetZero

Apart from just being highly unrealistic and not very practical, hospitals are much worse than airports in every way. Why not just get injected at the airport itself? And why an injection? Why not inhale some dream gas? Less intrusive and scales better.

wadimon Passkeys were invented by engineers with zero understanding of consumer brain

I'm using bitwarden, but it's possible to use passkeys from multiple devices and if it's not available for whatever reason, you can just login with username/password/token/biological probe/whatever you used before. As an example: GitLab gives you both options right from the start, so you can use whatever you fancy in that particular moment.

wadimon Xiaomi-Robotics-1

The uncut video is at the bottom of the page.

wadimon Herdr: One terminal to rule them all

Their page has a live view of the amount of GitHub stars, arguably the most important metrics in the universe.

wadimon GLM 5.2 beats Claude in our benchmarks

> I think it would be good not to suggest someone run a new Chinese agent on their bare metal.

Not sure a project nobody knows or uses is much better in this regard?

wadimon Germany news: Childfree adults to pay more for elder care

How do you know they didn't? Some people don't want to screen for birth defects or check for compatibility between themselves. They don't do all preventative measures, don't use gene-editing therapies or do harmful things like drinking and smoking while being pregnant.

wadimon Germany news: Childfree adults to pay more for elder care

Should people with disabled children pay even more, since they not only fail to produce future taxpayers, but are also a huge burden on the social system? What if your children die before even paying a single cent into the system? People with jobs/hobbies with a high risk of being taken out of the workforce? People with genetic diseases? Or just go straight to the root of the issue: anyone above 60, who can't even dress themselves, we get rid of.

We should really gamify the system as much as possible to make it fun for everyone involved.

wadimon Astral to Join OpenAI

It wouldn't be the first project which gets adopted by the community. The license certainly allows for it.

wadimon Debian decides not to decide on AI-generated contributions

Why accept PR's in this case, if the maintainers themselves can ask their favorite LLM to implement a feature/fix an issue?

wadimon Europe's most wanted man plotted my murder and that of my colleague

Wanna hear my theory? The FSB employs trolls to try undermine anyone who is critical of the great Russian regime by posting stupid conspiracy theories online. They often have to create new accounts, because old ones get banned quickly and frequently.

3 people, 2 of whom have accounts created just today for this thread, post something negatve towards Bellingcat without any proof. Crazy coincidence.

wadimon Europe's most wanted man plotted my murder and that of my colleague

> but Bellingcat is of course funded by the National Endowment for Democracy ...

Spooky! No need to be coy, say what you are implying.

Additionally, do you have a source that they ARE being funded solely by NED (which is currently impossible anyway) and didn't just receive some funding that one time? Not sure what advantage they gain being such an obvious "CIA front", but I'm also not playing 5D chess.

wadimon Zelensky leaves White House after angry meeting

[flagged]

wadimon Yocto, RockPi and SBOMs: Building modern embedded Linux images

You could see whether kas[0] could help you there. It fixes some of the manual steps, while adding tons of goodies.

[0] https://kas.readthedocs.io/en/latest/

wadimon Stargate Project: SoftBank, OpenAI, Oracle, MGX to build data centers

If you're lucky, you might get your chance to live in Thiel's and Ellison's techbro utopia. Make sure to tell us how great it is to be subjected to people with no accountability, but all of the power over every aspect of your life.

wadimon Leaving Neovim for Zed

> I also settled on Lunarvim (ans stopped worrying)

Then I have some sad news for you. :(

https://github.com/LunarVim/LunarVim/discussions/4518#discus...

wadimon Eza: A modern, maintained replacement for ls

> So it's OK to hide the mess, by throwing everything from the living room into the closet, I guess?

Yes? This is literally how every human in the world does it. You put your things, according to catrgories, into their respective room/cabinet. If somebody asks you where your sweaters are, you don't say "just search the ground", you say " in the closet".

Same thing here. You don't have to guess where files are, you know by convention.

wadimon Protecting Children's Safety Requires End-to-End Encryption

Didn't we have quite a few scandals involving LE saving and sharing media as well? Doesn't make it much better, you'll just have a bigger pool of people looking at the unencrypted chats.

I think a better solution would be filters which run only locally and can block problematic messages, as well as alarm platform provider/LE/parents. E2E still works, but you have some safety as well.

wadimon EasyOS: An experimental Linux distribution

> Uh what!? About every single Linux distro has .iso files available.

That doesn't really mean much. The point is that there's practically only disadvantages to ISOs and using image files instead would make more sense nowadays.

wadimon Ukraine, startups try to edge Russia in the electronic warfare race

Like the T-14 we have seen so much of. Or the cope cages. Or the Iranian drones they had to buy. Or ...

> TASS

Which is of course the Russian's most unbiased news source.

wadimon Orgzly Revived: a community-maintained version of Orgzly

It's a read-only peer with a huge disk which is always on and syncs changes across all devices continuesly. This way you can safely change the same file across all devices, without them having to be online simultaneously.

wadimon Orgzly Revived: a community-maintained version of Orgzly

It helps a lot if you have a third machine, which runs 24/7. Haven't had any sync conflicts in ages.

wadimon Neovide – A simple, no-nonsense, cross-platform GUI for Neovim

How do you handle multiple projects at the same time, with a tiling window manager? The nice thing about the terminal is the possibility of having layouts, tabs and so on. Or using tmux/zellij with a terminal that doesn't support these more advanced features.

wadimon YouTransfer: Self-hosted file transfer and sharing solution

https://docs.syncthing.net/users/untrusted.html

It's a setting you can find in the advanced tab of devices.

wadimon Xreal's new AR glasses are aimed at the Apple Vision Pro

In Germany there's a company renting those (and other VR headsets, consoles, etc.) out. It's not super expensive. Maybe there's something similar where you are? A month for you to test it in the comforts of your own home might be better than 5 minutes in some shop.

wadimon Show HN: Caddy-SSH

Depends on how the server was setup. Ubuntu has offered importing public keys from github for quite a while in its installer. If you're using terraform/ansible/some other IaC tool, adding a key is probably just 1-2 lines of code. Some OS, like Guix or NixOS, also allow you to define them in a config file. Worst case you can just do something like `curl -L github.com/username.keys >> .ssh/authorized_keys`.

wadimon Tell HN: If You Are in Russia

It's not a civil war, it's a war started by Russia 8 years ago. It's a war Russian military has been leading and participating in from the very beginning. This was sufficiently documented in the past, don't repeat Kremlin talking points.

wadimon Tell HN: If You Are in Russia

Didn't all of humanity at some point? Ukraine being a more recent example. And here we are, living in mostly free and democratic countries. Weird how that happened.

wadimon Tell HN: If You Are in Russia

The same Russians who are currently using VPNs to post Russian propaganda all over reddit, facebook, twitter and co? If you think Russians are this way just because they don't have access to the guardian, then I have 20 years worth of Russian politics waiting for you. They don't care. They haven't cared when the wars in Chechnya or Georgia happened, they won't care now. The sanctions are supposed to force them to care.

wadimon Building an Intelligent Emacs

Doom[0] (and Spacemacs probably too) supports lsp-mode quite well and it mostly works out of the box - for some languages more than others. As someone who only recently started using emacs it's been a great experience.

[0] https://github.com/hlissner/doom-emacs