xvilka

3 ms·

1.
by xvilka 9d ago
Just like V but without sharp edges?
2.
by xvilka 13d 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
3.
by xvilka 15d ago
Hopefully, such deals will also convince countries to build more nuclear power plants or expand existing ones. Europe urgently needs more electricity.
4.
by xvilka 19d 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
5.
by xvilka 21d ago
Some argue that Lean breaks a few type-theoretical properties. See full discussion here: https://github.com/rocq-prover/rocq/issues/10871
6.
by xvilka 22d 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
7.
by xvilka 22d 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
8.
by xvilka 24d 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.
9.
by xvilka 25d 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
10.
by xvilka 26d 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
11.
by xvilka 1mo 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:&#
12.
by xvilka 1mo 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
13.
by xvilka 1mo 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
14.
by xvilka 1mo ago
Thankfully, there is a Jira CLI tool[1]. [1] https://github.com/ankitpokhrel/jira-cli/
15.
by xvilka 1mo 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
16.
by xvilka 2mo 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
17.
by xvilka 2mo 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
18.
by xvilka 2mo 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
19.
by xvilka 2mo ago
Looks like it's Web-only, no mention of the native UI support (terminal UI excluded).
20.
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
21.
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
22.
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
23.
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
24.
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...
25.
by xvilka 2mo ago
I wrote "better typed", not just "typed".
26.
by xvilka 2mo ago
CommonLisp really should evolve to update the language up to the modern standards and become more functional and better typed.
27.
by xvilka 2mo ago
"reconciling" is the most annoying one, in my opinion.
28.
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
29.
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
30.
by xvilka 3mo ago
Looks great, but the passage about Google CEO is unnecessary in such guide, IMHO. Even if it might be true.

More ›