Hacker News: xvilka

AI Mode for Emacs

xvilka — Tue, 22 Sep 2026 08:52:02 +0000

Article URL: https://github.com/ai-mode/ai-mode

Comments URL: https://news.ycombinator.com/item?id=49798270

Points: 26

# Comments: 0

New comment by xvilka in "Vinix – A modern operating system written in V"

xvilka — Thu, 17 Sep 2026 17:37:36 +0000

Just like V but without sharp edges?

New comment by xvilka in "Homebrew 7.0.0"

xvilka — Sun, 13 Sep 2026 15:43:03 +0000

I am quite disappointed by their decision to remove wine[1] from brew. The utility of it is obvious, and it's very popular software.

[1] https://formulae.brew.sh/cask/wine-stable

New comment by xvilka in "Google will buy half the electricity from one of Finland's nuclear power plants"

xvilka — Fri, 11 Sep 2026 02:19:36 +0000

Hopefully, such deals will also convince countries to build more nuclear power plants or expand existing ones. Europe urgently needs more electricity.

New comment by xvilka in "MathKernel: An evidence-aware multi-engine mathematics kernel and MCP server"

xvilka — Mon, 07 Sep 2026 04:21:23 +0000

You could add support also for the Woxi[1][2] for most of the symbolic math, also should be way faster than bunch of glue over different Python libraries.

[1] https://woxi.ad-si.com/

[2] https://github.com/ad-si/Woxi

New comment by xvilka in "Formalizing Fermat's Last Theorem"

xvilka — Sat, 05 Sep 2026 14:42:29 +0000

Some argue that Lean breaks a few type-theoretical properties. See full discussion here:

https://github.com/rocq-prover/rocq/issues/10871

New comment by xvilka in "Solving the Jane Street reverse engineering challenge"

xvilka — Fri, 04 Sep 2026 11:26:47 +0000

To help with such tasks for real chips (given the good quality images) there is Degate[1][2] open source software.

[1] https://www.degate.org/

[2] https://github.com/DegateCommunity/Degate

New comment by xvilka in "Hackers had a live feed of every ID verification company scanned for over a year"

xvilka — Fri, 04 Sep 2026 09:17:11 +0000

The original idea for the ID verification was broken by design anyway. The only safe and secure way is a chain/tree of trust, e.g. with PKI, where you could generate some certificate just for that particular service, while keeping your root key safe. Then, in the case of leak, the most you lose, is one particular key for one particular service that could be immediately revoked. You could even slap zero-knowledge proofs for particular properties (e.g. if the person has a driver license or not) without de-anonymizing the account. In the rare even of root key leak you should be able to physically go to the authority and make a new one, while revoking the old key. I don't see any other better alternatives than this.

New comment by xvilka in "The ChatGPT/Codex app bundles a full copy of LibreOffice"

xvilka — Wed, 02 Sep 2026 02:30:51 +0000

Would be nice if they donate to LibreOffice then, to improve the support of various MS Office features in files, as well as comparison/diffing features. Win-win to everyone.

New comment by xvilka in "Internet centralization and the original sin of NAT"

xvilka — Tue, 01 Sep 2026 01:45:28 +0000

One option to resolve current worrying trends is to invest in development of alternative network protocols/structure, Yggdrasil[1][2], for example.

[1] https://yggdrasil-network.github.io/

[2] https://github.com/yggdrasil-network/yggdrasil-go

New comment by xvilka in "I attended the State of the Map conference"

xvilka — Mon, 31 Aug 2026 14:38:20 +0000

Street maps are already in a good shape. What's not in a good shape - public transportation software and data - metro, tramway, commuter rails and big railways, buses. For example, OpenMetroMaps[1][2] barely gets any attention. And usually such maps are limited to particular cities or countries. Creating something like MetroMan app that supports so many cities, would be great. There are also Transportr[3][4] or abandoned (it seems?) Transito[5]. More people should collaborate on such projects. So far, most of them tend to be just solo developers.

[1] https://www.openmetromaps.org/

[2] https://github.com/OpenMetroMaps/OpenMetroMaps/

[3] http://transportr.app/

[4] https://github.com/grote/Transportr

[5] https://git.sr.ht/~mil/transito

New comment by xvilka in "Visualizing Binary Files"

xvilka — Tue, 25 Aug 2026 17:30:49 +0000

Rizin[1][2] has the byte-level highlight (enter visual mode with `V` key then rotate through modes using `p` or `P`)[3], and there is an issue[4] for Cutter to add binary visualization as a plugin, if anyone is up to the task.

[1] https://rizin.re

[2] https://github.com/rizinorg/rizin

[3] https://book.rizin.re/src/visual_mode/intro.html

[4] https://github.com/rizinorg/cutter-plugins/issues/3

New comment by xvilka in "Vintage Artificial Intelligence: Before It Got Awkward"

xvilka — Tue, 25 Aug 2026 05:25:57 +0000

There is still work on symbolic and hybrid AI - ProbLog[1][2] and DeepProbLog[3], as well as DeepLog[4] for example.

[1] https://dtai.cs.kuleuven.be/problog/

[2] https://github.com/ML-KULeuven/problog

[3] https://github.com/ML-KULeuven/deepproblog

[4] https://github.com/ML-KULeuven/deeplog

New comment by xvilka in "AI companies destroy physical books – let's scan rare books before it's too late"

xvilka — Fri, 21 Aug 2026 06:20:41 +0000

It would be nice if we have some "tracking" e.g. 30% of all known books are scanned. So far all information I searched in the Internet about the progress has been patchy. It's also impossible to understand if exact book was ever digitized or not.

New comment by xvilka in "Cursor launches Origin, GitHub alternative"

xvilka — Wed, 19 Aug 2026 09:37:06 +0000

Thankfully, there is a Jira CLI tool[1].

[1] https://github.com/ankitpokhrel/jira-cli/

New comment by xvilka in "Cursor launches Origin, GitHub alternative"

xvilka — Tue, 18 Aug 2026 17:07:20 +0000

Instead of creating one more centralized alternative, it's best to invest all effort into a decentralized solution, like Radicle[1][2] or federated Forgejo[3][4].

[1] https://radicle.dev/

[2] https://radicle.network/nodes/seed.radicle.dev/rad%3Az3gqcJU...

[3] https://forgejo.org/

[4] https://codeberg.org/forgejo-contrib/federation/src/branch/m...

New comment by xvilka in "AI is removing the middle class of software engineering?"

xvilka — Wed, 12 Aug 2026 17:07:52 +0000

Now the question is - no one was born good or best engineer/programmer/scientist. Often it was a long path of sleepless nights, daily grinding, failing million times, doing dumb mistakes along the way, the usual package of suffering sometimes called "experience". What is the path now for the next generation of good or best engineers? There will be no opportunities/budget to do the same anymore.

New comment by xvilka in "Show HN: Woxi - Open-source Mathematica / Wolfram Language reimplementation"

xvilka — Wed, 12 Aug 2026 16:31:14 +0000

Wish you luck. Hope one day instead of Sage that is a bunch of Python glue for completely different and disjointed systems like Maxima, SymPy, Octave, GAP, PARI/GP, etc we will get a one well-integrated (and blazingly fast because written in Rust). I am a big supporter of open-source but after struggling with Sage and Co, decided that buying Wolfram Mathematica license is well-worth it (never regretted since). It would be great if we don't need to do that anymore.

As for the "most wanted" features, I would vote for PDEs, since most other systems (apart from Mathematica itself) do not support them well.

New comment by xvilka in "NASA figured out how to keep its Voyager 2 probe running for another year"

xvilka — Sat, 08 Aug 2026 05:58:09 +0000

I wish more robotic missions like that were sent. Not necessarily the most expensive ones, just one that can use only gravity assists and plutonium power generators. They could be relatively small ones. Maybe even trying to ride some of the small rocks/asteroids, now that we have a better catalogues of such.

New comment by xvilka in "Bonsai: Janestreet's UI Library"

xvilka — Mon, 03 Aug 2026 09:04:18 +0000

Looks like it's Web-only, no mention of the native UI support (terminal UI excluded).