skysight-inc/HackerNews huggingface dataset:
>That syntax doesn't work along with using parentheses for function application unless you do something like making the parser context-sensitive (so function followed by '(' means application but value followed by '(' means multiplication) or treat whitespace as significant (so "f(x+1)" is application but "f (x+1)" is multiplication). This is why Mathematica does Sin[22] instead of Sin(22).

I'm not so sure that's true? You can just parse 'a b c d e' as

Apply (Apply (Apply (Apply a b) c) d) e)

and then you can just say that Apply is overloaded to mean multiplication for numbers, just like + is overloaded to mean concatenation for strings in most languages, but addition for numbers. It doesn't actually change the parsing, your parsing doesn't become context-sensitive. 'Apply x y' would mean multiplication if the arguments are numbers and application if the left argument is a function.

Even if you allow multiplication of functions by scalars (which you probably shouldn't, IMO) you can easily say that 'x f' means 'x times f' while 'f x' means 'f applied to x'.

>I know you can type superscripts, subscripts, fractions, etc. using shortcuts. If you meant "as you type it" as in Mathematica will reformat what you type in more traditional notation as you type it, then I am wondering where you can enable that.

Well you can write :alpha: and it will make it an actual alpha character, you can write superscripts and it will superscript them, it will make fractions readable, etc. It will turn -> into a unicode right arrow, that sort of thing.
This is what you should have got with any retail HL CD key:

https://steamdb.info/sub/1/apps/

I can confirm it worked with HL1, CS Retail and Blue Shift keys.
That would be higher dosage of SO2. It stabilize the wine and export producers of cheap-ish wines want to be extra sure the bottles dont go bad on shelves or by incorrect storage. Bottles for local consuption dont require this extra "protection".
Companies with a founder leading are more likely to be successful: https://a16z.com/2010/04/28/why-we-prefer-founding-ceos/
Is this really a surprise though? There's a steep cultural motivation to prove a capability for success within the Iranian American population, likely at least in part a byproduct of displacement (for those who moved to the US up to the revolution) and continued survival in the face of sour odds (for those who left after the revolution, the Iran/Iraq war, etc).

My question: you're suggesting this is bad for benchmark. I don't quite understand why? This doesn't seem like a coordinated effort by an "Iranian Cabal" so to speak. Just a group of people who share an ethnic background and who happen to also be succeeding in the valley.
Perhaps my statement was overly broad. However I'd argue that thought experiments are a useful way to reflect on history. They are of course uncertain - but provide a framework.
China enforcing real name policy in new internet rules
I recommend watching this video if you're interested in learning about multivariate analysis using mechanical computers. It's very approachable and informative. https://youtu.be/s1i-dnAH9Y4
Just a heads up, this pdf is not a logic tutorial or textbook, but an annotated bibliography.

That said, if you got stuck on material implication (practically a topic discussed on the first or second day of logic study), as I did, and eventually were able to understand it, I'd love to know how. (Notice, only if you got stuck first, not if you never had problem understanding it).
Incase anyone is interested, here's a picture and GIF of the lava lamps https://twitter.com/grittygrease/status/727587915090403328
Currently, the black market can provide cannabis in colorado, california or oregon for about half the price of the legal market (and generally, if you wanted half a lb to stock up for personal use, you can't just go buy it at a store anyway). Part of the lower price is due to competition from legal sources, part due to not paying taxes.

Personally, I would rather grow it at home exactly like tomatoes, if it's herb.

Most of the action these days is in extracts and fine products for connoisseurs. Don't underestimate the semi-luxury market - the same demographic who support microbreweries and small coffee roasters like cannabis. While there will be giant mass market Wal-Weed, and also large plantations like the wine complex of Napa, there will also be a lot, lot of small growers, extractors and breeders.
Well, what can I say. A lot of people are apparently taking that risk.
When a person loses fear they take greater risks or feel invincible, neither a good when executing a maneuver that has a very small margin of error.
I hope he doesn't win
The squid symbiosis is mentioned in the article. Oh and btw, it's octopuses or octopodes (greek not latin, fyi).
Mayer was brought on to turn around Yahoo, not to sell it. Evidence is the Tumblr acquisition for $1B, which was then written off in full or close to it. She failed the turn around and the only way out after that was a sale.
Occasionally a single person will die in a year. As opposed to almost 20 fatalities in a much smaller population of wingsuit BASE jumpers every year.
Firmwares will always be dumped. The crackers can always catch up. If you really care about this, vote with your debugger.
they already are for soy and corn et al...
Why is it not banned?
I think the lack of exercise made things worse. But I developed IBS from the stress of frequent live-site and odd hours (and of course a bad diet). I've since moved on to a different team and company but the damage has been done. I'm on a very strict diet these days.

Also, bad posture over the years has led to cervical stenosis & herniation. I cannot sit for more than 30mins without developing pain in my shoulder and neck.

In general, I think being if you're an engineer working on services, it is hard to maintain a proper schedule and routine. Add to that strict deadlines, pressure from management, bugs etc and things get worse. It is still a pretty subjective argument though.
I think VR might need something akin to the arcade halls of early video games to get people interested - a place where people can try the tech, but as a much more well-rounded experience, if someone went ahead and created something people actually wanted to try, but maybe couldn't afford, I think there'd be a market for this. Just not yet in the personal consumer market. Not yet.
Can't help but think of how much of a pain that would have been to live with. Imagine all the stubbed toes.
They said safer than BASE jumping, though they didn't capitalize it. BASE jumping is jumping off stuff, not out of stuff. It is an acronym. Building Antenna Span Earth, I think.
It's a challenge mentally? Overcome fear see different places, have different experiences?

I've been skydiving and base jumping longer than I've not been and it's led me to some of the most rewarding experiences of my life.
Tony Hoare coined CSP in '78. I think he might have the precedent for the acronym.
Would you mind sharing your Saas product?
I know that home distillation of https://en.wikipedia.org/wiki/%C8%9Auic%C4%83 is still fairly common in Romania for example, and you don't see many people dieing. It can't be as hard you think.
I mean, none of the existing devices for VR were ever expected to be massive consumer successes. The Android standalone HMDs coming out Q4 this year are going to be the first VR devices I'd personally consider as possibly being appealing to the mass market.

My personal criteria for a device one could consider a referendum on VR if it fails in the market:

- It needs to be at a price point akin to a tablet computer

- It needs to be able to run for more than an hour without overheating

- It needs full 6dof head tracking and ideally 6dof controller tracking with motion to photon latency comparable to vive/rift

- It needs to be comfortable to wear for an hour for most people

- It needs to deliver a graphical experience on par with something like a PS2 or PS3

- It needs to be portable and wireless so it can be passed around and shown off to others easily

- Most importantly, it needs to be simple to set up and use. Ie, no external computer, no wires, no mounting of sensors on walls, no need to plug or unplug devices before/after use, etc.
What's your point? That oat milk is processed? Do you usually drink cow milk from the udder? Of course it's heavily processed and enriched with different additives as well.
Test comment, please ignore
Did anyone else get motion sickness watching this?
Along with the giant volcano to the East. :)
Show HN: Indiegogo for Entrepreneurs: A One-Stop Destination
It is in the land of the free. It's generally not banned in Europe, so most BASE jumpers who are active spend at least a few weeks a year there.

About 10 to 20 die world wide in about a population of 1000 or so active jumpers. It can be done relatively safely but the group isn't big enough to regulate effectively and most BASE jumpers are hostile to anyone mentioning the idea.
Looks like a good list. The only item I'd add to that is a LifeStraw (or something similar), but I don't know how close you live to a water source:

http://lifestraw.com/products/lifestraw-mission/
I watched those videos and I don't think he said anything unreasonable. So what do people dislike about those videos? Communication style? Personal distaste?
It seems to be in the USA. However, I attribute that to the fear based culture prevalent here, the "winner or your a loser" mentality, that government is untrustworthy viewpoint, and the high degree of tribalism and differentiation throughout society.

Edit: language
Uber has selected a CEO
Acceptable certainly is relative. If you just "dumped some seeds in your garden", you would get seedy, low-grade crap weed, regardless of what strain you planted. Good weed requires proper attention and care.
We've got a VR arcade in Ballard. It made me realize I definitely couldn't own one at home due to space limitations, but I like heading to the arcade every now and then. They have padded booths and booze.
What is the thing that should have been done that could handle 37 cubic kilometers of water?
This picture looks like a postal worker in uniform ready to walk into a Breaking Bad look-alike convention, he even has the badge ready to go.

I couldn't imagine how all-consuming a gig like this must be. If I were to hear the news, I think I would spend the entire day in bed... just one last time.

If this guy doesn't accept, they should try to lure Bill Belichick and Tom Brady from the NFL. I don't think you could find two people who win as much as they guys do.

I think I'll throw in my resume, just in case.
> doesn't quite manage to do anything particularly useful that the phone you probably carry as well does rather better

I don't have a full fledged smartwatch, but a running watch with some smart features. Its killer feature is not to pretend to be a phone. It's much simpler than that. Its receiving (only high priority) notifications on my wrist. Incredibly convenient when I can't pick up my phone.

Edit: apparently my phone strongly prefers "it's" over "its".
Tanzania Gears Up to Become a Nation of Medical Drones
Never heard of the Brave browser before. Anyone knows if it's really ok ?
Pilot training only focuses on instruments during IFR training. Private pilot and most VFR is done without emphasis on instruments. Aerobatics rely on senses and no instruments.

Source: Skydiver, BASE jumper, paraglider, aerobatic airplane pilot, private pilot land and sea.
Maybe AI is dead too. It needs to get to the point where I have AI assistant which can feed me with the spoon and solve my relationships problems while doing it.
That's pretty cool actually - I wonder how well the booze pairs with the VR though.
Early adopter here, initial 2012 Oculus Rift Kickstarter backer, I own all the headsets. My excitement has all but died down in regards to the current generation of VR. Mostly, I find the hardware cumbersome and clunky and the games to be too same-y (teleportation galore) or unpolished.
The absolute best experience I had in VR was playing Half-Life 2 back in 2013, with terrible resolution and tracking, but it was so immersive I could barely contain myself.
Now though, that I'm no longer wowed just by "being there", the act of strapping into VR is so cumbersome, the software is buggy at times, the cable is annoying, the headset is heavy, hot, doesn't work well with glasses etc.

However, I'm still as excited for VR as I was in the beginning in regards to the technology. Give me a lighter headset, 100% wireless and great handtracking and finally some long, immersive games (can be ports, that's fine for me) and I'm ready to shell out money again.

As it stands today though, my VR hype is on hibernation until the next gen rolls around.
> Personality is important.

I agree, but I wonder how it factors in. Compare DJB to Linus Torvalds or Theo de Raadt or Steve Jobs or Steve Balmer or Travis Kalanick, as examples with a variety of outcomes (and I'm not trying hard to come up with those names; there are many more out there). Maybe the determining factor is something other than abrasiveness, maybe it's just balanced against demand for your project or other factors, maybe it depends on the market segment you're operating in - or maybe it's circumstance and luck that really matter.
(Writing this from a Void Linux installation:) I don't know about Chromium, but Firefox 55 was no more than a week late, which I can totally live with.
I'm guessing they looked at other package managers, didn't like a bunch of decisions, and decided to write their own: XBPS claims it's totally compatible with POSIX/SUSv2/C99 standards, and released with a Simplified BSD license (2 clause). Other features: https://wiki.voidlinux.eu/XBPS#Features
There's huge energy oversupply in Sichuan province, you can't just keep storing hydropower infinitely, it has to be released to protect the dams.

All this outrage is misguided, the market incentives mean miners go to where the cheapest power is, all the industrial scale mining is located next to large renewables sources in China, Pacific NW, Scandanvia/Iceland.

The largest ethereum mine in the world is 100% renewable.
Continued economic growth at the increased rates that non-renewable energy sources provide, without the external disapproval/sanctions that come with them.
I did it to fulfil my dream of working in the games industry (AAA games for PlayStation/Xbox etc). Six years later I'm ready to leave.
VR is very nice, when it's in the booth, and they already set it up, and they have a working game already, and there is only one person a head of me in line, and I can only experience it for a couple minutes because someone else is behind me waiting.

Try to play a vr game at home with two other people and one device.
When I first encountered material implication I thought it was just stupid. False implies anything? Everything implies true? That's not what implies means, there must be some sort of relevancy, surely?

The block for me was treating material implication as if it defined what 'if' meant in natural language. But it doesn't. 'If I am a turtle then the president of the United States is Hillary Clinton' isn't a statement about a relationship between whether or not I'm a turtle and who is the POTUS. It's a formal sentence. It's like a regular expression or something. It has no real meaning, it's just symbols. It's just 'Q Y C' or '$ ~ F' or 'A -> B' in a formal language. We give semantics to those symbols by assigning a truth value to 'A -> B' as a function of the truth values we assign to the symbols A and B.

It seems silly if we substitute A for something clearly false and B is substituted for something also false and clearly unrelated, but that's because when you read the statement above it looks like natural language, and it is natural language, but logic isn't about natural language. It's about formal language.

If you write it as 'I am a turtle -> Clinton is the POTUS' then it becomes a bit more clearly just 'arbitrary false thing -> arbitrary thing'.

If you try to divorce the concept of material implication from the natural language construct of 'if..then..' then you shouldn't have a problem.

Remember, material implication is truth-functional, which means that the truth value of 'A -> B' is just a function of the truth values of A and B (namely that it's true unless A is false and B is true), not whether they're related or relevant to each other.
How I built TinyMails: a chrome extension that helps you write shorter emails
I absolutely loved the taste of Oatly milk when I could get it here, briefly. Now I'm back to goat's milk. Also very good, but not available in storable form that I know of.
It is (also) their problem. If they're in the network, they've agreed to certain terms as well.

I'm not saying skip out on your bills. I'm saying that the provider and insurance need to figure the bill out. I'm not floating a provider in my network so that I can fill out a ton more paperwork to get reimbursed eventually.

And yes, they do make errors in major ways. Just two years ago, I got as though I hadn't made my deductible. It was a $2500 difference. It's much easier to have a provider refile to get their money than for me to pay them and then work through the insurer's system to get reimbursement.
Everyone is allergic to oats (lectins) if they aren't cooked for a lot longer than the packages say. They easily cause an immune reaction that can have a (standard for infections) 3 day lag.
This actually reminds me of one year I was heading home from my folks' on New Year's. As usual, I found myself driving past Michigan City, IN, around or after midnight, with the usual lake-effect snow going full blast. As not-so-usual, I decided I was going to have to pull off for the night, so after checking into the local Super 8, I set out to see what late-night eating establishments might actually be open. Almost nothing. I swear, this was the first and only night I ever found a darkened Denny's. (Oh, my God! They closed Denny's! You bastards!)

I finally found one source of sustenance actually braving the weather that night: a White Castle, probably only because it was attached to a 24-hour gas station. At least I didn't have to go to bed hungry.

I have no idea whether there was a Waffle House in MI City, or where I might have found it if there were, but if all else fails... I guess there's always White Castle.
> We’re talking about real, human-powered flight—or, at least as close as humanity has ever come to it.

Apparently the author hasn't heard about all the human powered flight initiatives, including crossing the English Channel:

https://en.wikipedia.org/wiki/Human-powered_aircraft
Price Optimization Finally Becomes a Supply Chain Tool
Personally I do not think "simple to set up and use" is the most important part there: it's the price.

I would love to play around with VR, but I'm not going to shell out $600+ for such a device when I don't know how much software it'll have in the future.

At the time of writing this comment, I found out that the Oculus is $400, which is quite a bit better (I thought it was $600-$900 still). But I still don't know what future game/app support looks like for it. My gut says it is in a downward trend, so I won't be buying into it until I see them being more popular among e.g. Youtubers etc.
Well, kinda - but you're also nominally buying self-righteousness, classism, and maybe some better ingredient quality.
NYC Citi Bike Visualization – A Hint of Future Transportation
In Romania, while many rural families leave a barrel of their own plums, apples, apricots, etc. to ferment, they usually take the fermented fruit to a central village distillery to distill it. The men working there have long years of experience and know how to run the equipment. I have always found copper stills to be "as hard as you think"; I couldn't imagine ever trying to set one up in my own home.
The only proven countermeasure so far is delegated proof of stake, which has "trusted" parties doing the staking. But this goes against the idea of decentralisation.

Some people wonder if pure proof-of-stake is even possible. Ethereum is likely going with DPOS, yet to see a single solution to the nothing-at-stake problem.
Since I sense this is the perfect time to offer a half-baked eulogy, let me offer my half-baked theory:

I think it was McLuhan who said that each new medium begins by imitating the old. e.g - The first television programs were basically radio broadcasts with an image of a talking head. It took a while for tv to break out and capitalize on the features of the new medium.

VR was always going to be measured by gaming. But its well-documented problem was that a very large subsection of games (1st person) have a considerable barf factor for a considerable section of the customer base.

So VR may have had great future potential for new avenues in gaming, but it was hamstrung by its weakenesses for existing games.

People got too caught up with possibilites to objectively look at how sucky it was right now.
Thanks. I'm kinda used to that on HN since many people who read my comments seem to be absolutely pro-Aadhaar/pro-government and don't seem to like any critique of the system and how it's putting people in danger (existentially and otherwise).
That's how motorcycle accidents were explained to me. It is perfectly fine until it isn't, because there is so little room for error that it can only be fine or a crash.

That was for motorcycles where accidents are survivable and things are much more in your control.

For low wingsuit flying those last two points are both questionable.
It's pretty sad to me that there's more excitement for Snapchat filters than for VR. Also, I'm getting absolutely fed up with the term "social". People are attention junkies, that's what it is. It's not "social". They're hooked on likes and instant gratification.
I read a specific story where the doctor or doctors wanted to use a body for organs because they thought death was certain, the family resisted, and because the doctor was wrong, maybe had wrong info, the patient lived. I didn't write it down into my book of anecdotes for future message board posting.

It certainly isn't one in ten million "evil" doctors. Consider that you might be underestimating the likelihood because you want people to be organ donors. I'd say the main reason the official respectable stance is that you'll never have your organs harvested when you would live is that people want more organ donors so they fall for whatever belief helps make it happen.
Super super interesting. So this is the case for the big expensive commercial products like those that come out of shops like Synopsys? It strikes me that helping to improve (device side) EDA is probably a pretty sound investment of my time, since I've got some phys chops and it's pretty important to the global economy.
I'm not sure I understand your sales tax suggestion.

Wouldn't a sales tax increase punish the consumers losing their jobs?

Doesn't the increase in taxation have to come from business revenues in some way as a means to offset the reduction in consumer job income?

update: I may be looking at the problem as too much as a closed system (ie. things are made where they're sold). The implications of relocating production to areas with different taxation rules make an ideal solution very tricky.
I'm not following you... what complications do you think an app on a smartphone couldn't replicate? I love mechanical watches, but a smartphone could perform the same work as any complication, as far as I know.
Fast Bounded-Concurrency Hash Tables
Same for me, though a huge factor in my "re-entry" threshold is resolution.

I really do enjoy VR when I get around to playing it, but all I have is presence, but in a world that not particularly beautiful.

My favorite VR title is Elite: Dangerous, but while it's absolutely beautiful outside of VR, in VR it's rather....blurry. When in-VR had the detail of out-of-VR, the presence may be more meaningful. (But that'll be a while).