cerved

7 ms·

31.
by cerved 10mo ago
Do you mean compiler errors or some other kind of error message?
32.
by cerved 11mo ago
Claude is pretty good at forgetting to run maven with -am flag, writing bash with heredocs that it's interpreter doesn't weird out on, using the != operator in jq. Maybe Claude has early onset dementia.
33.
by cerved 11mo ago
Well glp1 doesn't make you want to eat broccoli. Just less in general
34.
by cerved 11mo ago
Funnily enough, not an article on grokipedia
35.
by cerved 11mo ago
To anyone wondering, I believe it's cursed because the finally continue blocks hijacks the try return, so the for loop never returns
36.
by cerved 11mo ago
You can't break encryption "only sometimes"
37.
by cerved 11mo ago
It's extremely common in graphic design because it's so easy for everyone to have an opinion.
38.
by cerved 11mo ago
> Honestly, a simple data-driven heatmap showing which parts of the code change most often or correlate with past bugs would probably give reviewers more trustworthy signals. At first I thought this to but now I doubt that's a good
39.
by cerved 11mo ago
> If it’s on the web, it’s digital, there was never a period when blogs were hand written. This is just pedantic nonsense
40.
by cerved 1y ago
Fixing btrfs RAID6 is becoming the Duke Nukem Forever of file systems
41.
by cerved 1y ago
It needs MIR
42.
by cerved 1y ago
You can go yell in the others people ear
43.
by cerved 1y ago
Not a lot. Idk 25W TDP for the 16 core?
44.
by cerved 1y ago
How much TDP and does it have 8+ sata with 10Gbe?
45.
by cerved 1y ago
No. RAID 5/6 is still fundamentally broken and probably won't get fixed
46.
by cerved 1y ago
Nah buy the right enterprise gear instead https://www.supermicro.com/en/products/motherboard/A2SDi-H-T...
47.
by cerved 1y ago
I own this and it's worth it's weight in gold https://www.supermicro.com/en/products/motherboard/A2SDi-H-T... Yes. It's pricey but it's never been a problem. It can connect like 12 HDDs wi
48.
by cerved 1y ago
Is that with ZFS or something else? Mainly I wouldn't do it because of there's space and SATA ports it seems stupid. Hotter. Worse HW. Can't really see much good reason to do it tbh except it's in a small hot case which
49.
by cerved 1y ago
Who makes the rules?
50.
by cerved 1y ago
Yesterday I asked Gemini to recalculate the timestamps of tasks in a sequence of tasks, given it's duration and the previous timestamp. It proceeded to write code which gave results like this 2025-09-26T14:32:10Z 2025-09-26T14:32
51.
by cerved 1y ago
It's not a tariff
52.
by cerved 1y ago
The Coursera courses are a great resource for learning how to model problems. > any good primer literature I might check out for understanding the basis of tweaking constraint solvers? I have started running into some performance issues
53.
by cerved 1y ago
Presumably you run it with multiple workers, preferably in parallel (it's designed to run like that) Depending on your problem and how you can solve it (single threaded & low memory vs. anything goes) it might be a good idea trying
54.
by cerved 1y ago
The author said they used Claude to decide which E2E tests to run and "Claude never missed a relevant E2E test." How many times did they conduct this experiment? Over how long time? How did they determine which tests were relevant
55.
by cerved 1y ago
No. They use sophisticated algorithms called propagators to prune the invalid solutions from the domains of possible solutions in conjunction with a search strategy, like branch and bound
56.
by cerved 1y ago
Which solver do you use?
57.
by cerved 1y ago
Define large. We've written model which solves real business issues in 8K lines of MiniZinc and it wasn't slow. The conventional wisdom is the larger you make an NP hard problem, the slower is going to get. Irregardless of algorit
58.
by cerved 1y ago
I've worked on a model with thousands of variables and hundreds of thousands of parameters with a hundred constraints. There are pitfalls you need to avoid, like reification, but it's definitely doable. Of course, NP hard problems
59.
by cerved 1y ago
Well if your using MiniZinc you're free to use a CP solver, MIP solver, SAT solver, CP-SAT-LP solver. In general the model is roughly the same, even though some formulations work better for some solvers than others. But CP (and CP-SAT)
60.
by cerved 1y ago
from ortools.sat.python import cp_model

More ›