Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
aljarry
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
8 ms
·
1.
▲
by
aljarry
1mo ago
Schemas, etc. look a lot like JSON-LD. You would need to pin the schema only if you're worried someone might modify one. But it gives you a lot of options out of the box, while still being valid JSON.
2.
▲
by
aljarry
7mo ago
That's a good point. Though I'd still expect more effort from the developer to convince people that they will actively maintain the project after the first 3 months.
3.
▲
by
aljarry
7mo ago
There are 3 new commits, and the only actually fixes are: Go update and revert to earlier version of console. But there are a bunch of changes to docs, CI workflows and issue templates. Which is what is the easy part of managing a fork, and
4.
▲
by
aljarry
7mo ago
This does seem like a person getting hooked on idle games, or mobile/online games with artificially limited progress (that you can pay to lift). It's a type of delayed gratification that makes you anxious to get next one. Not ever
5.
▲
by
aljarry
7mo ago
>the failure mode is invisible Only if you are missing tests for what counts for you. And that's true for both dev-written code, and for vibed code.
6.
▲
by
aljarry
8mo ago
One option is to do multi-stage rollout of your database schema and code, over some time windows. I recall a blog post here (I think) lately from some Big Company (tm) that would run one step from the below plan every week: 1. Create new fi
7.
▲
by
aljarry
8mo ago
I had a strange problem with Dell P2720DC (27'' 2560x1440) - the whole outer edge of the screen would flicker if I used dark background with a lot of dim colours (like dark mode in IDE, or default Grafana theme). It wouldn't
8.
▲
by
aljarry
1y ago
It does use a ton of energy - with clock on 4k screen my M2 macbook air CPU temperature went up 10°C in 10s and 20°C in 50s.
9.
▲
by
aljarry
1y ago
The first one is usually called "explainability".
10.
▲
by
aljarry
1y ago
NX NPM attack (at least the previous wave which targetted tinycolor) relied on running post-install scripts. Go tooling does not give you ways to run post-install scripts, which is much more reasonable approach.
11.
▲
by
aljarry
1y ago
Github Actions Runner code is pretty easy to read, here's a specific place that define default arguments for popular shells / binaries: https://github.com/actions/runner/blob/main/src/Runne
12.
▲
by
aljarry
2y ago
> Nothing to do with it? You certainly don’t mean that. The software running an LLM is causally involved. Not in the way that would apply problem of non-computability of Turing machine. > Perhaps you can explain your point in a differ
13.
▲
by
aljarry
2y ago
The program - yes, it is a rule-based program. But the reasoning and logic responses are not implemented explicitly as code, they are supported by the network and encoded in the weights of the model. That's why I see it as not bounded
14.
▲
by
aljarry
2y ago
Yes, exactly. What I meant is: it's not the code itself that encodes this logic or reasoning.
15.
▲
by
aljarry
2y ago
Good point, I meant the reasoning is not encoded like a logical or mathematical rules. All the neural networks and related parts rely on e.g. matrix multiplication which works by mathematical rules, but the models won't answer your que
16.
▲
by
aljarry
2y ago
That's true with any neural network or ML model. Pick a few points, use the same algorithm with the same hyperparameters and random seed, and you'll end up with the same result. Determinism doesn't mean that the "logic&q
17.
▲
by
aljarry
2y ago
But it is only a program computing numbers. The code itself has nothing to do with the reasoning capabilities of the model.
18.
▲
by
aljarry
2y ago
LLMs (our current "AI") doesn't use logical or mathematical rules to reason, so I don't see how Gödel's theorem would have any meaning there. They are not a rule-based program that would have to abide by non-computa
19.
▲
by
aljarry
2y ago
Interesting, my 3060 uses 150-170W with 14B model on Ollama, according to nvidia-smi.
20.
▲
by
aljarry
2y ago
> From my experience in C#, generics are mostly useful for implementing custom containers. That's my experience as well in C# - most of other usages of generics are painful to maintain in the long run. I've had most problems wi
21.
▲
by
aljarry
2y ago
Ubuntu supports ZFS, so if you can track Ubuntu's kernel, you get ZFS without risking unbootable system.
22.
▲
by
aljarry
2y ago
Thanks! Dagger looks really nice :)
23.
▲
by
aljarry
2y ago
I'm working on a CI system with DSL instead of yaml configs. The general premise is that most sufficiently advanced yaml configs begin to look like code - e.g. in Github Actions one could look at external Actions and shared workflows a
24.
▲
by
aljarry
2y ago
retry() { local n=$1 shift for i in $(seq $n); do "$@" done } This is not a retry function, it's a "run a function 5 times" function. Retry would check the outcome of the operation, a
25.
▲
by
aljarry
2y ago
Maybe the license is pretty clear, but interpretations differ. E.g. Minio provides a very aggressive interpretation of AGPL, equating to "if you use it in closed-source commercial product, it's a violation of AGPL": [0], [1],
26.
▲
by
aljarry
2y ago
There are libraries for writing Architecture tests for .Net and java (that I know of) for enforcing architecture design. You can enforce reference rules for classes and namespaces, like: classes from the domain namespace cannot reference th
27.
▲
by
aljarry
2y ago
The article states that "Other event sources like SNS use so-called Event Source Mapping", but (at least to my knowledge) SNS directly triggers the Lambda. SQS and few other "stream and queue-based services" use Event So
28.
▲
by
aljarry
3y ago
Is Htmx a good case for UI for a local application? I want to build a server app which I could host openly behind some auth, but at the same time I'd want to be able to run it in local mode, as a simple UI for local tests. I understand
29.
▲
by
aljarry
3y ago
> It's broken in an adversarial situation: given the hash of evidence-file A, it's possible to construct a file B that gives the same hash. No, that's a second preimage attack. MD5 is safe against preimage & second pre
30.
▲
by
aljarry
3y ago
I've played Noita ( https://noitagame.com/ ) for quite a bit, and lately it clicked to me, that the core mechanics of the player and environment come from Liero. Though Noita is a single player rouge-lite, it has wands i
More ›