necovek

15 ms·

421.
by necovek 6mo ago
So which normal form do they argue for and against? And what UUID version wins the argument?
422.
by necovek 7mo ago
"This program has no bugs" "This program always does exactly what it is supposed to do" I believe these are not the same in software: bugs are not just wrongly implemented requirements, but also missed require
423.
by necovek 7mo ago
I believe it is rooted in legal proceedings where you are usually not required to in principle because it can be hard and/or impossible. Eg. it is extremely hard to prove you "weren't there" (eg. at a crime site) if you
424.
by necovek 7mo ago
A test suite never proves anything except that the code works for the test cases in it. But yes, it would be equivalent to stating "No tests failed but I found a bug" and one would correctly deduce that test coverage is insufficie
425.
by necovek 7mo ago
I am using XKB layouts from Linux recompiled for Macs and loaded with Karabiner: I am sure something as simple as rearranging the tilde key is possible, but maybe management software from your company will prohibit it.
426.
by necovek 7mo ago
In reviews, I'd say the closest one can get is either Asus Zephyrus ROG G14 or Asus ProArt PX13, on top of the mentioned HP ZBook. As I like my laptops not cutting into my palms when typing and being lighter, I am sticking with Thinkpa
427.
by necovek 7mo ago
People have differently sized hands too: with my fingers on the home row, 13" and 14" Macs have the heels of my hands resting exactly on the sharp bottom edge. Glare from the screen can affect you more if you have problems with ha
428.
by necovek 7mo ago
I am disappointed "Doomerism" is not an official name for the practice of putting Doom on anything and everything!
429.
by necovek 7mo ago
We might have different definitions of "social dynamics": to me, it is a marked change when people tune to impress strangers on "social media", vs building their "standing" with peers and neighbours.
430.
by necovek 7mo ago
Are any streaming sites allowed? It should be really easy to make a VPN through HTTPS tunnel appear to have a traffic pattern exactly like you are streaming videos and/or music (depending in the bandwidth needs) by throwing discardable
431.
by necovek 7mo ago
As with any attempt to become more precise (see software estimation, eg. Mythical Man Month), we've long argued that we are doing it for the side effects (like breaking problems down into smaller, incremental steps). So when you know t
432.
by necovek 7mo ago
I think it's even that they "gain less money than they could if everyone watching illegally would pay for it when they could not watch illegally" (that's usually how companies crying "piracy" calculate "
433.
by necovek 7mo ago
Even that is IMO untrue: "technical solutions" have indeed changed society at large quite significantly; eg. "social media" is one very influential example, "smart phone" is another, "internet" itself
434.
by necovek 7mo ago
You should be able to use things like sshuttle or even tunnel through HTTPS whatever you want, right? As you can control both sides of the tunnel with encryption (comes by default), no MITM-ing unless you are forced to use solutions that i
435.
by necovek 7mo ago
La Liga is basically operating like an "unelected corporation" as well.
436.
by necovek 7mo ago
As 75% of a single month fee (25% paid upfront), not too bad either: $46k in total for 4 weeks of work. Expenses were not included (flight was paid for).
437.
by necovek 7mo ago
Kid will be fine, mom will be fine, dad will be fine — a month does sound long, but it depends more on what attention you provide when you are with your partner and kids. Sounds like he is in there 24/7 most likely spending more time
438.
by necovek 7mo ago
I read section 7 of AGPLv3 quite differently from OnlyOffice: it clearly calls it "Additional Permissions" throughout, and also says this: When you convey a copy of a covered work, you may at your option remove any additional
439.
by necovek 7mo ago
The problem is differentiating between those who've given up and who do not want to work (have other means to sustain themselves). In general, either is fine by me as long we are consistent: they are both proxies for percentage of peop
440.
by necovek 7mo ago
According to the quote above, he "could have been at the helm", and his family has claimed he hasn't. Something, something, due process.
441.
by necovek 7mo ago
Subpixel rendering has nothing to do with any of this: it was messing up on non-RGB pixel layout panels like VA and OLED, and it used to be a simple setting in GNOME (hidden these days unfortunately). Still, even 5K at 27" is not witho
442.
by necovek 7mo ago
M1 non-Pro could only support one external screen through TB, and I think it carried on through at least M2 Air. It would also frequently get my Dell screen into a weird hung state after suspending and attempting to reconnect, frequently r
443.
by necovek 7mo ago
I prefer big, high-resolution monitors at appropriate distance (I am at 4k 43" at roughly 36"/90cm viewing distance in my home office and 32" at 28"/70cm at work) to be able to put all task-related content on t
444.
by necovek 7mo ago
An aside: I am generally good at keeping notes while in a meeting, and I have tried shared notes in One Note, but as soon as someone else edits something in the same spot, it creates a forked history requiring manual reconciliation: does th
445.
by necovek 7mo ago
While this is definitely a good first step, nothing stops Claude from following an injected prompt and writing malicious code in your writeable development directory, waiting for you to execute it manually with your full local permissions.
446.
by necovek 7mo ago
The first Google search hit for the UK variant of the law[1] says this: This includes a range of websites, apps and other services, including social media services, consumer file cloud storage and sharing sites, video-sharing platforms,
447.
by necovek 7mo ago
Depends on what you consider "practically its entire existence": the same could be said of Google Search if we are looking at how long they did not compared to the rest of the time, but I distinctly remember the period when they d
448.
by necovek 7mo ago
Was Facebook social media before it started adding ads or not? Will non-monetized old school "forums" escape the wrath of "social media" bans for children? Will HN?
449.
by necovek 7mo ago
Well, it never hurts to be prepared for the war against Europaeans (aliens from Europa, satellite of Jupiter).
450.
by necovek 7mo ago
If your assistant is technical enough to know which parts apply to you and which do not, they likely don't need you to do the rest of the job either. An LLM could do this by looking over the full codebase and release notes and do a sho

More ›