jacoblambda

9 ms·

271.
by jacoblambda 8y ago
Something that actually blew my mind is that by default most Qt apps actually can accept a theme sheet by command line argument. This means that you can pretty much retheme any Qt app by adding a file and editing how shortcuts/registry
272.
by jacoblambda 8y ago
My problem that I find is that mobile, consoles, TVs, car entertainment systems, watches, and so on all need fairly distinctly different UIs from desktop and if you have to redesign the entire UI for them anyway, then why not do it in a nat
273.
by jacoblambda 8y ago
The Battlenet launcher from Blizzard is a decent app that suprised the hell out of me when I found out it was Qt. Some others are Maya, EAGLE, Krita, Mathematica, VLC, and Dolphin emulator.
274.
by jacoblambda 8y ago
Well Qt is pretty much there for desktop. Almost everything can be done in a relatively straight forward, platform independent way as long as you aren't doing mobile.
275.
by jacoblambda 8y ago
I'm not the OP but I have a somewhat similar mindset. My advice isn't just "save up", it's the following. Look for a better paying job and scrape together every dime you can until then. Don't indulge in the bur
276.
by jacoblambda 8y ago
It also says that will be built almost the exact same for the next 10 to 50 years. In this case I would consider recent past everything going back to around the start of the 20th century.
277.
by jacoblambda 8y ago
The argument is not that because Fortran has multidimensional arrays it is faster, it is that because Fortran has multidimensional arrays it can and will often be faster in most cases for free. Obviously an extremely optimised library such
278.
by jacoblambda 8y ago
Ada absolutely can tell. Divide by zero throws an exception and buffer overflows are caught by essentially every modern compiler.
279.
by jacoblambda 8y ago
Verilog may be horrible and SystemVerilog may not be perfect (its a hell of a lot better than Verilog though) but there are innumerable projects written in these languages that could benefit from or be a benefit to others if they had better
280.
by jacoblambda 8y ago
Well unless you or any software you use pulls packages from secondary sources like unverified git repos, npm, or pypi.
281.
by jacoblambda 8y ago
The difference is that unlike taxes, these research projects are 100% opt in and you get to pick which project to support.
282.
by jacoblambda 8y ago
In the end it is supposed to be a decentralised AWS/cloud computing service with the benefits that computation is more or less private (limited to no snooping) and (the actually important bit) with market driven pricing that seems to b
283.
by jacoblambda 8y ago
Considering DRM is often cracked within hours of release I'm not sure if it is really worth the cost of the license.
284.
by jacoblambda 8y ago
I think a lot of it comes down to people just showing what works with their use cases and waiting for someone to show them a use case that the other side works better for.
285.
by jacoblambda 8y ago
oh I stand corrected then.
286.
by jacoblambda 8y ago
The difference I think comes down to a few things. - One is that it is a hell of a lot harder to cheat on Mars than it is in the remotes of Earth. Once you establish the outpost, its not like you can just call in a maintenance team and have
287.
by jacoblambda 8y ago
It is however I believe they are reposting it because the second half of the article just came out and completely changes the intent.
288.
by jacoblambda 8y ago
I'd recommend you read part 2 which came out today. https://medium.com/@daxaxelrod/facebook-destroys-billions-of...
289.
by jacoblambda 8y ago
Not strictly true, a number of different traffic systems detect cars using detection methods such as cameras and radar/microwave.
290.
by jacoblambda 8y ago
These are the same users who connected an untrusted block of hardware directly to their router and presumably gave them a their Facebook login and password.
291.
by jacoblambda 8y ago
http://gen.lib.rus.ec/ seems to work fine
292.
by jacoblambda 8y ago
I and likely many others couldn't care less if the business was owned by a man or a woman. Honestly I didn't even remember the sex of the owner until now. I take issue with a company being reckless and grossly negligent in a field
293.
by jacoblambda 8y ago
As far as I've seen, it's been both a centralisation of content and heavy abuse of SEO by large sites to force themselves to the top of basically any search. I know I have no interest fighting with SEO and I doubt many of the peop
294.
by jacoblambda 8y ago
I would actually argue that that is a pretty fair description of quality Turkish delights. I've had some rose and some mastic flavoured Turkish delights imported from Turkey and this is more or less exactly how I would describe them. T
295.
by jacoblambda 8y ago
One of the other responses here was from a (former?) chrome dev and they said the feature was implemented, had a lot of issues that could be eventually fixed but cost too much dev time to be worthwhile, and nobody used the feature anyways.
296.
by jacoblambda 8y ago
It is fairly clear however it is a small nitpick that has some significant consequences when it comes up as one is an 8th the size of the other.
297.
by jacoblambda 8y ago
you would need the USPTO to hold the keys anyways to be able to effectively resolve disputes.
298.
by jacoblambda 8y ago
flip the router over and write down the password?
299.
by jacoblambda 8y ago
It would be interesting to take this project up a few levels later on and see how it compares to direct API interaction. I would love to see camera/mechanical interface like mentioned by others. Similarly, like you said humans don&#x27
300.
by jacoblambda 8y ago
Ooh I'll check this book out once I get through the pile of stuff I have right now. And as you noted there definitely is a lot of "magic" when it comes to the inner workings of theorem proving tactics. I'm slowly figurin

More ›