skysight-inc/HackerNews huggingface dataset:
Then it's a perverse market where people have ceased to sell objects, and are now just trading financial instruments. I support the right of the author to disclaim the authorship of any work at any time, despite any evidence to the contrary. He should be able to choose whether he wants his name used as a vehicle in a financial transaction. Not whether it will be, because if some insurance company or law firm wants to back it as a work by him, it's entirely up to them. He should not be forced to endorse that transaction, and if their valuation relies on that enforcement, their valuation should be dependent on his consent.

The opposite has always been true. I can endorse that painting as an original pessimizer, without caveat. That doesn't imply that I own the image in terms of copyright, any more than R.Mutt endorsing a urinal as his own work, or Jeff Koons claiming various arrangements of vacuum cleaners as his own work gives them any power over any patents covering the design of the object.
“Quantum (Квант)” magazine issues (1990 – 2001)
The Moon isn't responsible for Earth's magnetosphere, rather our liquid iron core is.
ConsenSysWeekly: Emerging Governance Models, SingularDTV Lightwallet and More
The Wolfe: An External GPU for Macs
Because you use it everyday they haven't targeted you for a promotion.
Welcome to art! The only difference between Fountain and the, ah, similar works on display in the art museum men’s room is an official nod by DuChamp.
Yes but shouldn't a <span> also always have content? Am I missing something here?
Why Millennials Aren't Buying Houses
There are over 100 billion _galaxies_ in the observable universe.
Show HN: Customized dircolors theme for GNU ls
> which potentially means huge volumes of data moving into this physical processing layer

You get to cheat at that, because the naive implementation loads too much data, while most of it is going to drop off at the filter level.

The ideal TPC-DS schema stores data partitioned by date and maintains a lookup index by item, store and clustered by store's state.

In a database organized like that, neither part of the Query-3

item.i_manufact_id = 436
or
dt.d_moy=12

should actually look at every row in the data-set in brute-force fashion - you get to skip massive parts of the data by just inspecting the index or going to the specific date partition and do it much faster than a naive C++ full-scan.

However, if you were limited to a full-load + scan, this would really be killer to have a columnar format which can be handled by an FPGA. The really interesting quote in the blog (for me) is

> the data for the queries is pushed to the accelerator card in columnar format (which is blazingly fast for queries)

I sure could use FPGA filters for columnar data ... even after I've done all my indexing, since I can't index down AND clauses or OR clauses - unlike a traditional CPU, the FPGA will be able to evaluate my entire condition in one sequential flow instead of check + branching.
The catch is that the guarantee promotion won't last forever. We all put our fates in others' hands to some degree as employees, but this definitely turns it up a notch to be a relatively unskilled worker depending on artificial temporary subsidies to set up your life.

An analogous example is Japanese salarymen working many dozens of hours of overtime per month, becoming dependent on those extra hours and extra pay, structuring their life based on this inflated amount. When the financial crisis hit and firms tightened up, reducing or outright barring overtime work, these families suffered.
The "Generating Image Descriptions (2014)" paper also involves text.
It'll create an opportunity for someone to build a "exactly how far does each free trip get me?" app.
Wow, PT Cruiser? You poor, poor uber rider.
I heard about that. :-D

Unfortunately, the module system's not enough. When R7RS-large hits, you'll hopefully finally be able to port between implementations by simply cond-expanding your FFI interactions, and adding a makefile. With the the approaching release of Red, it looks like this may finally be happening.

Clojure is definitely a lisp, but an odd one. It uses a foreign read syntax, is too close to Java for my tastes (reasonable people my disagree with my irrational hatred of Java), and it screws with Lisp tradition in ways even Scheme doesn't: Ways I don't think are necessarily for the better.

() isn't nil, nil is kinda-not-really like scheme's #f, keywords aren't symbols, nil isn't a symbol, `x isn't the same as 'x, ~ is unquote, there are not cons cells, so cons doesn't do what you think it does, car and cdr don't exist afaik, but first and rest do, lambda is fn, which is also defun (or define in scheme), = is the new equal (or equal?), collections are more generic, and the whole thing is lazy.

To conclude, the difference in spirit and ideas between Kawa and most other JVM lisps and Clojure is similar to the difference between *BSD and Linux:

Clojure is what happens when a bunch of Java hackers write a lisp for the JVM, Kawa/ABCL is what happens when a bunch of Lisp hackers port a lisp to the JVM.
> But why? Who cares about papers, source code or numbers beyond the tiny segment that HN caters to?

I don't know, say, the thousands of future engineers and researchers, that, you know, make the product?
and not be used for obvious money laundering scenarios.

"Hey boss, Guido picked up the unsupervised merchandise off the back of our truck, but don't worry he just lost a $10000 bet on our blackjack table." (wink, wink)
Ha, Author here - I believe I had originally typed "tolerable at best", but must have rephrased it at some point for some reason.

To me the whole thing felt like an awful extended episode of The Today Show. Watered down to make it just digestible enough you might put up with it.
"What is the minimum number of instructions a compiler could make use of to get everything done that it needs?"

I didn't go for the absolute minimum, but I did aim for useful and reasonable minimum with the ggx[1] ISA (now called moxie[1]) by defining the ISA incrementally and only adding instructions used by GCC.

The approach I took is described here:
[1] https://github.com/atgreen/ggx

[2] http://moxielogic.org/
"Major concerns that count against the presence of life are related to the closeness of the star."

I think the 'major concerns' are that we don't exactly know what 'life' is, and that since we have no information about any other 'biological entities' such as ourselves anywhere else, we can't entirely assume that it's a common thing.

I suggest that if we find life out there, it will be very common. But it's not entirely plausible that this is the case.

It's an interesting statistical game, made very difficult by the fact we don't fully grasp how 'we' became in the first place. I mean, we have the gist of it, but there's so much that remains unknown.
I always considered the USA's rule on who can become president is really unfair. Legally, if you weren't born in the USA, you are a second class citizen. Contrary to what's commonly claimed, immigrants can never become 'fully American'.
>As recently as last month, the startup was content to become the “Lexis Nexis for state records,” a service that would make fragmented state court records “more accessible and transparent.”

It's not too late to still do this. You have the chance to really disrupt the legal system, instead of just making investors happy.

See also this HN comment:
https://news.ycombinator.com/item?id=12352942
There's another type that they're missing. Given enough water and ice on the planet, a hot planet could have a full ocean that is continually boiling on one side and raining/snowing on the other, with little or no islands poking out of the ocean.
The AS/400 is more like an AOT than a JIT compiler. When I hear JIT I think opportunistically compiling portions of a program, but falling back to an interpreter.

The way AS/400 works, IIUC, is that the compiler compiles to an intermediate byte code, which has remained stable for decades. When the program is first loaded, the entire program is compiled to the native architecture, cached, and then executed like any other binary.

The reason why JIT environments aren't competitive generally with AOT compiling is because of all the instrumentation necessary. A JIT environment is usually composed of an interpreter[1] which, using various heuristics, decides to compile segments of code to native code. But the logic for deciding what segments to compile, when to reuse a cached chunk, etc is complex, especially the pieces that keep track of data dependencies. Also, each chunk requires instrumentation code for transitioning from and back into the interpreter.[2] For this and other reasons JIT'd environments aren't competitive with AOT environments except for simple programs or programs with very high code and data locality (i.e. spending most of the time inside a single compiled chunk, such as a small loop).

Large or complex programs don't JIT very well. Even if the vast majority of the execution time is spent within a very small portion of the program, if data dependencies or executions paths are complex (which is usually the case) all the work spent managing the JIT'd segments can quickly add up. Programs that would JIT well also tend to be programs that vectorize well, and if they vectorize well AOT compilers also benefit and so JIT compilers are still playing catch-up. (One benefit (albeit only short term) for JIT compilers is that some performance optimizations are easier to add to JIT compilers because you don't have to worry about ABIs and other baggage; you iterate the compiler implementation faster.)

I increasingly hear the term JIT used in the context of GPU programming, where programs are generated and compiled dynamically for execution on SIMD cores. But that's much more like AOT compilation. The implementation stack and code generation rules are basically identical to a traditional AOT compiler and very little like the JIT environments for Java or JavaScript. The only similarity is that compilation happens at run-time, but you can analogize that with, for example, dynamically generating, compiling, and invoking C code. Which, actually, isn't uncommon. It's how Perl's Inline::C works, and how TinyCC is often used.

[1] Mike Pall has said that the secret to a fast JIT environment is a fast interpreter.

[2] So, for example, calling into a module using the Lua C API is faster in PUC Lua than LuaJIT. LuaJIT has to spill more complex state, whereas the PUC Lua interpreter is just calling a C function pointer--the spilling is much simpler and has already been AOT compiled.
Takeaways from “Simplifying the Future” by Adrian Cockcroft
Indeed. In fact, filing an inter-partes review, something our partner Hard-IP is very good at, is significantly cheaper than litigation in federal court. Also, with a large enough joint defense group, we may be able to negotiate arbitration or mediation (we would recommend baseball style mediation).
They only guarantee gross pay -- that figure doesn't include Uber's cut or operating expenses[1][2].

Together, that would make your taxable income something like 60% of the figure.

[1] http://therideshareguy.com/what-to-make-of-the-2016-uber-hou...

[2] And seriously, phrasing the guarantee as before their own cut? Come on, guys.
Interesting science for a non-expert. Even a better story of the power of the human spirit to overcome obstacles like a damaged visual word form area.
I'm not really good enough to Play the Game yet, but it's endlessly entertaining to watch those who are.
> The (argh!!) used-to-be-chronological list starts above the fold.

I'm pretty confident that the photo lists on tags, etc are still strictly chronological. It's just timelines that have changed.
Chainfire of SuperSU/android fame has an app that does something to combat this called pry-fi[1] that randomizes a bunch of data, and can appear to be many devices at once. Requires root of course.

https://play.google.com/store/apps/details?id=eu.chainfire.p...
Build a Better API (2015)
Make Standalone Mac Apps for Inbox, Google Cal, and Maps
Can you explain me more details?
Pre-regulation gambling was often for much higher stakes. Gambling in modern times is for fairly low stakes in comparison. Legalized casinos are supposed to control the amount that people lose and keep it to reasonable values.

Second, that was a time where households relied on a single male breadwinner. If that man became a gambling addict, it destroyed not only his future, but the future of his wife and children as well. So much the same as the Temperance movement, anti-gambling laws were aimed at protecting the entire family.
> I guess it's difficult for a small number of people to rank the papers.

This is what's done every year at the AI conferences. No need for a new voting system.

- 3-5 most important papers in the last 3 months: The "best paper award" deep learning papers of the most recent 1-2 AI conferences.

- 3-5 in the last 1 year: Top cited deep learning papers from AI conferences this year.

- 3-5 in the last 5 years: Top cited deep learning papers from AI conferences in the last 5 years.

Since AI conferences don't happen every day (or even every month) this would not be a hard list for a novice to maintain.
They say the star's gravity fixes one side of the planet toward the star, and that ice builds up on the other side. I suppose if the atmosphere had enough mass, and the balance was precarious enough, the far side could accumulate enough ice to flip toward the star and become the near side.

So there might be a season change every so often
objdump -S does the trick too, it even has the C code intermixed if the -g CFLAG was used.
Being charged to give birth is one of the things I find most incomprehensible about the US system :(
There are a lot of criticisms here about Apple's secretive AI/ML development practices. But it's not unusual to Apple's long culture heritage of secrecy.

From consumer's perspective, I applaud their firm believe of customer privacy as well as pioneering consumer products based on AI/ML development AND with differential privacy in mind.[1][2]

[1] http://highscalability.com/blog/2016/6/20/the-technology-beh...

[2] http://www.imore.com/our-full-transcript-talk-show-wwdc-2016...
Cancer survival not linked to a positive attitude, study finds
>stop wherever they want

Have driven for Uber.

There is approximately nowhere to legally stop in a busy downtown area aside from parking garages that cost $35+. The best you can do is pick stopping places that minimize disruption to traffic (i.e. fire hydrants, no parking zones that could easily accomodate parking, the parking spaces too close to the stop signs) and get into/out of them safely, signaling, watching mirrors and checking for bikes. Be quick, and if a cop or more legitimate user of that parking space comes up, get out of it and circle the block.

If we insisted that drivers only stop in legal parking spaces, there would be nothing resembling delivery or taxi service in a busy downtown area, except at the handful of buildings that actually have taxi stands and loading docks.

There's a reason one of UPS's largest operating expenses is parking tickets. IMO that's perfectly fine. The city has to make it cost something so it's not taken lightly, but the service still gets to exist.
In the post you mentioned that

>>"In those tasks training from scratch with this model architecture does not do as well as some other techniques we're researching, but it serves as a baseline."

Can you elaborate a little on that? Is the training the problem or is the model just not good at longer texts?
> I always considered the USA's rule on who can become president is really unfair.

It made sense in the late 1800s, when foreign potentates exporting friends and family members and sponsoring their efforts to become rulers abroad was more of a thing, and the US was a young and not well-established country that might be particularly vulnerable to that.

Its arguably outlived any reasonable need, but at the same time the US has developed enough cultural nativism that, combined with the by-design difficulty of amending the Constitution, its difficult to change.
They also have flat fares in Chicago for $3.12 with uberPool, Monday to Friday 6am to 10pm. All trips must begin and end south of Irving Park, north of 71st Street, and east of Western Avenue. https://www.uber.com/info/chi-uberpool-312/
I see that I have been mistaken in my claim that there is no objective definition of what type safety means. I read the Wikipedia article after reading your previous comment, because I think I finally understood what you meant. I was convinced that type safe was a different way of saying strongly typed, but now I see that they are not the same thing.

Having now read various definitions of type safety, I still do not agree with your initial statement that type safe languages automatically precludes violations of the LSP. The Rectangle > Square problem does not happen because the programmer is not able to specify the necessary type constraints, but because she chooses not to. If by Rectangle one really means "A Rectangle which can mutate its width and height independently" and that can be encoded as a type then yes, a type safe language will enforce the LSP in this instance. But the requirement that a Rectangle has this particular behavior is not something that most programmers would think to enforce with a type, even if their language allowed it. When we model the world, we usually strive to only include what we consider to be essential, and the requirement that width and height should be independently adjustable would not be one many programmers would think essential to what is a Rectangle. But that one's model of a Rectangle has this particular feature is something that is easy to take for granted, and come to rely on once it is there. I.e. a model of a Rectangle is more useful with this feature, but without it, it is still a Rectangle.

The problem is not the types. The errors you get when you violate LSP are not type errors, but logic errors.
Modify the backend, or do a binary translation from one to the other and test. If `lea` is the predominate instruction, there might be microcode optimizations that favor `lea` over `movl`. My hunch is that is will be mostly the same barring overflowing the instruction cache. The microps should compile to the same instruction stream.
I believe you can buy the Tyan boards and get prices. They are not cheap but not unreasonable http://www.tyan.com/solutions/tyan_openpower_system.html

FreeBSD runs on modern Power I believe, but the other BSDs only run on older hardware AFAIK, although IBM is pretty good at providing hardware so that may have changed.
I believe it is a factor of how likely they think your ride will get matched.

I have been riding uber every day for the last few weeks after a skateboard crash. Pools from home->work are almost always ~$7.50 and pools from work->home are almost always ~$2.30. I believe it is because i work at an uber hot-spot and live in an uber dead-end.
It's generally helpful if you don't trot out 2-3 year old claims. Both maps and Safari have had massive changes recently and both are if not on par with other companies it's really close. Apple has had issues with OS X reliability and music can be truly bad at times and iCloud (especially sync) is almost embarrassing. I'm a huge Apple fan and an iOS developer but they aren't without fault but if you are going to call them out make it current.
Epic Games forums hacked again, over 800,000 users affected
Interactive EasyFlow
Hackers can easily take over cellphone towers, researchers found
Check out Proxima by Stephen Baxter:

https://www.amazon.com/Proxima-Stephen-Baxter/dp/045146771X

It's a Sci-fi book about life on Proxima Centauri and includes the idea you mentioned.

(Also a really good read!)
Slack Needs to Die in a Fire: Replace Channels with Threads
Cool looking site/project... However, the web page kicked the fans on my laptop into jet mode.

Is this like Jupyter or built with Jupyter tech?
In conservative cultures, especially for females, it can be much safer to dress to the local dress code, even if it that is different from your personal beliefs.
Yes, Escape From Butcher Bay. A gem of game from the first-gen xbox era. Not sure if it holds up, but at the time it was a very high quality release.
This simple code and more time on hands to spend on promoting = successful startup. No one really cares about scaling YT-like app when it has 10 users.

Developers will handle that. And if they want jobs, startups must be made. As you might know, successful startups are made by less technical people mostly...
I must be missing something. Link to download or Github?
Subjectively I find areas surrounding Monterey Bay very pleasant, which includes places like Monterey, Pacific Grove, Carmel-by-the-Sea, and Pebble Beach; but also on the other side Santa Cruz and its suburbs. It's expensive, but you're close to the coast, surrounded by greenery and potentially redwoods, and are reasonably close to SV/SF without having to contend with it daily. Though traffic is a challenge, it's within plausible commuting distance of SV.

If you're looking for somewhere a little more removed from major activity centers, the extended San Luis Obispo area including Morro Bay and Pismo Beach is decent, and you're nearly equidistant from both LA and SF, about 3-4 hours away. It's outside of commuting distance, but well-within daytrip distance.

I happen to be enamored with San Diego too, but it's all the way down at one end of the state, and it's two hours closer to Phoenix than to San Francisco. If you're looking for centrality, you won't find that there, but the city is lovely, and it's a functional metro with good jobs and a large military presence.

Edit: Bay Area peripheries like Santa Rosa (in the north) and Gilroy/Morgan Hill/Hollister in the south, maybe Tracy/Stockton in the east, are probably a good compromise, but other than striking a balance between affordable and not-too-far from SF/SV, are not too compelling in their own right.

Edit: Coastward LA periphery cities like Simi Valley, Thousand Oaks, Ventura, Oxnard, are quiet, shaded, suburban, but also pricey. LA traffic is a nightmare; you're 'on paper' within reach of LA, but don't bet on it.

Other than possibly Sacramento, I don't find the Central Valley particularly appealing. The cost of living is lower, but with the exception of Sacramento and Bakersfield, none of the valley cities project a strong sense of place; this applies to the desert exurbs like Palmdale and Victorville too, except for maybe Palm Springs.

Every other area of the state is on the periphery and you're too far away from major employment centers to be a useful place to make a living in the general case.
Have you ever ordered a package from Amazon, had a pizza delivered, or taken a taxi? Been picked up by a friend or parent somewhere that didn't have its own parking spaces?

If so, I'm guessing you've benefitted from a driver stopping or parking in a place they weren't legally allowed to stop.

Do you think these services should go away, or what?
Until the 20th century, no human had been on either pole of Earth either.
It would be interesting to see a "realtime" view of all of those spots on one page.
> Erlang OTP makes the need for a specific distributed framework less relevant.

As I understand it, OTP is (among other things) a specific distributed framework.
This seems like a much more minimal version of what Sandstorm does.

Sandstorm is more interesting in many ways, but it's oddly high friction to get going with it. I installed it, got its config page, and was excited to get it running, but then I discovered that you can't just have normal password auth. You must authenticate using a third party service like Google or via one of their 'enterprise' options like LDAP, etc. This seems really really strange for a 'decentralization' oriented project, and I just didn't move forward with it because... huh? I just wanted to log into the thing and use it.
How does this compare to LightTable?