skysight-inc/HackerNews huggingface dataset:
Rust sits in a really weird spot. It's too high-level for a lot of low-level work, and too low-level for a lot of high-level work.

Example for the first case: Writing a garbage collector runtime in Rust has most of the same problems in Rust as in C, because you have to write most of it in unsafe code, where Rust inherits much of C's undefined behavior w.r.t. pointers via LLVM. In short, you have largely the same problems and have added a hard dependency on Rust.

For high-level work, almost all [1] of what Rust gives you is memory safety and that comes at the price of dealing with a LOT of extra language complexity. But aside from dynamic memory management, memory safety isn't hard (we did that back in the 1970s and 1980s), and for dynamic memory management, we can get memory safety with a garbage collector and much less complexity. So Rust is primarily of interest for those use cases where garbage collection is not an option.

While that still gives you plenty of interesting use cases for Rust, there are also plenty of programming niches that it serves poorly.

[1] People will also mention "fearless concurrency", but guaranteeing the absence of data races is not hard. That more languages don't do it is partly because they simply neglected that aspect [2], but also because any mechanism – including Rust's – for doing so inherently constrains your options w.r.t. concurrency [3]. Plus, avoiding data races is the easy part of getting concurrency right.

[3] Concurrent Pascal had guaranteed absence of data races in the absence of pointers in the 1970s, Eiffel had done it with pointers in the 1980s, and there was a plethora of research in the 1990s to do it in various other ways.

[3] For example, there are plenty of use cases, such as certain idempotent operations, where data races are not only perfectly safe, but also desired for performance. There are also use cases where you can prove that no data races occur, but a type system cannot easily capture that.
Side note, we have completely re-done the format of compiler errors since that was published. To take a random example from 2.1:

src/first.rs:1:1: 4:2 error: illegal recursive enum type; wrap the inner value in a box to make it representable [E0072]
src/first.rs:1 pub enum List {
src/first.rs:2 Empty,
src/first.rs:3 Elem(T, List),
src/first.rs:4 }
error: aborting due to previous error

is now

error[E0072]: recursive type `List` has infinite size
--> src/main.rs:1:1
|
1 | pub enum List {
| ^^^^^^^^^^^^^ recursive type has infinite size
2 | Empty,
3 | Elem(i32, List),
| ----- recursive without indirection
|
= help: insert indirection (e.g., a `Box`, `Rc`, or `&`) at some point to make `List` representable

Users have reported a lot less frustration after these changes, and we're always trying to make them better. For more on this effort https://blog.rust-lang.org/2016/08/10/Shape-of-errors-to-com...
So what? We've done that before.
That doesn’t mean they will never get it.
High Court Asks European Court of Justice to Examine Facebook Case
Even if they didn't disclose the source code, they could always reverse engineer/brute force a single install.

I guess the Pentagon not only did the same thing, it also secured its right to patch without HPE's knowledge or approval.

If we put ourselves in the shoes of the Russians, they are about to get software the US already uses, which gives the Pentagon a head start in knowing the eventual security flaws. Like the US wouldn't use that kind of knowledge if they wanted...

Also, why do all hacking news graphs/stock images show people in hoodies?
This seems similar to something they do in India but just with water. They trap the water in the rainy seasons in ways that let it seep into the ground. The tech just involves piles of mud.

https://en.wikipedia.org/wiki/Johad
Rust delivers on all these claims on a very limited set of platforms. The support for BSDs is abysmal, with only x86_64 NetBSD and i686/x86_64 FreeBSD even being "guaranteed to build", while OpenBSD, Windows XP and Solaris sit in some kind of state of hopelessness[1].

Rust is not a replacement for C in the sense of portability. People love simplifying the world into Windows/macOS/Linux, but that is not all you may want to target.

[1] https://forge.rust-lang.org/platform-support.html
When you split the brain, do you split the person?
Why do so many people still believe in security-by-obscurity?

"Some security experts say that studying the source code of a product would make it far easier for a reviewer to spot vulnerabilities in the code, even if they did not leave the site with a copy of the code."

I would like to meet those experts that advocate, that not looking at the code makes the product more secure.
Sounds like a nightmare to administer that policy.
It's also caused by the fact that nowadays a lot (most?) of the code that gets written is for the web or mobile, where technology changes incredibly fast.
How to Find a Problem for Your Solution
How to Boost Testosterone  Levels?  Cortisol
Testing does not perfectly substitute for verification, and vice-versa. In particular, comprehensive testing does not scale: at some point in the growth of your code, your testing will no longer be comprehensive, even if it started that way. On the other hand, no amount of static analysis will eliminate semantic errors (but neither will testing.)
This looks interesting. I'm going to assume that you add whatever temporary buffer you use while editing the files to your gitignore? E.g. Vim will use .swp files.

Does this get annoying if you want to commit something specific? Let's say you edit an old note and save the file. Then, in the time it takes for you to write a commit about this new edit, your cron script has added your change as a 'wip'.

Also, is there a nice way to set this up with a cron script so that you can use git via ssh (rather than https) but still keep a passphrase on the key? I seem to remember having problems with cron and git regarding ssh keys.
Still, unless that superintelligence is killing all others (at which point we're done), we _should_ be able to spot the ones on their way to Q-hood.
Then why is it always compared favorably to X over network, which does exactly the same thing (sending graphics primitives over the network, although these days mostly having to throw over complete frame buffers because everything wants to draw itself)?
You are just reiterating the complaint.
How many calories you burn doing 39 popular exercises
I think it's telling that while there are Lisp aficionados in this thread telling us how great it is, none of these ideas have been implemented in Python or JavaScript or Ruby, the most common dynamically typed languages.

And that's really all I care about, I'm not about to start writing production code in Lisp.
I make double the money I made as an employed dev, so I think I moved upward quite good.
Using a subset of Lua for scripting beats inventing your own wheel most of the time.
Good thing he did. As for the Higgs discovery, the nature of the experimental facilities and the generations of physicists who designed them would have made it very difficult to point to singular recipients. Since the prize is never given to collaborations, the best alternative whould have been the spokespersons for ATLAS and CMS and perhaps the LHC/CERN director. But still that would have been misrepresenting the efforts of thousands.
I think the Nobel Committee should fix this by allowing the prize to be awarded to collaborations.
(An accepting, but slightly disgruntled co-discoverer of a new particle)
Are there any discussions on this about ethereum? As more and more smart contracts are deployed the space needed to hold the blockchain will grow way faster than bitcoin.
Potentially if you fit what we are looking for... (without equity tho). Shoot me an email and we'll discuss from there.
If we simply leave it up to people, we already know the outcome. Some, maybe even a lot of people will take fabricated lies as facts and proceed to engage other people with these facts, sometimes violently.

By doing that we are empowering the people who fabricate lies to move an agenda. It's ridiculously cheap to make fake news and the value gained is immense because people are having a hard time filtering it themselves. It is the social media equivalent of the Mirai Botnet.

Do we want to live in a world where the best lier wins?
Show HN: Crypto news aggregator and live chat
0. Trapping the error doesn't make your program any less wrong. I agree that `assert` is equally useless.

1. With pencil and paper, you don't need to wait for a smart compiler - you can get started proving things about your programs today!

2. I can totally see what's coming next: “Being wrong is dual to being right, so being wrong is another possibility worth exploring”. Right?

> Meta: (slander)

No comment.
Sad that I hear something complained about on certain Apple podcasts and that little qualm of that host is fixed magically a release or two later while real users are ignored.
No, those are your metrics. Your goals don't match those of the system. Ill defined terms like big losers don't really help.

I don't think anyone would argue the system is perfect. I'd conclude that it's not nearly as bad as you seem to think it is. By being a part of the system, you're already better off than some 40% of the globe, by default.
On the flip side, contractors have to sort out the mess that permanent guys have made.
FreeAgent, Edinburgh and REMOTE (UK-only)

https://www.freeagent.com

At FreeAgent we help freelancers and micro-businesses be more successful by putting them in control of their company finances.

We have built an award-winning online accounting product that offers full end-to-end compliance, from time tracking to tax return filing. We're based in beautiful Edinburgh and we're growing from strength to strength with over 52,000 paying customers and strong YoY growth. Our NPS is off the charts (69!) - customers love what we do!

We're a growing team of over 130 people (50 in engineering), and recently became a public company listed on AIM ($FREE.L). The majority of our team are based in Edinburgh but we have staff distributed across the UK. If you want to help us make small businesses awesome at doing their finances, we're have great opportunities in our product and engineering team. Our stack is currently Ruby/Rails, JavaScript, React.js, MySQL, RabbitMQ, Elasticsearch.

We currently have senior full-stack engineers vacancies available. Senior engineers at FreeAgent have the opportunity to provide technical leadership and help to grow their teams. We like to work with people who show initiative and continually seek to improve themselves, their teammates, and our codebase. Our product teams are small and cross functional, enjoying a great degree of responsibility. We invest in our platform (code health, scalability, security) as well as working on new features.

You can apply directly via the website – https://www.freeagent.com/company/careers – or feel free to get in touch with me directly: maria [at] freeagent [dot] com.

(We are looking for UK-based full-time staff and contractors only right now)
Done hopefully... EDIT: undone, makes things much worse on Android :-)
By this standard no president has had a mandate for a long time either
Who Is Meant to Die in a Driverless Car Accident? Q&A Review for the Future
From https://en.wikipedia.org/wiki/LIGO
Two large observatories were built in the United States with the aim of detecting gravitational waves by laser interferometry.

These can detect a change in the 4 km mirror spacing of less than a ten-thousandth the charge diameter of a proton, equivalent to measuring the distance to Proxima Centauri with an accuracy smaller than the width of a human hair

Wow, feeling like a true parasite, relatively a few brilliant people are doing the heavy lifting. These guys should be the real Michael Jordans (nothing against Jordan or sports)
The biggest issue I hit when adding Lua 5.3 support to CorsiTH was that floating point numbers now crash when sent to a C function that expects a lua_Integer whereas before they would be silently truncated. Since we still support 5.1 as well I ended up scattering a lot of math.floor to compensate.

That said it was trivial compared to the _ENV change for 5.2
I also work at a similarly large company.

Some of our internal infrastructure systems are 10-20 years old - some could definitely do with a complete rewrite, but in the meantime, they're mission critical systems.

As for our products - some of them have even longer timeframes than 20 years.
Concrete strength is determined by internal friction
Ask HN: Is GitHub's download server down in Europe?
Since yesterday I've been trying to download things hosted on github and the loading times are infinite! Most of the times I get an error after a few seconds of downloading that file. I also tried using my 3G and a proxy but it is the same. Is it happening to you? I'm in Germany right now.
I suspect the economics of a lambda that you keep hot would look very different than one that takes a few seconds to spin up. It would be identical billing to you constantly pinging it I expect. At that point if you still wanted to be serverless you would be looking at containers.
Octiv | Indianapolis, IN | ONSITE | Full-Stack Engineer | Full Time

Octiv is a rapidly-growing SaaS company that revolutionizes the way sales assets, including presentations, proposals and contracts, are created, distributed and tracked. Our web-based sales productivity suite serves sales organizations of all sizes, from small and medium to Fortune 500. In 2016 alone, our team has grown by nearly 40 percent and we recently expanded our global headquarters at 54 Monument Circle in downtown Indianapolis.

If you're interested in joining a passionate and talented team dedicated to transforming the way companies sell apply here: https://octiv.com/company/careers/?gh_jid=220282
No help required Angelo, but thank you for your offer.
And that's why we get the good money...
I'd be interested if that's the case. 100 seems a bit steep for what is basically a novelty and toy for the nights where I don't want to take the regular one.

I'd pay half of that though..
The Puerto Rican economy, at least on the coasts, is highly intermingled with the US economy and it wouldn't necessarily be favorable to them to get independence. You'll find more support for it in the interior where it is more rural and people have fewer economic links to the United States.
Exactly.

Although I believe SBO does work, this is simply not the case for using it.
ArcSight processes security events. These typically come from devices or server log files. Events are filtered and tagged with context before being sent to the server where they are further processed. The primary processing is correlation done in-memory which is a strength of the product.

Each installation is different - deployment site of probes, filter, tagging and correlation rules. There is not much be gained by looking at the code vs. knowing the Pentagon uses ArcSight.

The one security relevant aspect is the fact that ArcSight processes data from the internet. Programming error in that code may contain vectors allowing a RCE. On the other hand the product has been around for a while and should be safe.

ArcSight is not only used by the Pentagon but by many tier-1 companies to monitor their networks. Unless it falls under ITAR companies can sell their product in whatever manner they like.
>Do I need to know shortly after an event occurs

The traditional media is pushing "minute-by-minute" news pretty hard as well, but you're right in that people would rather have information right now, instead of correct information in a little while. The result is misinformation, deliberate or not, and some times that flawed information will taint the debate afterwards.

I can understand people wanting to know if loved ones are safe, and Facebook is actually helping in that regards, but there needs to be a delay on information, long enough to get verification.

Believing that Google, YouTube and Facebook are to blame for low quality information is missing the point. Twitter and Facebook for instance have often been the source of truthful and detailed information faster than the tradition media. Likewise tradition media as also contributed to the spreading of false information. Often this isn't deliberate, but because journalists are getting increasingly worse at their job. What I believe is happening is that journalists are upset that they can just sit at their desks, cruising the internet and cover stories that way, because they aren't capable of disseminating the incoming the information they read on the internet.
Picnic - Amsterdam, Netherlands | ONSITE | VISA sponsorship

I'm a backend developer at Picnic, the world's fastest growing online supermarket! We make grocery shopping quick, easy, and affordable for everyone. At our core, we're a tech company in the supermarket business. I joined recently and it has been a terrific experience. There's tons of rooms for growth, so I invite anyone looking for a challenge to check out some of our open positions. We're working on a lot of really interesting projects requiring complex problem solving and top-notch CS skills.

One of my colleagues gave a talk about some of the work we're doing if you're interesting in learning more: https://youtu.be/1GU1RvUz4dc?t=1h15m17s

Some of the positions available are:

Engineering Team

* Java Developer - https://join.picnic.nl/jobs/java-developer/

* Web Developer - https://join.picnic.nl/jobs/web-developer/

* Android Developer - https://join.picnic.nl/jobs/android-developer/

* iOS Developer – Swift - https://join.picnic.nl/jobs/ios-developer-swift/

* Salesforce Developer - https://join.picnic.nl/jobs/salesforce-developer/

* DevOps Engineer - https://join.picnic.nl/jobs/devops-engineer/

* QA Engineer - https://join.picnic.nl/jobs/qa-engineer/

* Data Engineer - https://join.picnic.nl/jobs/data-engineer/

All other vacancies (Incl. Product, Growth) at https://join.picnic.nl/

If you have any questions and/or would like me to forward your CV email me at max.sumrall[at]teampicnic.com
We are not turning into a poor country because of "greedy rich". It has always been at the behest of politicians, they don't even need to be corrupt. The simple matter is the political class, the true one percent, have been disconnected for years from the population as a whole.

It is far worse for Democrats than Republicans. Regardless of how we see Trump the simple fact remains, the Democratic party has ignored its based for years. Nothing is more telling that the open mockery that was made of the Republican party for having so many candidates in the primaries, how did that become a bad thing? At least they let their base choose. By doing so a lot of independents also lined up on their side as well.

Yet what happens when the American people push back? The system does its best to clamp down or usurp the attempt. the Tea Party really did start off on its own but was eventually co-opted by national interests. Before it was there was no shortage of negative comments about it from all sides. There was also a dearth of attempts to limit campaign funds because neither party wanted a repeat where they did not control all dollars in politics.

The issue facing America is that it needs more than a two party system to go forward. Prior to the current President the majority of past Presidents worked for their party first and rarely for the people. This is true of the majority of Congress, laws are passed to protect their power, their party. When laws don't do the trick they resort to dividing people through speeches, innuendo, and out right lies. Politicians derive a lot of power by dividing people and then stepping up that they can "fix it" by punishing one side or another.
Hi, we built this crypto news aggregator for our friends. Now opening to everyone!

Let me know what you like/don' like, suggestions, sources you miss, filters you would like etc.

This is a side project, pseudonymous, free, no ads.

Thanks!
> contractors grossing about 3x the salary of full time employees

I dunno where you're seeing that but in the circles I move in, no-one is getting even 75% of 3xEFTE. More like 45-50% of 3xEFTE.

(EFTE = Equivalent FTE. Obviously new FTEs cost a lot less.)
Yes. Rick is a poor scientist.
Lightroom, on the other hand, stores only the edit history by its very design (non-destructive editing). Though I guess that during editing it may cache intermediate results to speed things up.
Numbers are only useful in relative terms. Median is going up, but so is the income and wealth gap. What most people look to achieve in their life is security. Security of resources, water, food, electricity, and physical safety. People want the security of being able to plan for a future, a family, education for their children, seeing their children and children's children move ahead in the world.

What GDP and median income don't capture is that the above security is slipping away from more and more people. Increasingly, you're either a professional married to another professional making $200k+ or $300k+ as a household, which is great. Then you search which metropolitan areas other high income households are moving to and go there and your life is pretty good.

The flip side is you marry someone who makes little, or not marry at all because it's not a prudent financial decision. Wherever you live, your kids are stuck going to school with worse resources and only have other poor kids to become friends with, many in single parent households.

I don't know how it plays out in the end, but I would postulate that large class divides aren't good for societies and nations. Everyone doesn't need to be equal, but there has to be a veneer of everyone being "in this together", and if it becomes too obvious that we're not, then it incentives behavior of "steal or be stolen from", meaning too many people start to game the system and we lost trust in each other.
Shop by Outfits: Amazon with Inspiration
Testing is not the answer to the problem of knowing if I refactored everywhere necessary. In a statically typed language I don't even have to worry about what do I do if my function is passed a var of the wrong type, it won't compile.
I don't want to get into a philosophical debate here, but please don't overstate the meaning of mathematical theorems.

For example, Gödel's incompleteness theorem is a technical result stating that certain definitions of "model theoretic truth" in classical set theory are incompatible with certain other notions of "truth as provability". Both the statement and its consequences have been so massively oversold for most of the past century that you should never use it in a discussion - think of it as a logical version of Godwin's law.

Similarly, no free lunch type theorems are formally the same as the statement that you cannot compress all n byte sequences into less than n bytes, which is really obvious for cardinality reasons. Again, there is no magic, just clever reductions.

The argument behind the halting problem also applies to your brain and anything that is somehow an abstract model of computation. More fundamentally, the fact that the self halting problem is undecidable is simply an instance of Cantor's theorem, it's not something that can be avoided.

Mathematical logic and therefore computers can be used to talk about infinity and more. Logical "paradoxes" are not a problem either. Some may be genuine proofs of inconsistency of some logical theories and others are simply theorems. The usage of the word "paradox" in natural language is simply imprecise.

---

I could go on, but really I don't take offense at any particular point. What bothers me is that you seem to be overselling mathematical results to argue a non-mathematical point... If you really want to apply, e.g., Gödel type theorems to discussions about your brain, you would first have to argue that the assumptions of Gödel's theorems apply. For instance, you could argue that the definition of model based truth in Peano arithmetic is something that your brain can decide. Then it would follow that what your brain does is uncomputable.