skysight-inc/HackerNews huggingface dataset:
https://www.interana.com/what-is-it/just-add-data/

"We like JSON best." - lol
This idea is used in Seveneves

https://en.m.wikipedia.org/wiki/Seveneves
My application needs RFC 6091, i.e. using OpenPGP keys instead of the usual X.509 certificates. (Why not X.509? Ask Peter Gutmann¹). This feature is not listed as something they don’t support, nor as something they won’t support, which is odd. Likewise for DTLS (RFC 6347). These omissions are strange.

① Everything you Never Wanted to Know about PKI but were Forced to Find Out (https://www.cs.auckland.ac.nz/~pgut001/pubs/pkitutorial.pdf)
Whoops, sorry, my bad. It seems the "Stats for nerds" link (and the page it linked to) accessible via the task manager was removed, not the task manager itself. Apologies for the misinformation!
Smolin wrote a paper on the "reasonable effectiveness" of mathematics in science. http://arxiv.org/pdf/1506.03733v1.pdf
What is this idea that making the math prettier or more elegant is not important? That's like saying a new algorithm isn't important; new math or models make problems potentially tractable that aren't now.

All of our math is an attempt to represent things or ideas. The most important thing I learned in my physics education was how to read math as a metaphor for putting together things I understand into a picture of a thing I don't understand. But I don't think anyone serious thinks that their math is "true", such an assertion just makes no sense. The point of it is to find new ways to approach the evidence to see if it gives some different metaphor that wasn't obvious before.

I don't know enough modern physics to have an opinion on whether this is the case for cosmology or string theory, but I do know that in recent history just formulating a problem slightly differently can suddenly make the solution fit in the same framework as a known simpler problem. Not unlike things I read all the time about algorithm research at all, right?

Teaching and understanding models is predicated highly on metaphor, it's much easier to explain for instance that MRI works via a quantum effect that has the same math as a harmonic oscillator than it is to just... dive in. The model isn't the universe, but humans live by metaphor and so the model is important.

Which is perhaps not the point you were trying to make; I don't know enough modern physics to know whether a critique of these new areas as purely fantastical is justified, but it's also pretty fantastical to think of a particle in a box as if it were like a weight on a spring. Who am I to say that something about this approach can't make a currently intractable, approximate, or computational impossible problem solvable with time?
Probably not. With security sensitive things, the security of the logic itself needs to be good too.

Attacks like downgrade attacks, for example, are not memory unsafety issues.

Servo would need a library that is battle-tested and has a vulnerability policy. The Rust libraries could be in this category in the future, but not right now. Using something like nss or boringssl, like other browsers, would be our best bet.
As a first-time homebuyer in the Bay Area, would the HN hivemind recommend Redfin, or using a traditional agent?

I was at an open house a couple of weeks ago, and decided to ask the (seller's) agent about her experience. She was young, and said that she had 'bought' only 1 house so far. It was listed at $1.6M, and her client got it for $1.84M. And it was the only bid..... I was like huh? You encouraged him to bid more, and he ended up paying 15% over? That's not something to be proud of. So I'm a bit leery of agents now.
San Francisco is beautiful except for the city.

More seriously, I've half-thought about moving to the West Coast from the East Coast a number of times. For jobs, the Bay Area takes the cake...but for remote work, there's other places along the coast that aren't cities and are delightfully pleasant -- nobody ever seems to talk about Monterrey for example.
> I'd love to see an explanation for not supporting client authentication.

My guess? They don't use it in their applications, so they don't think anyone else uses it, either.

TLS client authentication is widely used in 802.1X (WiFi and wired) authentication. I've seen it used in a lot of other situations, e.g. web client access (client cert + user password), LDAP client access, etc.

Maybe there are security issues in client authentication which they're aware of. If so, they should share them. But simply labeling client authentication as "obsolete" shows a close-minded attitude.
The nightlife scene in SF is mediocre at best. SF is by far the dirtiest city I've been to in the US; parts of it are downright disgusting. SV (excluding SF) is a terrible place to be a single man. It's fine for outdoor activities, but no better than you'll find in many other cities. The main advantage in terms of the outdoors is the weather. It's admittedly great, but it's similarly great along the entire 500 mile coastal stretch from San Diego to San Francisco (except SF is colder, cloudier, and windier than the rest of that stretch).

I moved here for the tech scene. Beyond tech, it just doesn't compare favorably to many of the other places I've lived. I realize this puts me in the minority -- my San Franciscan friends never stop talking about how amazing SF is. I think this mantra helps them justify their rent check each month.

> For me at least, the rent is kind of just the cost of having an enjoyable life in the US.

That's really sad. Since you grew up in a place with "with snow about 6 months of the year" and with "almost no hills and no ocean," SV must seem pretty great by comparison. But the US is a very big place, with a lot of really great cities and towns. I hope you get a chance to discover how much more is out there.
I wouldn't call 2009 recent and Spotify has been around for 8 years now. It seems odd to draw a distinction for its American debut.
Here's a few of them that use Emacs: http://wenshanren.org/?p=418
Coming from a US DoD background, TLS client authentication is mandated for nearly everything. Everyone carries keypairs around their neck on their ID card (PIV smartcard with x.509 certificates)
It's hard to get consistent performance when you have any form of memory management, caching, or a JIT behind the scenes. I feel like this is just something you have to accept when writing code in a high level language.
There was at least 1 other. One of the non-winning parties later bought another unit in my building and came by to chat. We had some wine, and they told me what their offer was. It was only $3k less than ours. In vino, veritas.
Yes, I'm still calling them nominal numbers, but you can give whatever name you want for "I don't care what the precise results of arithmetic are." I'll stop here because there's nothing I hate more than pedantic arguments about semantics.
Economists dabbling in other fields have a uniformly appalling track record, but who knows, maybe this one is the exception.
You can install it directly via this addon: https://addons.mozilla.org/en-US/firefox/addon/chrome-store-...

yoasif_ has confirmed that it works. Firefox has implemented some but not all of chrome's webextension API, so this isn't guaranteed to work for all addons (yet).
Yep, we have a Direct2D backend (in fact that's our main one - the others are lagging behind a little)
Be thankful that we still have plugins legal.
Hey thesoonerdev,

I am the person who posted the blog entry. It's true that I don't know much about how NLP parsing works but I do know how the parse trees are structured. I believe matching parse trees is scalable. The examples in my post were for short imperative commands but it is relatively simple to create rules for more complex sentences. It might not be perfect in every case but I would say for a majority of cases it works well.

I'm glad you were able to understand the blogpost and I agree that the material on tregex is not clear and would be difficult to pick up. I hope the library I wrote will let programers start using the Stanford parsing libraries more easily.
I think it's a phase entrepreneurs go through. I know I spent time during college trying to get little social apps or other services off the ground.

With the passage of time and a couple failed startups, working on one of these pointless apps now holds no interest. I started a side project after my last failed company that turned into something and which I've been bootstrapping since, but I don't have any illusions about it saving the world or anything like that.

I do however have a laundry list of 3-5 big hairy societal problems that I want to take a stab at some day, and I regularly find myself thinking about how I can take this side project-turned-company into something more meaningful. Otherwise, what's the point in working on it long term?

I think over time, a lot of these founders will tend toward more impactful ideas. Blaming them, calling it a "problem" misses the point hat it's all part of the maturation process.
Thing to understand is that time is not a measurement, time is what we measure - as a phenomenon that has independent existence as part of the physical reality. More accurately (and perhaps more confusingly), time should be thought of as one of the aspects (components) of the 4-dimensional "spacetime", where spatial dimensions are, in fact, inseparable from the temporal dimension - so that the results of measurements of each component individually end up being dependent on the frame of reference.
Why have yoga teacher salaries frozen since the 90s?
Even though the industry has exploded with 20% Y.O.Y growth for the past 2 decades? It seems no other industry makes that little sense?
Depends on what you want to use Scheme for.

Racket - wide support, ease of use, etc.

GNU Guile - extending GNU applications or building your own robust ones.

Chibi - embedded applications. (My personal favorite.)

If you mean "Lisp" as in more general than Scheme, then the main two are:

Common Lisp - most used, advanced, etc.

Clojure - most popular of all the lisps today, arguably. It has the largest ecosystem thanks to JVM interoperability.
Cool Tattoos for Ladies – The Emporialist│romanian street fashion magazine
My point was that the abbreviation is not a problem per se. If there was not another variable with a similar name, it would not have mattered at all.

This is an issue of names being similar. No matter how long a variable name is, if another variable name in the same namespace is superficially similar, this kind of thing can happen.

On the other hand, if there are no other variables with similar names, then you can abbreviate all you want and your chance of collisions will not increase.
A Malicious 'Pokémon GO' App Is Installing Backdoors on Android Devices
I found it a bit hard to understand before I actually took the course in university, but I'll try to explain simply:

You can infer the mass that is interior to an orbit by measuring the speed at which an object is orbiting. By measuring the redshift and blueshift, we can get speeds of different parts of the galaxy. It turns out that we can account for more-or-less all of the mass near the centre of galaxies, but as we get further out, orbital velocities seem to be higher than they should be implying more mass is there than we can actually see.

In other words, we can tell that the missing mass is not at the centre of the galaxy, but rather spread throughout it.
"research chemicals from China" are a helluva drug
Maybe the number of people wanting to be yoga teachers has exploded with >> 20% Y.O.Y. growth.
AI is 60 years old and gone through hype cycles before.
Nural networks are nearly as old as AI but work better these days.
Especially in how rich people use their wealth and social influence to increase their wealth and social influence. And they give greater assistance to their offspring than their less-affluent cohorts are able to.

One example of this is the $1 million gift Bill Gates received on his 0th birthday.
If it was possible to build a gravity sleep chamber, it's very possible that exposing the human body to gravity and zero-gravity on a daily basis would be put more, not less stress on a body than zero-gravity alone.
This seems to be what was indicated in https://news.ycombinator.com/item?id=11881767

I was under the impression that would remove access to old courses by June 30 for those who hadn't paid. Removing access for those who've paid goes too far.
It's not a matter of taste. Philosophy is about which questions you ask.

More specifically, it's about what kind of questions are considered worth asking. You can track the changes through history, and philosophy often leads politics and art as much as it does science.

Philosophy looks like the most abstract and possibly trivial pastime, but in fact it's incredibly powerful and influential, because it literally makes some world views thinkable and others unthinkable.

The different interpretations of QM are trying to ask different questions about reality. The fact that they're empirically indistinguishable suggests that either they're literally irrelevant - because they all give the same answer - or that no one knows how to ask a more insightful question yet.

If a more insightful question exists, it may come from some completely unexpected direction.

Physics has had a century to think about the problem, and hasn't gotten any closer to a definitive solution.

That suggests either more time is needed and we just haven't got there yet. Or perhaps the real explanation is literally unthinkable within the world view we have today.
Ask HN: Does doing Yoga improve your work?
Am I hallucinating or is this a thing? Any CEOs, founders, execs who saw a visible difference, I would love to know!
SEEKING FREELANCER, Denver, remote work is possible.

We are seeking a freelancer or agency to help us write a few python scripts for TensorFlow so that we can move away from AWS ML. Currently running a TensorFlow AMI on AWS and need help writing the python scripts to get the same predictive outputs we get from AWS ML, so we don't have to pay per record. My ML knowledge is limited so these scripts need to be well commented and easy to update: source data, column that is outcome, ID column. Our data is currently in S3 (csv) and we need to export entire lists, with an ID and the output probabilistic score (csv). We work with voter data that doesn't change much. We will do binary classification for voted/not voted data. We also do surveys, were a few thousand records have categorical response data. So we need to take the responses (1-5) and assign a categorical probability to the rest of the file based on the survey response. Data is 2m + rows, 250+ columns. Will provide data with NDA and I think this would help a lot explaining, since this is getting above my skills. Program should either decide beyes, regression, etc or use ML to find the best fit. L1, L2, etc. Limited updates on my end until I learn more and refresh on the math, well commented code is key.

dillon@4degre.es if you know Python, ML, and TensorFlow. If you can ask more pointed questions to get a better prospective of scope please do. Bonus if you live in Denver, you're also welcome to come in and use our office. If things work out there would be further work especially if in Denver, possibly full time with equity.
What about grabbing mass from the surface of the moon, junk that's floating around, etc.?

Seems like this might be cheaper than getting it off Earth, right?
Interactive mobile bot store mockup
Symantec Norton 360 Coupon Code Plus Keygen Free Download
The Planck scale, where quantum gravity should have directly observable consequences, is ~10^18 GeV. The world's most powerful collider to date, the LHC, reaches a collision energy of ~10^4 GeV, not far from the theoretical maximum attainable by a ring of its size [1].

If you wanted to scale up the LHC by an energy factor 10^14, you would have to deal with the energy loss caused by synchrotron radiation (charged particles going around a ring are constantly accelerating, so constantly emitting electromagnetic radiation) which is ~E^4/R per turn [2]. To keep the same energy loss as at the LHC and pay an electricity bill which is only 10^14 times larger, you would therefore need to grow the radius R by a factor ~ 10^14^4 = 10^56.

The LHC radius is 4.5 km, so let's go with R = 10^56 km. That's 10^43 light years. For comparison, the radius of the observable universe is ~10^10 light years.

[1] http://www.physics.princeton.edu/~mcdonald/examples/lep.pdf

[2] https://arxiv.org/abs/1504.01627

[3] https://en.wikipedia.org/wiki/Observable_universe#Size
"We're tired of the un-proven assumptions underlying modern physics. Here's some un-proven assumptions to get us back on track."

What? How is this helping?
The fields that results in the Casimir effect are non-quantized, correct?
This is very neat. Besides this site and these results (updated till 2006):

http://www.foundalis.com/res/solvprog.htm

Anyone know if since then, say using deep learning or other newer methods, these problems are solvable easier?

I like the idea behind this, perhaps being able to solve these would be a stepping stone before solving the Turing test. And I think this kind of stuff points to developing a general AI.

The background of this is very interesting. The author of this research has stopped working on the problem for ethical reasons:

http://www.foundalis.com/soc/why_no_more_Bongard.html

"If this is achieved, eventually intelligent weapons of mass destruction will be built, without doubt. That’s what I would like to explain below."

I don't want to comment on that or qualify it in any way (I do have some thoughts about it, but would rather not share them). Will just say it was an interesting find.

Also learned about Mikhail Bongard, a Soviet machine learning researcher from the 60s-70s -- http://www.foundalis.com/res/Mikhail_Moiseevich_Bongard.html for some reason I imagined that part of the world simply did not have any background or interest in that discipline at that time, so it is interesting to learn something new there too.
The scandal is that propublica wrote a story which directly contradicts their own statistical analysis. Their analysis was unable to show statistically significant bias (and had other flaws that might be genuine mistakes - no multiple comparison correction, possible misinterpretation of the model).

https://www.chrisstucchio.com/blog/2016/propublica_is_lying....

In fact, their r-script suggests that the secret algorithm is probably reducing racism relative to whatever secret algorithm human judges would use.
Saw this on Facebook, the group calls themselves Bot Developers India. For a guy this is cool but not sure I'd ever buy something this way. But I definitely could see women buying fashion this way.
The time limit is enforced discipline. It's arguably their main benefit. Some people study without an online course... most don't.

I don't have data on completion data on timed vs untimed courses. The former's popularity is suggestive, but confounded by marketing, more people online, prestige, packaging of courses, lecturer/tutor availability, cohort forum, etc.

But I do have one anecdatum: I took Ullman's Automata, even though all the lectures were already on youtube, and slides, tests and solutions on his homepage. I found the schedule very tough towards the end... I meant to later review some parts I needed more time on, but over a year later, I still haven't...
Boy does this make me feel stupid. Pattern puzzles in IQ tests are always the hardest for me. The first, "trivial" example stumped me...
> Considering that natural selection is generally considered to not operate on post-reproductive phenotype (prime case is antagonistic pleiotropy literature) I consider any conclusion based on these measures pretty suspect.

Again, why? Is there any reason to think that late life BMI will inversely correlate with BMI such that the old fat people were actually the skinny young people? If it's just measurement error, then it's no worse than most variables which get used in health or sociology research.

> If you can't see selection at high effect alleles I'm not sure you'll be able to detect them in aggregate either, especially with very noisy phenotype data.

All of these are highly polygenic traits. A 'high effect allele' means explaining 1% or less of variance. Selection on such a trait is going to shift the frequency by a tiny amount. Grossly underpowered individually. You have to consider them jointly. Noisy phenotype makes that more, not less, true.
become a mortgage broker you can get 2%-3% of the loan amount per sale.
"Should we accept this as an indication that there are limits to our ability to understand, just as there are limits to what we can achieve physically?"

That's a quintessential philosophical question.
I've never used Snapchat and I hadn't used Uber until a month ago when I found myself working away from home and without a car. I haven't seen any truly revolutionary technology since smartphones became mainstream. Most of the social media applications unfortunately seem geared to the lowest common denominator, I don't see people like Mark Zuckerberg or Sergey Brin extensively making use of them. I have a very difficult time discussing meaningful topics when I am limited to 140 characters or can only share photos.
> If you asked people "do you want a machine that dries your clothes" [] a long time ago you probably would have received tepid interest.

You can ask this question of people today and still receive at best tepid interest. Dryers are unpopular in China.
Reading the headline, I expected parody.
It looks.... real?

I'm sure many will enjoy the contribution, but I'll be letting this one slip by on the first pass.
As I read it, that's a fine way to detect the presence of a cell phone. It might be able to discriminate between several models of cell phones. But it will not be able to identify a specific cell phone.

Am I misreading your statements?
Given the rate that autism is showing up nowadays, it seems like spectrum disorders are over-diagnosed. People who were once just odd-balls or non-social are now being lumped in with people who have moderate to severe issues, and it's to the detriment of both groups.
> Attacks like downgrade attacks, for example, are not memory unsafety issues.

First, this library only implements TLS 1.2 with AEAD cipher suites (AES-128-GCM, AES-256-GCM, and ChaCha20-Poly1305) and perfect forward secrecy (using ECDHE with the X25519, P-256, and P-384 curves, and RSA and ECDSA signatures). Thus, downgrade to something worse than what NSS or OpenSSL or BoringSSL consider to be the very best crypto is avoided at a very fundamental level.

Second, I and other people have been advocating strongly against design decisions that force implementations to add downgrade vectors. In particular, there is a version number field in the TLS ClientHello that we know causes problems. People have proposed solutions to avoid this version number causing compatibility problems for TLS 1.3, but Mozilla's TLS people have not supported making this improvement. Thus, we're likely going to have downgrade issues by design in TLS 1.3 that would be completely avoidable, due in large part to the people making NSS and other C crypto libraries.
I approve of the ban on Dan Brown :)

Geoffrey Pullum (a well-known linguist) had this hilarious review on the Language Log:

http://itre.cis.upenn.edu/~myl/languagelog/archives/000844.h...
original Wolf3D wasnt all that optimal, later ports (apple2/snes) were modified to use BSP tree.
Its not the same because you dont get the same optical properties between a apsc and a full frame sensor. Size matters.