archi42

46 ms·

481.
by archi42 5y ago
Without knowing the inner workings of Apple's scheduler: I don't think there is any reasons this wouldn't work on x86 hardware. All you need is some API to tell the scheduler whether a task should be done "asap" or
482.
by archi42 5y ago
> This checker is proven correct, and because it is simpler, its proof of correctness is easier. Still correct ;) What I belief GP (fuklief) meant was: The SMT solver might still be incorrect. Like the register allocator itself in Comp
483.
by archi42 5y ago
Awesome! Dropped you a mail. Mind that you're probably going to be printing this for the rest of the lockdown then :P
484.
by archi42 5y ago
Any resources you can point people too? I'm planning on doing a small custom built, but find deciding on north vs south orientation difficult.
485.
by archi42 5y ago
I'm not a huge RGB person, either. But my Thinkpad has plain white background LEDs. And even though I type blindly 98% of the time, I find it more comfortable to have some (slight) hinting when positioning. Sad part for me: TIL that mo
486.
by archi42 5y ago
For me it's more like this: 1. Skip your 1,2,3,4 and just get am inexpensive Cherry MX-Board 2. After several years, realize that I'm not really happy with keyboard because it boosts my bad posture. So I see if there is a split ke
487.
by archi42 6y ago
Well, then that's quite a fallacy to compare a house in the 100 Euro range to a 2000 Euro house, isn't it? That's like buying an utterly broken, old Porsche for scrap value and then wondering how repairs like a new engine and
488.
by archi42 6y ago
Absolutely. I tried, but gave up and decided to spent my saturday morning with the familiy instead ;-) I think a huge problem is how it is easy to mix up assembly that gets "processed" to /machine/ instructions with anot
489.
by archi42 6y ago
There is another commenter who kind of thinks that this should hold, but I've got to disappoint either of you: Most ISAs specify some pseudo ops, so might get something like disassemble(assemble("nop")) == "add r0, 0
490.
by archi42 6y ago
I ask due to a mixture of doubt, but also curiosity: Can you point to areas with prices in the 100Euro/m² range? For a house that's suited for living, and not destruction? My grandma's house might sell for that range (~200 Eu
491.
by archi42 6y ago
I think the 100 is a typo? :P [as in "... varies between 100-2000€..."] I'm currently looking for a house in SW Germany, near the french border. I'd be happy if prices would max out at 2000€/m². I can not renovate a
492.
by archi42 6y ago
As of a few days ago, that info is outdated even for us consumers ;-) Technically one GPU will do, but it needs vGPU support to pass through slices of the GPU to the VM - which usually means expensive data center grade GPU (e.g. Tesla), bec
493.
by archi42 6y ago
Hm, as a [former] drummer, I'm thinking bass drum pedal here. Build for up/down motion while sitting. The pedal https://www.thomann.de/intl/millenium_pd222_pro_serie_fussma... [english language link] Somethin
494.
by archi42 6y ago
This puts me in a tough spot: There are good reasons to go with nVidia (once they release GPUs with proper memory configuration), DLSS, RTX and now this. On the other hand, do I really want to give money to the company that locked this feat
495.
by archi42 6y ago
This in combination with a `git diff` in a split shell works very well for me. For adding changes, I often use `git add -p` - this also gives a nice opportunity to think about a change again. As a bonus, if I did not yet push, I can extend
496.
by archi42 6y ago
OT: This was a great, thanks! For those interested in the HN comments, it was last posted 11 month ago: https://news.ycombinator.com/item?id=22956832 On topic: I think the comments already give a broad overview of what to e
497.
by archi42 6y ago
Good points, thank you! I didn't mean to say that it's inherently bad - I am actually puzzled that here companies (who want to make money) can save at least some taxes on buying a house as an investment, while a private person has
498.
by archi42 6y ago
IANAL, but I did some research for Germany: Assuming you need a bank loan to buy your house (and assuming the bank plays along), it seems you're able to deduce the interest on the loan. Same holds for anything you perform to increase t
499.
by archi42 6y ago
Wait, what?! I recently checked if I can deduce some of the expenses from buying a house, but as long as I buy it myself to live there the state [Germany] says "screw you". If I bought it to rent it out, I could deduce some of the
500.
by archi42 6y ago
With ssh the situation is quite good, and it should serve as an example on "how to do it right". I find web services to be a huge pain, though: Obviously most don't offer any kind of 2FA, or maybe Google Authenticator or SMS
501.
by archi42 6y ago
Ok, maybe I'm just to spoiled by my previous experience then. I never had any problems getting patches upstreamed relatively quickly, but then e.g. meson or picolibc are much smaller than LLVM and patches are simpler to reason about (I
502.
by archi42 6y ago
What's the problem with focusing on upstreaming the patches and getting rid of rust's "staging fork"? Especially if they fix something as serious as miscompilations, wouldn't those patches be VERY much needed upstre
503.
by archi42 6y ago
Source: I work on static analyzers, so I'm biased to that. We can not prove every thing, as others pointed out the fundamental issue here is the "halting problem". However, this doesn't mean we can't prove any thi
504.
by archi42 6y ago
"if you only need it once in a lifetime to deal with a hundred-year weather event" - I have two problems with that: 1. IIUC global warming means events like this become more likely. So for our parent generations this might be a on
505.
by archi42 6y ago
The thing is pretty easy to verify. The ultimate question is: How far do you need to go until you believe that the earth is indeed not flat? Do you trust your teachers? Stand on a tall building? Take a balloon ride? A plane? A spaceship? Th
506.
by archi42 6y ago
tl;dr of a pamphlet I decided not to post: If you're [seriously] considering anything beyond "my firewall is strictly unable to report it", you're either building something like nuclear weapons or taking the first steps
507.
by archi42 6y ago
Ahh, yes, that's actually a great point to be aware of, thanks @tanelpoder. Looking at my machine: Funny to see 2h of interrupt processing over 12d uptime. Not that this is bad (0.80% on avg), but my first computer would have taken &gt
508.
by archi42 6y ago
First thought would be "opcodes", but on a closer look the operators in there seem to be relevant. Maybe this encodes their meaning/relevant opcode and precedence? From the website: ``` binary operators, by decreasing priorit
509.
by archi42 6y ago
I gave your post some thought, but there is not too much I can really say. You throw around some conclusion/assertion ("it's fragile"), but that's just plain wrong. And then you propose a perceived solution for that
510.
by archi42 6y ago
Queue "you don't know me" ;) if I was strangled, I would voice concern very much. But as noted several times, everything is setup so that we never need root. The only thing that was an issue, was docker for about a year (we u

More ›