Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jnxx
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
63 ms
·
601.
▲
by
jnxx
6y ago
What I don't understand is that python2 and python3 are still advertised as the same language. For Python's developers, this is arguably the case - basing on Python2 source code, they made some changes and just published a new ver
602.
▲
Building Docker files from scratch using DJB's “redo”
(redo.readthedocs.io)
5 points
by
jnxx
6y ago
|
1 comments
603.
▲
by
jnxx
6y ago
> - the decentralised app requires the creation of a list of the "infected", which is synced to everyone I don't think it works that way. Here the requirements on privacy which became the accepted base for the German app:
604.
▲
by
jnxx
6y ago
> They just took the turn sooner than the British and others. Because of protests and massive intervention of experts and digital citizens rights group like the CCC. Luckily, the government listened in this case. I am somewhat amazed how
605.
▲
by
jnxx
6y ago
> The weird thing is, that after reopening many thing/services in many places, there were very rarely any new spikes in new cases. We've all been expecting a spike after every measure being removed, and it hasn't happened
606.
▲
by
jnxx
6y ago
> No matter what operating system you're on, you'll eventually run into an application that doesn't render in high dpi mode. I am using using Emacs and tmux under Linux, in the Gnome desktop. Gnome has HDPI scaling. For me
607.
▲
by
jnxx
6y ago
> I don't think NixOS will be more popular than Arch anytime soon either. It seems to already have more packages though (60,000 vs 11,000). I guess NixOS, and also Guix, will be used first in domains where both recentness of tools
608.
▲
by
jnxx
6y ago
I think a lot of these ideas have gone into Python's Numpy, for example. But I believe these are useful for the domain of signal processing and numerical computation, and not that well suited for general problems. (You might be interes
609.
▲
by
jnxx
6y ago
Just a reminder, you can also use Guix as a package manager only on top of, for example, a Debian or Arch system (I am using it currently on top of both). This works very much like Python's pip / virtualenv, and is extremely helpf
610.
▲
by
jnxx
6y ago
> unnecessarily geeky and childish nomenclature, GPLv3 You seem to be a bit new to this issue. Building software from source and using FLOSS licenses makes sure that the software is available in the long term and can be developed further
611.
▲
by
jnxx
6y ago
> Guix has fever Java packages because of that That's right, but 13,800 packages is not exactly bad. I believe that is more packages than Ubuntu had a few years ago.
612.
▲
by
jnxx
6y ago
> why must there be a middle man between the developer and user, why must there be a separate middleman for every repo, Guix allows you to easily write own package definitions which are treated as part of the whole system. If you submit
613.
▲
by
jnxx
6y ago
> I really do want to do this, precisely because the software in the repo is often out of date, That depends much on the distribution you use (if recentness is most important, why do you don't use Arch), and being out of date is def
614.
▲
by
jnxx
6y ago
I think what will make the most difference in the long term is using GNU Guile Scheme as language for package definitions. I think it is a brilliant choice to use a mature and popular language which supports functional programming very well
615.
▲
by
jnxx
6y ago
> Having said that, you could certainly list system headers in a Makefile You can. But that's a lot of headers. You can instruct gcc to tell the dependencies to you, but this information is hard to pipe into make because you'd
616.
▲
by
jnxx
6y ago
> ...isn't that pretty much what "make clean" generally does? Yes, exactly. The point is that "make clean" is used because the Makefile does not capture the dependencies perfectly. So, "make clean" ensu
617.
▲
by
jnxx
6y ago
For the deeply conservative domain that infrastructure code is, it has a fantastic fast and enthusiastic adoption. It will take a while until it is used as a standard choice for building python extensions and such (which also makes sense, t
618.
▲
by
jnxx
6y ago
> Is the above code fragment hand coded or generated? It is a handwritten example, there is no code generation involved. However, standard rules can be defined by patterns for specific file extensions. Basically how redo works is that it
619.
▲
by
jnxx
6y ago
You might like lftp.
620.
▲
by
jnxx
6y ago
just as lovely as cat and tac
621.
▲
by
jnxx
6y ago
To mention, I think Nix or Guix are indeed good complements to things like redo! Guix System and NixOS are just geared to define the whole system, while make or redo build a single program or a set of artifacts.
622.
▲
by
jnxx
6y ago
Ah, and no, it does not follow from what I said, I am just reporting about redo's properties. As said, using redo is very very simple, but it is also mind-blowingly different from make. It is not difficult to understand, but the orig
623.
▲
by
jnxx
6y ago
> IME, `clean` is for when I want things rebuilt despite "nothing" having changed. Of course, you can use clean in this case. You can do that also with redo, just delete all the intermediate files and start a normal build. How
624.
▲
by
jnxx
6y ago
You could read here: https://redo.readthedocs.io/en/latest/#whats-so-special-abou... (I think this explanation is much better than what I can do) And yes, it can build specific intermediate files or targets.
625.
▲
by
jnxx
6y ago
> But the only way to actually achieve reliable clean-less builds is to run it in an environment where you either take away all access to non-dependencies (like Nix[0]) or automatically record all accessed files (like Tup[1]). You can al
626.
▲
by
jnxx
6y ago
> But one thing that still annoys me with Make are the workarounds needed to work with stuff which state can not be derived from a file I am not sure about that one. I think the reason is that make is not made for general scripting, but
627.
▲
by
jnxx
6y ago
Make works pretty well, that's why it is used. But there are a few points it does not cover: - Recursive building is complicated. it is not really easy to compose a small unit into a larger project, so that one just needs to copy the s
628.
▲
by
jnxx
6y ago
> Perhaps the best known example of this kind of tool is Make. At its core it is only a DAG solver and you can have arbitrary functionality just by writing shell script fragments directly inside your Makefile. I am still fascinated by re
629.
▲
by
jnxx
6y ago
I was always wondering why that browser is in Arch. That finding merits a good look what else is in Arch Linux repositories that has stealth behavior or is otherwise against users interests.
630.
▲
by
jnxx
6y ago
Yeah. I am wondering since a while whether well-known algorithms like the binary heap are still efficient on modern architectures, because their random memory access patterns.
More ›