jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
http://www.twitch.tv/gyratory/b/601749359

That's an early VR demo of TxK, being ported from PS Vita, which is a Tempest remake (fast paced twitch shooter). I haven't played it myself, but those who have say great things about it. An example of a non-simulator game. What's remarkable is Jeff (one of the dev's) doesn't have the ability to see stereoscopic vision.

Most of TxK is played facing towards a web without lots of head turning. Certain games like this will benefit simply by being in 3D, along with VR's total-immersion effect.
That's an option, but you're going to end up filtering out a lot of the best companies to work for if you go that route. I have personal knowledge that it's a factor at least at Google and Microsoft. As I understand it, Facebook and Twitter use it as well.

All depends on what you value. Personally, it seems like getting a high GPA isn't very difficult, so why not do well in school to keep your opportunities as open as possible? Doesn't seem worthwhile to do poorly for doing poorly's sake. That's just me though. Everyone has their own priorities.
I'm stating what I want in my tools. I've been very clear that, while I am entirely convinced that they are wrong and will suffer for it, they can do whatever the hell they want and I'll respond in kind. Where is the lack of empathy here?

And, as coldtea notes, lashing themselves to boat anchors hasn't done Java, or Java's owners, much good throughout its history.
There's the rub, though, isn't it? If the protest is against something that isn't in the public interest (cops killing black people indiscriminately without indictment, let's say) when is the public better served? By powers held over them by an authoritarian state, or by the protest against that state?

Everything in the above paragraph is a slight overstatement. But while there's arguably between 0-1 good times to yell "fire" in a theater (it could be argued that panicking doesn't help the situation), protesting actions by authority isn't quite so black and white.

Just as the exercise of free speech can prove annoying or vexing to a bystander that doesn't agree with that speech, so too can other exercises of more controversial rights, without those rights necessarily being a violation of the Constitution - at least the spirit of it.
First, Amazon's valuation is theoretical. Their valuation is so detached from their fundamentals and so dependent on a narrative about their future performance that Matthew Yglesias describes them as "a charity benefiting American consumers funded by Wall Street".

Second, there's no valid comparison between the A-round valuation of a startup and Amazon, a giant publicly traded company with a decades-long track record and huge cash flows. Mutual and pension fund managers invest in Amazon. To a first approximation, none of those managers directly value startups.
His technique is great for identifying a novice because of the dunning-kruger effect.
When confronted by an unexpected powder keg situation, the best answer is often to try to defuse it gently while putting in place contingencies to prevent recurrence. Throwing a lit match (or the riot squad) has not worked out so well for Ferguson...
No way the price can be that affordable for those specifications; the OEMs would either be getting screwed or Xiaomi is making close to nothing on each machine.

I would find the latter plausible if they weren't already set to dominate the market upon release. This would simply be a move to assert brand dominance and squeeze everyone else out of the market.
I'm willing to bet that this (at least the stated price) is completely fake. There is no way that laptop can sell for $480, that won't even cover the cost of the components. Heck, that processor alone probably costs $200 from Intel.
How many times have I wanted to speak and realized some folly in my thought process

Most Talking is the output of a reflex, whereas it should be the output of reasoning.
So amazon's market cap of 144b is theoretical because they don't have profits? And bezos should be paid enough salary to survive but not so much that he is no longer "hungry"?
There have been rumours like this for many times. Hope this time it is not a new rumour.
...comment on basic civil rights issues like this one. ;-)
Bloody bureaucrats. Is there some way you could get a recognized institution to back you?

I'll tweet out a request see if someone is willing to take it up.
But we are being told that masks don't hep with prevention. Do you mean that sick ones do that not to spread?
This is kind of awesome.

"Sys admin" type usage definitely drives adoption/popularity/usage of a language (e.g., see perl; and people like doing sysadmin stuff with ruby). I would love, love to have something close to pythonpy in the python core. The absence of being able to cleanly fit into standard UNIX pipe / 'filter' type workflows is a real downer for python for me and for others trying to do "sys admin" workflows.

If you were to invent a time machine and put something close to this (pythonpy) in core python ~15 years ago, then I literally think python would be more popular today (and even maybe chef and/or puppet might have been written in python. That said, rewinding time and playing it forward is a bit challenging, so I suppose we'll never know. ;-)

One-liners play a big role in sysadmin type usage. I'm not a sysadmin, but I have to frequently hop on different boxes to see what the heck is going on. Typical use might be something like "whoa, lot of files here... how many the heck files are there?", which is answered with a simple 'wc -l', but then you start asking other question like "how many big files" and "what's the average file size", etc., etc., and you start putting together longer one liners chaining together sed and awk and gawk and sh and bash and perl (including to pick up a convenient modern regex engine, which awk is not), etc., and doing it all in an extremely fast iterative run/press up arrow a few times/edit/run cycle... but for me, even though I like python, only very rarely do I use a python one-liner.

In general, some one liners sometimes grow, and then grow some more, and then some graduate to a script that then graduates to a full-fledged project. Python sometimes effectively gets eliminated from the running for a project at step 0.

I like using the right language for the job, and have no problem using multiple languages on a large or medium sized project... but it slows me down and causes me some mental agita to use 2-3 languages on a tiny project like a one liner (where I'm counting mini-languages like awk/sed here).

I'd love to use python as my default "go to language" for one liners... This project (pythonpy) and other projects help, but really for me good support for python one liners needs to be in the core default python so that when I hop on some random box to troubleshoot something for one of many teams, that capability is there waiting for me (and the absence of that "just being there waiting" is what killed my usage of my own version of a simple "improved one-liner support for python" package; our environment was too diverse and too often in practice it ended up being faster for me to use perl or ___, rather than going through the hurdle of installing a python module, which in some cases is more or less frowned upon for production boxes).

Based on a quick initial review, pythonpy looks better than some of the alternative efforts. Love the tab completion!
C++ can be used instead of Blueprints.
Sorry to have to be that person but I think it's plainly irresponsible to put yourself in a position to want to help people who are troubled, lost and confused and possibly in need of professional help on which you claim to have no training.

If therapy isn't helping it's generally a matter of a specific therapist who may not be working for you, but psychology is something for which people have studied and trained for years at. The human mind is a complex thing, and being professionally unprepared to deal with people's issues you are potentially at risk of causing harm.

There are already online services like betterhelp.com if people need a professional to talk, and it doesn't have to be something heavy, it could be just about the normal hardships of going through life, family, friendships, love, work, etc.
> To me it also illustrates why people should never be able to become this wealthy.

What’s the maximum level of wealth allowed in your ideal world?
It's not really an unnecessary tradeoff but rather a very natural one. Convenient means easy to access, and easy to access means insecure. Of course what people really want by convenience is ease of access for only you, but creating this notion of "you" seems to be the hard part
Thank you! I was worried no one would bring this up. I had to reload the page at least 5 times because of all the ways attempting to scroll seemed to push me to another article. On top of that the "chat interface" widget was slow to load each time.

Thankfully the content was great and worthwhile; otherwise I would normally give up by the 2nd redirect.
So shake hands with more people, then lick your hands. What doesn't kill you will make you stronger.
The hamburger button is the worst.
It's interesting how they go out of their way to describe this as NOT augmented reality when... that's exactly what it is. The only time the term appears on the product page is here:

"Microsoft HoloLens goes beyond augmented reality and virtual reality by enabling you to interact with three-dimensional holograms blended with your real world. "

I understand the marketing reasons for this, but contrast this with the fact that Oculus embraces the term "virtual reality" despite the baggage that comes with it and the fact that they can't trademark it. I guess AR never caught the public imagination like VR did.
Hey! We're having our first Meta AR Hackathon in SF Feb 20th-21st. Come and hack on our Meta Glasses! Register here - goo.gl/b6BIWN
"That other 20% of Tor usage may very well be political dissidents, whistleblowers, or average Joes that just don't want half the world watching everything they do and say online."

Or me, browsing my local government website to check when the next recycling pickup day is. Because I feel some kind of duty to do my bit to make the entirely innocent portion of the haystack bigger...
Tesla Roadster has been out long enough to see.

One thing different is they have you always leave the car plugged in when not in use as much as possible so they can manage temperature. They also slow charge after ~80% which most phones won't do.
Thanks for your comments on the quoted researchers. I have been trying to find the DIRECT link to a quotation from Fabrizio Benedetti, a co-author of one of the most cited papers who is also a medical doctor, in which he sums up his view this way: "I am a doctor, it is true, but I am mainly a neurophysiologist, so I use the placebo response as a model to understand how our brain works. I am not sure that in the future it will have a clinical application." (The stuff in the quotation marks appears online in articles on other websites, but I don't know specifically when Benedetti said that, except it was after his most famous paper, co-authored with Kaptchuk.)

The state of the art since 2008 has not been an advance in finding clinically useful placebo effects so much as it has been an advance in finding statistical flaws in previous studies of placebos. I really appreciated your comments in dialogue with another participant in this same thread about what the research shows, and indeed how one might define "placebo effect," and I'll have to digest that for the next time this issue comes up here on HN. Thanks.
I totally empathize with his positions. I've worked in a couple of niche markets for years and felt stifled by geographic isolation as well as my lack of experience working like most people do – in a team, with a boss or manager guiding your actions. I too have suffered from a lack of focus and self-confidence. I've thought of getting various sorts of jobs using my skills, but on the other hand I know that I truly value the freedom of working for myself and I would miss it.
Lead Bevy developer here. Feel free to ask me anything!
I won't pretend to know what's going on here or its implications. So far humanity has lucked out considering our capacity for building some pretty nasty weaponry. We'll probably go through a series of cyberwars before we come to our senses.

I don't blame the NSA for trying to be ready to fight a cyberwar. Other nations probably wouldn't stop their programs even if the US did. Our culture isn't the only one infected with a sense of Manifest Destiny.

Where we might consider drawing the line begins with necessity. Deciding which actions are necessary and which are gratuitous might prove difficult, assuming we even know, which is why I find it hard to fault Snowden for leaking this information.

As fearsome as the NSA sounds, certainly they have some limits. For instance, why don't they just clean out everyone's bank accounts? Might pay their bills for a few days anyway. But why haven't they gone after certain criminals? Many shady operations keep their money in jurisdictions that probably can't compete with our cyberwar capabilities. Maybe these operations enjoy the protection of a powerful entity but probably not all of them do. And probably many operations still use cash and couriers but the US and others seem to have gotten better at tracking movements of people so it's doubtful such tactics will remain viable forever.

Maybe in the end we have to somehow conquer the notion of distrust. Not sure how it can be done except through telepathy and even then the transition to a telepathic society will probably be full of misery.
By definition, a specific Black Swan is unpredictable, but in general the likelihood of any Black Swan event is higher than the markets factor in.

You'll never pick the day it happens. But if you invest everyday, eventually you'll be right (according to the theory). Take a trade that will almost certainly lose you 1% per annum BUT, in a Black Swan event will return you 1000%. Every year you 'bleed', and it takes guts to keep investing. Then one day something hits the fan, and you were the only one exposed to the upside.
Meh - it's not an Artisanal Hipster Logo Generator
Yeah, I'd like to pay a small yearly fee for about 10 gb.
Imgur has a nice API. I modified a ruby CLI for uploading images to imgur to fit my particular needs; you can find it at https://github.com/xiongchiamiov/limgur (or gem install limgur).

I believe you can also upload things pretty simply using curl, but I wanted to be able to generate bbCode thumbnails and such in one fell swoop.
I've actually spoken to Henry about it, and seen him demonstrate it together with WebID. The problem is, it's really technical right now; without input and UI support from the browser vendors, it's going to be out of reach for most casual web users.
If your OODA Loop iteration falls behind the changing conditions, you're in trouble.

(http://en.wikipedia.org/wiki/OODA_loop#Application_of_the_OO...)
We know they make at least 100K each day (per market?) for Promoted Trends, which Ev said they were out of stock on. That doesn't count promoted tweets.
We also know the firehose access they gave to MS + Google cost millions of dollars each. Which is separate from the access they gave Gnip.
The screenshots of the business-friendly analytics tool they have coming out soon seems like it could be a "pro" tool, though I won't full on guess they will charge for it.
Then I will end up to write for each task that I will have a small script in language X or Z. Whereas all I need is using a command line to extract data in flat text. You can have a look at the tool xmlstarlet (http://xmlstar.sourceforge.net/) - this is exactly what i need but only if it is able to process large XML files, which unfortunately is not the case.
Adobe's a tool company forged in the print world, where it's ok for a single, for-profit company to control an functionally option-less standard (See Pantone.)

Their biggest mistake was in buying Macromedia and trying to make Flash the Pantone of the web, instead of furthering the tools. It's the same thing as Microsoft when they tried to make an "open" document standard, which they naturally had inside- and first-knowledge of impending standard changes before their competitors.
so do I. Also: I live in the tate modern museum ;)
What a joke of a response
If you search masterpiece, there are several masterpiece collection books, I think they are good places to start.
>wacom stylus

That might not work as intended. According to Wikipedia (http://en.wikipedia.org/wiki/Graphology),

>Uniformly the
research indicates that gender can
be determined [from handwriting] at a significant
level.

Considering the subject is graphology, of course, one may question the quality of the studies cited but at least the journals like Journal
of Applied Psychology appear legitimate.
It seems that with current methodology that the attack surfaces simply continue to grow at a faster rate than defensive measures can keep up. Is there any hope of competing?

My gut instinct is that the path to robust security lies in building systems with languages that enable proving statements about security (ex prove that this thread can't access data outside of its sandbox etc.). Human programmers are simply too fallible (myself included!). I've heard of some research being done in this area with regards to OS kernels.

Do people believe that these sorts of approaches will have a major impact? Or will computer systems security always be an arms race?
copyleft != open source. They don't even need to publish a binary blob, they can use the code internally. Yet the original project is still considered FLOSS.
Seeing "Jump start you language learning." when I click on a deck doesn't engender confidence in the product quality even if the website is held to a different standard than the decks themselves.
It definitely came packaged this way in Australia. I can confirm OP's story.
Trump will pardon them, unfortunately.
Can't help but imagine a site that advertises: "If you stormed the capitol, fill out this form so Trump can pardon you on his way out."

And then they just get arrested instead.
So then one would do `function foo(e, b, a) {...}` to access `a`?
* You have a list of people who voted. That's public.

* You have a list of votes. That's public (and not correlated with the above) by anonymous tokens.

* You have an anonymous token, which lets you verify your own vote.

If the list of people who voted doesn't match up to real people, that's detectable. If I go into Massachusetts and find 10% of the people claimed to have voted don't exist, I can confirm fraud. If someone who didn't voted has there vote counted, that also confirms fraud.

Anyone can count up and add up the votes. That's public too.

And anyone can confirm their own vote was counted.
The way I found to do it is to use the account tree feature to have "virtual subaccounts" under real accounts. That way you'd have something like:

- Checking
- Food
- Housing
- Entertainment
- Emergency Reserve

Your paycheck would go into checking and then you'd "fund" those subaccounts from the top level account. Then, when you reconcile your statements (I did it every day by going online), you "spend" out of the subaccounts.
I think it depends. If you decide to stay there for a month in a remote area, then you're probably doing the world a favor by not being a vector.
Can you tell us more about the combination of van life and raising children?
It seems weird to me that device-to-device message sync isn't implemented, since that can be done trivially and securely. When I link a new device, give me an option to say "push my message history to this device" and let that work P2P.
Only your own creativity seems to match your intelligence; excellent, excellent work!

I was wondering if we can accompany runtimes written in C (like lua) with some scripts? So we have cross-platform, double-click-to-run scripting?

For us poor souls who can't write reliable C code, that would be a great thing!
To formally verify simple things where a simple SMT solver does the job, why do you need a 40-year old beast like Coq? Even the very title of the article doesn't make much sense: why would you _want_ to translate Z3 to Coq? Coq is useful, not just for formally verifying things that are far more complicated, but also for formalising (simple) pure mathematical constructs (ref: the HoTT effort). Coq was used to formally verify an entire C compiler (ref: CompCert), which was a landmark achievement.

If you're looking for a middle-ground between SMT automation and proving things that automation fails at, see efforts like F*. There are several proof assistants that use Z3 as a backend.

Coq is the oldest and most mature proof assistant. There are simpler alternatives like Agda, Isabelle, and Lean, each with their own downsides for the simplicity that they offer. For instance, cubical type theory has been formalised in Agda, but I'm currently working on a project to formalise semi-cubical sets in Coq, a project that has been running for a year, and might not be completed.

Coq has a very advanced dependently-typed system, but as a result, the Coq unifier is heuristic-based, and fails at certain points without good diagnostics. That's where the Coq tactic system Ltac2 steps in: there is no other proof assistant that has such such an advanced tactic language.

TL;DR: Coq is a 40-year old ageing beast, and there is nothing quite as powerful. However, even it is immature when it comes to formalising higher categories or other similar graduate-level mathematics. It's painful to work with, because of the number of warts it has accumulated, but there is simply no alternative.
It is a high bar that makes OpenBSD in security-sensitive roles way more appealing than a distribution with a lower bar. That high bar paid for itself repeatedly when I ran OpenBSD in the late 90s and early 2000s.
Unfortunately the humans in reference here are supposed to be the best of the lot. This brings in the eternal question during times of crisis ,how are the best very different than the mediocre or the average?

If not then with little hard work and smart work here and there any body can beat these 'best' during non crisis times. And during the crisis time all are same any way.

Probably that's why there are a lot of successful companies even with average talented people.
The problem with all this is that you never hear about the many many failures that occur (daily, hourly at the scale they operate?) that don't cause an outage.
You could, relatively easily, buy 'real' domains and host them there. It's not 'that' expensive. $9/year for a domain.
The best are human beings too! I mean even the best work in two ways. Build on best principles already known, and make your own best principles. The first depends on how much you know, how much time you have taken to learn, implement, practice and perfect. The second depends on how far you can see.

In either case you can always overlook or fail to predict the even the easily foreseeable future. And that happens due to many reasons plain human error, or even over confidence which is some times the case with the best.

The best way out of this problem is what Jeff Atwood had blogged some time days back. Is to keep failing, and keep failing in different ways. And each failure needs to be translated into to lessons of some sort and then the solution of it a best practice. Even the Netflix model of failing purposefully will do.

There is no way the best can be flawless. Nothing is flawless, so as long it is done by a human.
It's always been there. well, for many months at least.

I suspect it's easier for pg to implement features than to introduce and document them, and there's not really an obvious place to find them. That is, not unless you want to dive into the source.

I'm surprised there aren't more 'hidden features of HN' blogposts floating around. If anybody wants a quick and honest way to slurp up some karma, they should write one.