henrydark

10 ms·

1.
What's My Number?(drorspei.com)
1 points by henrydark 14d ago|1 comments
2.
by henrydark 26d ago
Song also proves Bieber is a dualist "cause I'm missing more than just your body" What else does she have that he misses?
3.
by henrydark 1mo ago
Not this one: https://drorspei.com/whatsmynumber
4.
by henrydark 3mo ago
It's 100*10*4.5 inside, you're summing 100*9+100*8+...+100*1. So 4.6min, i.e. 4:36
5.
by henrydark 3mo ago
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 better by their combination of trees with diffusion tha
6.
by henrydark 3mo ago
Is the code available somewhere?
7.
by henrydark 4mo ago
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.
8.
by henrydark 4mo ago
For sure, I put the details here: https://drorspei.com/syncgit
9.
by henrydark 4mo ago
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 sharing these between devices just works for me. "users&qu
10.
by henrydark 5mo ago
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 nix then it would have been easier, though admittedly mildly e
11.
My Fargate Startup Is Slow: An Investigation into Docker Layer Optimization(drorspei.com)
1 points by henrydark 8mo ago|0 comments
12.
Supaplex – first time I cheated in a computer game(drorspei.com)
1 points by henrydark 1y ago|0 comments
13.
by henrydark 1y ago
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 that visualizes your answer. There are those that ver
14.
by henrydark 1y ago
words_on_lines = [ret for line in text.splitlines() for ret in [line.split()]]
15.
by henrydark 1y ago
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 cluster (maybe 10 years ago I would start an ipyparallel cluster)
16.
Tool to make an LLM make an LLM think about Pink Elephants(drorspei.com)
2 points by henrydark 1y ago|0 comments
17.
Algebraic Locality-Sensitive Hashing(drorspei.com)
3 points by henrydark 2y ago|0 comments
18.
by henrydark 2y ago
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 continuous, with those in far away local areas, for example Engla
19.
by henrydark 3y ago
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 clarify, my point is that when we do write sql most
20.
by henrydark 3y ago
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
21.
by henrydark 3y ago
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.
22.
by henrydark 3y ago
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 moment. All you know is that you're developing a general
23.
by henrydark 3y ago
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 famous student made huge strides with actual hard work - no
24.
by henrydark 3y ago
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 example, specifically in the context of Fermat&#
25.
by henrydark 3y ago
Still waiting to see the first new irrationality proof with these ideas, wishing you lots of good luck!
26.
by henrydark 3y ago
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+...
27.
by henrydark 3y ago
I didn't know about task spooler. Is it better than using xargs with a parallel pool? xargs -L1 -P20 git clone --bare < repositories.txt
28.
by henrydark 3y ago
I have a hot take on this, which I hope will resonate with at least a few people: duplication, even of blocks of up to a few long statements, rarely bothers me, because I remember all the duplications as a single instance. I have extra ordi
29.
by henrydark 3y ago
I hope this isn't received too badly on HN, but Feynman was way too smug sometimes. This speech is essentially a philosophy of science piece, at the intellectual stage of at least one hundred years prior, and probably more like three h
30.
by henrydark 3y ago
> Before if you started with thread and then realised you were GIL-limited then switching from the threading module to the multiprocessing module was a complete change Is this true? I've been switching back and forth between multip

More ›