skysight-inc/HackerNews huggingface dataset:
There are three phases. First, the machine and its software have to be approved before deployment. That's done at Nevada Gaming Commission's lab in Las Vegas, and they require access to the source code. Here's the application form.[1] The applicant must
("Provide the Lab with all necessary hardware, software and documentation to reproduce
programming and executable software. This typically includes a PC that contains no operating system, along with an operating system and compiler that is submitted on OEM media or downloaded from a verifiable source approved by the Lab. The documentation must include procedures for installing and configuring the operating system, compiler tools, libraries, certificates and anything else necessary to reproduce programming and executable software.") The approved version's hash is computed at the lab, and that's what has to match on machines in the field. There's an official state program, the NVSGCB Hash Verifier, to check this.[2] It's a Windows program (yes, I know) which checksums media and has a file of all the approved programs and checksums.

And yes, they look for hardware backdoors: (The chairman may require
transportation of not more than two working models of a new gaming device to the new game lab of the board ... The lab may dismantle the models and may destroy electronic components in order to fully evaluate the device.)[3]

The second phase is the field check. In the days of standalone slot machines, the field check involved an Gaming Commission inspector plugging the machine's pluggable EPROM into a reader and computing its hash. Now it's tougher, but if the program is on some removable medium, it can be checked independently. Downloading updates is prohibited.

The third phase is logging. The logging requirements require logging all gambling and maintenance activity on logging media that survive maintenance. Every time a machine is opened, that's logged, too. In multi-machine systems, logs are kept both locally and centrally, and the central logging machine has to be physically inaccessible to the people maintaining the machines. If something funny is going on, there should be enough info in the logs to find out what, and who.

There are lots of specific requirements, from two-factor authentication to random number generator design and testing. There are many statements made under penalty of perjury. They even prohibit pop-up ads on slot machines, although advertising when the machine is idle and has no credit on it is allowed.

Just about everything they check for has been tried at some point by someone trying to cheat. They're up against organized crime. This isn't airtight, but it's far better than what we have now for embedded consumer software.

[1] http://gaming.nv.gov/modules/showdocument.aspx?documentid=27...
[2] http://gaming.nv.gov/index.aspx?page=102
[3] http://gaming.nv.gov/modules/showdocument.aspx?documentid=29...
But it sounds like you and Ben are acknowledging that there is a potential problem here, which we should spend resources trying to prevent.

No one who has put any serious thought into AGI denies the possibility of an existential threat from it. The fact is though that we have absolutely no clue what chain of events would lead to that. In fact we have (almost) no clue what chain of events will lead to AGI in the first place.

The best way to know what will come from AGI is to start building it and seeing where the controls and capabilities are going. I personally think the AGI community needs to put more effort into a roadmap, which is done at every AGI conference to some degree. The problem though is that it's just too early and there just aren't enough researchers and funds to have any inkling about what is (are) going to be the best approaches to AGI. I could go all day and caveat everything, but the bottom line is, just start building because we are so far from it absolutely anything helps.

"once we have AGI systems that are massively smarter than people, they are going to do what they want to do, or what other powerful forces in the universe want them to do, but not necessarily what we want them to do." That's not the most reassuring comment ever.

Right. My personal proposition is:

AGI:Humans::Humans:Ants

Ben seems to share this approach. So to think we could control it after it's fifth iteration or so is silly. We also share the transhumanist philosophy which I think is still pretty fringe even within the tech community so I try not to go into that too much because it's just a whole ball of wax. I do think though that we need to have some of these conversations about what is next if human work is not necessary and later what we do if humanity itself is not at the top of the intelligence chain.
Do you eat too close to your bedtime. That can really destroy the effectiveness of your sleep. As can digestive issues which can lead to not absorbing nutrients.
It's interesting that the major cities in Texas are doing OK. Even for those that aren't doing OK, I'd propose that adding fiber rollout to the city's utility maintenance budget is the right thing to do in the absence of a better alternative.
What you do is have them do proactive documentation, arrangements, etc. ahead of time, and then, as able, have them do a small amount of work from home that is most critical and irreplaceable. This shouldn't be more than 10 hours per week if you've planned for it.

The founders should be willing to take on the extra critical work if her minimal contribution during the period isn't enough. If this takes more than a small amount of their time or she will not be able to do anything (hospitalization, complications), then you should be hiring another person or a contractor for the role anyway.
This looks like a good start. You'll need to use the Wayback machine:

https://en.wikipedia.org/wiki/Sendmail#External_links
People need to keep in mind that buying local food isn't necessarily better for the environment. Sometimes local produce production produces far more greenhouse gases than imported produce: http://www.salon.com/2008/06/24/food_miles/
Lenovo Broadwell devices are attempting to dig themselves out of the hole caused by Haswell trackpads. Probably not a good time to cripple them.

How would Lenovo react if Broadwell devices began receiving many service calls under warranty? Presumably the lock could be changed by a motherboard replacement.

Related article, http://www.pcworld.com/article/2883903/how-intel-and-pc-make..., ".. New thinkpad's can't be used anymore for coreboot. Especially the U and Y Intel CPU Series. They come with Intel Boot Guard and you are won't be able to boot anything which is unsigned and not approved by OEM. This means the OEM are fusing SHA256 public key hashes into the southbridge.

... to their credit, Intel does allow PC manufacturers to configure the hardware in a different way. The real way to get that open hardware seems to be to build it from scratch and make the right decisions along the way, as Purism is trying to do. If you want this sort of open hardware, be prepared to vote with your wallet."

Purism: https://www.crowdsupply.com/purism/librem-laptop
What good is the source code if you can't build it and flash it to your device? What good is it if you can't verify that the binary firmware was built from the source you have?
These 'privacy glasses' make you invisible to facial recognition
Regardless of my opinion on Kanye, his massive financial success does make it difficult to call him a loser.
I can't speak to California law, but you simply factor the mobile into your total overheard and budget the salary portion of it accordingly, i.e., over time, if you're paying $20,000/year for phones, you will probably be paying about $20,000/year less in salaries/equity EV equivalent.
If someone else were paying them, we wouldn't blame yahoo.
FWIW Haskell's unofficial motto is "avoid success at all costs" -- IOW, "stay small and keep experimenting".
While we're at it, we need something similarly physical for IPMI BMCs.
Vagrant-HOWTO
Not to ruin the analogy, but wouldn't the number of wives you have just increase by one every day? Because 2 * 0 = 0?
Internet privacy, funded by spooks: A brief history of the BBG
At least this did not get as much backlash as Superfish did.
For generations, Icelandic babies have napped outside in freezing temperatures
Yeah but that's not if you succeed at MAKING the product, it's if you succeed at FUNDING.
Trove Really Big Monster
While as an Ivy League student I relish in the potential that Stanford could be left out of this, heheh, these things are pretty inherently elitist and omegle has a similar function. Still, I signed up because I like meeting other Ivy students because there's some sort of weird vague bond between undergraduates, and that's at least something to make friends.
I love you are talking about it as betrayal, terms of emotional security/emosec that feel human and even compassionate, common parts of speech lost to technical difficulties to explain.

War habits throw words around about sensitive information but barely begin to describe the emotional depth of domestic-international relations, violence, and abuse.
Kamita => Kami da => (He) is God
Broadwell Thinkpads were announced a month ago, I wonder how many have shipped already? Superfish affected many Lenovo devices.
Go On. Quit Your Job. It might be the best thing you ever do
Memorization is important. Although so many more provisioning/procuring processes are automated than they were during the Internet's rapid growth phase in the West, engineers and other professionals still have a great need to handle the addresses, and to do so without frequently needing to look them up.

I observed that it took a little while for the majority of network-touching professionals to become accustomed to memorizing an IPv4 address in one or two glances. I believe doing the same for an IPv6 address is possible. As this happens, the adoption rate will accelerate.
It did not affect ThinkPads, but it did affect the reputation of Lenovo regardless.
Back-end/Full Stack Scala Developer - Boston, MA - nToggle

The nToggle engineering team seeks individuals passionate and disciplined about writing great software, and working together to tackle the challenges of the programmatic ad tech space. The team values developers that are enthusiastic about learning and sharing knowledge, view software development as a craft, and have an eye for typed functional programming.

As a member of the engineering team, you will gain a deep understanding of programmatic ad tech and be on the cutting edge of “ad tech 3.0”, developing large scale distributed systems with deep technical and mathematical challenges. The types of challenges that the team works on everyday include large scale data analysis and high performance software built on top of Scala, Scalaz, Finagle, Elasticsearch, and Spark.

If you're interested in working with us, please apply via http://www.ntoggle.com/back-end-full-stack-scala-developer.
Does anyone know if CompCert can be used to formally verify a commpiler of some other language than C, such as Assembly Language or Python ?
What a tiresome article.
http://www.coreboot.org/pipermail/coreboot/2015-February/079...

>This means the OEM are fusing SHA256 public key
hashes into the southbridge.

SHA256 public keys, scary indeed.
I'm not blaming the MVNOs for discouraging data use. I'm blaming them for advertising "unlimited data". If you have unlimited data, great. If not, don't claim you do.
I have always believed that the base operating system, and general libraries should be Libre, but individual applications should not need to be restricted this way.

This brings the best of both worlds. Freedom in the foundations, and an incentive to have real innovation in end user apps.

But patents and copyrights should expire after ten years.
I can't understand how these idiots didn't think to use ProtoMold so that their tooling costs would be reasonable.

http://www.protolabs.com/protomold

$10k buys you a LOT of tooling there and they'll do the maintenance on it if it starts to wear. Yeah you pay more per part, but who cares if it's a $0.20 or a $0.30 part when you're talking about going from $1 to $0.10 of overhead per part.

This whole thing reeks of massive, gross incompetence.
I have no problem with a cryptographically verified boot process, so long as I control the key or verification step.

Unfortunately, Intel stripped this freedom from CPU owners by allowing OEMs to lock down the boot process in a manner that cannot be bypassed. Soon Coreboot will be all but dead for machines with Intel processors -- other than Chromebooks which ship with Coreboot. Owners will have to accept the bios that vendors give us.

The UEFI legacy boot option also seems to be on its way out, so I expect there will be fewer OS choices in our future too.
When I'm at a retailer or a restaurant or wherever and there's an honest mistake, I point it out. I try to treat everyone in a way that I would hope to be treated in the same circumstance. IMO, anything else is selfish and exploitative.

I don't know what point you were trying to make with you Rite Aid example, but it just makes me discount your opinion on all things moral. Did you really need that $58, or do you just like pulling one over on people?
I think one factor is that people imagine their Kickstarters to be backed by a high percentage of people who visit the page when this probably isn't the case. If Kickstarter provided more lucid 'conversion metrics' to campaign runners, then they would have more realistic expectations of post-campaign sales promotions and this would help them to budget and plan more accurately and soon enough to avoid some problems.
Entrepreneurship 3.0
Massive libxo-zation that breaks everything
I don't think the option to disable Secure Boot is going anywhere at this point though.
Regardless of how blame is apportioned, I appreciate the clinical look at how they failed (though it was light on details, like how they actually miscalculated their BOM so drastically). With Kickstarters, it seems you're expected to publicly flog yourself if you fall short of expectations, but that's not necessarily productive.
NLP API for IoT
Is there an NLP API that stands out from the rest?
Now that is a hyperbolic title if I ever saw one.

Triblr has been up and down the HN frontpage, and there are huge criticisms
https://lists.torproject.org/pipermail/tor-dev/2014-December...

Not to mention, it's downright unusable... the speed you get from the routing is a trickle, not a torrent.
I was going to say loathsome, but sure.
That is the same experience with Delphi.

Is weird is not more popular (not just Delphi/pascal, but the idea of easy copy/paste deployment)...
Extreme Science in the Arctic
She was hired to save an already doomed company. I don't think it is fair to judge her without seeing all the harm the previous CEOs did.

Gates, Ballmer and Zuckerberg have never been in such dire straits.

Jobs did, and he succeeded, but he was truly exceptional.
If Y Combinator Did a Growth Fund, It Would Be Very, Very Late-Stage
Why tiresome? Because you don't want to hear some bitter truth?
Chrome's developer tools says "1.9 MB transferred" when loading the MEGA page with cache disabled. On the other hand, it says "7.1 MB transferred" when loading your Pastebin link.
Resourcefulness, agreed! I have made consumer products for less, with resourcefulness, careful planning and sweat. Key is to do a bunch of the work yourself. If you don't have those skills and can't learn them, get cofounders who do. Or use the skills you do have as constraints when developing new product ideas. Don't try to do too many new things at once — you're compounding risk.
Not if you consider things other than money.
BTW, fixing open source JITs to support Windows x64 SEH properly is on my wishlist for MS Open Tech.
Tell you what. I'll come work for your company for free except any revenue over 3k I'll take 5% of.
Edit: Measured boot (DRTM, e.g. implemented by Qubes) has some benefits over "Secure Boot" (SRTM), both for firmware modification and key management.

http://www.pcworld.com/article/2883903/how-intel-and-pc-make..., "There’s also a second option: “Measured Boot” mode, where the hardware securely stores information about the boot process in a trusted platform module (TPM) or Intel Platform Trust Technology (PTT). The operating system could then examine this information, and—if there was a problem—present an error to the user.

More on DRTM & SRTM: http://theinvisiblethings.blogspot.com/2011/09/anti-evil-mai...
I would say the disparity in IQ scores is another symptom of the same problem rather than a fundamental cause. I don't think black people are fundamentally stupider than Chinese people, for instance.
That's what GPLv3 is for.

1) GPLv3 defines all build scripts as part of the source code.

2) GPLv3 ensures that you can install the software you built yourself.

Signing is also useful, of course, but source code and free software seem like a more primitive prerequisite before code signing.

What good is signing if we are merely verifying the signature of malicious software? With source code, you can just build it yourself and don't need to trust any signature.
People wouldn't use 'em if they didn't work. I bet it would work better if I had a chance to actually view the content first -- who signs up for a newsletter when they don't know what sort of stuff is in it?
Ceres' Deepening Mysteries
I find it odd that AI risk has become such a hot topic lately. For one, people are getting concerned about SMI at a time when research toward it is totally stalled---and I say that as someone who believes SMI is possible. Stuff like deep learning, as impressive as the demos are, is not an answer to how to get SMI, and I think ML experts would be the first to admit that!

On top of that, nothing about the AI risk dialogue is new. Here's John McCarthy [1] writing in 1969:

> [Creating strong AI by simulating evolution] would seem to be a dangerous procedure, for a program that was intelligent in a way its designer did not understand might get out of control.

Here's someone thinking about AI risk 46 years ago! The ideas put forward recently by Sam Altman and others are ideas that have occurred to many smart people many times, and they haven't really gone anywhere (e.g., at no point between 1969 and now has regulation been enacted). I wish people would ask themselves why that is before making so much noise about the topic. The only people influenced by that noise are laypeople, and the message they're getting is "AI research = reckless", which is a very counterproductive message to be sending.

[1] McCarthy, John, and Patrick Hayes. Some philosophical problems from the standpoint of artificial intelligence. USA: Stanford University, 1968.
Silicon Valley: One in three children at risk of hunger
The Synaptitude Elevator Pitch (video)
he obviously wouldn't put it all into spy, you can buy a diversified portfolio of stocks that basically replicates the s&p 500.

http://www.nasdaqtrader.com/Trader.aspx?id=DailyMarketSummar... (74 billion dollars traded in one day)
I think 64 bit integers in Typed Arrays are harder to implement than the other typed arrays already in Javascript. The highest integer you can safely work with in Javascript is 32 bits (using the ( number | 0 ) trick ) and so I wouldn't think it's just a coincidence that there isn't 64 bit integer arrays.

I hold out hope for ES7 or ES8 to have them though - especially when SIMD.js comes about.
It's funny that both you and the other commenter assume I'm taking an editorial position on this. I was taken aback by the asymmetry of effort and cost. They hired a "small team of lawyers" to deal with a letter. It wasn't a lawsuit. It was a piece of paper with words on it!

Sort of similar to when you launch a big AWS cluster and when you hit "enter" you know you just spent a lot of money.
How well does this work in practice? I mean for a web server don't you still have to hook up _something_ in the server (at least to start up the binary)?

I mean in _theory_ setting up a Django webserver is just a ./manage.py runsrever but in practice there's a lot of stuff to fix up
Maven pom.xml files are added. Thanks!
Your innovation into this (the cross domain feature) sounds interesting, but Omegle has the basic design already down with popularity.
Go’s Language Design Leaves Others Behind
OCR Operations Support in Portuguese and Brazilian Languages inside .NET Apps
I've been away from go for a long while.

Did they ever figure out dependency versioning?
The title of the article seems... misleading. It implies the French government is forcing companies to manufacture products in a particular way, when what they are doing is forcing manufacturers to disclose to customer they planned lifespan of a product.

Which, by the way, seems like an excellent proposition. As a (potential) customer I can factor in lifespan with features and price for things I buy and make a better-informed decision about which best meets my needs. Anything that gives customers more accurate information should lead to better-functioning markets.
"Secure Boot" is a farcical misnomer when it prevents you from replacing Windows with OpenBSD.
The project was started five years ago. It is not really about buzz words.
You can export your bookmarks from your browsers and import them into Papaly (https://www.papaly.com)
> Because maybe you want your money to pay for the food and not the global transportation networks that brought you the food?

Sure, okay, but...why? Better for the environment? Doesn't seem to be the case. Tighter-nit community? Idealogical opposition to roads? Protectionism?

Serious question. Why?
It's how Facebook got started and then expanded from there. Setting aside the "elitist" critique, I think the founders attend Princeton so it makes sense to start from there and work out.

More generally, I wish more startups would start super focused and then work their way out. I think they'd find more success.
I don't believe so. Your options are still pretty much:

(a) vendoring with something like godep[1], or (b) point in time scm fetching with something like gpm[2].

[1]: https://github.com/tools/godep

[2]: https://github.com/pote/gpm
There's a definite cost to forking, and whether the benefits justify the cost comes down to whether you believe the pre fork project was being shepherded well prior to the fork. It's a nuclear option to be sure, but it is needed from time to time.
League of Legends' Private Internet Works. Just Don't Ask About Net Neutrality.
Thank you for the "currently" parenthetical! By the time I saw this, the tile had already been changed to "Io.js is one step closer to ARM64", and I really hate reading a bunch of comments about an inaccurate title without actually being able to see what it used to be.
And also from the Cyberfox project:

https://8pecxstudios.com/
In which the author learns that some real douchey people can occasionally be found in New York and New Jersey...
While I agree completely with having an experienced designer spec hardware costs before the campaign, having run a kickstarter campaign for a small Bluetooth device, where the campaign failed miserably, I can offer an interesting but sad observation.

Everybody, but everybody, but everybody… And I do mean everybody, gave me the same advice over and over and over again. And that was to focus on the marketing and the message and to pick a price point before actually designing. Even putative campaign backers told me that they thought being able to match up specifications and deliver on promises was just a technical issue.

The reality is, as many others have noted, producing inexpensive commodity consumer-electronics is a far more expensive proposition than many realize, especially when you're talking about low manufacturing volumes or surprisingly tricky and expensive operations such as FCC regulatory compliance.

In the end I think this sort of thing is quite common… People hear and believe what they wanted to be true. And then they complain when companies cannot deliver on promises they made out of naïveté.

Sorry for potato quality grammar and occasional incorrect homonym… And being forced to use text to speech!