skysight-inc/HackerNews huggingface dataset:
I can agree with the assessment of encrypted DBs and SSE schemes, but I don't feel like that's the case for a huge portion of theoretical-ish crypto. Sure, I'm not disagreeing that people don't break things; I'm just feel like that's not a primary focus of most academic cryptographers; taking a look at the papers in the last few CRYPTOs and EUROCRYPTs only consolidates this feeling.

One exception to that is perhaps multilinear maps, for which candidates are proposed and broken all the time, but once a assumption becomes battle-tested then I feel the focus shifts to building things out of these assumption
It’s time to free speech on campus again
Alternatively, find a contact with access to enough recent biotech equipment to generate myostatin antibodies [1] or otherwise blockade myostatin or increase follistatin via gene therapy or other strategy.

I wager that this sort of thing is already taking place quietly on a small scale, given the large and growing number of people with access to the necessary tools and ability to do this.

[1]: http://news.iupui.edu/releases/2015/12/myostatin-warden-musc...
> Nimble file naming [0]. It must end in '.nimble', and must have at least character in front of that suffix, but the prefix doesn't actually matter.

It does now. The new NimScript .nimble format[1] uses this prefix to determine the name of the package.

1 - https://github.com/nim-lang/nimble#the-new-nimscript-format
Please don't comment like this on Hacker News. We're here to learn and to indulge our intellectual curiosity, and doing that is made harder by distracting sarcasm—no matter what you're responding to.
ULA Atlas V uses newly built RD-180, not stored RD-33 from the 1960s. Both engines use the Russian oxygen rich staged combustion which makes them more fuel efficient than kerolox engines developed in the US.
Author here. Happy to provide some thoughts on whatever you find to be crap.
my last comment didn't get any good response; one wanted a clarification which was easily googleable. the other one about hyperinflation being supply driven made no sense (incorrect definition of hyperinflation), so I didn't bother responding.

how about you? do you have any response about the content, or is it more meta-critique?
The extreme version is doing what bodybuilders do while going on a cut. Train as normal while eating nothing but chicken and drinking nothing but water. Steroids help ;-).

I was in my best shape when I added some HIIT skipping and sprints to my routine. But basically if you are training naturally it is very hard to lose fat without dropping muscle too.
South Korea Military Command System Hacked
Leave google alone and break thr walls of apple's garden. They are worse.
What changed? I thought the other browsers still had to basically be Safari (webkit, the javascript engine, etc) underneath.
Yeah it would be nice of them to allow that. Personally I don't care since I would never use Gmail but I can understand how that would be frustrating.
Massive Earthquake Along the San Andreas Fault Is Disturbingly Imminent
> Take Zbrush for example. It's completely foreign, but you can power through it and be done. There's something about Blender that makes this hard, and I can't explain why.

It's quite the opposite to me. Blender has sensible names (object, mesh, scene) and a few somewhat weird ones (armature for skeleton, shape keys for morph targets). You can search any action with space bar. You can customize keys and set left click as default for selection.

With zbrush I couldn't figure out. "Subtool" still baffles me. I use a AHK script to make it manageable. Sometimes I don't know what's going on (why can't I edit?) and I don't have a log of actions (like blender) to help me figure that out. The thing I hate the most about zbrush, though, is not the UI, but the lack of poly group names (changing randomly if you add/remove one) and the fact that is completely impossible to export/import more than one paint layer at a time.
> If the certificate is preexisting (presumably issued before 9/19/16) it will be trusted ONLY if the certificate is CT logged. It will know if this is the case by looking for an SCT belonging to that certificate. The SCT will either be embedded directly in the certificate, or provided with the certificate during the SSL handshake (this is known as "stapling").

I doubt they'll do it this way. WoSign has only been embedding SCTs for all certificates since July and I wouldn't count on many webservers implementing SCT stapling. I expect Apple to ship a whitelist of hashes of certs that should be trusted instead.
"i just want to lose a little bit of belly fat" is an internet fitness cliche second only to "i don't want to get all big and bulky".

the startup equivalent is, "i don't want to be a billionaire, i just want to make a couple million bucks, that's all. where do i start?"

luckily, losing fat is easier than startups, because it's deterministic.

you can not spot-reduce fat. you need to lose fat all over your body. your genetics determine where it comes off first/last/etc. anyone telling you otherwise is selling you something.

for fat loss, look into a ketogenic diet and high intensity interval training combined with strength training.
I doubt you can see a 20lbs of muscle growth in 3 months using just 5lbs weights in excersizes.
Any stats I've seen have suggested that any time Police are given leeway to choose who they pick on, then minorities and the poor are chosen, for the very rational reason that they are relatively powerless, which seems to contradict your tale of police officers walking on eggshells around them. Around the rich and well connected on the other hand, yes that seems plausible.
The Nokia 1020 was not bad, the problem is it was competing with the iPhone 5 and a great many good Android phones. Which again is the problem, not bad is not enough to compete in most markets.
lol the answer, like a lot of things in life... is simple, but not easy. how to build muscle:

- nutrition. eat enough protein and calories. i don't think people have to overthink this. if you're getting fat and don't like what you see eat less. if you're constantly weak and tired eat more. if you're good at tracking cals/weight then do that.

- get enough sleep.

- pick a good beginners lifting plan: something like stronglifts or starting strength. these are help you build solid habits and good form, but in the end it's just picking up heavy stuff and putting it down until your muscles fatigue within a certain amount of reps. repeat the next week.

- the most important factor: consistency. even 2 good spaced out workouts a week will do wonders, but you'd be surprised how many people can't manage that. a shitty program and diet/sleep will be overcome by just straight consistency. you will progress slower, have an off week or two or three, but by the end of each year you will have progressed. this is where i think people fail the hardest, and think of it as some like grueling journey to the "finish line" as fast as possible when it's really a long marathon for the rest of your life. nobody wins an award for getting leaned out in 3 months vs 6, you're building habits for life (sorry, just a rant)

i'm obviously simplifying, but for most of the population and even for the "goal" pics in that article, you could train indefinitely on a basic program and achieve that.

having jumped on this train at age 29 and going on year 5, i can tell you that it all these tricks and tips might help you in the short term, but in the end everyone is going to learn some things the hard way and make some of the same mistakes over and over. there are no shortcuts (edit: unless you use some "help").
“will-change” must change? Animators beware
It's correct in the general case. A solver algorithm can find a globally optimum solution for some nonlinear functions, but it cannot be guaranteed to find a globally optimum solution for arbitrary nonlinear functions. That would be like solving P = NP or the Halting Problem.
> I don't feel like that's the case for a huge portion of theoretical-ish crypto.

You could always verify this feeling:

https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=...
Does Wall Street Do “God’s Work”? Or Even Anything Useful?
Except that Google is fairly infamous for having educational background as one of their primary criteria. There are theories that close knit groups tend to overestimate their own diversity since they are more sensitive to differences among themselves e.g. https://en.wikipedia.org/wiki/Out-group_homogeneity
If ISPs blocked internet access to compromised machines until they were clean, as I think they should, people would care a whole lot more about keeping up to date.

As it stands now, people don't see the problems they are causing (sending spam, participating in botnets, etc), so of course they don't care.

But they should.
Microsoft bought Minecraft for $2.5B
> "the myth that women have a harder time gaining beginner muscle"

Do you have a study to prove that women can grow "beginner" muscles at the same speed as men? I mean common, testosterone levels are drastically different, it will surely affect the muscle growth.
That's fine within the terms of the MIT license. It's not okay to relicense LGPL to MIT without author consent.
As I recall, the company that made struts was not testing them properly and there was more than a few that did not meet the design spec. Tesla went to a different strut supplier after that.
Discussion: https://news.ycombinator.com/item?id=12606912
The 24-Year Feud That Has Dogged Star Citizen
Of course they can see that growth - in other people who do work out properly :)
We detached this subthread from https://news.ycombinator.com/item?id=12618071 and marked it off-topic.
Those are all Safari underneath.
How does the "ipfilter debacle" relate to "copyright theft" in your mind? Darren Reed changed the license text on his ipfilter software to clarify that modified versions were not permitted, and so his software was removed from OpenBSD.
I like this quote:

"Give someone a program, you frustrate them for a day; teach them how to program, you frustrate them for a lifetime." - David Leinweber
Show HN: Listen to music generated by events happening across GitHub
There's a dark or a bright side to this.

On the one hand you wonder whether Google will get in a huff and close AOSP (The Android Open Source Project) just to work with a few commercial vendors. They can leave the complainants to work together on an fork where they can do what they wish.

Or, which I hope they would do by now, actually run AOSP like a true open source project.

In the latter case I think the strategy that they've used so far "was" the right one (open source but not open for debate), however Android is now mature enough that I think developing a true open source community would benefit it.
How to build a tech startup
I don't get this. Sure Android has a greater market share, but people use it _because_ Google services come with it (and phones tend to be less expensive). They aren't (at least to my knowledge) doing anything underhanded to keep me from installing alternatives. I can completely replace all of the default apps. There is another major platform that doesn't allow for that. Why aren't they at least being given a warning?

Edit: Disclosure, I use both major platforms.
I hope next time SpaceX put some bullet detectors around the rocket. Although sniper could hit the rocket mid flight, where nothing much you can do I guess.
I didn't pick up much crap at all. I thought it was well done, and the author clearly mentioned what he preferred vs the science.

I've been weightlifting for about 3 years, no hormones, I'm old (about 50), I'm a doctor and a statistician (ahem, I mean data scientist) and my view is that the vast majority of advice on the net is really bad, so I found this article a refreshing change.

Bloggers select small sized, underpowered studies to support their 'bro science' theories, and it's hard to differentiate what information applies to natural bodybuilding - which is not much since many bodybuilders are on hormone supplements.

My only comments are that creatine in high doses can cause renal stones, and the BMR calculator probably doesn't take into base level activity. E.g. my BMR is around 1600 cal, with general moving around it's around 1800 (before exercise). I measure my exercise calorie burn with a heart rate monitor, and balance my calories intake (using MyFitenssPal). I've been able to control my weight accurately over the last 4.5 years - originally 84kg, down to 64kg, now around 69kg with weightlifting. It's tough being old and trying to put on muscle... and I wasted time not eating enough to start with.
Quite a few comments, none so far about the matter that's leading to the fine: Paying manufacturers to preinstall stuff.
Acroform support (so not the proprietary Adobe Livecycle XFA stuff) is relatively straightforward once you understand the underlying PDF specs. It's been around since PDF 1.2 (1996!!)

At the rate I see development moving, pdf.js should be able to handle, say, every IRS form well before the end of the year, perhaps much sooner.

If I had the skills or resources to help now, I would.

I still don't understand why Mozilla has apparently not reached out to the larger business/governmental universe to see if they could partner in moving pdf.js forward. A single large insurance company might spend millions each year on licensing and implementing pdf "solutions". I can only imagine what the US government uses (or could use.)
Has anyone from Mozilla spoken to 18F?

Perhaps even a open (and not proprietary) JSON (instead of XML) based form standard for "next-generation" forms could be implemented, with PDF.js at its core. (see https://github.com/modesty/pdf2json I linked to before for an element of that...the author is an employee of Intuit...perhaps it's already being used by them for their online tax software?).
You can already set Firefox to be the default browser and disable Chrome on any Android device.
Studies:

1: http://www.ncbi.nlm.nih.gov/pubmed/11890579?dopt=Abstract

2: http://www.ncbi.nlm.nih.gov/pubmed/7558529

3: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2991130/

Article: http://bayesianbodybuilding.com/natural-muscular-potential-w...

Yes, men have more testosterone, but testosterone is less important to the female muscle development process. In fact, women benefit from higher levels of IGF1 growth hormone, which is critical to muscle growth, as compared to men [1, 2].

[1] https://www.researchgate.net/publication/49661582_Circulatin...

[2] http://press.endocrine.org/doi/abs/10.1210/jcem.81.7.8675561
"The striking thing about the footage is, again, the utter mundanity of the raid. A family was just violently raided over an immeasurable amount of pot. A man was arrested over that pot. The money he needed for his business was taken from him. Yet there’s no shame or embarrassment from the officers. There’s no panic that the whole thing was captured on video. That’s when it hits you. They don’t think they’ve made a mistake. This is what they do."
So far, after 20 years of competitive rowing and an office job, I've found the best advice for me is simply don't get injured, remain active (get out!), and cook more. All these fads might work (IF, keto, crossfit), but I think they mostly answer other questions than fitness or health. People want to feel like they are getting results fast... That is rarely sustainable in my experience and observation.
Standing is complicated; the standard is that the plaintiff has suffered a real harm, regardless of prosecution. Being prevented from doing research is likely constructible as a real harm, if his lawyers can show he reasonably fears prosecution.

OTOH there is generally enough flexibility for a court to punt when they don't actually want to address the underlying issue.

This is a reasonable law review article: http://www.tjeffersonlrev.org/sites/tjeffersonlrev.org/files...
"stuck" is an honorable state when learning something. It just means that you are encountering something you actually have to learn (vs extrapolate off existing knowledge, or an analogy, say)

Getting stuck is good. It means that you are at the edge of your knowledge, and when you have worked through whatever you are stuck on, you will have 'leveled up'.
Again with the weasel word ("meaningful") and the "no true scotchman" thing...

Is it only meaningful when it gets physical?

Or are violence threats and death threats, internet mob justice, bullying and the like is not "meaningful harassment" if it happens to men?

And why would that be?

Is that because most attacks on men are mere jokes, or maybe most men are thick-skinned Rambos that just brush them off?

And, the corollary, is that because most attacks on women are real-world threatening, or most women are little delicate creatures that can't take a verbal/written attack?

I find it hard to agree with either idea.

Maybe there's some other possible intended meaning behind this "meaningful harassment" notion that I've missed?
What email service do you use? I think Google is secure and they have never deleted or altered an email of mine as far as I know.
I'm confused. The post he's responding to is just saying that they want to move to the Apache 2.0 license if possible. Chris certainly doesn't seem to be assuming they can just flick a switch and make it happen, considering he talks about "logistics" and is pretty clear it is still in the discussion stage.

Is it a dick move just to ask the contributors if they're willing to provide the code under the Apache 2.0 license so people can use LLVM without worrying about being sued for patent infringement? This looks to me like Apple and other corporate contributors with large patent portfolios giving users without such bargaining chips some protections from litigation.

I find it hard to see that as a bad thing, unless they were in fact deciding to pretend they own the copyright of the whole project and dare contributors to sue them. Thus far I see no evidence of that.
I can repurpose your argument to point out that it is unnecessarily reductive.

Two subjects, one eats grass, one eats meat. Who grows more?

Two subjects, one trains, one doesn't train. Who grows more?

Two subjects, one is hormonally-responsive, one isn't. Who grows more?

Two subjects, one is 8, one is 88. Who grows more?

Two subjects, one starts with very many myofibrils, one doesn't. Who grows more?

Two subjects, one is tall, the other is short. Who grows more?

etc etc
The Anniversary Update is currently the Current Branch. From Microsoft's own documentation - The CB servicing model is ideal for pilot deployments and testing of Windows 10 feature updates and for users such as developers who need to work with the latest features immediately. In contrast, the CBB servicing branch is typically used for broad deployment. Windows 10 clients in the CBB servicing branch receive the same build of Windows 10 as those in the CB servicing branch, just at a later time. CB releases are transitioned to CBB after about 4 months, indicating that Microsoft, independent software vendors (ISVs), partners, and customers believe that the release is ready for broad deployment. https://technet.microsoft.com/en-us/itpro/windows/manage/waa...

Considering we are only two months past the release of AU, I would consider it to be in the pilot not stable deployable phase.

If you want Windows to be stable, and you dont want to be a beta tester, go to Windows Update advanced settings settings and check Defer feature updates.

It's the same pattern Microsoft has always taken, just accelerated. Vista was released to consumers so their Enterprise release of Windows 7 was adequately tested across as many hardware and software scenarios as possible.
You can't do that but you can do further contributions under the LGPL which essentially makes it an LGPL project.
After reading it, all came down to "if you want to lose some fat, pay some bucks or share the link with 15 people" formula.

Subtleties are always there at the end.
Police body cameras 'cut complaints against officers'
No it was not bad. It was a great phone. I still use mine. And I enjoy it. I don't agree with you that it was merely "not bad".

Is it really so impossible for you to understand that I might feel differently about the product than you do?
>Some are wearing T-shirts with the tactical team’s logo. It’s a human skull imposed over two crossed AR-15s.

Have they realized they're the baddies[1]?

[1] https://www.youtube.com/watch?v=hn1VxaMEjRU
But if their body only stores protein as a junk and muscles don't have a real use in "so-called bodybuilders" as you say, why are bodybuilders able to lift insanely heavy weights and most of them successfully compete in powerlifting events setting records?
Reminds me of the USD
Yeah that's the one thing I hope will happen one day. Meaningful seperation between android and the google services
"Another warmup type that provides no performance benefit is doing a light starting set before lifting your normal weights (study). "

This advice worries me. You do not warm up to increase performance in each session, you warm up so that you can keep doing sessions (hint: you can't work out when you're injured).
> As you found out the hard way yourself.

That makes it sound like I implemented it - I didn't - I implemented the alternative mechanism which doesn't have the same problem.
keto is the best way to lose weight, period. You lose weight while not even trying ... it really is the miracle diet, for most people anyway. Gives great mental energy as well. (yeah, sounds like bullshit, but turns out to be true for lots of people)
I'm actually surprised that they managed to produce a cost effective and functional DVR in 1999.

Even in 1999 I was thinking, "why didn't someone do this sooner?" It was a VCR with a hard drive instead of tape. Not to trivialize Tivo'S accomplishment, there's a lot more to it than that, but the know-how was there as well as the hardware. Granted, hard drives back then were pretty tiny, but so were the shows in standard def. As for "cost-effective", well, the MSRP wasn't cheap, that's for sure, and there was a monthly fee (one of the earliest examples I know of "stuff that doesn't need a subscription to work that requires a subscription").

Quality? As good as what came down that coax wire, IIRC. In other words, compared to today's high-def stuff, it sucked. But that wasn't Tivo'S fault.
ePrint is not necessarily the best indicator for such things, since essentially anybody can post there, but even so, from some random sampling it seems like more than a majority of papers are constructive and not about attacks.
Don't other platforms block apps that either are too close to existing functionality or interfere with the operations of the builtin apps?
Ten days ago, in fact, which is why I feel so strongly about this. If your hardware had drivers included on disk, great! If not, at best you'll get generic drivers that won't give you full hardware support.

Some devices that worked out of the box on Linux but required drivers on windows, just off the top of my head: Bluetooth USB dongle. USB wifi module. Logitech webcam. Focusrite audio interface. HP printer (actually this one required firmware on Linux too, so that's a draw). XBox 360 controller (required a driver on Windows 8.1. Maybe that's changed in the last few months with windows 10).
Well, Lie to Me had unfortunately been deteriorating so unless they would've employed new writers it isn't that bad it got cancelled. Now we hold only good memories of it.
the show sucks

period
Quite timely :-) .. Any training videos / program that anyone would recommend? There are ton out there and would like to get a few recommendations (paid ones too)