skysight-inc/HackerNews huggingface dataset:
Yeah, at their level of bulk purchasing, it wouldn't. Cost on a Blue ray drive, cost of discs packaging, etc... All put together they would save. But they got bitten pretty hard by the "how dare you not let me sell my old games" crowd. That seems to have deterred them from "download only" distribution.
There are two objections. One based on the article one prohibition of ex post facto laws, and another based on a 4th amendment prohibition against unreasonable search and seizure.

The problem here is the sentence was already handed down by the judge, and the law seeks to retroactively add to it. If a judge handed down a sentence that included the monitoring as part of the sentence it probably passes constitutional muster.
The article mentions two independent groups of physicists who both had access to his device and both reported the same results. That would mean that both groups were in on it, or he's become so good at faking his results that they withstand a month of scrutiny.
> He is really not very good at measuring energy input and heat output.

Calorimetry is actually extremely hard to do right. VERY hard. I stopped following this field a few years ago, but back then EVERY single positive result was due to faulty calorimetry.
> I don't think it's entirely ridiculous that you can't resell an item that never degrades.

Thats an argument for protectionism, but not for consumer benefit. In fact it feels like the opposite -- using IP law to force consumers to pay more for the exact same product that could be bought "used."
Sometimes you know what the types look like but not in detail. For instance, you know you need a structure with several named properties, but you don't commit to a type for some of them. You can have a fairly deep idea about the object model: what kinds of classes there are and how they connect, yet be loose about some of the lower level details.

You have types in the dynamic realm. Only, you're not restricted to executing nothing but consistently typed programs.
Yeah but you are a consultant, it is a slightly different role than trying to convince someone to make you an employee, though I understand there may be a similar sort of salesmanship going on. They may assume a consultant should have whatever qualifications or they wouldn't be in business, whatever.

Also, you should not that in many cases consultants in other professions often give full resumes including education (even pictures) in their proposals to RFPs, I would think you would be familiar with that in your work.

Anyway, as far as the "can you do it" stuff .... I think HN too often writes off university as a place one might learn "how to do it" .... Oh well. =)
I tried Löve a few times as well as many others while searching for an engine to make simple graphical/physical simulations using a dynamic scripting language in for work (using other libraries). It was okay but my favorite was Gosu (ruby/C++), I wish it saw more love.
I hate to be exclusionary but wouldn't you think that if you were so introverted that you had a hard time sharing a space with other people then maybe you shouldn't live in a shared situation like this?
> The explanation I've heard is that he has something which works (for some definition of works) but doesn't know how it works or why.

This happened to someone - one batch worked, one did not.

Turns out that palladium can be refined from spent nuclear fuel https://en.wikipedia.org/wiki/Synthesis_of_precious_metals#P... and his first batch was "contaminated" in this way, and worked. His second batch was traditional mined from the ground and did not work.

Caveat: This is a story I heard, I have no direct evidence for it.
Objective-C lets you add ivars without breaking subclasses (by computing and caching ivar offsets at runtime rather than compile time), but you still can't safely ever add methods to an existing class without running the risk of a subclass unintentionally overriding that method.
> do frauds carefully guard their papers to make sure they don't get out, or do they publish far and wide?)

I don't know, but the publicity machine at the time didn't inspire confidence in any science.

> We didn't disprove it, we didn't show evidence that P&F were wrong... and the fact that we spent lab time and money to replicate the experiment described in the pre-print shows we considered it possible enough to spend the time.

I'm surprised that a nuclear physicist would regard it as anything other than bollocks (to use the British technical term). It had the look of pathological science from the off in my eye. While I might have been willing to demonstrate the lack of fision products from an F&P apparatus brought to our detectors, it wasn't worth any significant effort/resources, and clearly nuclear physics expertise was the last thing that was wanted by proponents.

Some of us were doing actual fusion experiments with things like platinum and palladium at the time. Their important property for nuclear physics, apart from the right atomic number, was ability to hang together in intense heavy ion beams, so that data-taking was just limited by the data acquisition interfaces, not the target. [Ob-hacker: the data acquisition and analysis systems were quite interesting, especially for the time.]

For the record, I did get results published from such measurements which overturned widely- (universally-?) held belief in the field.
Clearly this man's intellect is through the roof. Reading this post and him explaining these concepts in such first-principle terms (despite not being a physicist/rocket engineer) indicates his in-depth understanding (nothing new there). I know he has a Bachelors in Physics but bear with me.

But, I'm just in awe and I keep thinking 'how does he do it?'.

He's running two intensely technical and risky companies. Yet he seems involved in and knowledgeable about every aspect of their operations and tech. And finds the time to write a post like this before what is an incredibly important and defining endeavor.

What can us, mere mortals learn from him? We can't change our baseline raw intelligence (which effects how quickly and deeply you can learn new things), but are there other patterns we can replicate in our lives?
Rossi is very fishy, and he has no clue why his 'invention' works. Scratch that.

However, these two Swedish professors Lidgren and Lundin were involved in testing Rossi's claims a few years back. Lundin is a plasma physicist at the Swedish institute for Space Physics, and has a long publication record. (https://scholar.google.com/scholar?q=%22rickard+lundin%22&hl...)

Now they've published a paper:

"Nuclear Spallation and Neutron Capture Induced
by Ponderomotive Wave Forcing"

Here:
http://www.irf.se/Publications/?dbfile=IRF%20Scientific%20Re...

They're saying essentially that they can use heat and EM field to resonance to make solid-state materials expel a neutron. They call this "thermal neutron spallation".

Which is a pretty bold statement of an entirely novel concept.

They've said they're setting up an experiment to demonstrate this novel form of neutron spallation.
Kotlin 1.0-beta 4 is out
The problem is a lot of CUDA and OpenCL programmers are not programmers at all, but are amateurs with STEM degrees. They think programming is easy because, surely, all you're doing is typing a few words into a text file, how hard could it be?

I wish I was telling a joke, I've met a lot of "programmers" from academia that don't care if their code is horrible, or worse yet, returns a wrong answer during edge cases, they just want it to compile error free and produce results.

This intersects with the popular HN opinion of "if you're going to publish a scientific paper, you must also publish the exact code that processed your results, too."
It does run at compile time, and it doesn't run afoul of Rice's theorem (a useful generalization of the theorem about the halting problem) because it's not implementing a general decision procedure that can decide for _all_ programs whether the property holds.

It's possible to solve halting-class problems for restricted subsets of programs, as well as to enlarge those subsets greatly by forcing the user to help. For example, I can trivially "solve" the halting problem for the subset of programs that contain no loops or recursion, by simply refusing to make a decision on programs that do. I can also solve it for the subset of all programs that do halt by simply running the program and reporting when it halts that it does, in fact, halt.

More usefully, the type systems in Peaker's examples rely on user-provided annotations to help the compiler "see" the truth of the user's claims (or equivalently, the compilers restrict the class of programs they operate on to those programs which contain sufficient user-provided annotations). The compiler doesn't have to prove everything itself - it only has to check that the proof is valid according to the rules of the relatively simple logic of the proof system.

The history of type systems has largely been a story of improving these logics and inference systems to reduce the amount of help needed from the user and enlarge the class of things that can be proven about programs. In this context, Rice's theorem amounts to saying that, no matter how complicated you make your type system, there will _always_ be programs that either (a) are valid but not accepted, or (b) are accepted but not valid.
Western Europe has the scientific revolution (around the Baroque era), and---bam---a few short hundred years later they dominate the globe in the 19th century.
As someone who always prefers shared housing, this does not sit well. It's not a cooperative, it's a dorm/hotel-like arrangement where laundry and cleaning tasks are outsourced to people who can't afford to live there. You're paying someone else to be your mom.

That model works for short-term arrangements where inhabitants are very busy (students and travelers), but this sounds like it will become a gentrified echo chamber of Rob Rhinehart disciples.

I agree with other commenters that cooperative ownership models, with sharing of costs/chores/equity/governance, are more accessible across the socioecomonic spectrum and tend to build stronger communities.
> It ensures that this data structure is an instance of the specified type.

But downcasts are unsafe.
Oh yeah, totally agree. But Steam is setting themselves up for the same scenario if they don't stay at the front of the innovation game |;)
Marin is a weird county. Yes--there are Nimby's, but it's the infrastructure. These towns are small. The roads are narrow. The sewer systems are pathetic. It was just not designed to scale out.

Anyone who has been in 101 traffic knows what I mean. There were times I slept in my truck while in San Francisco, instead of dealing with that traffic. I was in construction at the time, so my appearance the next day didn't matter.

I would like to see the county/towns approve a few variances. I honestly don't think they ever pass them, but they happily take in the fees. Years ago I had a chance to buy a cabin in Laginitas, but the zoning was agricultural and the lady at the planning department, said she would take my money, but my chances were zilch. She was just being honest. I still wish I bought that cabin though.

I don't have an answer to the housing crisis. I would like to see more harbors built. Harbors where you can live on your boat.

I want to clear up a few misconceptions. In San Francisco, most Union Plumbers, and Electricians are making $100/hr. Housing has been a problem in Marin and San Francisco forever. I don't like it. Most Marinites wanted Bart, but at the time the state didn't have the money. I know because my father worked on that project for over a year.

Part of the problem is the head honcho wants to live/work in a very desirable city/location. If they want employees to show up for work--pay them more, or set up shop in a less desirable place to live. Or, let them telecommute?

Again--I've though about this for years, and I don't see a solution. My solution has been living on a boat, but it's not for everyone. I truly think if their were more harbors that allowed live-aboards it might help? And approve a few trailer parks?
This is the situation now. You think the current situation is bad?
> I really hope digital downloads will take over.

There are lots of people on capped satellite/3G/"water tower" internet who enjoy gaming that are going to be cut out of the market if consoles go to a pure digital distribution system. Additionally, gamers in very remote locations (submarines, remote foreign villages, etc) couldn't have the latest releases mailed to them. Somehow they'd have to find a broadband connection. It doesn't make much sense to eliminate a class of paying customers by switching to 100% digital distribution.
It was very undivided 8 years ago - it was common knowledge to never, ever override the prototypes of built-in objects. In fact, a major reason that JQuery won out over Prototype & Mootools was because the latter two monkey-patched built-in prototypes, and as a result were incompatible with each other or with any other library that overrode built-in methods.

IIRC, this was an interview question at Google when I applied in 2008, and I think one of the reasons I got the job was because I was aware of all of the pitfalls of it.

I managed to skip using underscore, but from a quick glance through the library, isn't the reason it's called underscore because it provides '_' as a namespace for all the utility functions, rather than altering Array.prototype the way Prototype did?
There is a great clourflare article [1] that has talked about this before when they first suggested LV certs.

> The seemingly good news is that globally, SHA-2 is supported by at least 98.31% of browsers. Cutting 1.69% off the encrypted Internet may not seem like a lot, but it represents over 37 million people.

There is also an interesting discussion in Security Now #538 [2] there is also a transcript of the show [3]. Skip to page 2 of 39 just where Leo says "Yeah". Android 2.2 and Windows XP SP 2 are on the list of things that don't support SHA-2. These devices exist particularly in the developing world. It sends the wrong message, to the developing world in particular, if we don't support HTTPS for them. It encourages websites in areas where it isn't 1.69% of their users but maybe 5% of their users to just not enforce TLS. TLS with a SHA-1 signed LV cert is better than no security at all.

Facebook's also has a cool server add-on to dynamically serve LV certs to those who need them is very promising. If it is in-production at Facebook it is bound to be good.

[1] https://blog.cloudflare.com/sha-1-deprecation-no-browser-lef...

[2] https://www.grc.com/securitynow.htm

[3] https://www.grc.com/sn/sn-538.pdf
Rossi contraption is just that (or not, as long as it's not scientifically open no-one should care).

What I'm curious about is this:

http://animpossibleinvention.com/2015/10/15/swedish-scientis...

Guys basically claim they found a way to create free neutrons at lowest possible energy cost, published a paper and even ran some initial experiments.
While Haskell's (well, GHC's) runtime does have parts that are written in C, GHC itself is written in Haskell (and was originally written in a ML dialect I think). The lineage of FP languages seems to be very different than whats typical.

But yea, random blanket statements like that aren't helpful.

There is an older Lua backend for PureScript (at https://github.com/osa1/psc-lua) that may be worth checking out... if it gets a revival. AFAIK that version is a superset of (current) Elm, so it may be possible to combine it with love to get some sort of "Elm for love2d" :)
You can have a degree, but any considerable experience and knowledge still comes from actually doing something.
He has a reputation for being an extremely hard worker.
GitHub. Although, it starting to seem weird that so many open source things are hosted there, but the actual GitHub source code isn't open source.
We had three or four plans, the last being "enterprise/contact us". We found that we were only making money on enterprise customers and hence the price page became just "contact us" - so we took the page away. I expect that MANY SaaS vendors go through the same pivot.
Their prices are pretty
high compared to typical rentals in the same neighborhood. You could get a 1 or maybe 2 bedroom apartment for the same money.
The problem with your analogy is that while a movie can take two or three hours, a game can take dozens or hundreds, which means a lot more time spent in your "pod".

It's interesting to note, however, that a variation on this idea has already come and gone: arcades. Those were the places you went to when you wanted to play a game somewhere other than your home.
There is plenty of work in PL that covers why type theory is useful. Check out the classic paper by Philip Wadler called "Theorems for free" that covers some of the terrific benefits of parametric polymorphism.

There has also been a good amount of discussion generated by organizations such as Jane Street concerning the benefits of static typing and type inference in practice. Notably, the free documentation (that is completely coupled with the code) that you get when you design software that takes advantage of the type system.
Hey I am browsing some of the CI examples and this is the first one I saw

https://gitlab.com/ayufan/python-getting-started/builds/1793...

I can't seem to tell how to find logs.
Phabricator[0] is a more mature alternative if anyone is interested in an open source and free substitute for GitHub. I think the only thing GitLab might have over Phabricator is a familiar GitHub like UI. Phabricator was an internal Facebook project that was open sourced. It's actually far more than just a substitute for GitHub. It has a much better system for managing issues, and better code review tools as well as other powerful features. My favorite feature is the herald system[1].

[0] http://phabricator.org/

[1] https://secure.phabricator.com/book/phabricator/article/hera...
All is fun and honey until bears arrive by thousands and someone gets poked in the eye.

Now seriously... seems a good idea. I wonder if elephants will learn to visite the place at night and avoid touching the beehives.
The baggage scanners do use x-rays. Much stronger than the body scanners, in fact, since (as you pointed out) the goal is to see through things. So yes, a dosimeter would react to them.

I was about to say "hopefully nobody's sticking their hand inside one", but then I found this:

http://io9.gizmodo.com/5973513/what-a-human-being-looks-like...
When you say post-quantum certs, do you mean using a technique like key stretching (i.e. PBKDF2) to slow down the brute force time?
It occurs to me, after reading this story a second time and reviewing the latest comments posted to this thread, that this is a science story that wasn't reported by a science journalist. It's not at all clear--only a company spokesman is quoted on the point--that the machine even WORKS. It's also not at all clear, even if the machine is effective at reducing air pollution (where is the independent evidence?), that it is as good for that or as inexpensive for that as other measures that might be taken to reduce air pollution. The town I grew up in has much less air pollution today than it had when I was young. The newly industrialized countries of east Asia (I am most familiar with Taiwan, but the fact is the same in other countries in the region) have less air pollution today than they had in their worst years. There is a lot known about technology and a lot known about effective regulation for reducing air pollution. This story really needs an experienced science reporter, not a rookie in international reporting, to tell the accurate story about what's the best thing to do to handle China's horrific problem with air pollution.[1]

[1] "Study Links Polluted Air in China to 1.6 Million Deaths a Year" (New York Times 13 August 2015)

http://www.nytimes.com/2015/08/14/world/asia/study-links-pol...

Chinese version of story: "研究称中国每年有160万人死于空气污染"

http://cn.nytimes.com/china/20150814/c14pollution/

Other recent QZ articles about China, by other authors:

http://qz.com/on/chinas-transition/
This has been done a dozen times, from DC-X to JAXA's RTV to Armadillo's Stig. What makes the SpaceX effort different is it's part of a practical launch system and not an SSTO concept prototype like the others.
Ok, this part makes perfect sense: it's clearly unjust to add penalties to sentences after the sentencing phase of the trial is complete.

I'm just wondering if there's an argument here past retroactive sentencing.
Even if everyone in the house is an extrovert compared to the wider world, someone is still going to be the most introverted person in the house. And the most charismatic and extroverted person in the house is going to relatively dominate the common space.

It's a recipe for conflict, and if they don't have a formal way to precess that conflict, there's going to be either bloody noses or hurt feeling.
The costs of discs and distribution don't come back to the console makers (for most titles). The hardware does and a Blu Ray drive is dirt cheap.
I was merely stating that the OPs observation is true with what GP said. I agree that it often won't get that far - I've often passed over tools that my employers would have bought because I couldn't access pricing without contacting sales and didn't want to ask for something without knowing what it will cost.
If I was a fraud this is exactly what I would do. Take an existing paper and just make up the results that confirm the work with a slight twist to make it publishable. Rinse and repeat and nobody will ever catch you.
GitLab has a fine interface and offers free private repositories. If it weren't for GitHub's network effect advantage, I'd use it for all my git projects.
Eric Schmidt: AI should have verification systems
Again, you are confusing syntax and semantics. All you need to do to have the exact same surface syntax with single-argument functions is to stipulate that the arguments to a macro expander are passed in as a (single) list.
> As for reselling games, that would seriously hurt developers. A single game could be resold 100s of times, but only the first sale goes to the developer, and everyone else in the chain plays for free.

Video games have been resold since video games were invented and there still continue to be new titles.
"What prevents gay marriage from degenerating to polygamy and beastiality?"

This is the same argument just from the other side.

Now while I don't agree with this law on principle I really hate this type of hypothetical argument. If you embark on this road you can argue that a law which is aimed at fixing pot holes will cause the rise of the 4 riech.
The plaintiff in this case is a serial molester of young children, convicted twice, paroled, and sent back to prison when he acknowledged contact with two kindergarten-aged children (a grave violation of the terms of his parole) and admitted to considering molesting them.

There's not much more justice in committing him involuntarily, nor would we prefer to incarcerate him for the rest of his life, if we can find other ways to prevent him from coming into contact with children.
Have a look at the pictures from China they link to. Eg http://www.cbsnews.com/pictures/nap-time-in-china/ and http://www.businessinsider.com.au/chinese-shoppers-sleeping-...

You'll find much to rejoice in the first set.
Freelancing for Students: Top Sites for Consideration
Aldi $350 Gift Voucher Scam – MailShark
Sorry, I was asking if you accept article contributions.