skysight-inc/HackerNews huggingface dataset:
Is there an equivalent guide to the compile-time representation of important constructs for those trying to learn C/C++? I haven't seen anything like that and it seems like most devs in that realm instead rely on experience and tribal knowledge (which is, AFAICT, how it often works in Rust-land right now). I agree it'd be great for Rust to have clearer official docs about some of these things, but it doesn't seem to me like this is readily available for most languages or runtimes.

Re: unsafe, I think that's tough. My personal feeling is that many of Rust's selling points rely on minimizing the use of unsafe (i.e. limiting segfault-relevant portions of the code), and that there are frequently ways to make things work and also make them fast without using unsafe. What's an example where you found yourself thinking about using unsafe instead of a more complex safe construct?

(Somewhat related to this, and especially for anyone reading who might try Rust, I cannot recommend getting on IRC strongly enough. The Rust IRC channels are by and large incredibly friendly and helpful, and for better or worse that's where a lot of the knowledge in the community is currently collected, not as much SO or blogs)
There's all sorts of concerns after a year in space.

http://www.theverge.com/2016/3/1/11138102/scott-kelly-year-i...

I guess they aren't well characterized yet.
Interesting. This in particular stood out to me:

[T]he koseki ... is an integral part of Japanese family
law that doesn’t actually care about families beyond
ensuring that the legally significant aspects of them
are identifiable to the Rest of the World. Thus, a
koseki extract today will show a marriage, but not
whether the spouses are living together. The system
also doesn’t care (i.e., show) if the registered
father is not the biological father. It doesn’t care
whom the kids live with after a divorce or if a
divorced parent is paying maintenance or how often
(or if) he sees his children.
BUILDING a MODEL ROCKET
Off-topic: Is it now possible to keep a Windows 7 machine on W7 and fully prevent it from being upgraded to 10 (without an absurd amount of effort being required)? My daily usage is probably 90% Linux/10% Mac but recently I've been considering setting up a W7 VM on my laptop. I do NOT want W10 at all, however, and don't want to even bother if it's just going to end up with W10 anyways (I've heard plenty of "forced upgrade" horror stories). If it matters, this would be a W7 Pro volume license.
You might need to upgrade your OCR package ;)
5% of people have design skills, yet 17% of employers seek designers. Interesting.. Maybe I should turn to design, instead of front-end development.
You want your common carrier protection or not?
I really hope that dyn releases some graphs of queries per second for a few day range so we can see how large this DDoS attack really was.
> right-wing authoritarian dictatorships aren't usually ideologically driven, don't pretend that what they're doing is just "for the good of the people

WTF? Hitler definitely said he did what he did for the good of the German people (okay. not the Jewish people or handicapped people, but the people that mattered)
Thanks for the response.

What about putting up higher res versions when you click on the "thumbnails"?

Like here: http://nightmare.mit.edu/#portfolioModal30
(can't link directly to the modal)

The computed stylized can be in higher res and only query the server once the user clicks on the thumbnail. maybe even the original in higher res. I mean 1920x1080+ and maybe some options to downsample to specific res.

Another suggestion is to figure out a way to maximize artifacts. My scariest experiences with deep learning have been with unnatural mutations of natural objects.

Something like https://zo7.github.io/img/2016-09-25-generating-faces/random...

Or some results from this:
https://github.com/Newmu/dcgan_code

I'm sure one can take it further.
Perhaps. In this case the web was down. I definitely understand the point, stale data with TTLs which have expired, especially on RRSIG records is dangerous.

But I have to wonder about situations like this where DNS has been taken down, what the better good is. If the records can be proven to have been cached as authentic data at some point within some period of time. In this case hours, is it for the better good that stale authentic records are acceptable to serve back? In this case a stale period of some number of hours would have been good.

I'm not so sure which is better in this case.
As hot as ghost pepper is, it barely makes the top 10 of the hottest peppers anymore. Sitting atop that list is the Carolina Reaper, which at about 2,000,000 Scoville units, is twice as hot as Bhut Jolokia.

I use Bhut Jolokia whenever I cook, but I only add just enough in my food to give it a kick. About two years ago I cut one up and swallowed the pieces with water. Chewing them would have been too punishing.

The effect was not funny. For the next two days, the heat was slowly melting all the fat in my body. Even my brain started to feel like it was melting. I swore never to eat it like that again.
Surely they both justified their military dictatorship as a bulwark from the menace of communism and for liberation/unification of homeland, which sounds to me like "good of the Chinese/Korean people."

I patiently await for you to point me to a cite that documents that the South Korean/Taiwanese military justified their rule because they asserted the right to dress up in military uniforms and lord it over the rest of the population.
Mind sharing what chrome extension you're using ?
That is not what parent was saying. And your brain is not your own implementation.
Wow. Much higher than I remembered. It's like the brute force approach to getting something done except the force is sheer dollars and labor focus on one goal.
Userscript – Translates selected text into tooltip automatically
Personally I think Rust should take this one step further. Actually build templates into the platform itself.

For example one for creating a microservice complete with routes, test cases, JSON support etc. Another for a command line application.

In languages with a steeper learning curve like Rust there needs to be more of an opinionated approach to teaching users.
We want rust to be successful and that means being adopted and used.

It has nothing to do with management and justifying investing in rust. We are fortunate that Mozilla invests in rust to use rust and is currently very happy doing so.
my wife's response: http://ahedgehoginthefog.weebly.com/hedgehogs-adventures/-fe...
Maduro was elected president. There's no vote upcoming, just yet another recall referendum, this one which failed to get going in the courts.

Honduras on the other hand had an elected president. Obama bankrolled his generals, who overthrew him in a coup in 2009, and then he continued bankrolling them. Where are the US newspaper headlines about the Honduran dictatorship? The Organization of American States, with the exception of the US, is who was condemning this.

Insofar as Venezuela's oil business doing badly...what country is the the energy business doing well in? Fracking and North Dakotan energy businesses are going bankrupt left and right, which is said to be the fault of Arabian oil flows, but when Venezuela's economy suffers from the same thing it's said to be due to mismanagement or whatever nonsense.

Billionaire Jeff Bezos has his newspaper spin things in the interests of American billionaires, what a shock. The majority of Venezuelans don't give a damn what the yanquis think, they can just look to what they did to Honduras, a real dictatorship, seven years ago, and what they're still doing.

Americans loooove to get up and pontificate in some kind of imperial self-satisfaction. Like how the Osama bin Laden and the mujahideen would overthrow Afghanistan's secular government in the 1980s with America's arms, money and blessing. Kind of hit Americans in the ass when they strung Arabia with military bases, causing a response of a plane flying through the Pentagon from those guys they bankrolled in the 1980s like bin Laden. Blowback from America's imperial pretensions.
That sounds backwards to me.
It's also important to note that Go was designed for programmer productivity and Rust wasn't.

GC is incredible productivity boost which is why no recent language (except Rust) does manual memory management.

Compile times in Go are a fraction of Rust compile times, which is another productivity boost.

Go gives you one good way to do concurrency, Rust believes in tyranny of choice.

Without mentioning that you don't paint the whole picture, just the parts that are favorable to Rust.
I try to read scripts before I download and execute. The only time I thought WTF was this:

https://bootstrap.pypa.io/get-pip.py

Even though the author made it clear something funny was about to happen - I just could not execute.

When I showed it to the guy next to me (at work) - he said he already installed it on another box and didn't even look.
Female workers made to kiss boss every morning at Beijing firm
We're much better than our competitors on just about everything else - the company just can't compete on pure cash against the likes of Google/Facebook/Netflix/Apple/etc., but I know from prior job searches/recruiters that not too many other companies can match what we offer for people who aren't completely money-driven, which we attract a lot of candidates of that profile, and a good number of them being talented. The reasons that any candidates we offer turn us down rarely comes down to money, and more the specifics of each individual.

If it really was an employer's market, I wouldn't be getting up to 10 emails/messages/phone calls/tweets/etc. a day from recruiters trying to entice me to leave, even floating compensation up to $400k as inducement to action. I have walked away from exorbitant offers myself. Some of my friends/acquaintances in the industry also have shared similar experiences - the desperation of employers is obvious & almost ubiquitous, and you don't see that sort of desperation on employers' parts in an employer-sided market. You see them leaning in with aggressive tactics to accept what is given, which you see with some candidates that they deem weaker, but not with anyone half decent because the time & money cost of attracting people is significant.

Very few companies can claim to offer it all, but for the rest, they have to strategize as to what type of potential employees do they want to attract. Most cannot compete with the likes of those big companies mentioned prior because they have some negative that those don't have - for example, while the financial industry is known for sometimes paying very well, it also has a negative stigma to a not insignificant portion of engineers, as well as a reputation for poor work-life balance. Government work often comes with good work-life balance and is often well-regarded, but the reputation is also a two-edged sword (i.e. NSA being famed for their use of mathematicians, but also facing blowback after their overreach was revealed), pay isn't as competitive, and the level of bureaucracy is legendary in some cases. Startups/small companies offer a huge amount of responsibility & impact, but also offer varying levels of work-life balance (most are terrible, but some can be phenomenal) & lower compensation than one can often get in the open market with all industries considered. A company can try to pay more to attract the very top quality engineers, but in software at least, it can get very expensive & comes with a massive cost for a business, especially when competing against the very top revenue generating machines. Therefore, if a company isn't at that level, it needs to compete on other areas - it doesn't make sense to compete on the money realm, because that is a game that those big giants win at.

Being a pro-job seeker market is more than about cash. It's about negotiating power due to being able to easily find an opportunity they can weigh yours against if it doesn't satisfy the seeker.
Also, Hitler was a national socialist.
By foreign policy establishment do you mean politicians? Because that's not what "intelligentsia" means.
> Today the peering agreements are made so that ISP's get paid for whatever traffic they pass through. They have no financial motivation to change anything.

That seems believable.

> And as the Internet is decentralized you cannot order them to do anything.

...that doesn't. Being decentralized doesn't render them immune to regulation. If all major networks responsible for large scale peering were required not to pass on a certain type of traffic, it would be quite difficult to route around that. Yes, if only some did, this would be routed around.
I don't see what the big deal is. AirBNB can turn normal citizens into landlords. The best hosts will actually take care of their apartment. So in theory the Free Market protects the interests of both hosts and renters.

Maybe? That's one possible way it can play out. NYC really tries to protect the landlord's interests rather than the tents. NYC would be a different place if normal people (who aren't millionaires) actually owned their places.

Free market could drive prices even higher than they are today. I don't know.
I think new education systems that are based on software will eventually replace most teacher-based education systems. Not only do teachers not scale, most of them don't understand the subjects they are teaching at a deep enough level to teach these subjects effectively.

I am convinced that software tutors that are based on AI research which was primarily done in the 1970s and 1980s will form the core of these new software education systems. For the past few years I have been working on an AI tutor for solving elementary algebra equations that can already teach parts of this subject better than a human can. If you are interested in discussing how AI tutors like this can be used to help realize the vision you have for Bloom, contact me using the email address that is in my profile.
I'm ignorant of Rusts ABI/requirements, but can the C ABI be used as a lingua franca, or are there necessary facilities that are unsupportable there?
> SpaceX has no prospect of being able to afford the very large investment — at least $10 billion — required to develop a launch vehicle of this scale.

Adjusted for inflation, US gov't spent the equivalent of $65 billion/yr in the 1960's to get a man to the moon:

http://www.popsci.com/real-cost-nasa-missions
"It just works" - in my experience it really doesn't.

- I run win10 on a Vaio Canvas Z, a pretty recent machine. Graphics driver crashes regularly, although it remains stable doing so, screen freezes for around 2 seconds.

- when I wanted to install international keyboard profiles it has become way worse then older windows versions, which already weren't great. On OSX this is a totally solved problem. On Windows it would often show me the wrong thing installed until reboot, couldn't switch over to something newly added, the whole list is buggy.

- the terminal... god I hate it. It's stuck in the mid 90ies. Even Apple who supposedly doesn't care about power users anymore, has continuously improved its terminal application and it has become pretty great. On Windows I can't even have a decent color setting that would make all the standard unix colors readable without doing all kinds of hacks in .bashrc. Yes it's MinGW, but it uses the MS given terminal as-is.

- preinstalled PDF support is still a joke. Can't even annotate or rotate or really do anything with it.

- I can't get the preinstalled Mail/Calendar to reliably connect to gmail, gave up after an hour of fiddling around. That thing is a complete joke. And I hate Outlook's UI even though I've developed for it in the past.
How long did it take Germany to transition into a dictatorship? How long will it take the US to transition into one? For us, the laws are already in place. We're just watching and waiting for the right guy, or the wrong guy, depending on your perspective.
"In 2013, the posthumous royal pardoning of Turing led to calls for wider pardons, and the launch of a petition in 2015."

In 2009 fellow HN @JGC organised the partition for Turing. [0] The wider partition has its roots in this effort resulting in the UK PM tweeting his recognition, later pardoning Turing. The original partition is gone but you see the tweet here [1] and read the call to action by John. [2]

[0] http://www.jgc.org/blog/2009/06/alan-turing-deserves-apology...

[1] https://www.flickr.com/photos/bootload/3909148598/

[2] "Alan Turing deserves an apology from the British Government" http://blog.jgc.org/2009/06/alan-turing-deserves-apology-fro...
How to avoid runtime errors on drones using SPARK (2015)
Can you explain how? Not asking in a challenging way, I'd like to learn for my own edification.
One needs to also take into account what the microphone is plugged into. For instance, you could use this to transmit data over a walkie talkie, but they are choked at around 6khz
> Who is being harmed?

The neighbors onto whom AirBNB providers offload their externalities.
Arguably, programmer productivity is one consequence of safety (and productivity isn't necessarily only gained by increased safety either of course!).

Are there different productivity levels between Go and Rust? Probably. But to say Rust wasn't "designed for programmer productivity" definitely isn't right from where I'm standing.
The conventional long-form name of Saudi Arabia is "Kingdom of Saudi Arabia". This isn't some thing that Clinton made up, and I'm not sure why it's relevant to mention her. The country is referred to as "The Kingdom" by many. Of course, that doesn't preclude it being a dictatorship, as the two are not mutually exclusive.

Did I just miss an attempt at sarcasm, here?
No it distracts people by making them think some legend in math showed verification was provably a waste of time. The number that show up to keep saying it on reputable forums like this one leads to increased belief it's true via repetition effect. So, it's overall bad vs mentioning something relevant to practical verifications.

Plus, hardly anyone is making a self-verifying prover. Someone just asked about that. I tried what I hope is the proper response of simply linking to a self-verifying prover that succeeded in that goal up to first-order logic. So, that's already done with us just needing similar ones for checkers of HOL, Coq, ACL2, etc. Contrary to your implication, the Milawa techniques are based on and supporting some of most practical verification work to ever be done. So, one of few times someone totally ignored Godel in what non-experts would consider Godel's domain led to one of best results in formal methods.

We don't need Godel at all in these discussions. We just need to explain what formal methods are, their successes, their limitations, how to properly use them, and ideas for new projects.
and in the regions most people vote for whichever party drove them to the polling booth in a bus then gave them a sack of food and a gas canister afterwards.

Venezuelan elections have never been fair - there is a lot of vote rigging from all sides
"achieve 11 9's availability" is this sarcasm?
I would offer a counterpoint -- Rust's guarantees and strong typing offer a different kind of productivity to an intermediate or experienced user. One where a compiled program is much more likely to be "correct" than in any other mainstream-esque language I've used. The properties which combine to create this effect make refactoring much less scary, allow easier navigation in large codebases (IMO), and allow for other valuable properties for productivity.
I believe in the use of Mars as a sort of space-hub. It's better fit for this purpose than Earth, in many ways. It has less atmosphere, allowing for easier launches. Additionally, with around 1/3 the gravity, launches and landings are even easier. It's also closer to the asteroid belt, potentially making it useful as a sort of space mining hub and providing an economic incentive other than resources found on the planet.

That said, I am also doubtful. I don't foresee a trade-hub attracting 1 million people - if there are really a million people who want to go. Who the hell wants to risk their life and net worth just for the privilege of living on a rock less hospitable than Antarctica?
The idiot is embarrassed because the DNC was exposed as fraudulent and corrupt to the core. One might figure only the Russians would be interested in exposing the underlying machinations of American politics, but it really is just a classic case of misdirection.

He's also threatening not just the Russians, but the American citizens as well... that if they try to challenge the system as it is, then the politicians would rather start a major war than to address any concerns of fraud/corruption.
the heat was slowly melting all the fat in my body

Did you actually lose weight? Honest question. I'm always interested to hear about fat burning metabolism triggers. That said, I'm not much for spicy food, so this one might not be for me. :)
> We can all learn something from the readability of that page though.

Monospaced font.

Can't click links. Pain to select them on the phone.

No way to skim through since lines are the same and you can't quickly detect individual items in the list.

Doesn't work too well with Safari's Reading View — whole thing is a single paragraph.

It's in markdown already, why not spend 3 minutes and setup rendering to at least plain p, h and a tags.
Where can we learn more? Is this discussed on any other forums, _a_?
Most of the cost of building a base on Mars is in the transportation. If it becomes possible to reuse the launch vehicles, then the cost falls. Ideally, it falls far enough that people (and sponsoring governments/organizations/companies) will be able to afford it on a pay-per-seat basis.

That's pretty much the whole of the economics. People and governments will jump at the chance to send humans to Mars, if there's a way to do it at a reasonable price.

The cost of the things that are necessary on Mars that will have to be shipped from Earth will be rolled into the ticket price. Hence the first few rounds of tickets will probably be quite expensive.
Look, as the probably only credible person here to speak on Stock Valuations. Tech is not, nor is any other specific Industry or Sector the issue here. The issue here is interests rate.
The problem is you're reading the situation wrong. Mirai isn't about an exploit, it's IoT devices that haven't had the default username/password changed.

Now, you might say "why doesn't a good samritan just login to all of those devices and change the password to something random?"

OK - ignoring the fact that THEY would be committing felonies in several countries... what happens when the device manufacturer wakes up and decides to patch these devices via that remote access? Suddenly the password doesn't work, and the end-user can't change it because... what's the procedure for changing the default ssh password on a light bulb?

Technically you could make the situation better by writing a worm that changes the passwords, but at this point even that is a lost cause since mirai has a command that will change the pw on all infected hosts.
Introverts are not hermits. Introverts still live and interact with and within that society. There is a difference between typical day to day social relationships and deep relationships (as with a spouse/best friend/etc.) Introverts may hate the first, but I know few introverts who do not participate in the second in some way (even online as we are now doing.) People are naturally social, it's just a different type of social when discussing introverts versus extroverts. Again, don't confuse introvert with hermits.