skysight-inc/HackerNews huggingface dataset:
That "ordermap" is nice. Could that replace std::collections::hash_map as the main supported map crate?

It imports std::collections::hash_map, which has unsafe code, but only for RandomState, which does not. If RandomState were pulled out of hash_map and moved to a crate with no unsafe code, that dependency could be removed and it would be safe crates all the way down.

IMO "no unsafe code" is a stretch. "no unnecessary unsafe code" is what it should be.

The author of the code doesn't get to determine "unnecessary". That should require extensive and hard to get justification.
Sorry, I didn't qualify "always feasible" well enough. What I meant was, I want it to be feasible to reason about the halting states of every single smart-contract that will ever interact with my code. Not just the ones that I write, but also the ones that are reachable from my smart contract's call graph, and the ones that call into my smart contract.

If I can do this, then I can feasibly reason about how my code will react to other peoples' inputs (e.g. I can prove the absence of DAO-like re-entrance bugs). The fact that Ethereum allows smart contracts to be written in undecidable languages means that this is not feasible in practice.
Here's the thing - there is NO one single credential which, in and of itself, would "make me hire you". In my mind, a hiring decision involves analyzing many "features" each of which is weighted differently, and contributes to the overall holistic view.

So, if I were hiring a candidate, would a Udacity Nanodegree weigh in their favor? Absolutely. Would I hire them if they had no other formal credentials at all? Absolutely, depending on all of the other factors. But as for that matter, you can ask me "would you hire somebody with no formal credentials at all" and the answer is still "absolutely, depending on all of the other factors".
AI machine could make any vehicle autonomous
If you're willing to mess with the CSS, there's always things like beautifuldiscord: https://github.com/leovoel/BeautifulDiscord
There are quite a few sci-fi novels and one show I saw that feature nightmare scenarios based off of thawing ice. I seriously doubt we will see something catastrophic though. It's been a while since I took bio but bacteria/viruses from thousands if not millions of years ago will most likely not be able to bind to our cells.
I am highly doubtful of this. Automotive suppliers are famous for running on razor thin margins.
I want a VR interface that merely simulates a room full of monitors, controlled via a workout machine to keep me in shape while generating 30 watts to power the headset - or potentially the whole system.
Why is it flawed to use the module system to enforce references?
You may love your children, but that doesn't mean you don't get stressed out by them. It's quite normal for parents to want to take time away from their kids, even having kid-free vacations without them as well as just "date nights". So obviously even people who aren't condemned to work in open offices and who have kids like some peace and quiet now and then.
And the ignorance about the fact that distribution and management of said material wealth has always been and will always be a difficult problem to solve. Yes, we produce enough food in the world such that no one should go hungry. No, we don't have the infrastructure (actual, political, economic) to distribute it.

Organizing people is hard. Dealing with corruption is hard. Nothing suggested by Late Stage Capitalist meme spreaders even comes close to solving those problems.
We have evolved to resist if we assume our intelligence is an extension to our body, and intelligently managing diseases is an extension to our immune system.
"In place of"? It's trivial to cause a lithium-ion battery battery to explode if you know how.
Don't tell TSA, though, or you're going to have a very boring flight.
It studies nukes.
PrintScreen copies to the clipboard.
I did not say that ideology does not matter. I asked why it should be relevant to the definition of a crime or whether or not it ought to be punished. (my words could've been tighter here: ideology, like civil disobedience, may be relevant to mitigation--or it may increase liability & punishment.)

I also did not say that "valuing liberty" has a negative influence. That is not how I was using the word "libertarian"

Nor did I say ideological motivation should not or does not play a role in prosecuting crimes. Whether it should or not is probably not important--because ideology does play a role prosecution, particularly in jurisdictions where they're elected.

As you know, motive (mens rea) is an element of some criminal charges, including murder. Motivation matters basically for public policy reasons--for example, we punish hate crimes more harshly because we, as a society, decided crimes motivated by hate are more damaging to society & harsher punishment is a deterant. Similarly, sometimes "crimes of passion" are punished less harshly, because society has decided that harsher punishment would not be a deterrant or effective.

What I said was: ideology is not a defense. And, in Travis's & Ross's cases, such ideology is more likely to increase, rather than mitigate, liability.

And, what I meant was: neither Uber nor the Silk Road would, could or should attempt to assert a defense based on not consenting to CA law, democracy, and/or denying the legitimacy of federal courts. Not only will it irritate the humans whose legitimacy is being questioned, but such a defense is not procedurally permissible in any court that I am aware of. Basically, it won't help either of them--its more likely to increase liability than anything else.

My sense is that we define words like libertarian quite differently, so I'm going to leave it here.
I think you're maybe expecting much more than you should, which is why you think that "the language of bugs also serves to mask what the issue is" (it doesn't; both are deep-dives into the causation of unexpected behavior). I think if you get more clear about what you're expecting from Penrose you'll have a better foothold for why you're not getting what you're expecting.

It does make sense that our ability to understand the incompleteness theorem is very close to self-contradictory -- I don't know that I'd say it is, without a doubt, self-contradictory; I have not dove deep into how provability logics might force □(a → (p ∧ ¬□p)) into a contradiction, and what you need for that (possibly with reasonable axioms it merely derives ¬□a which just means that if there is an algorithm for understanding then we'll never uncover it?).

QM does not by itself plug the hole in our understanding; Penrose has never said that to my knowledge. However a tiny part of quantum physics is the only known part of physics that's capable of producing nonalgorithmic results (the vast majority of QM is linear algebra in funny hats), hence if we've got a nonalgorithmic result it makes sense to follow our "best theories so far" towards that tiny part of quantum physics.
Good luck! I hope everything goes well
Learning when to call it quits, a story about failure
Being in the market for a tablet (to use as a document viewer when backpacking), I just looked it up on Newegg.

$400-$600, for a device from 2013. Wow.
FTA: "the discovery of a possible zero-day in widely distributed firmware"

Is this CPU firmware? Or microcode? Or is it logic board firmware (UEFI base)? And if it's CPU firmware, is that replaceable or is it permanently baked into the CPU?
A variation along the lines of an Anthropic Principle would be like:
- why am I born a Saturday?
- because if you were born a Monday your question would have been different accordingly
> You can just use the strings inline

Well, that would be much worse, don't you think?

My point was that having to keep identifiers to everything is silly.
Intelligence is not consciousness, nor is it conscious.

When I make a decision, I tap into my data and my knowledge, but the "I" is not inside that data nor did I emerge from it.

The topic of artificial consciousness would be Artificial Consciousness or Artificial Agency.

The ability to get things right is not to be confused with knowing what is right. Or put another way, you could be a complete idiot and still exhibit your will and perfect agency.
That's a bit scary. Chronic use of NSAIDs has been associated with kidney cancer, and if that doesn't scare you, erectile dysfunction may, if you're a man. I'd go with Tylenol instead (carefully), although that has pretty serious liver risks too.
Reminds me of this horror flick I watched a couple of years ago

The Thaw
http://www.imdb.com/title/tt1235448/
No idea for saas. A data analysis tool I am working on takes CSV as the input. Was wondering people have a lot of CSVs lying around to use this or I should add more features before a "show hn"
Very interesting to me because I grew up with these ponds and drive by some of them every workday. Sure would like more specifics: which ponds are being restored, which staying in production? Are some levies being removed, staying in place, being reconfigured? What's the schedule, year by year?
The maximum daily dose is usually around 4g. 325mg is probably the dose in one tablet.
No it won't. MANY successful open source projects have monetization strategies. Open Source!=Charity. It's just another way to build software. It's also likely that a successfully monetized ope-source software lasts and succeeds longer by most metrics. Cases in point - Android, most Apache foundation projects (including Hadoop) ...
Unsafe rarely turns up in any of the libraries I've used. Where are you getting this from?
> restore balance on Earth

Who's in charge of what constitutes balance?
Vote for your favorite front-end framework 2017, Angular, React or Vue.js
P40X Aruba
Intel is such an evil company: 1. They are stealing customers data and secretly sending it to their HQ and to NSA 2. They do financially support feminism movements (why I should pay for this?) 3. Abused their monopoly status and sold processors for MUCH higher prices. 4. Reduced investments to CPU research to increase margins. etc... My next CPU will be from AMD.
> One of the best things about Python is being able to use virtually anything as a key.

I find that to be the thing one of the worst thing ever made into a programming language.

You are facing a program/API/library and you can have absolutely no clue of what it will give or expect without extensive reverse engineering.
I think the last paragraph of the first reference is worth considering:

"But let me end on a positive note. In my opinion, the fact that Integrated Information Theory is wrong—demonstrably wrong, for reasons that go to its core—puts it in something like the top 2% of all mathematical theories of consciousness ever proposed. Almost all competing theories of consciousness, it seems to me, have been so vague, fluffy, and malleable that they can only aspire to wrongness."
Core 2 systems are not exploitable. It's only for Nehalem and later. Yes, you're also vulnerable on Linux.
That is certainly true and perhaps another advantage exists from a refactor of LibreSSL: Finding unknown bugs in OpenSSL that may only be revealed during refactoring.
This is all nice and great, but if people want static blogs because they're easy to setup and never break, or that they want to use GitHub Pages or similar cheap easy static servers out there, then this tool becomes a madness.
> They smell really really bad.

I feel that's understating it. When I first moved to the bay area we drove by these multiple times. I assumed it HAD to be some sort of sewage treatment facility (after all where I used to live in Maryland had one near by and it smelled very similar).

They're really cool and interesting but yes I recommend viewing from afar or keeping the inside AC on when driving near it.
Probably some routing at the load balancer level. That is not uncommon.
Technology is Easy. Comedy is Hard. (1993)
Thanks for this - it's a good summary if the EU/UK positions.
And aspirin should never be used in children because its use in children is associated with Reye syndrome.
I assume you're talking about bottom income bracket. I was not. I was talking about bottom in terms of power. Income is only one form of power. The people truly at the bottom are being held there by triangulated cultural practices. Capitalism is not seeking to lift them up because they serve a crucial purpose as a warning to those who might question the social order.

I am thinking of people at the intersection of some combination of poverty, domestic violence, addiction, racism, gender politics, etc. One or two of these issues can be overcome, but when you pile several into one family you get a machine that can be permanently stuck in suffering.
Right. That's the road to buffer overflow exploits.

The most recent CERT advisory reporting a buffer overflow exploit was April 17th, 2017.[1] About one per week is reported, year after year.
Others not reported are probably being exploited. Rust can stop that, but one "unsafe" declaration can break Rust's safety.

Hash maps need to be 100% safe code. They're complicated, and involve elaborate calculations that output subscripts.

[1] http://www.kb.cert.org/vuls/id/676632
And it is also equivalent to considering all these realities coexisting in parallel universes. It kinds of "brings back the missing symmetry" of the situation.
> While others have pointed out that this is wrong, it's worth amplifying: Turing machines are deterministic. You can run the contract locally and observe how it behaves, and it will behave the same way in the same environment elsewhere. If this wasn't the case, you couldn't have consensus at all.

"Deterministic" != "feasible to reason about halting states for all inputs." Running it locally to see how it behaves for a handful of inputs is definitely not sufficient for claiming that the code behaves correctly (i.e. is "secure").

Recall that people lost money in the DAO not because they didn't test how the DAO behaved when they sent their Ether to it. They lost money because someone discovered the contract as implemented did not behave the way it was expected and advertised to behave. Had it been possible to reason about the DAO's halting states for all possible inputs, the re-entrance bug would have been caught and fixed before the DAO was released.
There were Atari clones and one, from Polivox, that was licensed. The Polivox one was the black, Darth Vader model.
If you want to look beyond a very US-centric history of computing, you might want to have a look at Bruderers article in the february issue of CACM.

https://cacm.acm.org/magazines/2017/2/212431-computing-histo...

(subscription required)
Wouldn't that be easter_real_date()?
RMerl Eric Sauvageau - commented 13 minutes ago

This article is based on speculation. A EULA doesn't say what is happening, it merely states what the company might be allowed to do.

Asus is the one you will have to ask, I don't have any technical information on how the Trend Micro features work.

https://github.com/RMerl/asuswrt-merlin/issues/1348
I thought it was a political title about new Democrat contenders challenging Republicans in the Rust Belt, after the recent health-care drama.
BoulderFitTech Meetup
> Could that replace std::collections::hash_map as the main supported map crate?

No, it is more specialized for certain kinds of loads.

> It imports std::collections::hash_map, which has unsafe code, but only for RandomState, which does not. If RandomState were pulled out of hash_map and moved to a crate with no unsafe code, that dependency could be removed and it would be safe crates all the way down.

That's a very vacuous distinction.

This is all in the same crate (std) anyway, it's just a different module.

> The author of the code doesn't get to determine "unnecessary".

The auditors (proposed in this blog post) do.

I've audited unsafe in the past to ensure our dependencies are fine, there are some pretty reasonable ways to define "unnecessary" here.
How it feels to fail
Location: San Francisco Bay Area, CA, USA
Remote: No
Willing to relocate: No
Technologies: Java, Android, PSQL, Python, Bash, HTML, CSS, React.js, Javascript
Résumé/CV: http://tinyurl.com/jrzrj36
Email: jchio001@ucr.edu
Website : None
I'm a recent CS grad from the University of California, Riverside (UCR) where I just recently graduated with a 3.62 GPA. I have experiences working with Android, java, python, back-end development, and bash both inside and outside school and have experiences working with web development (standard javascript/React.js) . I'm mainly looking for opportunities that involve Android/back-end/full-stack development, but I'm also interested in opportunities involving React.js. If you have an opportunity for me that you think fits me, please let me know!
It's unsafe in roughly the same way that Rust developers call C and C++ unsafe, right? The advantage is that it's a special, relatively uncommon mode, and it's explicitly marked. But I don't think you can minimize the reality that it's unsafe without also minimizing one of the major selling points of the language.
Indeed, a good point to be aware of generally (though I would say we as a group go too far the other direction most times).

But the issue here with that is that I can solve the business needs in React+Redux trivially without running into the architectural problems I mentioned in MobX.

So why on earth would I chose the inferior option?
Sorry haven't got much time at the moment, here's the paper that got me interested

Anti-tumoral action of cannabinoids: Involvement of sustained ceramide accumulation and extracellular signal-regulated kinase activation

http://www.nature.com/nm/journal/v6/n3/abs/nm0300_313.html

Put that into Google Scholar (the paper title or just "guzman thc"), then click on the Cited by xxx below in the search results to find newer papers.

GW Pharma is a company doing clinical trials, and i think Canadian licenced producers of cannabis are doing trials as well (though i don't know how many are about cancer/anti-tumoral activity).

Here's a long list of research papers on cannabinoids:

http://www.cannabis-med.org/studies/study.php
Does anyone know of a video of the easter mechanism of the strasbourg astronomical clock running on the new year? I couldn't seem to track one down...
You are being pedantic on purpose.
April 2017 Angular on Rails Income Report
Symbiosis? I don't think anyone is in charge of that.
There's an interesting Youtube channel "Primitive Technology"[0]. Note how pretty much every technology involves fire. This is prehistoric tech-level, and it already won't scale to modern population sizes without fossil fuels. Trees aren't enough[1]. Modern technology is even more energy intensive.

[0] https://www.youtube.com/channel/UCAL3JXZSzSm8AlZyD3nQdBA

[1] https://en.wikipedia.org/wiki/Deforestation#Pre-industrial_h...
IPMI normally has a dedicated NIC (well, on some crappy boards it doesn't), which tends not to be connected to public networks.
Bigode Chinês
I swear, there are some users on HN (like yourself) that think FUD is some kind of magic pixie dust to invalidate someones statement. I thought we grew out of that in the early 2000s.
Aiming for a perfect solution doesn't mean you can't start with one that's good enough and work on it.
are they? Because they are renting the capital equipment in order to do that job. Without it they'd have a car loan and maintenance payments (if they even qualify for a loan).
In my opinion mutable state is most often better than immutable state. In JavaScript, that is, I have a different opinion on the JVM.

The important point is that the state is _serializable_, meaning it doesn't contain side-effects. That also means NetworkRequests must be replayable.

If your state is serializable, you get immutability out of the box by serializing everthing to JSON and back again.
> I'm currently working through Andrew Ng's ML course on Coursera. It's definitely high-level

I agree that it is "high level" and glosses over (purposefully) the nitty-gritty details of the "black boxes" for the most part. I say this as someone who took the first incarnation of the course, which was known as "ML Class" in the fall of 2011, before Coursera came about.

Despite it being high-level, though - this is what one of my "classmates" was able to create, about halfway or so thru the course:

http://blog.davidsingleton.org/nnrccar/

In 2012, I completed Udacity's CS373 course (https://www.udacity.com/course/artificial-intelligence-for-r...).

Today, I'm currently in the second term of Udacity's Self-Driving Car Engineer Nanodegree (the current lesson I'm on actually is a part of CS373 - so it's a kind of review lesson for me - heh). I'm having a great time learning about more in-depth understanding and knowledge relating to self-driving vehicles. Much of the learning can be applied to other areas of ML as well (learning how to use and abuse TensorFlow and Keras, for instance).

> A big shift in career, from software engineer to 'data scientist (or whatever they call it)' is probably not possible at my advanced age (37).

Don't let that stop ya! My plan after finishing this Udacity course is to actually work toward getting my BS and maybe MS in Comp Sci. By that time, I'll be well into my 44th year of age. I don't know if any of this will lead to a different direction in my career, but that isn't something I am really worried or planning about. I'm currently happy with where my career is; it pays the bills and allows for some fun, too. But if it should lead in another direction, so be it! I figure having this knowledge can't hurt me as a employment candidate, and will likely be seen as a plus. Worst case scenario, it will make my hobbyist robotics projects more interesting.

I figure I have another 20 or more years in me doing software development (assuming it remains a career option, of course); I personally have met more that a few other developers that age or older who are still making a living at it. So I'm not ruling out the possibility of a lateral move toward something involving my knowledge of machine learning.

Good luck with your studies!
Ok, I'm going to make a suggestion that others may find silly and may not work for you...

You have two hours a day where you can't do anything but drive and think.

Audio notes are your friend, take them while your in the car.

What I find when I do this is that I don't really need to reference the notes after I take them! After reading this article ( http://www.atlasobscura.com/articles/pointing-and-calling-ja... ) I think I understand why now.

When I get the time to work on my own stuff I find that I'm much more efficient with it than I would be if I was just sitting down to stare at a screen, and I can accomplish a lot in 15-20 minutes a day on side projects, or research, or ....
> It's been a while since I took bio but bacteria/viruses from thousands if not millions of years ago will most likely not be able to bind to our cells.

Famous last words
We're the species with the best chance to ever leave the solar system, so that makes us pretty important.
Capitalism will never go away. Just as monarchism still exists on various corporate boards in some form. And just as anarchism still exists in some form in a capitalist society.

But capital allocation will cease to be the dominant protocol for social organization.
It is much easier and cheaper to set up a centralised fast settlement solution, so called RTGSS. Singapore had one for years, EMU getting one this autumn AFAIK.
The whole idea of Docker is to make it possible to better saturate single machines. How is that not more energy efficient than solutions before Docker?
This doesn't surprise me. Mostly price insensitive, with no calculation of ROI, the Big Brand names dominate Ad buys, thus setting it's prices and allowing such fraud to thrive.