Viewing profile — henrydark

It's 100*10*4.5 inside, you're summing 100*9+100*8+...+100*1. So 4.6min, i.e. 4:36

First, they give a novel generation algorithm based on combining trees with diffusion, which trees alone just don't give you. Second, yes, they think some tabular data will be fit …

Is the code available somewhere?

I don't put ssh keys on all devices. With syncthing, in contrast to git, I don't have too. Also syncing is automatic and immediate, I don't have to initiate push and pull.

For sure, I put the details here: https://drorspei.com/syncgit

I now use syncthing for the .git directory, excluding HEAD file and a few others, between my few devices and a vps on hetzner. Most of git is append only immutable blobs - just sha…

I read the piece, looks cool, but it merges Dockerfile with docker image? If instead of using Dockerfile they would have a direct build of the image tar file with something like ni…

I've given the following exercise to developers in a few workplaces: What's the complexity of computing the nth fibonacci number? Make a graph of computation time with n=1..300 tha…

words_on_lines = [ret for line in text.splitlines() for ret in [line.split()]]

Dask for python satisfies exactly these requirements, just in the python ecosystem. A pattern I have been using at multiple workplaces for the last decade was to start a dask clust…

The innovation is to find traces of a global cosmic-ray event with which to connect the dating of objects in one local area, Greece, where the dendrochronological data is not conti…

I get the sentiment, but personally I can easily imagine myself writing an autocompleter that would work fine with select before from. (I don't write much sql so I don't) Just to c…

I must go on compiling / You can't break that which isn't yours / I must go on packaging / I'm not my own, it's not my choice

This is lovely, I didn't know. I guess this is what Kuhn was talking about, we write history in retrospective, sorting it out preferring narrative over fact.

Lots of people are saying that having large files in a repo is wrong, bad, bad design, incorrect usage. Forget that you know git, github, git-lfs, even software engineering for a m…

This definitely fits with Grothendieck's philosophy: he basically ignored all work in this area, implicitly claiming it was trivial, while some of his closest friends and most famo…

Well, they're not _just_ that, right? First, they can be differential forms, not only functions. Second, there's an important note that we don't look only at things over C. For exa…

Still waiting to see the first new irrationality proof with these ideas, wishing you lots of good luck!

Actually, AFAIU the TLA+ proof is only for a few small cluster sizes - not for all sizes. And the number of nodes in the painting is definitely above that checked by TLA+...

I didn't know about task spooler. Is it better than using xargs with a parallel pool? xargs -L1 -P20 git clone --bare