skysight-inc/HackerNews huggingface dataset:
Yeah, the idea is that C/C++ has a finite set of "dangerous" elements. SaferCPlusPlus attempts to provide safe compatible substitutes for those elements. In C, basically the only dangerous elements are pointers and arrays (if you consider them separate things), right? SaferCPlusPlus provides safe compatible replacements for pointers (and new/malloc and delete/free). There is a "general" safe pointer type that can be used as a direct substitute for native pointers in most situations, but can sometimes have a noticeable performance cost, depending on usage. Faster safe pointers are also provided, but cannot be used in all situations.

Replacing all the pointers and arrays in your C code with the safer substitutes will eliminate the possibility of invalid memory access, in your code. Of course this doesn't prevent them from occurring in any unsafe libraries you use, including the standard library.

Also, there are certain behaviors in C that may not translate well to SaferCPlusPlus. Like exotic pointer arithmetic. Or, for example, you could imagine some C code that compares two pointers that point to items that have already been deallocated to see if they were previously pointing to the same item. Is that valid in C? Anyway, that kind of thing is not supported by the safe pointers.

There is not yet an automatic translator from C to SaferCPlusPlus, but the translation for most code is straightforward and direct. No new paradigms or "Rust borrow checker" type restrictions. You can check out the benchmark code I linked to in my comment to see examples of C++ code before and after conversion to SaferCPlusPlus. A little code reorganization sometimes helps to achieve optimal performance. But isn't that always the case? :) And of course, SaferCPlusPlus requires a modern C++ compiler and has dependencies on the standard library.
> ...and most importantly organic, vertical farming...

Why is "organic" even remotely important? It's a meaningless marketing term. Study after study proves there's little to no difference other than price.
> Developers need fast IO (I have slow compile times, but I rarely desire a new CPU to fix that).

Compile times are almost always CPU-bound. Put all your code and headers/libs on a ramdisk [0] and hit compile and see how much faster it is. My bet is, not much.

[0] https://www.jamescoyle.net/how-to/943-create-a-ram-disk-in-l... (just an example)
Because obfuscation of absolutely everything, so that the end user doesn't know what we're doing to them, is extremely lucrative!
Location: India

Remote: Yes

Willing to relocate: Yes

Technologies: NodeJs, React, etc

CV: http://flipflopapp.com/files/NavalCV_short.pdf

Email: navalnovel@gmail.com

Recent projects (last few months) :-

1. www.halfchess.com - a variation of chess that appears most elegantly on mobile devices.
2. https://github.com/archiejs - an opensource nodejs DI framework - makes it easy to write large codebases, unit test them, etc in nodejs. Derived from Architectjs.

Other projects are in CV.
I think you have a good point. It makes more sense to think and talk about as Rust's implementation of bounds checked indexing syntax as being a zero cost abstraction for writing `if` statements everywhere. I.e. Assuming you want bounds checking, you can't do better than what Rust does despite having nice syntax etc.
Not sure about CO2 impact, but one problem is that these trains are running pretty empty back to china (china doesn't want to import so much from Europe by rail). I think they are running 50 trains a year, with a heavy subsidy to make it affordable (half the cost).
> have to take ownership of the whole data type,

This isn't the case. They only need to borrow it. A borrowed value isn't allowed to move (the borrow itself can be copied around and shared within the scope of the borrow), so that works out.

Most Rust iterators only borrow the container or iterator they operate on. It's only explicitly moving iterators like .into_iter() (which extracts elements by-move) that don't.
Wouldn't an 'actual boost in orbit' be useful in and of itself?
>The problem is that the equation says nothing about how large an object needs to be before it obeys Newtonian mechanics rather than the quantum variety.

I'm pretty sure this is BS.

The linked medium post does nothing to defend the implicit premise that the universe can be computed in a reasonable amount of time by classical computers.
HP has tried to reform themselves with some new premium devices like the Spectre's line (x360), but they really did make some horrible hardware back in the day.
I came here to recommend your [1] as well as http://www.cs.ucsd.edu/users/russell/average.ps
https://github.com/Kimundi/owning-ref-rs exists, but basically you just don't do intrusive datastructures on the stack in rust.

(Intrusive datastructures on the heap are doable with some tricks.)

They're not very essential so it works out.
The huge discussion about Rust is because that's literally what this post is about. It's titled "Getting Past C" and most of the post is about considering Go or Rust as the future language for the project. And, not surprisingly, a lot of people think Rust is a great choice for this (and I agree).
These links do not work if you're not logged in.
Could Technology Remove the Politicians from Politics?
> Likewise, software continues to improve in performance: JavaScript engines, to use but one example, are consistently getting faster.

That's the point. We've seen hardware improve but we've had a net loss of performance because a lot of stuff has moved to web apps and other "higher level" languages.
I wrote a little tool to help check Rust crates on GitHub. It's been really interesting seeing how different libs use unsafety. https://github.com/alexkehayias/harbor
> Russia's involvement is a huge issue

Not really. China's been doing much more overt theft and hacking for years. If you think this is huge issue, you aren't paying attention. Russia got information and then released it to the US public (which nobody wants to authenticate or disavow). I consider this more of a good than a harm.
Technically, there's another external battery that uses the MagSafe cable.

http://mct-corp.com/store/index.php?product/page/1619/%22The...
I think I read somewhere COBOL has >300 reserved words?
Many scientists said the same thing about hurricanes after Katrina and they were completely wrong.[1] And calling the storms from 2014 the "Storm of the Century" was a joke, another case of media hyperbole.

[1] http://science.time.com/2013/09/09/a-silent-hurricane-season...
When Does Cognitive Functioning Peak?
Seems interesting. Installed on Ubuntu 16.04 and keeps asking to update to 0.2.2 and hotkeys don't seem to work. Also crashed during a file search.
Yet there are a couple of separate plans to send it into space for testing. I would of thought more terrestrial testing would be much cheaper than sending something to space.
You mentioned communal access to capital equipment - what was the organizational structure that acquired/owned this equipment? And how was this organisation run and to whom was it accountable?
Swedish Six-Hour Workday Trial Runs into Trouble: Too Expensive
I remember an informative article series [1] that was posted here some months ago. Previous discussion on it [2].

[1]: http://www.andreykurenkov.com/writing/a-brief-history-of-neu...

[2]: https://news.ycombinator.com/item?id=10910887
For sure, we don't know if there is any effect. I'm guessing there isn't. There also weren't any faster-than-light neutrinos but investigating the anomalous measurements from OPERA until they were understood was the scientifically sound choice.
Actually it can be done and works well after ironing down some stuff: https://www.reddit.com/r/hackintosh/search?q=flair%3A"succes...!
> The statement that it is better to separate data and behavior is far from self-evident IMO, and I would be very interested to understand why this is such a deeply held belief. Seriously, why?

Data is and always has been more valuable and more important than behaviour. It's not unheard of to preserve accounting data that's decades old, even though the accounting system itself changed completely many times. The converse, preserving old programs to run on brand new data is much more rare.

The whole hoopla around big data should make it clear where the real value is. Behaviour is merely a way of transforming data, and coupling the two rarely works well in the long run. The only times it's actually advantageous is to preserve invariants that ensure input or output data is well formed. For instance, data structures that ensure or preserve orderings, etc.
Exactly. Democrats lost everything in this elections, they could just blame Russia, why not? But then what does it say about USA democracy if couple of hackers can change who will be the next POTUS ? This is double edged sword.

Until I see evidence of Russia involvement I don't want to make any judgments. I am just tired of constant narration "you know it was Russia, you don't need proofs". It would be great to see some real proofs this time.
Web exposed MongoDB installs wiped by Bitcoin ransoming script scum
"They're making shit up" isn't a scientific explanation for repeated anomalous results by independent experimenters.

The likely explanation is "it's really hard to isolate this setup so that we can measure it effectively".
It was first attributed to the Russians by CrowdStrike. I have yet to see any even remote indication of partisanship, especially pro-Democratic partisanship by CrowdStrike or its ownership.
$718K penalty against M.C. Dean for blocking Wi-Fi devices (2015)
I see, breaking back button and links is one problem with that is mentioned a lot with SPAs. However, with a good routing library can easily solve both of these, especially when targeting modern browsers, IE11+, Android 4+ and iOS 8+.

Even for older browsers, in "no-framework" setting, I have used https://github.com/mtrpcic/pathjs with a lot of success.

Getting scroll position to stay where you left is tricky, though. Has anybody posted some tricks on getting this right?
I wish it supported large csv to partitioned parquet. THAT is something I need a good solution for.
Price would also be good to know. If it is 1/100 of the price, then 100 trains could be run for every boat.
Sure it is. It happens all the time. See N Rays and Vulcan. Small effects, barely reproducible results are expected when you've got people all over the world looking at something.
That sound has less to do with power level, and more to do with what mode your phone's modem is using.

Specifically, that sound is associated with TDMA-style networks (e.g. 2G GSM), since the transmitter has to rapidly switch on/off, giving other phones a chance to transmit. This induces a series of audible-frequency voltage spikes in nearby cables.

CDMA-style networks (e.g. CdmaOne, 3G GSM, LTE) don't have that problem, since the transmitter is effectively always on while transmitting.

That's why you don't notice that sound very often anymore.
Here'a couple for starters.

1. They don't work well in multiple browser tabs. Specifically if you're storing a lot of data in memory it gets duplicated between tabs. Perhaps shared workers might be a solution in the future, but not now.

2. They allow designers to "enhance" the UI in new and wonderful ways, which isn't always good for user experience. It's like being tele-ported back to the windows native apps days. Plain old web apps forced simplicity and consistency in how things worked across the web. With spa's not so much.

3. Harder to test/re-create error conditions because often state of an application isn't represented in the url. (though it can, with good app state storage/structure, actually be better I think)

4. Harder to deploy new versions to apps sitting in users browser. So a user loads your wonderful spa app and leaves it open all day in their browser. You deploy an updated version mid day... how exactly does that user know to load the new version? In traditional web apps, updated versions are loaded on next page load.

5. You have to do something for page loading indication, since the browser no longer gives any indication it's waiting on the server for new data.
I would LOVE auto paste, but I've not found a good way to do this in Electron yet. ]:

If you know how, let me know :D
Most routers have a "onBeforeNavigate" hook that you can use to cache the scroll position. In that regard, it's not difficult... but where to cache it is a whole 'nother question!
I think Grooveshark helped me create more code than coffee did for the few years it was active.

Just wanted to take a moment to thank you, and all the others who worked on it for making that possible. I know I wasn't alone to feel very, very lost and sad when it closed up.

So, free beer in case we ever meet IRL.
C union declarations should correspond pretty closely to rust enum declarations.

It's a surprisingly important feature. Every large codebase I've worked on has clunky workarounds for storing heterogeneous types in collections.

Haven't seen a silver bullet; dynamic languages are great at this until you have to scale (either in lines of code, number of types or dataset size) and then they become unmanageable. Static languages force you to type a lot and build in-memory ETL-style transformations but scale better. Using SQL is another solution, but that separates you from the language's type-checker and can be another source of error.

Type safety at the serialization boundary was the promise of CORBA and protobuf but we need better tools. I hope we see more focus on ser/des types in the next generation of industry languages.
The Google Brain (g.co/brain) team has people in SF. We are part of the same company as DeepMind so maybe this doesn't quite answer your question. ^_^

We are mostly in SF and Mountain View, but we also have people in a few other locations. Right now, SF and Mountain View are the largest.

Disclosure: I work for Google on the Brain team.
Looks good--thanks!
I've always been baffled by this race to target ads to me directly. Sure, you can get a general idea of my interests, but even those change throughout the day, and advertising something to me on Facebook that you gleaned from my GPS or my contact list just creeps me out. It has the reverse effect; I'll go out of my way to block it out.

No, I remain convinced that the most effective advertising I see regularly is the "Deals" type posts on Gizmodo. Those are written by the journalists, guaranteed to capture some of my interests or I wouldn't've visited the site in the first place, and difficult to block because they're real content. I actually read them, and am usually genuinely interested in the products, and this requires no tracking or privacy invasion whatsoever to accomplish.
Not to be too glib, but not denying the Holocaust is a good proxy for quality content.

"Political bias" has nothing to do with it, whether the Holocaust happened is a matter of fact, not political opinion. You can't fault Google for removing disinformation.
Another big reason it is plausible, and specifically plausible that it's the Russians, is that you can find the full range of cyberwarfare deployed against US allies, for the purpose of weakening transatlantic and european unity. From accusations by GCHQ of hacking to support a yes vote on brexit, to takedowns of infrastructure in Ukraine.
> Democrats lost everything in this elections, they could just blame Russia, why not?

It was attributed to Russians first before the election, and by a private cybersecurity that has never, AFAIK -- even since the attribution -- been accused of Democratic partisanship. So the idea that the Russians are being blamed by the Democrats because the Democrats lost everything in the election, while a convenient political narrative for Republicans, isn't consistent with the facts.
AirPods, and as far as I know they don't support direct volume control; they certainly have no buttons, and much has been made of the claim that they only offer volume control via Siri.

On the other hand, a cheap Bluetooth media playback remote works fine, and a decent one can run for months on a coin cell. I've been using one with a variety of Bluetooth earbuds during my commute, since that'a a lot more convenient than digging out my phone when I'm bundled up for winter temperatures. At this point I wouldn't even want wireless earbuds with a wired control. What would be the point?
I think it's becoming painfully apparent what happens when this isn't the case.
A small update for 900+ #BigData and #MachineLearning repositories
The title is inferring that in modern society, the more successful are those who are kind instead of those who are ostensibly (like, say, a pro athlete) faster/stronger/more dexterous. In other words, if you socialize better, you're more likely to find a partner. That's essentially the gist. The contrast, if you wanna characterize it as that, is to give credence to the people who do well by helping society thrive instead of browbeating it into submission.

The Big 5 model is incredibly limiting and is only successful _because_ of its brevity, not because it is sufficiently explanatory of the kaleidoscope of human traits. Its reductionism at it's most hubristic, and let's keep it real here, no five personality traits are adequate enough to span the dynamism of human emotive.

I believe in a thing called cosmic consciousness, and that is (albeit somewhat challenging to explain) what drives my defense of why kindness is such a pivotal factor in human social interaction. There is a line in Gladiator "what we do in life echoes in infinity" and because that resonance exists, the kindness we exhibit is important enough to outweigh other traits, and actually points to a larger issue of whether or not our judgmental, rather vindictive mindset of late is ultimately counterproductive to the existential state of civilization. In other words, when we are kind to one another, we facilitate a happier, healthier world, thus insuring the survival of those who promote that non-violent, what I would call, state of Grace.
Gone in 2.39 Seconds: Faraday Claims Tesla-Beating Supercar
Ask HN: Is there any Java library/framework for consuming REST API in CLI?
Hi. We are creating a REST API and we need to create a simple app for command line interface to use it.

For example;

app_rest_url/user/username gives the detail of the user

"app_cmd user username" should print the details.

Is there any framework or library for this specific purpose?
I feel this counter meme (programming languages/language features/paradigms aren't bad, developers are) also get's thrown around a lot, but I don't understand the argument.

Are all languages really equally good? Is C really no more productive than assembly? Is Swift really no more productive than Objective-C? For many higher level applications is Java really no more productive than C? Doesn't using something higher level like Python make certain kinds of tasks easier than the same task in Java?

Since the inception of programming languages, there has been continuous improvement of the existing languages as well creation of new languages, both of which have introduced new paradigms and features to programming. These new features and paradigms often replace older features and paradigms. Not everything works, but much of the time the new features and paradigms have made writing and maintaining good programs much easier.

Unless you believe our current tools are already completely optimal, it seems only natural to try to improve upon them.

So is your argument that programming languages in a generation will be equal productive/un-productive as what we have now? That seems too pessimistic to me. I think our tools will be much better, just as I feel our tools now are better than they were in 2000 or 1990.

If the argument is that functional programming is not an improvement, that's fine, how do you see languages improving? What's the direction they should take?
Having any entity reveal corruption of US government officials is the least of our worries when it comes to the needs of the people, none of the media conglomerates cared when it was bush era leaks. The big issues with cybersecurity lie elsewhere.
The Wikipedia page has a section that does a pretty good job I think:

https://en.wikipedia.org/wiki/P_versus_NP_problem#Consequenc...

"Similarly, Stephen Cook says:

...it would transform mathematics by allowing a computer to find a formal proof of any theorem which has a proof of a reasonable length, since formal proofs can easily be recognized in polynomial time. Example problems may well include all of the CMI prize problems."
Hostile advertising and advertising in general aren't the same thing.

I'd be the first to point out that advertising has motivated a wide array of terrible things, especially in the last few years. But advertising at its barest sense can be and usually is a net positive force.
Yes, but later on, it will be forced to hard-fork because of a merge conflict and lose most of it's functions until it merges again with a young downstream project.
Do you think it's possible that your (well-thought-out) post could replace "people are well characterized by being on one side of a dichotomy" with "people are more comfortable thinking they are on one side of a dichotomy", without losing any resolution?
How Elon Musk Uses His Learning Superpowers to Master Information
Are you familiar with fastparquet (https://github.com/dask/fastparquet) and pyarrow (https://pyarrow.readthedocs.io/en/latest) ?
If you intend to get single pageview mobile visits, sure. But if your mobile users are expected to interact at length with the page, then you get the benefits of an SPA.
I love how more DS9 community got sparked to life after Netflix decided put it up.
The ten project management commandments
(Py)Spark? I run it locally and do that kind of operation pretty frequently.
The canonical site is https://lispjobs.wordpress.com/

Googling, LinkedIn searching helps.
Evidently no one at Apple uses vim?
Do you think it is possible for this to be sorted out by science? It seems non-nullifiable, which generally puts it in the not-science category when I think of social science.
It would be more honest to acknowledge the downsides, and say "this site is only for iOS 10 or IE Edge users without disabilities and who never use the back button".
At the cost of extra bandwidth and interrupt latency.
Yep, all the way. Slime + Emacs + Paredit.
I make things so here's my perspective: SPAs are more complex which means more work and more problems.

One of the apps I'm building has one page that needs complex interactivity. So that's the only page which will have a vuejs/vuex-driven UI.

For the rest, Turbolinks gives me high performance for (almost) free.

So for someone like me who doesn't like typing more, spending more time and fixing more issues than absolutely necessary, SPAs are a no go for 2017.
Because if (a big if) we ever move beyond C then rust is looking to be the biggest contender.
The v0.2.2 I pushed the tag for, but didn't update the website. Sorry about that.

Can you report the crash in the repo and attach the ~/.zazu/log file?
HOLY SHIT.

So the spaniards were slaving people into plantations, where they'd die at a 90% rate from European disease, and then just round up more people for direct exposure?

That is worse than a concentration camp.
For me, perfect example why not move to SPA in 2017 is Freshbooks, I'm their active user and found that their new version(introduced recently) is slow, initial load slow (very), transitions between tabs is slow etc. Personally I dont see the reason they moved to SPA (they using Ember framework which I heard very optimized in compare other frameworks(not libraries as React))
An urbanite raised in a remote Alaska collective ponders the tug of home
See Qubes, Whonix, Tails, Subgraph etc.
Yep, I had exactly the same thought. Is that some kind of generational difference that everyone seems to think WiFi ist just fine now? Aren't there still tons of corporate networks around that don't allow it?