OxO4

11 ms·

1.
The White House is making arcade games racist(theverge.com)
33 points by OxO4 12d ago|20 comments
2.
by OxO4 2mo ago
There are people that are taller than six foot and it also depends heavily on whether you have long legs or a long torso.
3.
by OxO4 2mo ago
If you are tall, then no amount of reclining is going to give you more space. The knees are too far forward to stretch your legs, _especially_ when the person in front of you reclines. In other words, you are inconsiderate.
4.
by OxO4 3mo ago
Are you suggesting that you can tell the types of games someone enjoys by just looking at them? (Your reply is another example of right-wing discourse being around prejudiced assumptions instead of reality.)
5.
by OxO4 5mo ago
People like you sanewashing the actions of this admin are a major part of the problem. Even if this were how the system was designed, it is time to acknowledge that it is fundamentally broken and needs change. It is mind boggling that the r
6.
by OxO4 10mo ago
FWIW, some "smarter" machines (e.g., [0, 1]) support taking three readings with a minute pause in-between and then spit out a single reading. [0] https://www.garmin.com/en-US/p/716808/ [1] https:&#
7.
by OxO4 1y ago
Freedivers are also taught not to exhale underwater, because it wastes oxygen and lowers your CO2 level, making it harder to know when you actually have to come back up. Your body can't sense the level of oxygen it has, so freedivers r
8.
by OxO4 2y ago
> I don't think the government leadership has my best interests at heart And for-profit companies have your best interest at heart? With government services you can at least optimize for goals other than profit.
9.
by OxO4 2y ago
Great. Housing should not be an investment and chasing ever-increasing property values as a society is obviously unsustainable. If you own a house as your primary residence, then its market value shouldn't really matter, because the va
10.
by OxO4 2y ago
Often, people try justify high pay for management positions by pointing out the responsibilities that comes with such a position. If that's the case, then it only makes sense to place blame on management when things go sideways. If not
11.
by OxO4 3y ago
How so? The 2023 models of the F150 seem to get about 17.19 MPG [0] which is significantly worse than the 32.34 MPG [1] of the 2023 Escape. [0] https://www.fuelly.com/car/ford/f-150/2023 [1] https:/&#x2
12.
by OxO4 4y ago
It seems that iFixit will officially be selling replacement parts for Google's Pixel phones [0] and Valve's Steam Deck [1], so hopefully, they are not going anywhere. [0] https://www.blog.google/outreach-initiative
13.
by OxO4 5y ago
Not defending the other design choices, but there are places in snowy mountain areas where (almost) flat roofs are common [0]. [0] https://www.davos.ch/en/information/portrait-image/storybook...
14.
by OxO4 5y ago
Can we please stop suggesting that anti-LGBTQ "viewpoints" are worth exploring and that people are just to "embattled" on the issue of basic human decency?
15.
by OxO4 5y ago
There's a standard for automatically sharing the current location with emergency services, which is supported by both Android and iOS [0]. According to the wiki article, the UK is even one of the countries that uses AML. [0] https:&#x
16.
by OxO4 5y ago
Would your "free market" also mean that the people living in the suburbs pay the true cost of living in suburbs? Including higher taxes to offset the higher infrastructure costs and the higher impact on the environment?
17.
by OxO4 6y ago
FWIW, Luke Smith has some problematic political views (as in far right/alt-right). You do you but I personally avoid sharing/using any of his content for that reason.
18.
by OxO4 6y ago
> SAT solving is about 95+% of SMT solving This is theory-dependent, I would say. It is certainly true for bit-vector solvers that bit-blast for example. For other theories, however, this is not necessarily the case. Consider a simplex-b
19.
by OxO4 7y ago
Lowering the seat will also make it quite a bit worse for people with long legs. The height of the usual seats is already too low. It would be better if they raised the middle seat instead but I guess that adds cost/weight.
20.
by OxO4 7y ago
They don't ship the laptop, they send a technician and do the repair on-site. I have personal experience with a Lenovo ThinkPad. Dispatching the technician may have taken one or two business days (I don't remember exactly).
21.
by OxO4 7y ago
That's just not true. Depending on your warranty you could have on-site service. In that case, the repair would happen on-site and maybe take an hour or two. In my experience, this even worked while traveling to another country. Someti
22.
by OxO4 7y ago
Grades don't actually matter that much for admissions. The letters of recommendation are much more important, e.g. from the advisor that you did your thesis with.
23.
by OxO4 8y ago
Voice transcription is not always an option. It works decently for English if you are only using it to transcribe simple, daily texts and you are not in public. For other languages or more complex topics, you quickly hit the limit of what v
24.
by OxO4 8y ago
That actually depends on the logic being used. Some of the logics supported by Z3 are not even decidable. In fact, even solving quantifier-free bit-vector formulas is NEXPTIME-complete [0] when using a binary encoding. [0] http:/&#x2F
25.
by OxO4 8y ago
Out of curiosity, what made you choose Z3 over other SMT solvers? Also, if you have benchmarks that you can publish, it would be really great if you could submit them to SMT-LIB/SMT-COMP [0] such that they can be used to improve SMT so
26.
by OxO4 8y ago
I agree that there may be edge cases where it doesn't make sense to make software open source (although I also think that the majority of software used at IRS, NSA, CIA, and FBI could be open source). However, I strongly believe that i
27.
PinePhone Linux smartphone to sell for $149(liliputing.com)
4 points by OxO4 8y ago|0 comments
28.
by OxO4 8y ago
All of those companies are problematic to a certain degree. Personally, whether I'd have an issue with working for one of those companies also depends on what I am working on. Let's say that one of those companies pays you to work
29.
by OxO4 8y ago
> the keys leave imprints on the monitor after the lid has been closed Same with my Late 2013 MacBook Pro. > the keyboard with it's rickety keys I haven't used the XPS keyboards extensively but they seem to get good reviews
30.
by OxO4 8y ago
AFAIK newer Macs with a T2 security chip block OSs other than macOS and Windows 10 [0] (at least on the internal drive). [0] https://www.phoronix.com/scan.php?page=news_item&px=Apple-T2...

More ›