xvilka

6 ms·

1.
by xvilka 3d ago
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
2.
by xvilka 6d ago
Hopefully, such deals will also convince countries to build more nuclear power plants or expand existing ones. Europe urgently needs more electricity.
3.
by xvilka 10d ago
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/a
4.
by xvilka 11d ago
Some argue that Lean breaks a few type-theoretical properties. See full discussion here: https://github.com/rocq-prover/rocq/issues/10871
5.
by xvilka 12d ago
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
6.
by xvilka 12d ago
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
7.
by xvilka 15d ago
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.
8.
by xvilka 16d ago
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
9.
by xvilka 16d ago
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 usu
10.
by xvilka 22d ago
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:&#
11.
by xvilka 23d ago
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/prob
12.
by xvilka 27d ago
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 e
13.
by xvilka 28d ago
Thankfully, there is a Jira CLI tool[1]. [1] https://github.com/ankitpokhrel/jira-cli/
14.
by xvilka 29d ago
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
15.
by xvilka 1mo ago
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 sufferi
16.
by xvilka 1mo ago
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 writ
17.
by xvilka 1mo ago
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
18.
by xvilka 1mo ago
Looks like it's Web-only, no mention of the native UI support (terminal UI excluded).
19.
by xvilka 2mo ago
Using Logseq[1][2] for years and quite happy with it, especially since it has apps for tablets/iPad and phones as well, while being completely FOSS. [1] https://logseq.com/ [2] https://github.com/logseq
20.
by xvilka 2mo ago
Maybe it will push more people and more effort into the true decentralization since the Forgejo/Codeberg federation[1] effort is way too slowly moving. Radicle[2] it is. [1] https://codeberg.org/forgejo-contrib/fed
21.
by xvilka 2mo ago
Something like Lem[1][2] could go even further because of the richer CommonLisp ecosystem compared to Elisp one. [1] https://lem-project.github.io/ [2] https://github.com/lem-project/lem
22.
by xvilka 2mo ago
It would make sense to implement it in QEMU instead. There was some previous work in the past, don't have a link right now to the original patchseries, but here is the repository[1]. In theory, it could be adapted to the modern QEMU co
23.
by xvilka 2mo ago
Looks like layout/format of this PDF is heavily broken - line overflows and out of the context/layout line at the end...
24.
by xvilka 2mo ago
I wrote "better typed", not just "typed".
25.
by xvilka 2mo ago
CommonLisp really should evolve to update the language up to the modern standards and become more functional and better typed.
26.
by xvilka 2mo ago
"reconciling" is the most annoying one, in my opinion.
27.
by xvilka 3mo ago
> compiling Rust programs for platforms not supported by LLVM For this, gcc-rs[1][2] is the most promising candidate. [1] https://rust-gcc.github.io/ [2] https://github.com/Rust-GCC/gccrs
28.
by xvilka 3mo ago
Real neurons are orders of magnitude more complex than their artificial pseudo-approximation (it is all based on the century-old understanding of how neurons work). You can think of _individual_ biological neuron as an analog of the small a
29.
by xvilka 3mo ago
Looks great, but the passage about Google CEO is unnecessary in such guide, IMHO. Even if it might be true.
30.
by xvilka 3mo ago
For QNX/Blackberry it would make sense to opensource Photon since they are not using it anymore. Porting it to the modern QNX and other systems would be great.

More ›