skysight-inc/HackerNews huggingface dataset:
For reals, it's "Real numbers are the numbers you need to ensure every convergent sequence of rational numbers has a terminating point"

Convergence is determined in the "Cauchy" sense by having a vanishing distance between subsequent sequence entries, so as not to rely on the (potentially nonexistent) limit.
If your grades slip too much though, it goes away- hence the saying "Don't lose HOPE" (I didn't go to school in Georgia though and only heard this secondhand through a colleague).
There has been work done to improve the collector but nothing has made it into mainline. For example one implementation was missing parts for Windows but worked in Linux thus it couldn't be pulled in and used.
NIST is exactly like a state lottery. You can go and check the numbers.

NIST is responsible for the platinum kilogram. All research scinece calibrates using NIST. They are the foundation of all science labs.

https://www.nist.gov/programs-projects/nist-randomness-beaco...
In 20 years perhaps the new generation will want physical slabs to hold when they read a book.

Nostalgia is always a shrinking market. Imagine someone who really wanted to access Google using the Dewey Decimal System. At least the amount of content in books remains about the same as it always has.
"So, in Borel’s view, most reals, with probability one, are mathematical fantasies, because there is no way to specify them uniquely."

If that were so, might it not offer a way to an "explanation" for the Banach-Tarski paradox that even the likes of I could imagine I understood? - that duplicate volume you constructed is made from the same reals, specified differently!

Not that that would be an argument for the proposition quoted.

I was going to say that I am not a mathematician, but that would be redundant.
I think that might be how logic works. The fallacy seems to be with its parent.

https://en.wikipedia.org/wiki/Contraposition
The article highlights the problem: one asteroid would tank the entire platinum market.
Despite how much I enjoyed the article, I was a bit dismayed that he gave no mention of Kolmogorov.
Unfortunately, my faraway friends were perfectly capable of moving on from our friendship even while being linked on FB.
> reflecting our current understanding and knowledge on how to build safe system...
VECTORWORKS 2017 22.0 SP3 FOR MAC OS X DOWNLOAD WITH CRACK
This article isn't very surprising, of course the kids are going to pick glamorous careers like "musician, athlete or video game designer".

When I was in high school I had to write a paper on what I wanted to be, and I picked video game programmer.

I just can't imagine that very many kids would pick janitor, landscaper, or security guard as dream jobs.
Ask HN: Webdesign companies, what skillset do you wish you could hire?
And why havent you already?
How long would smartphones be able to preserve knowledge? When you can no longer get clean power to charge them, they will cease to function. When they break, there will be no means to repair them. And most critical knowledge isn't even contained on the phone, it's on other machines which are likely inaccessible given the number of failure points in our global networks. If a catastrophe occurs, this high technology will be the first class to break. And no one person or group can recreate them; they depend upon global supply chains and expertise and manufacturing techniques siloed in hundreds of companies. And if a collapse did occur, we might have more pressing needs than recreating such technological marvels, like feeding and clothing ourselves. The value of such technology would vanish overnight if the supporting infrastructure collapsed.

To preserve knowledge you need it to be usable and accessible as the high edifice of our technological society crumbles. That would mean quality paper, vellum or some other durable material. We know it can last for hundreds to thousands of years if properly cared for. And I suspect that with the essentials of our knowledge base preserved and disseminated in such a way, we could quickly re-master the missing advanced stuff in a handful of decades. But if we relied on smartphones to save us, we'd quickly become savage and starving cavemen!

One of the more dangerous tendencies of modern times is that precision manufacturing techniques are often undocumented and are learned skills which require passing on from masters to trainees. There's plenty of technology from WW2 and earlier which we already can't recreate even though we know exactly what they look like. The people who knew retired and died. The drawings and documentation are useless without full training--we'd have to rediscover and refine the processes from scratch. Just last week I was reading about the restoration of a German WW2 fighter plane. They had to replace the entire engine because they couldn't manufacture a replacement part for the (repairable) original, because the machines to make the parts no longer exist and the expertise was lost. We'd have to make the machines to make the machines that make the part. Our technology base is built upon a house of cards. It's not a new phenomenon, but what is new is our utter reliance upon technology we have little control over to feed us and run our lives, making its loss quite disastrous.
It's important to note too that, for CUNY at least, free tuition isn't a new policy, but rather a reversion to the state of affairs prior to the 70s NYC budget woes (see: https://en.wikipedia.org/wiki/City_University_of_New_York#Ac...).
> Yes yes, fiduciary duty, etc. etc. There's more to life than the value of your stock.

You don't see the contradiction in this statement?
Fail how?
Which part of versioning is the problem? Is it the history keeping?
I already have a FreeNAS system, but I have been thinking about upgrading a few parts, like the chassis. Right now it sits in a cheap Tower, and doesn't have enough drive slots for my liking. So this is a really interesting guide.
I'm not exactly sure why she would need one, especially considering lawyers won't know what's what. So if this is about resume building, I guess we'd need more information about what she's trying to accomplish.

If it's about learning something, I guess she should pursue what she's interested in.

All that said, A+ is what I consider a good "entry level" certification. It's not hard, but it's also not possible to bullshit your way through without knowing something. Most CompTIA are like this. Also good are MS Professional certs, Red Hat, VMWare, and Cisco. There are definitely others, depending on the area, but those are a few that I see often that most would consider legitimate (meaning you don't have to just go through motions to get them).
> What about phrases that specify some numbers on Thursdays, and another numbers when Moon is in second quarter?

Would you mind producing such a phrase?

> What about phrases that some people agree specifies a number, while other people think it's another number, and yet another people just aren't sure?

> What about phrases that specify one and the same number for a specific person, but once that person reached age of 40, then he/she is not sure anymore?

You may as well ask whether someone understanding a theorem has any bearing on its truth value. A well-formed sentence in a formal language has one and only one meaning regardless of whether a specific person understands it. That's the whole point of using a formal language. If meaning is actually somehow bound to its interpretation then communication of even the simplest of mathematics is totally impossible.
Fun with IEEE 754
> For me, the problem with social media is a fundamental lack of self control; I get into 'someone is wrong on the internet' discussions, and for me, those are the 'addictive but not pleasant' aspects of social media.

Why not control yourself to not reply to people you know aren't going to have a healthy discussion with you? Surely the same issue exists in real life?
I totally agree that mainstream mathematics doesn't have any problem whatsoever with infinite constructions and in fact embraces them.

I just wanted to clarify that intuitionistic and constructive mathematics don't have any problems with infinite constructions either. Finitism and ultrafinitism do, but they're not what's usually called "constructive mathematics".

There are at least three orthogonal axes which you can classify mathematical schools of thought in:

* Is the law of excluded middle accepted? ("Any statement is either true or not true.")

* Are infinite sets accepted? (They are not in finitism, but they are in constructive mathematics and of course in ordinary mathematics.)

* Can constructions implicitly refer to the result of what is being constructed? Is the powerclass of a set again a set? (Yes in ordinary mathematics and in constructive mathematics, no in predicative mathematics.)
So your policy is to trim as many of your loose acquaintances away as possible?

I was under the impression that having loose ties is important for various reasons in life, assuming they aren't taking up significant mindshare with non-essential things. (Then it's not really a 'loose tie')
DevOps Chat: 'The DevOps Adoption Playbook' by Sanjeev Sharma
Case in point: I constantly use Stockfish (Open Source Chess Engine) + Scidvspc (Open Source Chess tool) to analyze my own games. I can have Stockfish play and evaluate all of the games I play and give me a rating on each of my moves.

Stockfish figures out any blunders I do automatically. I just set it to "search depth 20" (which normally takes ~20 seconds per turn... although some complicated positions can be ~1+ minute per turn) and have it analyze my games. In less than 10 minutes, I have a very strong analysis over the course of an entire game.
I fail to see the hypocrisy. The privacy protections protect the consumer from a monopolistic ISP, while the other protects consumers from other inconsiderate consumers.
> In fact it probably siphons off the energy from a movement that needs to learn not to create value in an institution driven by profit instead of societal betterment.

Indeed. Creating a twitter-like platform is not particularly difficult, and it is therefore feasible for group of people to chose to build one with a structure involving a degree of user control, and see if it flies.
Wikipedia's upcoming search features
One of the early cypherpunks is on my list as the probably Satoshi.

Don't know which one though :-)
GitHub – jdsutton/Slurp: Modular tools for real-time builds
No, they haven't. And them taking advantage of people with no alternatives is not a good thing.
You should say a little more about what her goal is. Is it to:

get a job?

"In" tech?

As a lawyer?

As a patent lawyer?

HR lawyer?

Does she want a job as a programmer?

There are lots of certifications (as you well know), so people need to know more about the goal.
Nope.

You have a "contract of lying on the driveway" with him, you've granted him permission to lie on the driveway for the next 1.5 hours, and your contract doesn't list you changing your mind as a reason for rescinding that prior permission, nor has he breached the contract in a way that permits you to remove him.

You're welcome to point out where in the contract of carriage you're basing your opinion. I'm finding no justification.
would this be a problem? not sure. will certainly require adjustment in how we do things but in the long run it would benificial
Mastodon–The free software, decentralized Twitter competitor
Probably a number of options for continuing to learn more conversational English. Here's one: https://www.myenglishcoaches.com
Passenger knocked out and forcibly removed from overbooked United flight
Mesh networks are definitely cool but the biggest downside is that they are a bit pricy and I have heard that some of them do not work well. I cannot speak for any of those which you provided, though, except google which works well supposedly.
The article doesn't mention it but it is probably for deduplication.

This processor supports RAM 128GB+. ZFS dedup uses a lot of ram.
Get off the grid France is forcing employees to power down
Landed (YC W16) on why teacher home-ownership is central to improving schools
WTF

That’s all I can say about that.

That said, you were mentioning laptop displays, and the topic was OLED, that’s why I was mentioning why for OLED 60Hz is basically impossible.

And as the display of that Ideapad has around 50 brightness steps, you get a real refresh rate of about 1Hz. That’s insane.

As mentioned, I’ve tried this with the LEDs I’m using to light my room, and below a few kHz I get nausea, and so does the rest of my family.
Who you calling inefficient? :-p

Those "inefficiencies" are for handling a messy noisy world where we can't just settle on a single solution. There is allot of overhead to play in the game of evolution.
this is a really cool comment -- thank you! -- do you have any more reading you can link to?
Right, having-prions can be seen as adaptive for a species.
We can look at kuru survivors who sadly, recently underwent rapid natural selection. Among this population are those possessing a variant of the prion protein gene that conveys strong resistance to prion diseases and the propogation of misfolded prion proteins. Here's an article: http://www.nature.com/articles/srep21804
I'm all for delegating the matter to someone else, sure; but that's different than not doing it at all (someone is still doing it).
I think the first social media network that succeeds in democratizing ownership of the platform will spread like wildfire and overtake incumbents.

Everyone is already being primed for app-driven direct democracy through social media channels, so the moment this is made real, it will explode in popularity. The technical challenges for creating clones of existing services are solved problems, so all it will take is the social will.
A Positive Outlook May Be Good for Your Health
I agree, A+ will serve a lawyer well. Time and money well spent ++++

:)
I have read on Wikipedia that lichens degrade prions, so I disagree with that analogy
> Of old age I mean.

Yeah I get that. I asked why they should die. Not how or by what means.

> It's like with everything. Most people simply do what they always did, most never reinvent themselves.

Based on? And note that we're not talking about "most people", we're talking about a very specific subset of people. Considering the changes in popularity of programming languages and the recent surges in adoption of Go and Swift, I'd say there's at least evidence to support people do change in this domain when something comes along that excites them or opens up new possibilities.
I think you'd need the right kind of position for someone like this. Presumably, Criss wasn't trying to hire for a council of Haskell type-warlocks. Toss this person into a typical dev role, and you've got a recipe for boredom on their side and confusion on the part of the rest of the team.
> Tools for making a website about something political, fast

I disagree completely. If you are making a "political" website fast, it is just a knee-jerk reaction, not a thought out response - "The Bad Guys (tm) just announced their pro-widget stance, we better get an anti-widget page up now!"

What politics, the web, and the world in general need is less speed and more well-thought out rationale responses. These take time, and thats a good thing.
Haven't Been Accepted by YC Online Startup School 2017?
We have a great solution for you.

Ainstein is a chatbot that help you to keep track on online lessons from YC.

Check it out https://m.me/ainsteinio?ref=startupschool
>In a chan style system I'm completely ignored unless I comment with bullshit like "I agree".

You're completely ignored, but only in the sense that people skim your post... since the posts all live on the same plane, the comment must still be skimmed over (in order of time). But its not the system, or some subset of users ignoring you (by hiding your post automatically, by downvotes or a lack of upvotes)... it's the users choosing, individually, to ignore you.

And AFAICT, upvote-based systems have a higher tendency to post bullshit, in the form of trivially community-acceptable statements, or simple nonsense like "I agree".

However, I'm also of the opinion that most interesting comments on both types of systems are arguements and refutations (by knowledgeable people), info dumps (by knowledgeable people), or histories (by experienced people).

The latter two are supported by upvotes, but the goal of upvotes is to utterly extinguish the former.
Well of course the former royal family is not corrupt, they are not in power!

At least in the current system, the politicians hold responsibility and can get exposed, prosecuted, and convicted for corruption (eg. https://en.wikipedia.org/wiki/Operation_Car_Wash ), after which you can try to get somebody else elected; how would it be better if you put an arbitrary family in power?
Workplace Surveillance Is the New Office ‘Perk’
> As long as my copy has my memories up to that point, and the plans I had for the future from there on, it's as good as me.

What happens if they don't destroy the original version of you and now two exist...
At what point did fascism in Italy and Germany turn from speech to action?

At what point would you have been OK with suppressing fascist speech? (A lot of people answer "September 1st, 1939" to that question.)

At what point was it too late to stop? ("September 1st, 1939" was years too late.)

What makes you sure that it doesn't cross that point, before you have the moral consensus to suppress it?

We've been down this road once before. The last time around, it killed fifty million people. In politics, the line between speech and action is far murkier then these absolutes.
Certainly it's nothing like degaussing; it's a panel of individually addressable OLEDs that do not move, not a vacuum tube.

My guess is that this is an artifact of some sort of 'motion control' or other processing the TV applies.
The Boox units mentioned elsewhere in this thread may be better since they run Android, but I'd look at the linked Mobileread discussion and possibly wait until the next revision later this year.

Edit: Curse you autocorrect!
If your NAS is small enough, you could get a couple of external drives and rotate them.

I've got a QNAP 4-drive NAS and the stuff I want to keep backed up fits in under 2TB. Based on that, I've got a 2TB external drive and have set up a backup job to sync the stuff I want to keep to that drive every morning.

There's no reason you can't get two drives and swap them every week. Just set your backup job to run weekly and unmount/eject the target drive when complete. Every Monday you just grab your drive and take it to work, and every Friday you bring the old drive home and plug it in.

Of course, any backup that requires manual work is likely to get neglected eventually. "Oh, I haven't done much work in the last week, I don't need to take the drive to work today" is something I've told myself all too often when it comes to my Mac backups.

Automated is better. If you have a second NAS at a remote site, you should be able to use ZFS send/receive to update a remote NAS over the internet.
Because "addressing" the concerns would make Rust a worse language.

1. Removing structs and interfaces (in favor of what? Java-style classes and interfaces?) would make Rust more verbose, less of a systems language, and slower at runtime due to the indirect dispatch.

2. Changing the keyword "enum" to something else is a cosmetic change which would make as many users unhappy as it made happy. (We know, because we solicited feedback on the keyword before selecting it!)

3. I've addressed error handling in the sibling comment. There's basically no other way to do it that would be in line with Rust's goals as a systems language.

4. Rust would be a worse language if it lacked closures. Closure support is a basic feature in a modern language.
Why do you suppose there is a difference between things and the names we give them? What sort of basis is there for that?

EDIT: How do you know that a large number is "there" if you can't count to it? What would it mean for a large number to "be there."

Being-there is something special. ;-)
just remember that being anxious about it is a waste of time (mind/thought) on its own. it is a bit funny as well
> Building "from scratch" off the base image distributed by the distro itself is considered "the old way"

Then I don't want to be new. I started using a few of the Docker Hub images (mostly `openjdk`), but I've transitioned completely to building all runtime images off of `debian:jessie`. And even that image I may want to remove eventually, just so that our CI system isn't affected by Docker Hub outages.
Yes, it's insane. I can only attribute it to that I don't work on problem of any scale (amount of apps, servers, deployments per day, etc.) and all of these people do. Who really wants to spend their time and effort running a Kubernetes master and nodes, 3+ Consul/etcd nodes, and now some fancy load balancers? The ratio of companies that would benefit from that to the number of companies working on products in the space is way out of wack.
I don't understand this. For a constructivist, "¬A" means "from A, falsity is derivable". You can derive falsity from the statement "there is a countable enumeration of the real numbers". A diagonal function given such an enumeration is constructively definable, and it is also constructively true that it is not equal to any of the enumerated ones (because 0 != 1 is true constructively). Thus, the diagonal is not enumerated all real numbers, but it also is by assumption, thus falsity.

What does make real numbers weird when working constructively is that you cannot conclude |x| > 0 from x != 0. This means that 1 / x need not exist even if x != 0, so the real numbers do not form a field in the classical sense.

If you don't trust me, maybe you'll trust wikipedia: https://en.wikipedia.org/wiki/Constructivism_(mathematics)#C....
I think this is an unfair criticism. Theyre not in the business of charity.
Eh. Cool. To much work. I just bought a FreeNAS Mini because I am lazy. But this very cool.
"Static typing didn't "stop" being popular while dynamic typing "was" popular, nor have opinions "changed". Dynamic and static typing have coexisted almost the entire history of programming and will continue to do so."

That's a non sequitur.
> You seem to be presupposing that all, or much of the C/C++ written today will follow best practices and be written by "expert" programmers

No, the argument i am trying to make is that if someone wants safe and reliable code, it's possible to buy that in C/C++ at cheaper price than to migrate to whole new language and platform.

> I'd be willing to wager a far larger portion of the Rust written today will follow best practices

Yes, as you mentioned that's by design. But i don't that the metric we should be looking at : in the group of people/team/compagny who actually care about safety and performance ( and let's be honest that group is the biggest one), what proportion will be using C++ vs rust.
How to Find the Precious Gems Buried in Your Stripe Data
This is great. Thanks for the link!
Its well written and shows great clarity of thought. The practical considerations are always mentioned, and they thought of everything, even ddos amplification attacks. A thing of beauty.
Browser engines are more indicative of the current "understanding and knowledge of how to build safe systems" than nearly any C++ codebase in existence.

Part of the current "understanding and knowledge of how to build safe systems" is to use a memory-safe language.