Koffiepoeder

4 ms·

1.
by Koffiepoeder 23d ago
I think their point is more on the fact that just proving something is only half the work. Intermediate results and proofs are often also of immense value. Right now the output is sloppy proofs and LEAN code. This is useful, but a large par
2.
by Koffiepoeder 24d ago
Can potentially have private networking advantages, e.g. internal api's.
3.
by Koffiepoeder 26d ago
Changing copyright durations without touching patent law is useless. In your example we would also need to shorten software patents to e.g. 3 years. Otherwise the big fish will just create a patent maze.
4.
by Koffiepoeder 1mo ago
For me something the likes of: design a CDM for integrating these 5 logistical systems, with full docs and examples provided for each, as well as modeled transports specific to our business. Prompt was of course much longer. Both failed spe
5.
by Koffiepoeder 1mo ago
In my own veg garden, I have noticed that my soil quality starts degrading around >6% of carbon contents. It wasn't a problem until recently, but with all the droughts in recent years, too high carbon can make it hydrophobic and lea
6.
by Koffiepoeder 1mo ago
If only they would update it to work with their remote development kit... One can keep dreaming right :)
7.
by Koffiepoeder 2mo ago
Or when their papers are retracted for political reasons.
8.
by Koffiepoeder 2mo ago
Can you give me some pointers? Last I heard researches simulated an entire brain of a fruitfly with just a classic neuron approach [0] and if I recall it worked great. I know a human brain is many orders of magnitude more complex, and that
9.
by Koffiepoeder 4mo ago
I once came across a similar "solution". The signing algorithm was directly executed from the update package. How would we otherwise be able to update the signature algorithm? Worst part was that it was correct at some point. It w
10.
by Koffiepoeder 5mo ago
Hey dipshit, Maybe I develop games. Maybe I develop IoT devices. I might even be working in a high-stakes environment where formal verification is needed, who knows. Whatever the case may be, we all have our reasons for choosing certain tec
11.
by Koffiepoeder 5mo ago
Thanks for the recommendation. This is very close to what I am looking for, at least with regards to the CLI. The networking part I can fix with a second docker container and network_mode I think. The centralised key and permission manageme
12.
by Koffiepoeder 5mo ago
Slightly related: I am looking for: - Easy single command CLI agent spawning with templates - Automatic context transfer (i. e. a bit like git worktrees) - Fully containerised, but remote (a bit like pods) - Central, mitm-proxy zero trust a
13.
by Koffiepoeder 5mo ago
Also this would not account for cooling shrinkage, a very annoying problem when making high quality parts to spec.
14.
by Koffiepoeder 5mo ago
I would be more concerned for remotely triggered inverter spikes tbh. These could sabotage the whole grid if I'm not mistaken.
15.
by Koffiepoeder 5mo ago
Reminds me of this (by now completely outdated) middle east friendship chart I once came across. [0]: https://www.slate.com/blogs/the_world_/2014/07/17/the_middle...
16.
Open source DAG for managing multi-agent pipelines(github.com)
1 points by Koffiepoeder 6mo ago|1 comments
17.
by Koffiepoeder 6mo ago
Working with agents and current-generation coding tools to me still feels relatively cumbersome. You have to do a lot of /manual /skill invocations and go through many review cycles before I consider code even close to workable, l
18.
by Koffiepoeder 6mo ago
Rohansi was basically asking 'why', you keep on reiterating that DDR uses more power than LPDDR, but fail to answer why this is the case. Is it clock speed? Is it voltage? Is it a protocol/specification difference? 'vari
19.
by Koffiepoeder 6mo ago
You did not answer the question.
20.
by Koffiepoeder 6mo ago
I understand trimming input fields is typically a useful default, but in this case this prevents me from searching for a space. So maybe it'd be worthwhile to add a `if (trim(str)=="") return str` exception or something simil
21.
by Koffiepoeder 6mo ago
Imagine my face when I had to take periodic backups of stateless, immutable read-only filesystem, non-root containers for "compliance".
22.
by Koffiepoeder 6mo ago
To be honest, I would even go further: if you think certification equals security, you are even more lost. So many controls are dubious, sometimes even actively harmful for some set-ups/situations. And even moreso, it's also perfe
23.
by Koffiepoeder 7mo ago
Can confirm. Have encountered many on-prem and lift-and-shift solutions with no automated means of updating certs. The worst contenders are usually 1) executables on windows server (version 2012, of course), 2) old, obscure or very outdated
24.
by Koffiepoeder 7mo ago
(Note that if OP considers to do this, they probably want to do this in a private tab, as to not leak potential sensitive cross-site cookies)
25.
by Koffiepoeder 7mo ago
We have an OCR job running with a lot of domain specific knowledge. After testing different models we have clear results that some prompts are more effective with some models, and also some general observations (eg, some prompts performed b
26.
by Koffiepoeder 7mo ago
Do you mean attacking a second country in the top 10 oil/gas reserve ranking in mere weeks, while threatening to invade a third?
27.
by Koffiepoeder 7mo ago
The A3B part in the name stands for `Active 3B`, so for the inference jobs a core 3B is used in conjunction with another subpart of the model, based on the task (MoE, mixture of experts). If you use these models mostly for related/simi
28.
by Koffiepoeder 8mo ago
Exactly there's so much stuff you simply cannot configure otherwise. For example disallowing applications to take sole ownership of a mic, in-detail power plans, etc. If they remove the old control panel, your machine basically becomes
29.
by Koffiepoeder 8mo ago
Had to search a bit, but here's a demo page: https://maplibre.org/maplibre-gl-js/docs/examples/display-a-... Can be compared with: https://maplibre.org/maplibre-gl-js/docs/examp
30.
by Koffiepoeder 9mo ago
For those interested in browser differences, on my machine: Firefox AoS: 2951.00ms SoA: 1624.00ms Interleaved: 1961.00ms Chrome AoS: 2133.30ms SoA: 884.30ms Interleaved: 1457.60ms Seems the interleaved

More ›