skysight-inc/HackerNews huggingface dataset:
I think that this is because QC can work with much richer types than fuzzers have access to. Think about the Haskell data types you know, and imagine automatically generating them. Sounds pretty easy with some algorithm, right? Now think about the Java data types you know, and the invariants on constructing them. Yeah sure they have constructors but what preconditions do those constructors require? anything impure, like I/O? are there setters? is an object really "constructed" until some setters have been called? if so, how do you know that as the test generator?

It seems a lot nastier to me, which I think is why QC style automatic testing has made less inroads in impure languages.

It also makes fewer inroads to fuzzing because fuzzing starts a few steps back where you know even less about the application. You could do a grammar-based fuzz of the application, but then you have to worry about the map/terrain of the grammar/application. Are you missing testing some case in the application because your grammar is incomplete?

In QC, the map is the terrain because the "grammar" is just a type that your application uses and this isn't really the case in fuzzing. It could be, in fuzzing some languages (like Java) where you could interrogate the program you'r testing (even a binary program) for types that the program uses. Think about C programs though, where the application input and the "types" that the application uses are (or can be) pretty distant.

Anyway, I don't think it's disquieting. I think they're two very different software assurance techniques that apply in two very different domains and that explains why people don't say too much about them in the same breath. They're united by randomness, but I don't think that much more.
How Many Robots Does It Take to Replace a Human Job?
I like their approach of chipping away pieces instead of porting the whole system. It will result in better modularity and some generic libraries that can be used by other people. Seems like a win-win.
> So H1Bs no longer have any mobility, no new H1Bs can get hired, and Green Card processing probably will be even harder. I wonder what that's going to do to the job market in SV, will jobs become easier for non-H1Bs, or will it cut down on the number of jobs altogether?

I'm not in the Bay Area, but this is extremely relevant in my situation. How is the hiring landscape outside of Amazon/Google/Microsoft/Facebook for potential H1Bs?

edit: ...or is this just panic that I'm reading way into on HN?
Okay. Pedestrians looking straight down at their phone, walking full stride at a street corner, making no attempt whatsoever to look for oncoming traffic and strutting out into said oncoming traffic without out so much as a stutter-step.

The above is embarrassingly coming in downtown and NW Portland.
I was pretty sure I edited enough info out, but you may be right. All the info I did edit out, is already in the chat rooms.
I did a bit of looking and gave the number of a detective who specializes in this sort of thing to my friend.

I have never really looked into this sort of thing before,, but thought there might be some specialists here.
Slashdot still exists?
This isn't about xenophobia. This is about people making promises they shouldn't be making in the first place and others misunderstanding the rights and status their visa gives them.
> Happy Dads

Kevin and Kyle, really???

p.s. Fuck you for your tiny brigade of down votes
Have you considered a disinformation side to the equation. How did the Cold War bankrupt ussr ? Was it the Star Wars disinformation;)
I get the side channel concerns, but most developers make a mess of languages that let you control these things. A few, very few, people I trust to write in a language like C build tools I trust (Dan B, etc). I also think it is very hard to convince folks about side channel concerns.

We have to live in the world we have too (e.g. Signal on an Android is better than not having it, etc.). When I document side channel issues in customer code there is almost some way higher priority issue they have to fix first, etc. But your advice is good for someone endeavoring to do a "correct" approach from the ground up.

Thanks for the detailed thoughts though. This is the sort of thinking anyone who thinks "I will write a secure chat program" has to do ages before they start writing code.
I wish people understood this better.

I'm not a Go programmer, but I have a lot of respect for it.

If you're wondering "why Go"? Think of it as a modern version of C, at a slightly higher level, developed by the same people for slightly higher-level tasks. They made C for low-level stuff, and then picked up with Go for higher-level stuff. It's like C+.

C has been very successful in part because it's so simple in certain respects (although not in others) and I think Go will be successful for many of the same reasons. Go does what it does very well.

I think Rust is actually a great choice for something like Tor, but I wouldn't use Rust for some of the things I'd use Go for.
Put things on one side when you get in. When you soap and rinse, move them over.

Alternatively, when you soap and rinse, put them in the way of your exit. When you finish, open the shower curtain, move the stuff that is in the way into its proper place.

Form stateful habits.

Or rub your hair - if it feels greasy, you probably need to shampoo it again.
It seems that Israel recently used it in combat, so it's ready.

http://www.airforcesmonthly.com/2017/03/07/have-israels-new-...
And yet it's a real word, just an uncommon one, so it's not really a correction, but a recommendation to speak differently presented as a correction. That can be fairly easy to take negatively.

Personally, if I felt compelled to point out that it was uncommon, I would have said "At first I though medicament was a misspelling or autocorrect mistake, but when I looked it up, I found out it's a real word in English, if extremely uncommon. Interesting." That's less assertive in that a mistake was made (because it might have been used for effect), and also true.
This doesn't mean the problem can't be solved by "logic". If true, then research groups that are operating within such misguided frameworks will need to update their understanding of how cancer works.

I think a common trope is to point out some system that humans are currently unable to model in a robust or effective manner, and then throw up one's hands and declare "science and logic can't be used to solve this problem!" The current lack of an effective model for some system in no way implies that one will not eventually be found.

To be fair, this article isn't quite doing that, and makes some very important points. I only bring this up as it is a misleading line of argument to watch out for that I run into from time to time, and a few lines in the article were slightly reminiscent of such reasoning.

Ecology is a scientific endeavor, and perhaps it will prove to be a more powerful paradigm for looking at a cancer. I hope we can make the most of any tools at our disposal to significantly reduce the harm caused by cancer.
Hey, here is a talk I gave about rewriting Rx with async iterators (a complex example is shown) - https://docs.google.com/presentation/d/1nAi7fTa2K9XUIDSG7Bg1...
I don't think that's right. A rotation implies an angle. If it's not coming from a human, then you are either hard-coding an angle to rotate by, in which case you need to take sine and cosine of that angle to generate a complex number, or you're getting the rotation that is implied from some coordinates, hard-coded or otherwise. In which case, you need to normalise a complex number - still requiring a square root.

I don't think there's a way to do rotations without transcendental functions (or square roots) that isn't equivalent to merely precomputing the transcendental functions or square roots.

Maybe square roots are faster, in which case you have a point that avoiding transcendental functions is the way to go.
No, I said there's a tendency for the two to occur in the same kinds of people. There's a big difference there.

And yeah, I cherry-picked the pickled eggs line. You've gotta admit it was a good one. Neither of the main points of our posts were altered by me saying that, it was just for flavoring.
I was able to easily read that English-like syntax.
NSAFS – National Security Agency Filesystem
People have had a hard time learning Rust. I also get gripes about its inconsistency in language syntax. The FFI I hear is good. It certainly doesn't output to SPARK or a C subset designed for easy, static analysis.

So, Rust ain't the Ada makeover Im thinking about. It's also in a stability-oriented freeze of existing design right now. So, the makeover will need to be a different language.
I do this too. I always leave my keys and wallet in the same spot.

It majorly screws up my routine if I pick up my wallet to pay for something online and forget to put it back where it belongs, and I can't find it the next day. Or I leave it in the office and the next morning I have to remember I left it in the office, and it's not hiding somewhere at home.
Excellent! We cannot be sure about water on Mars, at all.
Extraplanetary weather forecast is hard, and bound to produce a lot of errors.
What, no mention of moving the mainframe to web assembly?
Dupe. ;)

Previous discussion here: https://news.ycombinator.com/item?id=14005985
I don't care if its an opinion piece, I care that its read as and promoted as being more like standard reporting. The line between opinion pieces and journalism, well, I'd say its blurry but I don't think it is anymore, I think its ceased to exist and that's a very bad thing indeed.

I want a banner on top that says something like "While WaPo is happy to give Mrs Rampall a platform to voice her opinion, we would like to remind our readers that this article is opinion and does not necessarily represent the views of WaPo and is not held to the same standards of journalism that WaPo holds its regular contributors."
They are probably building the base network for $6B.

New York tried (and failed) to build a similar network in the early 2000s... and the cost was supposed to be like $2B. For the whole country... that's easily a $100B project.

There's a lot more to this than just having "another internet". They need to be able to collaborate with multiple jurisdictions, handle overlap between jurisdictions (i.e., State Highway Patrol, County Sheriff, city PD, various federal agencies, from GSA and VA police to the FBI), hook into other radio systems, etc.

There are already systems in place to allow essential communications to take place during crises on the public networks. People get issued an ID number that will give their call priority.
Spotify mostly uses independent repos for all code, but some configurations (e.g., DNS) are contained within a single repo.

Some big companies do successfully use Git for monorepos though (e.g., Microsoft – search for "GVFS").

Note: I haven't been there for two years so of course some things may have changed.
How about "doing something" like "Siri, remind me at 9PM to put out my umbrella"?
Talking about trial runs for Mars, which of course will be far less exciting. But can we imagine doing even that much? It seems preposterous to put a city on a tall mountain - but we're already talking about another planet.
Someday people will be posting similar Javascript jabs on April 1 and laughing about how people could ever have had serious jobs working with such a ridiculous language.
Or just letting IBM Watson learn COBOL so we can continue figuring out how to prevent the Node event loop from drying up.
Understood. And I get that this article touches on a topic of particular concern. And it is worth noting and discussing.

But for the sweet love of Darwin, can we please get an objective factual take on the situation instead of this partisan half true clickbait? Please? I really like this site. I don't want to see articles on the front page every day that are so intent on discrediting some political party that they stoop to any kind of half truth and use sensational rather than factual headlines.

It's killing me here.
I don't think you have the background knowledge about H1B and H4 visas. How the system worked is basically a person gets H1B visa, moves to US with his family. Or, has H1B visa and marries later. Now the spouse is under H4 visa. It means s/he cannot work till the person with H1B visa is very close to getting green card. Effectively, it means that the spouse has to stop career for close to 10 years.

Obama administration allowed H4 visa holders to work under certain conditions. Jeff Sessions (who is considered racist at worst, to racially insensitive at best) has no desire to support that resolution after it was challenged in court.

So this has not much to do with whether it is immigrant or non-immigrant visa.

Here is a video posted on the website of groups fighting for removal of H4 work permit: https://www.youtube.com/watch?v=kyh_q4uxG4o
Even a statically compiled program run on a single core machine will pause because of the OS scheduler. Assuming we have a multicore cpu then one core can be dedicated to the GC.
Do we really need someone to teach it? Presumably old books on COBOL still exist, or at least some sort of documentation. If there is a need/demand then reasonably talent programmers could probably pick it up. I haven't learned most of my (minimal) programming from courses but from books.
Or if an adversary takes down the internet, our government isn't left unable to function.
A non commercial University research group and commercial Corporation research group can be focused on solving very different problems.

I think Pike and the other designers skew more towards corporate research (Bell Labs). And surely the development of GO as well as other Google research projects are intended to win in the market place.
You can cut down a piece of electrical tape and put that over your webcam. It's not rocket science.
>But I am saying that elements of the public choosing to protest it and no-platform it should not be criticized by the (maybe-)well-meaning peanut gallery on "free speech" grounds 'cause we're exercising ours.

I can't disagree with this, but it still doesn't win the fight. People can't reject a point of view until they're given the opportunity to understand it, and are exposed to the risk of accepting it first.
No need to get so agressive, can't we talk like adults?

I don't think it's unlike the other because I've not been talking about the justification for wanting to supress/remove them instead the morality of doing so.

However abhorrent we find someone else's views doesn't enable us to silence them. Isn't it relevant to point out that there were people (majorities, in fact) who had the same kind of reaction to things we find acceptible today as we do to these nasty racists? They too felt they were justifified.
Are you referring to the 250 pages of reference docs? I didn't see a 'Getting Started' or 'Examples' or 'Guide' or 'Tutorial' section, and I stand by my assessment of their attitude to newcomers.

> maybe they didn't set out to create something that provides insights to people who first came across their field of study five minutes earlier

I wish people would stop submitting those kinds of links to HN. Also: I have an axe to grind (about terrible unapproachable documentation, academic or corporate or hobbyist).
Please look at my reply to parent comment. There is nothing incorrect in the article.
C# is dead
Evidence?

It was a well known, public RFP. Several teams responded. It's unlikely that AT&T won the award for any reason other than how their proposal was scored.
thanks. tremendous car rental site. or whatever it is Ling does with cars. not sure.

when i viewed the page, the audio soundtrack was a rendition of Ob-La-Di, Ob-La-Da by the Beatles. maybe a better choice would be Helter Skelter.
Yes, but we got into a heated discussion about Go earlier in the thread. And it got my blood pressure up. :)
I thought I was sick of April Fools' Day jokes, but you got me laughing. TY
I don't really understand how you can make the claim that people in the near future (relative to the time capitalism has been around) people are going to just give up en masse everything they own so some other entity can manage it "for their own good". This is why making claims that capitalism is winding down via terminology such as "late capitalism" is extremely hopeful at best.

How do you define dominant organizing principle? If all profit was taxed >50% would you have won that battle?
>is the lack of NaNs seems like a bug rather than a feature.

I think this is a reasonable concern. I'll propose to John that we make there be an optional "mode" where the infinity token is treated as "NaN". In reality, this mode just amounts to "ignore NaN traps", because the way that it's done in my hardware models, it requires almost no extra hardware.
Let's say your Python web application pickles your sessions so you can store more than just JSON serializable fields. Unpickling can result in the execution of arbitrary Python code and the only thing normally protecting you is that you MAC your session with the secret key (which was just cracked...)

I need to think on the user impersonation a bit.
In case people are confused - the Grace Hopper Program at Fullstack Academy is a real bootcamp. They do not teach COBOL - that's the April Fool's joke.
Yes they had the technology to travel to another planet but when they arrived they threw it all away and lived in caves and hunted with rocks and sticks.
BAM! Well done. :D
I thought this was going to be a historical article about some training camp Admiral Hopper arranged for swabbies who needed to learn COBOL.

Or at least for swabbies who needed to learn programming and were going learn COBOL because the way admiralty works.
I think there is lot of confusion about what this policy change could mean.

Effective May 2015, there was a rule passed by USCIS which allows certain people on H4 visa to work. This visa category is granted to spouses of H1B. The rule does not allow all H4 visa holders work permit. It only allows certain people whose spouses have approved i-140 (Immigrant petition for alient worker).

So basically it allowed work permission for families who are on their way to be granted immigrant status (from H1B's non-immigrant status).

IMHO - no matter which side of debate you are on vis-a-vis H1B, this rule only enabled people to go from housewives to family member who can earn. Spouses of L1 visa for example could always work.

When this rule was enacted "SaveJobs" organization filed a plea which was rejected. afaict - they filed another plea in higher court, but this time department of justice (under new leadership) rather than fighting the appeal asked 60 day "pause" to make a decision if they want to contest it. If DOJ doesn't fight it - the EAD rule may get scrapped.
The relevant regulation is "Employment Authorization of Certain H-4 Dependent Spouses" [0].

[0] https://www.uscis.gov/working-united-states/temporary-worker...
Just saw something like quickcheck for JavaScripts Flow.

I think I will use this in the future.
It's confusing to me, because all the April Fool's jokes appear on April the second. You American's are always behind the times.
Async iterables seem to be more like a unifying feature to me.

For example the TC39 docs on async iterable say this:
> Furthermore, we introduce a new symbol
> used for obtaining an async iterator
> from a given object, Symbol.asyncIterator.
> This allows arbitrary objects to advertise
> that they are async iterables, similar to
> how Symbol.iterator allows you to advertise
> being a normal, synchronous iterable.
> An example of a class that might use this
> is a readable stream.
[1]

So, the readable stream may end up implementing this api. I went to see if the same thing might go for the observable api. I found that they may have the ability of coercing async iterables with Observable.from()[2] or they could have the ability for asyncIterators to be used as observables through other methods [3].

Observables do implement their own Symbol.observable which does make them different. Really Observables do play a different role than async iterables though[3]. Something that makes observables different is they don't have to be asynchronous. As you may have noticed in the article Promises are added to a queue as micro-tasks where as observables can and will execute immediately if they have a value ready.

Honestly we don't even know whether both or either of these will make it into the final spec. I personally hope they will make it. As long as there is strong interoperability it is fine with me, which as it is this seems to be the case.

[1] https://github.com/tc39/proposal-async-iteration#async-itera...
[2] https://github.com/tc39/proposal-observable/issues/130
[3] https://github.com/tc39/proposal-async-iteration/issues/47
[4] https://github.com/tc39/proposal-observable/issues/116
Don't you dare discourage developers from UX
The cookies spec really should be incorporated into the SSL/TLS layer. Right now it's basically performing two encryption/signing steps immediately after each other, one at the web server, and another for the applications server. This is a pain-in-the-ass for the web server framework and adds several milliseconds of redundant latency.

The cookie data should be signed with the web server's private key.
Your references discuss evidence for transient liquid water (brine) flowing in the present, not the past. There's good evidence that there was plenty of water on Mars billions of years ago.
I want one of these for ME...

It makes me ill every time I look at the thing.
That's rough for the immigrants, but a company with >15% H1B visa holders is abusing the system and displacing American workers. The purpose of the program is to bring in the best of the best, not ship them in & use them for cheap labor.
What's the theoretical max throughput of 20MHz of spectrum?
Google Buys Hackernews
Happy April 1st
We Talked to the 'Ghost in the Shell' Director
Even for a shitpost this wasn't good.
This doesn't even make sense as an April Fools joke.
no. in idris you can declare a functions that takes integers less than five, and if you write code that can eve theoretically allow that function to get called with 5 or greater you get a compiler error. things like that
I must need this since I can't even get the sign-up form to work. So do you know any others?
The cookie that the user gets might be something like userid + ":" + HMAC(server secret, userid). The user who gets that cookie can brute-force HMAC(x, userid) with different values of x until they get a match for the string in their cookie, at which point they know the server secret. Then with the server secret, they can generate a valid cookie for any userid.
Yeah I agree with you here. I was amazed he was able to make a RxJS look a like in such few lines of code using async iterables. It looks like a really nice addition to the language for those who already love FRP concepts.
Mangos too!
Ask HN: What does the employment future look like for Linux enthusiast?
You cannot use Netflix with any non-self-hosted VPN service, they have put a lot of effort into getting around it. We use PIA's DNS for anonymity.
You are not wrong entirely. But H4 EAD isn't a blanket permission to all H4 visa holders.

"Is the principal beneficiary of an approved Form I-140, Immigrant Petition for Alien Worker;"[1]

https://www.uscis.gov/working-united-states/temporary-worker...
Is this database stored online? I am confused and any help would be appreciated
We can include that, sure. The router's are well-known brands which can be looked up in tons of places, but yeah we should add it.
> Oh and all you really need is your passport and your credit card. The rest is replaceable.

For some of us, depending on the destination, prescription sunglasses also fall into the category of essentials. Learned that lesson the hard way.
Thought of another use case I'd aim for: Scheduling payments/verifying etc. Any time-based event could be a layer. Maybe a plugin that heatmaps your productivity or revenue or whatever in the background.
Is science not a logical endeavor?