skysight-inc/HackerNews huggingface dataset:
I suppose the argument you are trying to make here is basically "having a machine that if we run it for long enough, will tell us any particular digit of a number, is as good as having that number".

In the concrete example, you would argue that if a machine which after n time steps specifies which 1/2^n sized interval the randomly generated number lies in, then having that machine is equivalent to having the randomly generated number.

I disagree. If I come up with any property of the number that requires seeing arbitrarily many digits to specify (e.g. "is rational", "contains more 1s than 0s", etc) you can never tell me whether or not the number your machine specifies has that property. That said, I can see where you are coming from. There is at least some argument that under this model it's not the number which can't be computed, but the "is rational" function.

Personally, I wouldn't worry about the downvotes. Internet points aren't important in life anyways.
Not really a practical option if you have any moral or safety concerns regarding living life as a thief.
The only thing sketchier than the stuff you linked is the fact that 3 karmaless HN accounts came out of the woodwork almost immediately to defend the school.
Technological requirements for terraforming Mars
> and is similarly open is the Dragonbox Pyra

The Pyra is taking forever and it's pretty much a one-two men's team, which is why it takes so long I guess.
I am sorry, but you are factually wrong.

The word bydlo was borrowed into Russian (from Ukrainian, which in turn got it from Polish) a very long time ago, and has been used in works of Russian literature (Aksyonov, Strugatsky brothers, Sholokhov, Kuprin) through the entire span of the 20th century, including before the revolution. According to the Russian National Corpus, the earliest usage in Russian print was in 1869.

The word and its usage has nothing to do with Ukraine, and is not used as a epithet for Ukrainians or any other particular ethnicity - unless talking about specific Ukrainians (or Russians, or Americans, or whoever else) who act like bydlo.

EDIT: I was wrong about the etymology. Updated.
The thing about dogfooding is so accurate in Google. They don't like dogfooding here.

I work in Google cloud. And I want to host my personal website on the platform I'm working on.

People look at me funny when I bring up about free gcloud credit. My teammates don't seem enthusiastic about this idea. My manager don't seem to agree that it's important. So, I've never got the credit, and my personal site is still hosted on heroku for free.

And nobody on my team uses our own platform.

The culture is strange. Dogfooding our own product should be one of the top priorities.
Nitpick: typically they have excellent reception. _However,_ with many copper lines not being maintained and especially in some rural areas, reception can be awful to unusable.
The primary cited reason for the cashless trend is the ability for shops to simply say no. Anti-money laundry laws trickle down from EU level.
A NAS setup or Backblaze. Personally I use both for redundancy.
There's a UX for those things too. The users would be the consumers of the API.
> we're still shifting with derailleurs

Not cyclists with Rohloff hubs. Rohloffs have become a hot item for touring cyclists, but even on the streets of a German or Austrian city you will see Rohloffs on people’s commuting bikes. If not Rohloff, then perhaps a Shimano Alfine.

> road bikes still slow you down by squeezing the rims

Many new road bikes (even BSOs at the local hypermarket) are shipping with disc brakes now.
Best Wallpaper Apps Android (2018)
They had money, most places did not accept money.
Ask HN: Has Stackoverflow Been Good or Bad for Programming Communities?
Stackoverflow lowered the bar for learning programing, so the communities have arguably increased because of Stackoverflow.

On the other hand, people are much more disconnected from the actual programming communities, as it's so easy to simply Google a question and copy the best Solution from Stackoverflow. Rather than actively participate in forums... Like the good old days
"Because I lack mental discipline a technology must be bad"

This is an argument in the same vein as any number of self-assured blog posts which do the rounds through HN of "Why I stopped using X" and "Y considered harmful".

Power to your friends maybe, but it's not an argument one way or another over the merits of the system - its an argument about things they do personally to ensure self-discipline.
Having set up both, Gogs is much easier to set up than gitlab, and I don't know how the install instructions are similar. Gogs' are, from https://gogs.io/docs/installation/install_from_binary, essentially "download and run". The binary build they provide even has sqlite3 support out of the box, so you don't even need to install a database if you're only working with a small group. Also, gogs is far more performant than gitlab, and will happily run on an older raspberry pi.
I don't know if "echo system" is a deliberate mistake, but i like it!
the paper: http://doellerlab.com/wp-content/uploads/2018/11/Bellmund_et...

http://doellerlab.com/cognitive-space/
Why is this so common among people who probably consider themselves pretty intelligent?

Blew me away in that Facebook dating thread yesterday how many people were saying that nobody uses Facebook.
How do you get money off the bracelet?
Reminds me of an old scifi story. Someone in a far future or advanced alien society runs across a paper book. "A means of conveying information without needing power and without the risk of surveillance? Excellent!" (paraphrased from memory).
You only really need 1 speed. Fixies are popular for a reason (well, they are also hipster, but there is still a reason for the initial popularity ;-) ). Especially with a direct drive train, you've got a lot more control.

However, our human muscles are most efficient using specific amounts of force and using specific cadences. If you push on the pedals too hard, then you start going anaerobic and build up lactic acid in the muscles. You can't sustain it for long periods. Similarly if you push too little, you have to spin the pedals incredibly fast to maintain speed. This uses up a lot of energy.

The idea of the gear is to pick one so that you can settle into a rhythm where you are using the same amount of force that you normally do and you use the same cadence that you normally do. This way, no matter what the terrain, wind, etc, you can be as efficient as possible merely by changing the speed that you are travelling.

Normally when I'm riding, I'll use a combination of 4-5 gears. Which gears I use depends entirely on the terrain and the wind. If I'm going up steep hills, then I'll be using the easy gears. If I'm on flats, I'll be switching around trying to find a comfortable gear depending on the force and direction of the wind.

Honestly, you don't need 30 gears (and IMHO, if you don't have a lot of money it's better to spend money getting an overall good bike, than trying to get a couple of extra gears). I particularly like having only 2 chain rings (and I could easily get away with 1) because on cheaper bikes, it's easier to keep the derailleurs set up nicely (on expensive bikes, I don't think it matters much). However, I've got some hills with over 20% gradients, so I need some low gears. Having that extra chain ring can mean being able to get over the hill or not.

If you are riding a lot (like several hours a day), having more gears is nice because you can always find a "perfect" gear for the conditions. This really reduces the amount of fatigue you experience. Again, it's the difference between riding 100 km and being relatively OK afterwards vs riding 100 km and being shattered.

So if you are riding short times for leisure and the terrain is relatively flat (for example, nothing over 10% gradient), then you can save a lot of money to have a bike with less gears. But if you are riding a lot, in challenging conditions, then having a couple of extra gears can make a really big difference.

One thing I should point out is that group set manufacturers are pushing higher numbers of gears into their lower priced offerings. This is because the engineering for those lower priced offerings is improving pretty significantly over time. Some of the cheap gear systems you can buy these days are almost as nice as the pro gear systems you would buy 10 or 15 years ago. The precision is good enough that there is no real reason not to have the extra gears. You might not need them, but if you start cycling in more challenging conditions, you will appreciate them.
Transactions to businesses are done with cards. Transactions between individuals are done with phones. A few businesses use the phone transfers but one doesn’t use that to buy food. It’s typically done with debit cards like most other places. If my card is lost I actually don’t have any spare cash at home or similar - although it is recommended to keep some.
Isn't the "commons clause" only on a few modules? Redis itself is still BSD.

See: https://redislabs.com/community/licenses/
No different to anything getting lost of stolen, and a bracelet is less likely to get lost or stolen.
>It is permitted to apps to known when the screen is on / screen off, via the built-in notification it provides.

[citation needed]
Food is payed with VISA och Mastercard. Water is payed through the online banking service. Travel with VISA/Mastercard (even local buses accept credit cards). "Etc" is also payed with VISA or Mastercard. Swish is a mere conveniency for transferring money without having to log onto your online banking service. I use it once a month tops.
>>> Does Facebook actually want you to just use Ocaml?

Facebook already uses OCaml.

https://github.com/facebook/infer
Really? I think the smart phones we have are pretty brilliant and functional.
>Yes you are right, there were MULTIPLE soveriegn tribes that did that.

No, there were none that have done that. There is no civilization that has lasted thousands of years, let alone some tribe.

>Interesting assumption there chap.

Not an assumption at all. Without writing, there was absolutely no useful way to preserve knowledge for any long period of time. Best you have are traditions and stories, which are lossy at best and easily wiped out by conflict.

>"Crap agricultural skills"? Good lord. Americans are the ones with "crap agricultural skills."

If it weren't for the agricultural technology and skills enabled by the scientific institutions of the "colonizers", we would still be having our children starving to death during droughts like the tribes and the early settlers. If it weren't for that technology, there wouldn't be enough farm land to feed all of the humans on the planet.

If it weren't for the "colonizers", tribes would still be murdering each other over territory during droughts, dying from simple diseases, suffering from malnutrition, living in terrible shelter, etc.

If tribes really were go great back then, none of the Native American reservations would be using any modern technology and people would be clamoring to join them and learn their ways.
fair enough! thanks for the reply/info/link.
With Web Assembly being supported in all major browsers, it will be an interesting future.

Huge performance gains in Web Assembly could introduce a new age (Web 4.0 or 5.0?). They could become more like an OS perhaps.
I’ll accept that indicator functions are not well defined in general however I don’t understand why f should be ill-defined. As I understand it, negation is still allowed in intuitionist mathematics, but you don’t get that (not not X -> X). You still get that (not not not X -> not X), and that (X and not X -> bot). Furthermore it is only a general law of the excluded middle that is not allowed and it is quite possible to prove that e.g. (x : R -> (x > 2 and not x < 2 and not x = 2) or (x <= 2 and not x > 2)).

Does it break down somewhere in the definition of continuity?
Anecdotally, I do see a large number of lay people with tape over their laptop cameras. Enough stories have filtered into the press about RAT malware and whatnot that there is likely to be some endemic insecurity about a camera pointed in your face across a fairly broad section of the populace.
Im just guessing but replacing something that is used by almost everyone here in sweden with something almost noone uses is a bit counter productive. Just start using cash again would be the easiest solution. Swift payments is mostly used to accept payment easy and costfree between private people at fleamarkets and similar since noone carries cash any more.
Why isn't `-march=native -mtune=native` enabled by-default for every piece of software compiled unless explicitly specified otherwise?
>But most of the difficulty between tribes arose as a result of white influence, starting with the Spanish and continuing onward.

This is just an assumption because there was no written history of tribes before the "white influence".
Like a ton of other people here, we've been using ReasonML for about half a year now at Rolltrax [1] and so far I can say I'm ~95% happy with it. I'm a long-time OCaml user but my co-founder had 0 experience in OCaml when we decided to make the switch to Reason. I'll just list off some things we've found using Reason so far:

Positives:

* Really quick to get productive -- the syntax really does do a great job getting new users familiar with the language constructs (I was very skeptical about this before)

* ReasonReact is very nice and works great out of the box

* Writing bindings is generally pretty easy to do, and we're currently maintaining 4 of these (+ 2 existing binding we've contributed to)

* The language and compiler do a great job at working with you to figure out issues

* Everything feels a million times more structured than normal JS code

* Not sure if this is an up-side, but writing code in Reason is so much smoother than other languages that I feel like it's pushed us to implement more client-side features than server-side ones (unfortunately, this means everything depends on a ton of JS)

* Super readable, I feel like I can skim the code and know exactly what it does instantly

Negatives:

* It's still JS, which means you have to deal with a ton of crap from NPM, WebPack, JS's module system, weirdly written libraries that don't do well with bindings, and things breaking in weird ass ways that you can't easily debug... I think this has been the source of 90% of our bugs so far

* Still no way of getting higher-order components working well, specifically with bindings, which makes it really hard to work with libraries like react-grid-layout

* Polymorphism could still be improved. We occasionally get type signatures that should work in theory but can't because of the object system's limitations, which means we have to give up on the type safety and fiddle with Obj.magic or external JS code

* The JSX syntax is still annoying because you can't use spread syntax with a native element (e.g. div), although eventually I'm gonna get tired enough of doing that that I'll open a PR to fix it

Overall, Reason is by far my favorite way of writing web apps. If that's something you've got to do, give Reason a try. There's still a few pain points but interop with JS is so simple that it hasn't really slowed us down (except when webpack breaks lol)
But are they?
Ooo nasty...
I just happened to be camping on Ossipee hill in southern Maine on August 4, 1972 (I was 15). It was the most intense aurora I've ever seen. It covered the entire sky with incredible movement and brightness. My friends and I just laid on our backs in the moss for the entire night and watched the show.
You're probably right, the downvotes are probably because people are sick of people saying "Crypto is the solution!". IMO he might as well have said "Can you lend me money, I'll pay you back with these chicken eggs, bartering is a valid form to pay for goods and services!", except crypto has hype around it that he'd probably find a taker or two...
HN is the best place to find quality, (frequently) low-noise information about everything!

I was aware of the meme, but not its origin. Thanks.
No you have to visit a money exchanger in advance, exchange some money into local currency, then go to your destination.

Which...is the same thing you need to do anyway to use your card in China.
Cloudflare Workers KV Beta
Even then, I feel like working with Floats vs. Ints in a web browser is almost never an issue. I'd just open Float if I need it because I can't think of any scenario where I'd use both in one module
What would be a benefit to putting the modems on PCIe bus? I don’t see any positives, only drawbacks.
Some banks require you to tell them when you are heading overseas. It helps to avoid this, and protect you from fraud.
> The fact that Chromium is open source is completely irrelevant.

Of course it is relevant. The fact that I can run Chrome in Linux/macOS/Windows means I am not forced to run some OS just to get compatibility with sites that I use. This is completely different from IE6/7 era, where in some cases it was impossible to use Linux/macOS simply because you had a site compatible with only IE.

BTW, I use Firefox, and I don't remember the last time that a site doesn't work in Firefox.

> DRM for HTML to prevent ads from being blocked? Sure. Want to bet it will happen due to Google and Chrome?

This is simply FUD. Does Google have the power to do it? Sure. Does it mean it will do it? Don't know, this is why it is FUD.

> We've got the same situation with Android too. That AOSP is open source is completely irrelevant, it's still a Google controlled monopoly, nobody can fork it due to the massive resources required and Google can effectively coerce phone makers into doing whatever they want via the threat of blocking access to Google Play.

Another FUD. Yeah, people can fork it and we even have a big example that is FireOS from Amazon.

Sure, Amazon is even bigger than Google so they have the massive resources required, however it can happen.\

> People switching to Chromium-derived browsers to get away from Google. I can almost hear the evil laugh from Mountain View.

This is completely irrelevant. People who use alternative browser are not simply using it "because it is not code from Google", but generally wants some features that Chrome does not offer (at least by default). The three major Chromium-forks (Brave, Opera and Vivaldi) are not focusing in "we're not Google", they're focusing in having new features.
That whole "inform your bank thing" is no longer a thing, at least here. We went to Namibia/Zimbabwe last year and I tried to give them a heads up to not have my cc blocked. The hotline person said there is nothing they can do. If the software blocks it, it blocks it. No way for them to prevent that.
I wasn’t actually thinking about panic, but the associated optional backtrace in Error types with Failure, for example: https://docs.rs/failure/0.1.3/failure/
I agree this would be an improvement, but Go’s solution seems to work pretty well.
Diplomats suffered “concussion without concussion” and we still don't know why
My last post on Gogs and Gitea: https://news.ycombinator.com/item?id=17006872
Yes, because of the way infinities work.

Even though the quantities of ranks 0/1/2+ are infinities (countable or not), there are vastly more 0/1 than any other, so that mathematically, it's accurate to say that the odds of finding 2+ are zero. But it's not really zero.

Infinity is confusing :)
They’re official in version 1.11.
And the most obvious reason for the cashless trend is that cashless is easier and more fruitful for buyer and seller. Buyer just touches their card/phone to the machine. Who likes dealing with cash? (Answer: Germans)
Though I live in San Diego, I generally avoid going downtown because the parking costs about $30. In a pinch, I'll park a mile north of the city center and take a scooter or an Uber for the last mile. It's just hard to justify spending $80 on a night out and nearly 40% of the cost goes to parking.
It could be that power management is not enabled yet, or perhaps other thermal protections are not fully enabled yet. I doubt the SoM package itself will get much smaller, but I'm just basically guessing since I'm not an employee of Purism.
I like How Wall-E played that concept really hard.
Except that eventually a growing number of participants will start to barter where they can, and then someone will come up with the idea of a issuing some liquid token to facilitate things when bartering is not possible.
Are you talking out of experience or just theorizing? Because I was there. People were telling Gorbachov & Reagan jokes all the time in their kitchens, that was just a normal part of life.
I agree that this can be beneficial, but do any BSDs support any laptop hardware as easily or as well as Linux does? Even assuming that hardware support is there, does the battery life even compare well to Linux on the same hardware, let alone Windows 10?

If one of the best kept secrets of open source is that some BSD somewhere has great hardware support and battery life better than Windows and Linux... that would be awesome!
I know this is getting downvoted a ton, but I certainly felt the same way before using Reason. Even now, I'm sort of undecided about my opinion on it. I love how accessible it makes OCaml (which I think it does, people pay more attention to syntax than they really ought to) but I'm always afraid that it's going to cause native OCaml to be abandoned. Reason can also sometimes make code needlessly complex IMO because it hides some of the really clear aspects of OCaml's syntax. That said, it's improved a ton since it was first released and no longer feels like a weird soup of mixed up languages.
We are in agreement. I was just stating some tradeoffs to physically carrying money that weren't mentioned.
> if the condition persists even few days it becomes a major problem

How much cash does a person keep handy? If the condition persists a few days, cash would also become a major problem.
Oral History of Dave Cutler Part 1
> There is at least some argument that under this model it's not the number which can't be computed, but the "is rational" function.

That's how I see it. I think this perspective results in a rich and natural theory, which has helped me in my studies.
Yeah, I was referring to Node.js. And no, what Node.js offers by default seems horrible[1]. It pass its entries to system shell, that is completely insane.

Python's subprocess actually run the process inside a Python process, so there is no possibility to hang youself up in case of a vulnerability in shell code. You can explicitly run the subprocess in shell script if you need shell capabilities (glob expansion comes in mind), however you shouldn't.

[1]: https://nodejs.org/api/child_process.html
Go make one.
If we ever have some sort of apocalypse, I’m guessing that the popular barter commodities will reflect society’s vices: cigarettes, alcohol, coffee, sugar and porn.
>We have massive social and financial structures to subsidize students, because we recognize that activity has a great deal of future value to individuals, nations, and the world at large

Based on capitalism though. We incentize it because educated people are must more useful economically so their future earnings potential is the reason they are able to take pictures of out student loans in the first place.

Places that offer student discounts aren't magically treating them better because they are thinking about their future, they do it because it's an easy way to ensure that someone is likely poor and unable to afford your regular price. It's no different than grocery stores giving coupons to people via annoying mailers so only people with lots of time get the discount.

>Contradicted by studies.

Which are all bullshit because there is no place where this is done on a national level. Nobody unplugs toilets just for fun. You'd have a lot of artists and carpenters contributing things that society doesn't need.

>I think that you should rethink a great deal of your sociopolitical philosophy.

And I think you should spend a little time learning about economics.