skysight-inc/HackerNews huggingface dataset:
"Worker's housing" has been an explicit objective of strategic bombing campaigns since WWII. "Worker's housing" as in "obliterate the enemy's civilian population centers".

https://en.wikipedia.org/wiki/Strategic_bombing_during_World...
I don't use Snapchat or VR and even I am more interested in the filters. They are funny and the friction to try it out is literally zero. The tech itself is cool as well.
>Cuba has this tech? Yeah, right.

Cuba's got a fairly solid secret service. They're not the completely backward nation you envision.
It's a pinnacle of engineering in the same way that a vehicle made entirely of jello is. Impressive? Extremely. Interesting? Very! Practical? Not so much.

I think most of the detraction comes from people who think that impressive things must also be useful or practical.
> VR for B2B or enterprises can make money today and doesn't require mass-consumer adoption.

I would have thought AR google glass type devices would have been more versatile and popular than full VR for enterprise. No?
AI (Deep Learning) explained simply
I really hate that the general wisdom is, "don't run your own mail". Email is such a beautiful thing; anybody can talk directly to (almost) anybody else anywhere in the world, and it's been consistent and (mostly) compatible practically forever (much of what we call email was defined before it was even called "the internet").

And, that negative general wisdom is all because of abuse. Even if you figure out how to solve incoming spam, you might still have trouble sending mail to others because of their abuse prevention practices.

But, it's really not as bad as the general wisdom would indicate. Even with the particularly severe challenges we deal with on behalf of our customers (we mostly interact with them while they're initially setting up a new server on an IP of indeterminate history), we almost always get things to a state where delivery is reliable. DKIM and SPF, while a little complicated, seem to be helping a lot...the big providers are seemingly relying less and less on IP address in determining spamminess and more on history of the sender.

Anyway, I really hate that email is heavily consolidated into the hands of a very few very large corporations who have little respect for privacy.

We still have some old-timers using QMail, and we keep supporting it in a sort of "we won't break it" way because we like our old-timers and they mostly take care of themselves and sometimes even submit patches. There's nothing really wrong with QMail. It's just quite dated in a number of areas. So, I don't mind supporting it. It's not bad software, it's just old software.
Ask HN: How many companies were in YC Summer 2017 batch?
Did TechCrunch cover them all in 2 days? I thought Demo Day was 3 days.
Congrats on the find, although I'm not familiar with any of the material presented it's a clear and nicely written Blog Post.
No, but the communists will.
Zimperium Researcher Released an #iOS #Kernel #Exploit PoC
It looks like a rubbish bin.
That's like saying the C64 wasn't early days because the MITS Altair 8800 had been around for 10 years. Look where we are now.
It'd really be no big loss if every site that relied on ad revenue went under because of this. It'd be a net positive actually. No more Content Trough? No more Socialworthy? No more Reddit? Sign me up. There will always be personal sites and phpbb forums run out of pocket for passion not profit.

I use Ad Nauseum not because I think "the current advertising model is broken" or whatever. I'm not interested in reform. I'd like people to stop treating the web as a business opportunity. If this extension actively harms the bottom lines of the most shameless sorts of profiteers, then that totally rules and I support it 100%.
I suspect VR may go away again (although it's lasted longer than i thought it would). When it comes back for the third round, it's more likely to stick. Enough people have been exposed to it this round, that I think there may be compelling content when it comes back. And ten years better hardware would help a lot.
I love Smiley's People as well as the BBC version of the Tinker, Tailor, Soldier, Spy. It's one of the smartest spy genre movies ever.
I'd definitely think about watching this. But, maybe:

"This makes me want to quit watching. I’m not sure I have the stomach to know a storyline and its characters are going to be abandoned. That’s one of the two main problems with TV as a medium: that it might end too soon or that it might go on for too long."

BTW, I really liked how this article was written.
Umm... why this remember me to 0x10c , Trillek, Techcompilant ...
Meja: share your ideas and receive constructive feedback
My Thai phone service has a deal for price capped all-you-can-eat mobile data roaming, so I used that (and had several colleagues use it as a hot spot).
They re-compile them though.
My wonderful world of macOS
Incidentally, I've noticed this same thing when trying to touch-type with a VR headset on. Even though I consider myself pretty good at touch typing, and even fairly accurate at touch-typing with my eyes closed, it's very difficult to type while in VR.

Similarly, when I'm wearing a headset and I need to grab something off my desk quickly, and don't want to take off the headset, it can result in a lot of fumbling around. Interestingly enough, I find it helps to close my eyes, and I actually find things more quickly and accurately.

So, even just a bit of video passthrough of the keyboard, or an in-VR visual excuse for why the keyboard & your hands are occluded from view, might be enough to solve touch-typing in VR.
I had never heard of this show, but speaking about wacky British 70s series that still hold up, I think The Avengers should be up there, for similar reasons: great acting, out of this world plots, mixed with a quaint British attitude.

The Emma Peel era was the best, you can check out all the episodes here: http://theavengers.tv/forever/peel.htm. Almost all episodes are gold, but my favorites are The Cybernauts and Honey for the Prince.
Clever of Mercedes to get on board with battery technology.

I don't know if I'd have it mounted on my living room wall like they have in the pictures though.
Merriam-Webster dictionary disagrees:

https://www.merriam-webster.com/dictionary/octopus
Slightly OT but since posting at this time gets the eyeballs of a few Tokyo folk, I'll ask this: has anyone been to this VR amusement centre in Shinjuku yet?

https://vrzone-pic.com/en/
Your logo is copied
My recipe for survival is staying away from anyone trying to prey of hope and desperation. That’s what all these bootcamps do.

Learning to code at 40 to leave your 9-5 job is the worst advice one can give to someone.
I agree and why does the stock image show it on the interior of the home next to the dinner table? Wouldn't you install this in your garage or a closet somewhere, not as a dining room accent?
This reads like a practical guide to being an adult. Incredibly valuable.
SpaceX’s Hyperloop Pod speed competition winner tops 200 MPH
And those early mobile phones were so expensive, and so bulky. No way that technology would ever catch on.
This is a 115-year-old company, with one of the most valuable brands in the world, a long history of technological innovation, and legendary German engineering, chasing a 15-year-old upstart with less than a tenth of the sales volume.

Even if you think Tesla is over-hyped and over-valued, you've got to hand it to them for really shaping the narrative of automotive innovation.

As for this particular device, it appears to top out at 20kWh. That's pretty small; a gasoline-replacement electric car has a much larger battery. (Tesla sells them up to 100kWh) Then again, 20kWh is enough to cover most days' driving...
Not to trivialize your issue, but I always am dismayed at how much time is spent trying to map English statements into those of sentential logic, especially in cases where their usage differ, like inclusive ors or material implication.

In a more mathematical study of logic, you define your logical connectives using truth tables. So the material implication is nothing more and nothing less than

X | Y | X -> Y
----------------
F | F | T
F | T | T
T | F | F
T | T | T

For the unfamiliar, a truth table works as follows: in the sentence "X -> Y", evaluate the truth values of X and Y (If X and Y are themselves sentences, this follows recursively. If they are atomic predicates, they should have fixed truth values). Then, refer to the appropriate row of the table to find the value of the sentence.

Rather tangentially, my logic teacher would always say "to verify a material implication, we must falsify the hypothesis or verify the conclusion". I'm not sure that helped any of her students come to terms with the connective, but it is a succinct (if not jargon-heavy) way to summarize that table.
The Curry-Howard correspondence is about types as propositions and programs as proofs.

Gödel's first incompleteness theorem that "In any consistent formal system with [enough arithmetic to make a Gödel encoding], there is a proposition P such that neither P nor ¬P have a proof." translates as:

"In any type system that does not allow construction of functions from inhabited types to the empty type ⊥ (this corresponds to consistency), with [enough types and functions to make a Gödel encoding], there is a type T such that neither a program of type T, nor a program of type T → ⊥ (this corresponds to negation), can be constructed."

The semantics of the programs involved don't matter, only the way they manipulate types do. Commutativity of conjunction, for example, is encoded by a function of type (A, B) → (B, A). That this function swaps the values in its input tuples is, for the Curry-Howard correspondence, just an unimportant side effect.
Thanks for the link, I've tried searching for torrents of the show before but only ever found those other avengers.
On a similar note, don't be tempted to erase parts of your commit history. There are some modes of using git rebase, push -f, commit --amend etc that attempt this. It's almost never a good idea. If the issue is just that something was a typo and you don't want your mistakes out there, just don't worry about it.
This is a great analogy. There are people who still make new games for the C64:

https://www.youtube.com/watch?v=imEKoKg1I1k

...and other companies that release new music on old long dead mediums:

https://www.youtube.com/watch?v=unj79pzEHNQ&t=605s

It may be kinda hipster, but it's also pretty impressive.

You apply modern engineering to those old color and memory limitations and it's pretty amazing what you can get out of decades old hardware. In the same way, you can apply modern manufacturing techniques to the classic design of a mechanical watch and really stretch the amount of functionality you get with such a small space.
True refactoring VS erhm  making love to the code?
for what its worth, there are over 220 subreddits which have their removal logs made public, via this account: https://www.reddit.com/user/publicmodlogs

You can turn off comments by not visiting comment pages
It amazes me that someone could see Darkplace and think it was set in anything other than the 80s...

https://m.youtube.com/watch?v=OO-ZGP68-3w
User Interfaces for Variable Fonts
Reminds me of this scene from apollo 13 https://youtu.be/N91ogCGpYl0
As I'm satisfied with the distros I normally use, Lite and mint, I didn't check anything else for a few years. So, I'll try this out. Thanks!
> this article and most of the comments here are taking a singular worldview: consumer-focused VR for a western market

Even narrower than that: game VR; on HMDs without (usable) cameras; using particular software stacks.

The usual way I use my Vive, is on an old laptop with integrated graphics, doing ducktaped-on camera-passthrough AR, at 30 fps, in coffeehouses and conference rooms... Let's just say that many people are so focused on the gaming market, that they're unable to see anything else.

I've been through the mass adoption of PC's, the internet and web, cell phones, tablets and touch phones, and now here's consumer VR/AR. I've kind of given up hope of seeing intelligent analysis in the popular press during transitions.

Still, I was surprised by just how bad this article was. Isn't TC based in SV? I'd have thought the author could find people to do a sanity check. Misconceptions like drawing a hard VR vs AR distinction suggests that didn't happen. One can certainly make an argument for a slow takeoff. Even for a very slow and multi-phase one. But this article wasn't that. Perhaps I've just been unlucky to see this post before HN buries it.
Filtur – Compare Sports Supplements
If the Yellowstone super volcano erupts, it doesn't really matter where in the northern hemisphere you live - in fact life on _most_ of the earth's surface is going to suck for a few decades after that.
> Sadly, true "walking" with horizontal movement without accompanying angular momentum causes nausea in most people - hence teleporting as a solution. This as I understand it is a physiological system that is at odds with the VR world and while not everyone experiences it most do.

While true, it is also true that of these most people who will (at first!) experience simulator sickness, the vast majority can adapt fairly quickly and "get their VR legs".

Sadly this is never mentioned in articles.
REPLs are not ephemeral on Common Lisp environments.

There are/were true REPLs with static languages, Mesa/Cedar and Oberon are two examples that come to mind.

On Mesa/Cedar's paper they refer that they wanted to provide the same experience as their Smalltalk and Interlisp-D environments.

On Oberon's case, it required just recompiling/reloading a specific module, which given Oberon's compile speed, was pretty quick.

.NET has now a REPL, which coupled with Edit-and-Continue (when it works) is also quite good.

I used to use Jython/Groovy as my Java REPL, now just have to wait for the Java 9 release.
Apparently you aren't familiar with high end routers and network accelerator hardware.
It's projects like this that make me love hackers. Perfect combo of silly and awesome.
This is how Netflix's top-secret recommendation system works
I can only make a wild guess, but when I hear of constraints I immediately think about linear programming, so I suppose they used some general purpose tool like GLPK (GNU Linear Programming Kit) or a commercial equivalent.
They should do some sort of bankless electronic payments like their competitor go Jek in SE Asia is doing
Define "explicitly", because if it means that I can't just type it in a shell then that disqualifies it from being a practical solution, and if I can't put it in a function/script that I can call from a shell that disqualifies it as well.

But if I can do those things (especially the second), then that seems to open at least some attack vectors (that would obviously depend on the actual rules).
Maybe Google glasses make sense for training but I don't think Amitt's VC firm invested in Google recently. In my view, that long, informative comment (which I enjoyed) was an ad for his investments.
Thomas Piketty's research is backed by years of irrefutable, hard data.

Debt is indeed a tool used by the haves to siphon money from the have nots. All the more reason for wealth redistribution.
Maybe it's meant to look great next to the Mac Pro.
When I was a kid, sometimes friends would hang out at someone's house, and one person would play a single-player video game, and the others would watch, comment, offer advice, and generally hang out. Even though it was a single-player experience, with eyes glued on screen, it was "social".

More recently, I saw a group of friends set up, with couches outside the tracking area, and watch each other taking turns at Job Simulator, Accounting VR, or Space Pirate trainer. They just had fun watching, socializing, and taking their turn. Panopticon and Keep Talking and Nobody Explodes also offer interesting, asymmetric gameplay.
New major things that come to mind are, New modmail experience made by google's inbox team, I think that's about it.

They are working on a site redesign though, so that is something
Usable capacity is 18kWh. Not sure why they've got a 10% discrepancy between their ad and the data sheet. Awfully early to be lying already.
So doesn't MB own part of Tesla? (Edit: yes) I wonder what the overlap is here.

And I wonder if the Spanish Gov would ever let this in...

[1] https://en.wikipedia.org/wiki/Tesla,_Inc.#History "On May 19, 2009, Germany's Daimler AG, maker of Mercedes-Benz, acquired an equity stake of less than 10% of Tesla for a reported US$50 million,"
Because an acoustic piano sounds a lot better live.
What's popular isn't always correct and dictionaries by definition reflect usage.

That is unless it doesn't literally kill you that literally now actually means figuratively too.
Maybe they want to emphasize the safety and the design of the battery? To me, the ad says „this device is so safe and beautiful you don‘t want to hide it in your garage“

But most of all, the photo tells us about the target audience: This is not a product for tinkerers to replace the lead acid batteries of their home made photovoltaic systems; this is a product for the upper middle class to showcase how modern/sustainable/whatever their home is.
This isn't a series B/C/D company. Expedia is losing a CEO and the new one isn't going to be paid 400m (2% of Expedia by market cap).
PSVR is fantastic. It is not quite to the level of Rift and Vive in some areas (tracking accuracy, mostly). But it's still really good! I will add it is in my opinion superior in some areas too (comfort/design, optics).
Using chatbots against voicespam: analyzing Lenny’s effectiveness
Emacs suffers from not being like Lisp machines REPL, meaning lacking graphical display on buffers.

If I remember correctly, XEmacs used to support it (which was my favorite fork), but it seems to have faded away.

For example, try to achieve this demo on Emacs.

https://www.youtube.com/watch?v=o4-YnLpLgtk
It is better to swim parallel to the coast until you find an easier place to approach. Fighting the currents is exhausting.
The 10 Strongest Weed Strains of 2017 and topping at 35% THC
HTC is also exploring options that could range from separating its virtual-reality business to a full sale of the company.

Smartphone Maker HTC Explores Strategic Options:

https://www.bloomberg.com/news/articles/2017-08-24/smartphon...
The Sandbaggers is amazing; I found it to be more memorable and "realistic" (not that I could know) than le Carré.

Also, all episodes are on YouTube: https://www.youtube.com/watch?v=lKg_t-Prhqk&list=PLmRu2axUu2...
Java 9 is also bringing one.
You discredited the article because it said people used protective glasses to watch the eclipse?

I'm not an "eclipse veteran", I don't know anything about it, but my feed was nothing but eclipse glasses for three whole days. I would say people wore glasses.
I wonder if the real solution here is just better UX... The WhatsApp model for message delivery gives visual confirmation when a message is sent, and then more once it's been ACK'ed by the receiver's phone. This manages the uncertainty, instead of trying to solve it. I know that my change to the grocery list isn't 'real' until I've gotten ACKs back from everyone.
the color of the site is weird. I tried to increase screen brightness :D
Amazon is still mainly valued on projected earnings after 2020 -- the only recent change is that they went from steadily losing money to slightly making money. But the money that they're making now does not justify their stock price.
My suspicion is that it's just the author's opinion, and because negativity sells. But I could be wrong.

If it is a submarine piece, well, the author does seem particularly sold on the idea of AR vs. VR. Brings up several emotional negatives of VR that AR would be the savior for. The author specifically mentions Pokemon Go, and Snapchat.
I got super excited at first, thought this was an 80's music startup. Then the pump fake to assembly.
> Maybe Google glasses make sense for training

I think I've seen google glass style things in pictures of car manufacture workers. AR glass type option sounds like pretty awesome tech for manufacture or work that is outdoors.

> but I don't think Amitt's VC firm invested in Google recently.

I doubt they are the only ones in this space.
This, and the fact that current VR headgear is less like a pair of lightweight eclipse-viewing glasses, and more like the two pairs of laser safety goggles, one pair of Ray-Ban sunglasses, and one 10-stop ND filter that I had to hold in front of all of those because I didn't have the proper eclipse-viewing glasses.
It's beginning to appear clear that FPS is VR's pipe dream. The locomotion part seems non-trivial to solve and dissonance between the virtual and real world renders VR FPS completely unplayable for a large amount of gamers (it can make you feel incredibly uncomfortable, can also cause motion sickness.)

HL3 and Portal 3 would be incredibly difficult to implement well in the VR space, and I feel this is something that Valve understands much better than many others.
The way Amazon was ignoring tax law was that they operated warehouses in states while claiming that they had no physical nexus in them, by using shell companies.
Should I map my business processes? Yes
Alltogether? Maybe. But for a single library or webapp it will be hardly that much. I doubt that Facebook JS frontend code is much more than VS Code.

I personally have only worked on up to medium sized projects (maybe 40000 LoC) in Typescript. I found compile times not to be a problem there, and I even though they were really on the good side of the spectrum. Didn't noticed any difference compared to similar sized C# or Java projects. All of those 3 have pretty neglible compile times compared against FB and Googles other main programming language: C++.
That's altering the syntax for function application by allowing f x to mean f(x), which is fine but changing the rules. If we do go with that, then "a b c" should be "Apply a (Apply b c)" because of the associativity of application --- traditional math tends not to have functions which return functions.

There is an ambiguity which comes up when you allow both f x and f(x) syntax, which is you cannot tell the difference between f(x,y) and f((x,y)) if your language has tuples. (One solution: make tuples be like Mathematica's Sequence, thus establishing the associativity of Cartesian products once and for all.)

A gotcha is that you can't write f(x)(y) if your function does return a function, since this will parse as f(x y). You would need to write (f(x))(y) instead. (If you insist the associativity rule should be the other way, then 3f(x) would be (3f)x, which is possibly ok, and sin cos x would be (sin(cos))(x).)
18kWh is the nominal capacity. Pretty much every vendor advertises the theoretical maximum capacity but not all of them are honest to also give you the nominal capacity. Just like some people recently found out that the Model S 85 actually only had 81kWh capacity with 77kWh usable [1]. Similarly my electric motorcycle advertises 13kWh capacity but clearly says it has only 11.4kWh nominal capacity [2].

[1] https://electrek.co/2017/01/24/tesla-teardown-100-kwh-batter...
[2] http://www.zeromotorcycles.com/zero-s/specs.php?model=sr
Depends on the type of training. Walmart is using VR to simulate Black Friday scenarios in which a fully-immersive environment would be more useful than an overlay.

Several AR companies are working on just-in-time knowledge to allow people to do tasks without prior knowledge. We've invested in that area and I wrote on the topic here:

http://www.businessinsider.com/augmented-reality-could-slow-...
<edit> fooled
We could also think of it as they understanding the market needs & technology direction.

It did take a 15 year old upstart to recognize the market, but I don't think there is anything wrong in established companies trying to get into the market.

It certainly adds more competition and brings much welcomed innovation into the ecosystem.