skysight-inc/HackerNews huggingface dataset:
It is indeed contingent. The intuitive problem is that "a -> ~b" is not logically equivalent to "~(a -> b)".

The "Counterexample" button shows a world in which the modified statement is false: there is a single man (Socrates) and he is mortal.

Unfortunately, the program doesn't have an "Example" button to show why it is contingent! The empty world is an example, though. This is because the hypothesis (which includes that there is a Socrates) is false, so the statement is vacuously true.
Show HN: BitFex.trade – anonymous cryptocurrency exchange without verification
Again. Circular logic of crypto shysters at work.

> It's real, measurable economic activity on a massive scale.

What economic activity? It is people speculating. Nobody is using bitcoin for buying coffee or sending micropayments to websites. Nobody is using it as a "store of value", despite what the shysters say. It is just people buying and selling a meaningless ticker symbol hoping to get rich and buy some island in the south pacific (using fiat, I might add).

With bitcoin, you might as well just throw away the technology behind it and just trade on the BTC ticker instead. I mean, that is almost what is happening given all the trades on any given exchange are off-chain transactions happening in a centralized exchange-owned database. There is no rumbling of miners recording every trade. The only people doing cross-trade are people trying to arbitrage away the price difference between exchanges.
Sailing, and scuba/snorkel taking vids of fish.
> And miners are incentivized to include whichever transaction pays the highest fee, which means the transaction fee of the guessing transactions published after the “reveal” transaction will converge with the prize sum.

Except the miner can simply include the transactions but add its own guess before all of them - so the miner would collect the fees and the guessing game prize.
well the default kubernetes install (kubeadm) will actually fail installing when having swap enabled. (even worse you can force him to ignore that, but kubelet would fail starting when swap is enabled).
Google Chromecast and Google Home Causes Wi-Fi Drops
The purpose of swap is not running things out of it. The purpose is shoveling unused data out of memory. And for that it doesn't need to be particularly fast.

Swap has a lot less purpose in a world without memory leaks and extraneous functions. But in practice it's quite good at getting several gigabytes of unnecessary data out of the way, so ram can be used properly.

Swap, well-used, should only take up a few percent of the drive's bandwidth.
I'm learning Rust by writing graphical / glitch art software. Not too much exposure to 'systems' programming although color spaces are more complex than you'd think. Performance is important when you shuffle thousands of pixels around, and some of it is easy to parallelize.
After false Hawaii missile notice, FCC launches investigation
A New Map of the “Darknet” Suggests Your Local Drug Pusher Now Works Online
Your analogy works for 99% of the road, where cars and bicycles are indeed favored and passengers have to risk their lives to use the same pavement. The whole point of traffic crossings is to provide some exception to this rule, wherein pedestrians can use the street without having to exercise athletic skills and hyper-awareness to avoid getting struck. The whole idea that pedestrians are lighter/nimbler is false anyway - a teenager on a bike will react better than a nonagenarian with a walker or a parent with a four-year-old by their hand.
Roundabouts are not part of the driving test in DC. Indeed, roundabouts are so scary to Americans that most of the ones in DC have traffic lights. We also have roundabouts with roads cutting across them: https://ddot.dc.gov/sites/default/files/dc/sites/ddot/ward%2....
You should know that rust always intended to have owned/shared references, Rc<T> reference counting, and Gc<T> garbage collected pointers. It turns out that LLVM made precise garbage collection a hard thing to add on to the language inside of it's standard library. I believe recent changes to LLVM make this easier and it's still a planned feature in the future.

It still doesn't really meet your idea you probably have in your head. When people can choose between different types of pointers, people will choose rust's normal lightweight lifetime references 99% of the time. Gc<T> will probably only be used in those rare cases where an object has no clear owner. They figured this out in the early days of rust.
I'm not sure if you can get enough force from them, but maybe a piezo crystal under each key could provide localized feedback more economically and with less space requirement.
Please don't treat pfooti's comment too seriously though, most people would not react to the way the original poster used the word and would disagree with the purported disrespect the usage implies according to pfooti.

The world is a big place and everyone does not (thankfully) live in the liberal US coastal areas :-)
Just go outside, away from civilization, and into nature. Walk around, sit, doodle, hike, run, swim, wade, bird watch, observe.

And don't stare at your phone while you're there. Better yet, leave your phone behind. Actually be there and be present. That's basically what you're doing when you're fishing, it's quite similar to basic meditation.
The NitroKey Start uses the same CPU (IIRC) and also runs the open gnuk firmware.

https://www.nitrokey.com/products/nitrokey-start
I'm trying to learn this more. If it's a 20k run, I'll push to 13.1 miles just to do the half. If my weekly mileage is 98 km, I'll push to 100km. I am currently this moment icing my knee so I can push out a 28 km run hoping to reclaim the #2 spot in my run club.

Strava has been awesome in many ways but also brings out the overcompetitiveness in me. I'm really trying hard to set distance and pace goals and stick to them.

If I set goals when I'm sitting down at my desk they are good, healthy, achievable goals. If I set or change them when I'm running, they tend to be destructive: I can push an extra 3k today or why not pick up the pace these last 8 km, I might be able to finish in under 2 hour.

All that adrenalin and endorphins are horrible at helping you with decision making :)
For example, F1 instances have NVMe local instance storage.

https://aws.amazon.com/ec2/instance-types/f1/
Infancy?
The trend towards client-side web apps has happened since then, presumably that will have changed the situation to a certain extent.
I feel like most of your questions were answered in the article. "The future is already here — it's just not very evenly distributed." Your Winnebago exists today for the wealthy and privileged. If you're extremely rich, life is largely automated and if you squint, plays out like the scenario proposed in the story except with other people (and liberal application of cash) playing the role of automated services.

The vision is one were nearly _all_ services a traveller might interact with have seen the kind of automation we've seen in areas like agriculture. We've already replaced fields full of farm-hands with one guy and a combine. What happens to the travel business when every single service can be readily provided by a machine? What would the price to the user look like when there is no labor component (outside of occasional maintenance)?

To answer the two questions you posed directly: Your laundry is picked up by drone back to central laundry, plumbing is hooked up when docked at the "hotel". The "parking lots" would look similar to modern-day highrise hotels or apartment buildings: individual units looking out over the city, but these ones can be swapped in and out. In this model, "parking" is hard to distinguish from "real estate" when we've made your residence fully mobile.
He is explaining how to do this with GitLab Pages, not GitHub Pages (the ToS you linked to).

Other than that, yes, GitLab pages exists for the same reason.
Not only that - they wrote at least two songs that referenced how much they hated "Creep" and how it had become a crutch. It's why I find it hard to believe that "Radiohead" are making the infringement claim here and it's much more likely the record label who own the rights to the recording who are making the claim.
If you owned more than half of all Bitcoin mining capacity, it would seem counterproductive to destroy it.
That can't be a netted-out figure?
The value is in the network of people invested in it and that continue to invest in it. To look at these projects the same way you'd look at a private company or a public company would be to completely miss the point. The point is not to deliver revenue or GAAP numbers. The point is to deliver and continue to support a robust network through a governance model that people believe in and where the incentives are correctly aligned between the token holders and the supporting foundation.

I think that's the reason why so many people have trouble understanding the space. Fundamentally networks are what make humans so powerful. The USA is nothing more than a network of people that agree on a set of shared principles. The growth of a network's value isn't linear. A network that goes from 1 person to 2 people isn't twice as valuable, it's exponentially valuable and we're still in the really early stages of figuring out how to value these new, global networks that are forming rapidly.

So the real answer is that we just don't know, but it seems clear that the old world rules don't quite apply.

I never claimed I was a genius for generating 5x. I think you're putting words in my mouth. I'm not a genius. I just see an opportunity that I think a lot of people are missing. I think it's still very early in the space, and I'm making moves to take advantage of it. I'm willing to be wrong and lose 100% of my investment. I'm diversified into my holdings, I follow the projects and teams closely and in case of regulatory risk I have an exit strategy.

I do think further upside is inevitable just based on the sheer demand hammering the exchanges which carry these altcoins. If anything, the influx of capital waiting to flow in will stabilize the prices further even though it may not strictly generate more upside. It'll at the very least set some more solid floors in place for existing asset prices.
FWIW, I have a MacBook Pro here that I've used it on as well. That was the primary machine I used all day every day until I built this workstation about a year ago. Nowadays I don't use the MBP very often at all, but I did just go check and, yep, it still works on there too.
> IMHO, this statement represents one of the biggest design smells in programming. It's usually a bad idea to write software you may need in the future. Circumstances change. Writing code is expensive and coding in anticipation of what you might need is often a waste of time.

Completely agree, as you said, "... is often a waste of time."

Unfortunately, I was not so lucky, literally 2 days after I have finished the first version of the program I needed to add 2 more IP addresses.

I do agree that often is a waste of time.
I'm a little lost. What does ETH provide society if it's just another system for allowing 51% of people to screw over the 49% that dissent?
Also from the guidelines:

"Please don't complain that a submission is inappropriate. If a story is spam or off-topic, flag it. Don't feed egregious comments by replying; flag them instead. If you flag something, please don't also comment that you did."
So the solution is a full switch to autonomous vehicles and a ban of all manually driven vehicles?

People will learn to use turn signals quickly if they are fined.
You can do a 51% attack while owning zero Bitcoin. You will mine some in the process, but well under 1/5,000 of total coins.

Worldwide there are several hundred people that could afford to do this for the lulz, plus basically every government. Now, I don't think the odds are very high it's going to happen, but they are vastly higher than the odds USD's or Gold is going to become worthless.
for discussion/debate? Unfortunately the word has largely Hegelian and/or Marxist connotations nowadays doesn't it?

Anyway, with (Plato's) Socrates, dialectic doesn't seem to have been two people candidly searching for the truth either - usually it was Socrates expertly pretending to do that, while actually showing some expert just how much he didn't know about his chosen subject.

For me, dialectic and derived words mean Hegelian dialectic. That's 99.99% where I've heard the words used.
White water kayaking. You don't have to do anything that puts you in danger, just an interesting class 2-3. "Reading" the water and picking your line turns off your brain. You can't think about social media or bills or stress at work. You can pick up used kayaks for a couple hundred bucks and if you hate it, they don't really lose value from used and you can get most of your money back. Sometimes you can even get a vest and paddle and skirt as a package from someone getting out.
If I buy and then sell $100 worth of BTC a hundred times a day, have I created $100 worth of cryptocurrency trade or $10,000? Note I've only actually used $100 here (excluding transaction fees). If it's the second, then $33 billion dollars isn't really a useful number if many of these trades are just arbitrage by a few individuals utilizing the same dollars over and over.

I'd think a more useful statistic would be the amount of USD actually moved out of bitcoin exchanges rather than trades on the exchanges themselves.
>I dunno, I suppose one wouldn't be surprised if a gold conference didn't accept gold payments.

except no one is using gold as a currency, and all of the crypto pushers are touting it as the currency of the future, yet they an't even use it at their own conference. No one is pushing gold as a currency, so I don't understand the analogy.

These things are just not usable as currency yet, not even close. I have a hard time believing they ever will be even if they get past the technical issues.
> Which speech acts are likely to incur legal sanction, exactly?

This is not about legal legal sanction, but about de-facto legal sanction. By definition, Facebook is only exercising its property rights. But that doesn't change the fact that they do limit perfectly legal speech as a result of a law that forces them to decide whether a given speech act is illegal, thus putting them in the de-facto role of a court, just with completely skewed incentives.

If the same law said that a judge would have to pay heavy fines if they didn't order the deletion of "obviously illegal speech", that would incentivise judges to not respect the constitutional rights of citizens, right? And would therefore probably be unconstitutional, right? Now, this law has effectively the exact same effect, by simply making Facebook the de-facto judge with that incentive, just with the added problem that the people making the decisions have no clue of the law.
The future is finally looking up from my perspective, hopefully this leads to an asetic culture.
Make the whole city 20mph max? Fine by me :)
Hahahahaha this is hilarious, where are all the bitcoin fanatics now hmmm? Does this confirm its singular status as a vehicle of enormous speculation or do we have to wait till people finally agree it is worth precisely zero US dollars...
But no sensible person holds more than their wallet float (and maybe emergency fund) in actual money; there's a whole range of current accounts, savings accounts, tax-exempt vehicles, pensions, stocks, trusts, and property to hold value over the long term.

It baffles me how scared people are of inflation given how low it is at the moment in the West and has been for years. Certainly compared to the 70s when the UK had a 25% inflation rate. At least back then people realised it had a cause in the real economy and wasn't a money-printing phenomenon.
Messing about with the MinION
I think it's just the wrong forum, and fundamentally incompatible with "popularity". In crypto-anarchist mythos, hackers interact via deterministic, mechanical intermediary. It's darwinian. It's expected that participants shall beware, and inept ones will be injured.

It may not be for you, and it may not be for society writ large, but it is an excellent and very important idea. Removing human judgement is exactly the point. Whether this thrills or horrifies you is, I think, a personality trait.
Unsustainable compared to what? New York is clearly demonstrating that it’s incapable of sustaining a subway, and it has just about the best conditions possible for such a project. You think a place that can’t even manage roads can swing a subway?

Is it sustainable to all move
closer together? Not if the residents of existing cities have anything to say about how those cities are governed. They don’t want the extra population.
The frenetic race to build Detroit's Amazon HQ2 bid
> ...there's a whole new set of paradigms (and interview questions!) that competent blockchain programmers will need to know.

Yes, "paradigms" in the sense that broken bones and multiresistent germ infections are technically both "injuries" and can be fixed by "healing".

I think securing code against random accidents or even against specific, well-known vulnerabilities is something entirely different than writing a program for a processor that actively works against you.

We're realizing this right now in the context of adversarial code with Meltdown/Spectre and Rowhammer. I think this is a similar but even worse situation.
This is incorrect and some people will only understand once they suffer huge losses

Nobody wants to hold an illiquid asset and BTC are doing their darnest to make it illiquid as possible.
Sorry I shouldn't perhaps have said transactions - the parent asks what to do with simultaneous requests for to reserve a unique unduplicable good, it was the simultaneity of identical requests I was asking about rather than the impossible simultaneity of processing the blockchain transactions.
!!!

I'm having a really bad day with typos and overlooking them.
You are correct; it does work with https://google.com as referrer. I'm updating the entry.

EDIT aaand it stopped working. It was either a glitch or it will lock you out after a few requests.
You know how people born before 1985 felt when there was the ever present global thermonuclear war threat. We used to practice duck-and-cover in grade school. Woulnt help if very near a bomb explosion, but a little helpful from distant blasts.
Plus there were near misses of a launch in 1962 and 1983 on news. Plus several other secreat incidents revealed years later.
Contributed to hippie malaise that boober parents were fucking up the world.
Is there really precedent of debt collectors being unable to seize Bitcoins? Could they simply not just ask about your credentials to get access to your wallet?
No, that isn't my point at all. It is positing a future where you casually say something and, voila, like magic, real world things happen. And it isn't explaining why that does not go awry.

We can currently order food online. Domino's saves a default order for you so you don't have to fill it out every single time. If you change any details at all, that takes extra time.

There is no verification at all in the story. There is no mention of how and why there is no verification, yet the order of food is what was wanted and he isn't cussing about the brand of beer he got.

The only way you get exactly what you want with such a short sentence specifying what you want is if you are a creature of habit, go to your usual eatery and someone with a long history of serving you asks "Your usual?" Otherwise, no, saying you want a beer is simply not enough information.

Is it in a can? Is it in a bottle? Is it from a tap and served in a tall glass? What brand is it? Was that a regular bottle or a 40 ounce?

Etc etc.

Even with humans involved, "I want X food and X drink" isn't enough information. The story in no way explains how that somehow is enough info.
Does the copyright infringement focus on the chord progression or the chord progression + melody? The melody being sung over the chords is a combination that seems subject to license.
Easy solution; don't use LinkedIn.
Parasitic Computing (2001)
>Every day, $33 billion dollars worth of "traditional" currencies are traded for $33 billion dollars worth of cryptocurrencies

If I start with $20k on GDAX and day trade in and out of various currency pairs throughout the day, I could easily generate hundreds of thousands of dollars worth of market activity just by myself. There's a lot of volume but not quite as much as your comment implies.
Crypto Curry with Elixir
I think for now increasing the requirements to get a driver's license Should help.

Works well in Europe. Though I can understand why this wouldn't work in the US.
I'm a Python programmer with no prior experience to systems outside university.

Browse Python projects on github and find some that strike your fancy. Especially those which may run slow, like puzzle solvers, image manipulation apps, etc. Bonus points if they have few external dependencies. Rewrite them in Rust.
Suppose that's true. The prescription of changing keyboards every X months to help stay conscious of hand posture would make sense.
It’s a token economy like any fiat currency. The market determines the value. As long as people are willing to exchange something for a token, the token will have value. Tokens can be usd, euro, yen, btc, eth, sea shells, plastic chips (e.g, casino chips).
For a given level of true complexity, solutions toward which we have a favorable disposition will more readily be considered “simple”.
I don't know russian and can't read most of that anyways. Here's for polish: https://en.wiktionary.org/wiki/kobieta and it's definitely mare in croatian, and via that same in all languages in the region since we share large volume of vocabulary.
We've disabled swap (by not configuring a swap partition) on every server we've deployed since 2009. It's a little irritating to have to manually remove the swap partition from various Linux' "server" default install options even today. Of course this means I'm still installing on bare metal that I own, so...dinosaur.
You are right. I'm trying to say I think the problem is development bound and not insurmountable (secure, reliable, good fallback to timer) rather than "moving, storing, and processing data" bound as per the parent comment.
The transpiler add-on in the comment wasn't meant to be meaningful anyhow. The main point were the compile time checks, which aren't to be achieved when using a library. Thanks for the correction though!
My first computer was a Heathkit H89 that my dad assembled about 1980. It had a keyboard microcontroller (I don't remember, maybe an 8048), but it also had hardware debounce: the keyswitches snapped together a solid copper electrode, on one side, and four copper "fingers" on the other. The idea (as he explained to me) was that the fingers would bounce out-of-sync with one another (although they looked pretty identical, maybe there was a subtle difference I couldn't see) and there wouldn't be any time when all four of them were out of contact at once.
(I work on F# at MS)

Do you remember the library? The landscape has changed dramatically in the past ~6 months with .NET Core 2.0 support. For example, I can use Fable[0] and Giraffe[1] with the .NET CLI[2] to build full-stack F# apps on my machine which runs .NET Core. The big remaining blocker for most people to just jump wholesale onto .NET Core and forget anything Windows-based is the lak of Type Provider support, but we're quite close to finishing that.

[0] http://fable.io

[1] https://github.com/giraffe-fsharp/Giraffe

[2] http://dot.net/core