skysight-inc/HackerNews huggingface dataset:
To see what the Buddha saw, leading my brain to do the reassessment that causes freedom from suffering. I meditate daily and study related books like The Mind Illuminated.
> Most people vote based on some very personal and everyday issues. Things they experience in their lives not discussions on facebook [...]

I'd say exactly the opposite. The politically empassioned folks I meet lately (on both sides) are always quicker to talk about a meme than a concrete issue.

E.g. Koch brothers, Shariah Law
Section 5.4, “Top avoidance mechanisms” (paraphrased):

1. Validate input

2. Check error values

3. Enable compiler static analysis

4. Run a static analysis tool

So, tooling is high on the list. For #1 and #2 tooling may help, but I do not see how it can avoid them.

Lower down that list there are items where tooling will be of limited, if any use, such as “make error handling an integral part of system design”, “use clear and consistent names” and “do not use floating point where integers would suffice”.
What I've noticed a lot on sites like HN and Reddit is that there's always heavy 'tilting'. If any comment ever drops below +1 (or below that of a different viewpoint, so +10 vs +1), people just blindly start ramming the downvote button without any thought, as if they aren't capable of analyzing the comment on its own merit because 'the crowd' has already decided for them and they take the path of least resistance in terms of mental effort. This is also why 'brigading' is so tremendously effective, you only have to tilt the balance a little bit and the crowd will take care of the rest.
Be as strong, confident, hard-working, charismatic, and happy as I possibly can be. On a good day, I'm running at about 80% on those attributes.
"You are basically saying that Jeff Bezos has created more than 100x the value of, say, Linus Torvalds, Richard Stallman, Guido van Rossum, and Donald Knuth combined?"

An interesting point. I think most of the above people have created a lot of value as well. It's hard to quantify, so I think it's possible that Amazon has created more value.

However, I think it's far more likely that, while they created lots of value, they haven't captured most of it back. Arguably, that's because they didn't try to, which is a totally reasonable decision for them to have made.
I too agree, but I believe the root cause is the scale, speed, complexity and volatility of modern life: there is a great deal of information overload and rapid changes which overwhelm a lot of us.

Humans evolved in environments that usually involved absorbing a limited amount of fairly stable information, and dealing with communities of limited size (say, less than 100?), also fairly stable. Now we have to process thousands of faces (some in person, some through media), millions of pieces of information (news, commercials, trivia, education, business emails, social media feeds) and thousands of different micro-skills (learn the latest feature in smartphones, adapt to your bank changing its electronic banking policies, based on latest research now you need to learn to look for a low-carcinogen version of your favorite food, etc.)

I wonder whether this is what's causing many people to zone out, some to retreat into private shells and a few to resort to senseless armed violence...
FTA: ...finding it to be 2.79284734462 plus or minus 0.00000000082 nuclear magnetons...

Ok, physicists can measure this quantity to 10 decimal places and Computer "Scientists" cannot understand the systems _we built_ well enough to reliably measure a 1% speedup.

/sigh
That's true. It's like AOL all over again.
Type checking your code is, in a sense, a formal proof. That is, your types encode theorems, and the compiler check them.

The article actually alludes to this, linking to this: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
Propability and statistics aren’t lost on me. I’m also aware of a movement in the medical association to target moderate use alcohol as a societal problem. Which is fine and good but comes off a bit hypocritical as they are the cause of the opioid crisis, and have been over prescribing antibiotics for decades. All pharmaceuticals have risks and they give them out like candy. 13% of the population is on antidepressants which have serious side effects. (And Which may or may not work, depending on who you ask.) and Tylenol also is responsible for 78,000 overdoses per year. 34,000 of which are considered critical.

Alcohol is an effective helpful drug and when used in moderation can help relieve stress, reduce headaches, induce euphoria, cause calming, and in some studies is good for your heart. Some chemo patents say it helps too.

Don’t drink to get drunk. Don’t drink every day.

https://www.cbsnews.com/news/antidepressant-use-soars-65-per...

https://healthimpactnews.com/2013/tylenol-is-killing-america...

Edit: also I have yet to see anyone mention weight to alcohol consumption. If we are going to quantify safe conconsistant levels body weight should be a factor. It’s revealing that so many are doling out medical advice and judgement on on what is too much and no one has bothered to ask how much the OP weighs.
Caveat: I have no idea what I'm doing, but it has worked out well so far.

I have some of my savings in index funds. The low fees, the risk profile (if that's a proper term for it in English) and historical performance (which is not a guarantee for future performance) of certain indices is what I like about them.

If I create an index consisting of Company A, B, C, with 40% A, 30% B, 30% C and call that index "the sebcat index" others may sell sebcat index funds consisting of company A, B, and C stocks at those proportions. Of course, that's a bit too arbitrary. Normally you would have an index based on e.g., the N largest companies on a specific market/region. The index may be adjusted over time depending on market cap or something else, funds may not follow the index exactly, but that's the gist of it, to the best of my knowledge (see caveat). It's not in itself bound to geographical regions, though if you buy funds tracking foreign companies you should be aware of currency effects, politics &c (though local companies could be affected by that as well of course).

Look up a couple of indices (e.g., MSCI indices), then find what index funds on your exchange tracks these indices. Look up what the funds consist of exactly. If you compare two different funds tracking the same index, they should have similar performance over time. Buy one or two per index. The fees should be relatively small, 0-0.4%.

If you expect a crash to happen, or you see a crash happening that is not likely to end soon, sell any index funds affected and maybe put the money in interest funds, or gold, or something that you believe will not be as affected by, or benefit from the current situation on the market. Then buy back when (or if) the market goes up again (depending on your time frame).
It’s weird I have the fast version of the gene yet I can’t sleep that night if I even have a small cup after noon.
I'm all for people helping, looking for help or education.

I'm against someone deciding that I cannot do something because it can be bad for me.
> but I'd imagine the typical HN reader only reads a sampling of the top-voted comments

That, and it doesn't help that on threads with hundreds of comments, most of them are hidden away.
CS:GO is there and IMO it has often been more performant there than on Windows :-)

While CS:GO might not be your thing it should be proof that the sitiation is improving.
This was actually cracked back in August, and sites quoted Apple as saying they have no plans to fix it, presumably because obscurity is not security and they originally encrypted it because well, why _not_?

Ultimately there will be some exposure from this, and they'll address each exploit as it comes just like the rest of the system.
Unless pure exposure is your goal it seems counterproductive to associate an issue with a political party. As with climate change, people who might otherwise be open to hearing arguments now turn their brains off and don't engage with the topic beyond pushing what's supported by "their side".
Survivorship Bias Is a Lame Excuse
How to Build a GraphQL Wrapper for a RESTful API in Python
"Rust is great for kernels and the embedded space"

I'm no expert, but from a layperson's perspective, the rust usage in these areas depends on a lot of "unsafe" blocks, fighting the borrow checker, etc.

Does that ratchet it down from "great" for this space to something like "ok" or "usable"?

Or is this just the best we can do in terms of a memory safe language for kernel and/or bare metal embedded?
Or, perhaps they are being inspired. Planning their own art or adventure. If you're sitting on a train, why not? (Is reading a book equally objectionable, or is going to a museum?) It's rather offensive to judge people about whom you know nothing. (As is quoting President Trump as if he is an authority on anything.)
The fallacy is when it turns out that there are lots of other companies doing the same thing, but those companies aren't successful.

Well, there is no shortage of web startups trying to be all agile and fast-moving that still fail, and among the ones that survive long enough to become established, there seem to be plenty of problems with reliability and security issues that better software design might have avoided.

Facebook seem to have significant problems quite often too. I've seen teams redistribute their planned Facebook spending for entire ad campaigns across other channels, because the Facebook UI for setting up the ads was so broken on that day that it was impossible to run the intended FB campaign, or because FB's approval system for promotional content rejected something for obviously incorrect reasons. In one case, FB made a rookie mistake in their payment processing that stopped everything to do with Facebook ads dead for that business until the problem could be resolved, which itself was only possible because of some personal contacts who happened to work at Facebook and could escalate the issue internally.

The thing is, if you're Facebook, you can survive repeatedly causing this sort of hassle for the people paying your bills, because you're big enough that they'll probably come back and try again another time anyway. It's still x% of your potential revenue that you're throwing away, but you don't need that revenue to remain a viable business. However, if you're almost anyone other than Facebook, those kinds of quality control issues will damage your reputation and ultimately sink your business if they become serious enough.
Comparatives are too easy to draw these days because of social media. Everyone has an image of the most popular/successful person in their face all the time. It's hard not to compare yourself! And when you fall short in comparison, it makes you feel unhappy. Then it makes you feel like you need some moonshot idea to elevate your standards - that puts pressure on you and invariably drives anxiety. I see growing levels of anxiety in the interns I hire - and ironically, I see them resorting to social media to find solace of some kind!
Donald Trump campaigned on this very issue, but it didn't nearly as much press coverage as some of his other policies.
It has been my experience that if I I focus on emotional well-being, everything else follows.
One legal term that has always stumped me is the meaning of "beyond reasonable doubt". It's not a phrase that we use in everyday speech, so its meaning doesn't come readily to mind. Apparently, it means something less than "absolutely certain" and something more than "reasonably certain". What's worse is that judges cannot attempt to define it for the jury. Doing so can lead to a mistrial. https://www.ruleoflaw.org.au/beyond-reasonable-doubt/
"You’ve reached your article limit" economist.com. :-/
Walmart is testing a self-driving, floor-scrubbing robot
Only directly if you are on Facebook.

I can't really tell if any particular influence floats from FB to me through my friends, most of my friends don't use FB either or their not really the type to care about things Facebook tends to influence.

If you're not one for consumerism in the first place, it's not hard to fight away advertising influence, and if you're not that active politically (although you should be!) then again, FB can't really influence you that much. You could argue that what FB doesn't show you is also a form of influence, but if you weren't on FB at all then that argument wouldn't hold.

I guess the world it's created definitely has affected me though. If it could be argued that political leaders are elected based on influence fostered on social media, I can't avoid being affected by that.

Social conversation is how you spread influence, and that's not really a bad thing in itself. What's clearly not great about Facebook however, is how you can pay for that same influence to be injected into normal social conversation.
Racket which is moving to a Chez Scheme top and you can further go with typed Racket seems to fit that 'rare' category.
If this were broadly true, large science projects like the the human genome mapping, LIGO, and especially the LHC, would have little chance of success.

In one of his autobiographical books, Richard Feynman has a passage in which he says that one of the best things about being at Caltech was the constant interaction with other talented people. The practice of science is much more collaborative than popular 'great men' hagiography portrays it.

I have no doubt at all that there are many examples where forced collaboration has been counter-productive, but the successes of modern science suggest that this article is completely wrong about the optimal conditions for creativity.
Are you a FB employee or something? Sounds like you're making an ad sales pitch.
I have a goal to grow my business in such a way that I can do more work on it, that in it.

This is going to require more customers, and more help.

Like user "inp" said about his goal, it applies here too. Perseverance and patience.

One has to play the long game, for sure.

I do it by breaking things down into smaller and more manageable pieces. This helps prevent becoming overwhelmed.
Incidentally, that's how this target works in Rust; we also have an emscripten-based target.
Well, that's the same problem that any feed faces - 100s of pieces of content, and the user only wants the best 10-15.
Do these books come with a free license?
That's very likely a part of it.

https://www.rsph.org.uk/about-us/news/instagram-ranked-worst...
From people in Munich I talked to, there were a number of interwoven problems. In particular there was a major IT reorganisation at the same time as the switch.

Users also tend to blame everything on Linux, whether related or not.

An yeah at the end of the day, interop with MS documents is not seamless.
Not until Net Neutrality is repelled.
If you want to get hydrated, you should drink water with approximately the same concentration of minerals as your body, especially if you lose a lot of water by sweating or sickness. Osmosis in your cells happens along the concentration gradient. Drinking water with too little concentration can cause them to swell, drinking water with too much can make them shrivel. Neither is good in the extreme.
Come on, that's an unfair comparison. 1% speedup of what? Of a program? With what input? On what architecture? On what hardware? Ask a clear, well-defined question and a Computer _Scientist_ will give you an accurate answer.
Semantic Search and NLP Service for E-Commerce
Data Consulting
Retire by 40
Supposedly they are adding things like polymorphic inline cache, garbage collection, threads, etc, that would make it more like a VM. Perhaps enough that Python, PHP, Ruby, or similar languages could run in WASM without downloading the whole runtime. That plus native DOM access might make the front end web as diverse as the back end web.

I'm curious whether the fragmentation that would bring on is a net add, or a net drain on the web as a whole.
Science in CS is an abused term.
I have been using Filemanager: https://henriquedias.com/filemanager/

No affiliation with the developer. Just sharing based on relevance.
Perfect, thanks! Will check it out.
And that's why I hate that tendency that decisions and so on must be taken under -consensus-

If something will be decided by what everybody agrees, you're assuring it'll be by the lowest possible dominator, the lowest level that makes everybody understand and agree to.
It is the amount.
The assumption is still that most people drink water during the day in addition to the coffee, and I'd think that is actually not the case. My experience is water is just an occasional drink during the day, not a primary drink.
The point of unsafe blocks is to contain unsafety. In a language like C, the natural pattern is to expose raw pointers through the entire codebase and document how to use them correctly, when they can be mutated, who's responsible for freeing them, etc. In Rust, the natural pattern is to implement wrapper types and other abstractions that themselves make heavy use of unsafe blocks but whose APIs are safe.

This isn't unique to kernels. The standard heap-allocated vector type in Rust (on which the standard string type is based) is full of unsafe blocks: https://doc.rust-lang.org/src/alloc/vec.rs.html The problem of implementing a heap-allocated vector, with some elements uninitialized but available for use and with the ability to reallocate the entire vector and copy the members, is not a problem that lends itself well to the borrow checker's view of the world, so raw pointers are a fine way to solve it. Use of vectors themselves, their iterators, references to items in the vectors, etc. does match the borrow checker's view of the world, so the average Rust program running in userspace doesn't have to care that the standard library itself isn't implemented in safe Rust.

So copious usage of the "unsafe" keyword in a codebase can be a sign that the code as a whole is more safe: instead of having large portions of the code be unsafe (or instead of having the code pretend it's containing unsafety when it's not), only the parts that need raw memory access use it, and they maintain invariants used by the rest of the code.

It is certainly possible to do better - there are no machine-checked proofs that unsafe code does what it claims and upholds the invariants it claims to uphold. There could be, and I'm really interested to see what people do with languages that lend themselves better to proofs (usually dependently-typed, Turing-incomplete-but-very-powerful languages). But right now the state of the art is that such languages are a pain to use and writing proofs is even more of a pain. I think that's where the compromise is right now. The borrow checker is, arguably, a system for proving things about your code; it just only knows how to prove specific things. (Way more than C's type system proves, but way less than you'd prove in a perfect world.)
But you can measure how many bytes are free on a 10 GB disk.
I don't want to attack Rust or WASM, as I am pretty excited about this, but it's not that easy.

That anything that runs into the browser is isolated sandboxed and whatnot is irrelevant. It's still arbitrary code running on often unwilling clients.

Don't believe me? Think about ad-blockers.
SVG is making a monster come back... and we absolutely need Gmail to get onboard.
wget -x -i https://pastebin.com/raw/bRirhaET
It depends where you live I think. Your tap water, if it's good, should normally contain a lot of minerals already. If you're drinking some kind of reverse-osmosis filtered water, then what you're saying makes total sense.

I lived in Cambodia for a while, where tap-water is a no go for drinking, and even though we avoided buying plastic bottles (plastic is a huge problem particularly in S.E. Asia) and instead stuck to larger tanks of filtered water, we had to make a point of always having some bottled mineral water in the mix. It was quickly noticeable when you hadn't had enough (extremely tired, drowsy, etc.)
At the risk of generalizing from anecdotal evidence - Instagram seems to be the worst by far for this kind of thing.

All images, little content and no good way to really communicate. The heavy users I’ve known just endlessly scroll through images of attractive ‘influencers’, dogs, makeup ads, or just photos posted by friends (mostly using it to show off as mentioned in the article).

While Facebook will have discussion and links to interesting articles depending on your network, Instagram doesn’t seem to have much of that.

I have a bias though because out of all the social apps I find it to be incredibly banal and boring.
I find it interesting that phone number portability was introduced long ago but no email or social profile portability.
If there's a market for something like it, there will exist something like it. The interesting question is how to make something like it so uncompetitive that nothing like it can survive.
You realize back in the older days people did the exact same thing with books and newspapers? At least with phones we can talk with people we’re meeting up with.
You'd be surprised at how little unsafe you need. Consider https://os.phil-opp.com/page-tables/ for example, it uses the type system effectively to eliminate some issues, in the end, it only has two calls to unsafe.

On some level, yes, it's the best we can do. Unless you want to add hardware semantics into your language. Unless you do, writing two bytes to 0xB8000 is going to be an arbitrary memory access. At least, that's my take.
Read this article, it demolishes the "health benefits" argument: http://blogs.bmj.com/medical-ethics/2017/08/15/does-female-g... In short, if male circumcision has health benefits, then female circumcision has too and even African tribes' rituals in which they pull each others teeth out because it prevents tooth decay!

Regardless of that, and assuming that there are major health benefits to circumcision, the Jewish and Muslim communities that practiced it for millennia, couldn't possibly have been aware of any. Because they didn't perform any epidemiological studies measuring rates of penile cancer and HIV infections. But they must have noticed a lot of babies and boys getting fevers and dying from infections shortly after the procedure was performed on them. Clearly, the rite lived on because "God told them to" despite the adversarial effects it had on their children's health.
I still play a short list of favorite servers in BF4. This is a game from just a couple of years ago. Are you saying some newer games only have random matchmaking and no joining a favorite server?
Post author here: There's definitely no shortage of options - the CMS exists to fill a very specific trifecta that we believe are critical for modern static development. It is:

1. Git based, which is how devs are working increasingly

2. Highly extensible, from backends to editor plugins

3. It's open source

As a bonus, it's very easy to hack on - just a single page app written in React.
There is a lack of critical thinking on the author's part here. He feels that these studies somehow support his position ("... something about creativity ... something resembling collaboration ... apparent negative correlation ..."), but when looked at in detail, they do not.
I'm curious about the borrow checker, is this Rust invention or did a similar concept exist elsewhere in some other language(s)?

Can anyone recommend any resources specifically on the idea of the borrow checker?
It's no different than the existing JS here.
Please stop with the units and please don't pay attention to the BS the government is feeding you... Just get out with friends and enjoy life...
This reminds me of this npr story, https://www.npr.org/2017/03/29/521954033/stanford-professor-..., where the tax law professor found it more effective to buy access to the congess-people.