skysight-inc/HackerNews huggingface dataset:
Selling a GPU takes time and loses you money - and that's in PC case, because on a laptop you don't even have that option.

Moreover, if you have an NVIDIA GPU, you most likely need a decent GPU for something - high-end video games, 3D modelling work, GPU-accelerated computations, etc. Linux distros are, frankly, not much different for one another - they're pretty interchangeable for almost all tasks I can think of as a user/developer. GPUs, on the other hand, are a bit less interchangeable between vendors. You really have only two players to choose from (Intel GPUs don't count for anything serious) - so if both suddenly become incompatibile with a given Linux distro, then it's obviously bye bye to that Linux distro.
That's why there are levels of child porn and it impacts on sentencing.
> 1) More readable code. The classic is foo.Bar(true). It breaks the flow of reading to have to hover and see what that 'true' means. Much nicer to see foo.bar(launchMissiles: true).

This is a case where I've started using Enums in Java. For example:

foo.bar(LaunchMissiles.YES);

In Rust, you could have a macro to make defining these types easier (and have it automatically generate to_bool and from_bool methods):

named_bool!(LaunchMissiles);
foo.bar(LaunchMissiles::Yes);
> 30 seconds

Certainly if something took 30 minutes to build I would be taking drastic to reduce this time!

What I should probably be doing is setting the build off in "screen" then just continuing to look at code whilst it builds.
>If Coq's not quite your cup of tea, Isabelle/HOL is another proof assistant with amazing (dare I say superior?) tooling and automation, and it supports code extraction in SML, OCaml, Haskell and Scala.

I'll just note that Isabelle/HOL does not support dependent types, a trade-off it makes in exchange for superior automation (including excellent SMT solver integration). This makes it less suitable for some styles of proving than Coq, Agda, Idris and Lean. I suspect people coming from Coq are less likely to notice this however, as dependent types seem to be used less in Coq than in e.g. Agda or Idris due to the poor support for dependent pattern matching making some things unnecessarily difficult (although this situation is improving with every release).
> The lie is in the article: it is false that the three hours pause is generalized, but a exception, except for shops. Then, in my opinion, the purpose of that lie is separatist propaganda, as I exposed in my first comment.

The ORIGINAL Spanish article linked in that article TALKS about shops.

NBut you're so obsessed with independientist propagand that you didn't even read it. Even when I have said top you that the original article is about that.

> I don't want to continue the discussion with you, as this forum is not an appropriate place for political/nationalist flamewars.

Curious, the one starting always political flame wars is you
I guess scrabble is a bad idea because it causes fights when someone doesn't understand the concept of proper nouns? Oh my gosh, conflict, let's just throw the game away to spare everyone's feelings.
Is it acceptable that Slack uses 50% CPU when you're simply typing?
Hacking in silico protein engineering with Machine Learning and AI
Because "code as law" also requires you to accept "bug as law" or even worse "exploit as law".

That's OK for now as the _real_ money being put into crypto-currency is understood to be a speculative thrill-ride. People who put actual _real_ money into this stuff know it could vaporize at any time for completely insane reasons. Its basically a bunch of people playing with funny money and having loud arguments about absurdly complex rules.

If, somehow, this stuff is to make it into the real world and start interacting with money, institutions, courts and the livelihoods of regular people, it will have to be VERY different from what it is now. That means you can't have smug, over-confident programmers writing clever shit-code and proclaiming it to be "law" and the "final authority".
>"This is a great article. As someone who just interviewed 100 engineers for my startup, the lessons resonate with me, and can be generalized beyond PhDs:"

Let me get this straight, you invited 100 engineers in for an onsite after qualifying them with a phone screen and their resume? You conducted 100 Google style whiteboard algorithmic puzzle interviews just to find 1 single engineer to work for your startup?

These facts also resonate and could be generalized as something might also be terribly wrong with your "precious" interview process as well.
> Not one of these points is limited to capitalism.

The USSR beat us in almost every space milestone and would have beaten us to the moon if not for the untimely death of the guy running their space program.
I was hoping to see Elixir on the list, but I suppose it may have been classified as Erlang?
Yes. Thugs. Drugs. Drive by shootings. The east bay is a burning trash heap with no redeeming value. Please do not move here.
> You know whats really cool? Inventing stuff. Using the power of your mind to form matter into a new thing that the universe has never seen before. Whats really cool is starting a business that adds enough value to the world to hire people.

1000x yes. It's incredibly frustrating to see folks whining about capitalism all the while doing so using an iPhone and MacBook Pro, not understanding the irony.
> Have we even seen a single cycle yet?

I mean, just look at the data. Yes, there have been --
without any doubt! -- at least 3 cycles that I recall. And by cycle I mean Bitcoin losing at least 50% of its market capitalization suddenly (bust!) and then slowing crawling back up, then quickly shooting up (boom!). No one, not even Bitcoin's biggest detractors, doubts that it's been through numerous boom and bust cycles (and that's not even a good thing, for a store of value).
You could say that of any bunch of decades in any part of history for the last three hundred years. I think it's a natural side effect of being human and living and perceiving in the present day. Every people in their own time think that they are living in the most crucial and important time ever, if one remembers that, and the perspective that history gives, we can temper our reactions.
I think a lot of my confusions when I first learned calculus would have been eliminated with a notation that clearly expressed that derivatives operate on whole functions, not on values. So the derivative of f(x) at x=0 is not some function of f(0), but it is derivative(f)(x). Also, even without derivatives, sometimes the expression f(x) refers to the whole function, sometimes just a particular value of it at a specific x.

I don't know if higher-order functions are really that tough to teach/understand but I think it would actually simplify and demistify many things.

Currently, of the widespread notations I like this one best:

f(x0) = d/dx (sin(x)*cos(x)+x^2) | x=x0 (with the last part in subscript)

I also miss variable scoping from math writing and it disturbs me that variable names often carry semantics, like p(x) and p(y) can be the probability density functions of random variables X and Y (so p is a different function depending on the name of the input variable that you substitute so it doesn't actually operate on real numbers, but (string, number) pairs). I'd prefer to explicitly mark the functions as p_X(x) and p_Y(y).

Similar things come up a lot with differential equations where you don't really know whether something (like y or u) is supposed to be a function (of x or t) or "just" a variable.

Despite the general opinion among laypeople that math notation is very precise and unambiguous, I find that it's often very sloppy and unless you already understand the context very well, it can easily be misleading. Math notation is somewhere between normal natural language and programming languages, and depending on the writer it may be closer to one or the other.

One can argue that this is necessary for compactness.
Some Raspberry Pi projects in here
>Societies have gradually grown more unfair as the political system has strained under their growing complexity.

Since when? Since the 60's? Perhaps. Since the rest of history? No. Every argument you make in the rest of your comment other than pure scope of surveillance doesn't apply if you aren't comparing in the short term, i.e. 1-2 generations.

In 1903, the average voter didn't know what the government was doing. Their understanding of economics was extremely limited, as well. I wouldn't argue that US society is much more unfair than it was in 1903 - would you?
Economics:  the new astrology
You're correct. That's a known property of most cryptocurrencies known as a 51% attack. It's up to you whether you consider that a deal breaker or not.
This, times 1000.

The title of news article is funny because monopoly cannot even exist in real capitalism nor can corruption. Both are features of socialsm/communism.

Popularity of disliking/hating capitalism is probably due to the lack of proper basic education in the US.
Monopoly as the basis for how Louis CK tells a joke, https://www.youtube.com/watch?v=ufdvYrTeTuU
They have an explanation for that in the full blog post http://spectrum.ieee.org/computing/software/the-2017-top-pro...:

"(This is a great moment for us to reiterate our response to the complaint of some in years past of “HTML isn’t a programming language, it’s just markup.” At Spectrum, we have a very pragmatic view about what is, and isn’t, a recognizable programming language. HTML is used by coders to instruct computers to do things, so we include it. We don’t insist on, for example, Turing completeness as a threshold for inclusion—and to get really nitpicky, as user Jonny Lin pointed out last year, HTML has grown so complex that when combined with CSS, it is now Turing complete, albeit with a little prodding and requiring an appreciation of cellular automata.)"
Personally, I think these edits do not preserve the meaning of the original quotes: The changed sentences stress different things than the original quotes to the extent that one could call them distortions rather than edits.

From my own experience, I have seen extraordinary writers, but I have never seen an extraordinary editor: I think the reason for this is that exceptionally great editors work in such a way that their own edits most explicitly convey the original work both in its form and in its spirit, so that the editor becomes almost invisible. Invariably, the more bragging I have seen from editors in prefaces etc. about their own work on some books, the worse the result has looked to me in the sense that it had very little to do with the original, and typically felt worse to me.

I think good editing is at least as hard as good writing, probably even more so because as an editor, you are working subject to more constraints, in addition to facing the same challenges that writers also face.
Yes it can be a frustrating game if you lose, but it can also be very fun if you win. If you're unfortunate and end up losing early, you can still hang out and watch, or go do something else. The point is that we have to learn to tolerate and adapt to that failure. Our first instinct may be to get angry and complain but that's not constructive or helpful.
Cheers, I hadn't seen that.
To elaborate: the clause is actually designed precisely to prevent a hostile takeover from another entity; it's an important part of the contract. The clause states the conditions under which your code and program will be made available.
No they don't. A macro just takes code and returns code.
We've also witnessed capitalist systems fail drastically, and other systems succeed impressively.

There is little historical comparison for what you quote as capitalism's success - nobody performed a double-blind trial to see if the industrial revolution and colonialism improved quality of life in non-capitalist systems.
This is one of the reasons I'm considering a move to SoCal, but I will never, ever consider moving to NorCal.

One thing I've heard is that SoCal is full of superficial, shallow, materialistic people, and that people in NorCal are expected to have a cause. It doesn't have to be a left-wing cause, either; look at Curtis Yarvin, for example.

I'm somewhat SJW myself, but really I'm a consumerist at heart. I just want to live in a cookie-cutter suburb, eat tasty food, watch TV shows I enjoy, hack on code as a hobby, etc. I would be very uncomfortable in NorCal being surrounded by militant vegans and Bernie Bros on the left and dark enlightenment people and physical-removal ancaps on the right. On the other hand, SoCal sounds pretty close to paradise to me (it's actually between SoCal and Vegas for me... I can't decide which one I'd rather move to).
>Communism failed, not because of failed implementation, but because the concept itself is a bad one.

This is a frustrating and arrogant thing to say. If you can honestly go through and thoroughly criticize the core collective works of great socialist thinkers like Engels, Marx, Lenin, Bakunin, Kropotkin, Goldman and the uncountable thousands who have poured thousands of hours into tomes which are freely available online to study and understand, then you should do so. I would love to read this! You'd probably become a very famous person! But coming out gung ho and so arrogantly conclude that all these people, and all the hard work they have done in both theory and praxis is kaput without a very strong argument behind you is pointless and childish. It stifles conversation and is the reason discussing economic systems with people who don't understand them is an exercise in futility.
> last-man-standing nature

see every game, ever...

So how do you feel about the Game of Life? Did it give you PTSD?
Is it really much less severe than murder? The guy in arkad's link got life for stealing $153 of videotapes.

And some people make the argument that people commit on average 3 felonies a day https://www.amazon.com/Three-Felonies-Day-Target-Innocent/dp...
On Anti-Active Usage SaaS Products
Every framework is going to have flaws, but if you perform a comparison I think there's a responsibility to accurately represent the frameworks being compared.
What sites are worth visiting in darknet?
Isn't government intervention the reason why real estate prices are so high there in the first place?
mac has two package managers.
People hate capitalism until they see what happens when you put the state in charge of everything. The grass is always greener. Always has been, always will be. If only we could get over to the other side, I could prove it to you...
> quick and dirty over well thought out and solid

Perhaps you misunderstand the agile process? Quality isn't something you ever actually achieve through the Feynman Algorithm (write down the problem -> think real hard -> write down the solution) regardless of whether you spend two hours thinking real hard or two years. Quality is achieved through iterative, continual improvement and polish. Otherwise, waterfall software would be the pinnacle of quality.
I never said this was "the most crucial and important time ever" (how do you even quantify that?). What I wanted to imply is that since the 70s wages have stagnated and now many people are going backwards and experiencing worse standards of living, with occasional crises like the 2008 housing crisis along the way. It's not really surprising that people are looking for something different.
It's huge in finance.
> The title of news article is funny because monopoly cannot even exist in real capitalism nor can corruption.

[Citation needed]
Why "classical" computers? Is there some other kind of computer that isn't emulatable in wood that could become conscious? Hard to know exactly what you mean here.
So basically Eve Online.
In the case of fork as well, a majority of nodes would need to comply, right? Is it fair to say in both cases it requires a majority participation?
Darknet Messenger Releases Beta, Passes Security Audit
Didn't Silicon Valley _start_ in the South Bay?

Sounds like things are just moving back to where they started. In the long run, SF was just a passing fad I guess.
Yeah, good point. It could also serve to grow smaller cities. I imagine something like Albany would be an attractive option, if they could afford to build a hyperloop there.
Looks like they reduced it. Thanks for heads up, have edited accordingly.
I don't believe that there can really be a meaningful distinction between "free market capitalism" and "crony capitalism." Capitalism creates powerful private actors in whose interest it is to pursue regulatory capture.
New Editorial Content Begins Appearing Within App Store on iOS 11 Beta
If by (Δx)^2 you mean the finite difference (x₂-x₁)² = x₂² - 2x₂x₁ + x₁², then it isn't the same as Δ(x^2) = x₂² - x₁².

If you mean the infinitesimal difference, then Δ(x^2) = 2Δx still isn't (Δx)^2.
Or it could be that the best resources for information about a specific language exist outside of stackoverflow; I think this is often the case with Rust, for instance, where I will generally turn to users.rust-lang.org, or IRC for questions that I would turn to SO for in other languages; and when I end up googling particular questions I more often end up at somebody's personal blog.
> People are ragging on capitalism because they're looking over the pond to countries that see capitalism as a tool to serve democratic interests rather than a moral worldview, and they kind of like that idea. Interestingly, those countries aren't really less capitalistic (the Heritage Foundation puts the U.S. in the same bucket on their Economic Freedom index as Sweden and Germany), but their culture is less centered around glorifying the capitalist.

I think you've made a great point here - but I've seen people explicitly saying they want communism. Look at how often /r/LateStageCapitalism, an explicitly communist subreddit is on the frontpage of reddit.

If people were just pushing for a few more socialized services, I think they've got a good argument to make there. There are good tweaks that can be made. But if they're pushing for a complete change to the system I think they're off their rockers.
I recall similar dynamic rules being added by me and my friends. Sometimes there would be a Robin Hood raid on the banks. Sometimes the bank would run out of money. Sometimes the Jail would be over full. Sometimes when others were not looking hotels would vanish mysteriously or via "gas explosion". Or we would pass around cash between ourselves to give the losing players more of a chance. It made it more fun.
> political process

If you cannot implement people's political preferences in your contract language, then your contract language will not be used for anything of substantive governmental or political importance unless you have the guns needed to impose your crypto-dictatorship.

If you can implement people's political preferences in your contract language, and your contract language is used for political or governmental purposes, then people's political preferences will be codified -- as far as possible -- in your contract language.

Which means that in order to participate in governance, people will have to understand both their preferences and also the contract programming language and its underlying runtime. Being an active citizen becomes strictly more difficult. To be very clear about it, people's preferences will not have changed. Consensus will remain a messy, complicated web of compromises that are difficult to reason about and implement via judge, let along codify for a computer.

And all of this won't even achieve your political motives, unless you're planning on building some sort of anti-Whig-ideology static analysis into your contract language, I guess.

(Which, frankly, I hope you do, because that would be kind of funny and cool.)
> - You control the storage format (meaning it's easy to store any kind of information, not just passwords)

In Keepass, there's a textarea associated with each password entry, which can be used to store extra data like security questions, etc.
Very well put.

In addition some lifestyles are just easier to attain in these scenarios, such as making a enough to be the sole earner in the family and allowing your partner to stay at home and raise children (which keeps even more money in the bank).

I can imagine being in this position and opting to extreme commute.
Where's Kotlin?
Sure you are; you can buy and sell properties at any time.
Making me sign in before you tell me anything is a non-starter.
> Usage of the term "Whig history" is not confined adherents of a particular ideology, and does not require one to have/not-have any particular set of beliefs to use it

While this is true, outside of some specialized historical critique fields the most common usages of this term are in forums/literature of the libertarian and free market anarchist bent.

In those places its a short hand for the idea that government as currently practiced in the west is clearly bloated and corrupt beyond repair, and the only reason every doesn't agree is that they are bamboozled by some Polly-Anna version of history.

That statement is not clear and needs further backing up to many of us, who do not subscribe to the "Whig History" model but also don't think governments are objectively bad in all instances.

Whether you knew that subtext or not, you used the term in the same way, to argue a similar philosophy, so it's not at all surprising that someone called you on it.
bro.. don't try and make the abusers out to be victims.

the dominant factor in stigmatized pea do philadelphia has very little to do with deviant sexuality and has everything to do with coercion and rape of still developing human beings. this is seen across just about every other facet of civilized society as well.

We don't allow minors into enforceable contracts, leave home or check out of school, smoke cigarettes or drink booze, and we sure as hell don't allow them to participate in "amateur" pornography where the consequences can be life long.

We restrict these things because the mind isn't developed or experienced enough to understand and appreciate the effects of these actions.
Actually just had a meeting with a company that develops VR experiences for events/product demos/etc. I'm still on the fence whether it's useful or a gimmick though.
That seems like saying why use an encrypting password manager at all if you're using full disk encryption, isn't it okay to just keep your passwords in plaintext on your encrypted disk?
I've consistently had issues with Vulkan on the 960M my laptop has. Nvidia sure makes it easy for me to go back to AMD.

The graphics market is dangerously locked up by two players and its time some new players took the capital risk and stepped in. Nvidia would probably give a shit if someone bothered to challenge their share of the market in both graphics and computational space.
"How can you criticize feudalism? You're eating food that was grown on the lord's land, you know."
Monopoly is a board game in which you shuffle around finite resources.

Capitalism is the reason why there isn't a single copy of the board game Monopoly.
> We've also witnessed capitalist systems fail drastically, and other systems succeed impressively.

Please, show me one country not rooted in capitalism which has "succeeded impressively" in recent decades.
Sadly enough it is true. I was told in some colder areas homeless people would commit a crime they know would amount to a few months prison sentence in the fall just to have a reliable shelter and food for the winter.

Or there was a story of a man who robbed a bank then waited for the police to come so he could get some cancer treatment while in prison.

When these things happen there is something very very wrong in a society
All this tells me is that there's a huge untapped potential market for an increasingly remote workforce.
The community was penny wise and pound foolish. They saved their asses on that one stupid investment and set a terrible precedent that is going to come back to haunt them every time someone releases a smart contract with a bug in it.

Either the code is the contract or it isn't.

Btw -- what has the DAO even accomplished after they 'saved' it?