skysight-inc/HackerNews huggingface dataset:
> If you want an Everything type that is different from the Any type, the only type I can think of would be a type whose instances behave the same as every type. That doesn't make a lot sense to me.

I know, right?

For me, everything semantically would have to include all types and all instances of types. Types are things also after all. In type theory collections of types are called universes. I'm not referring to those (I think). Everything encompasses all things, not just all types. Also, would everything include itself? Giving us Russell's paradox, which type theory seeks to avoid.

We ought to be able to talk about all things. And everything is an alias for the phrase "all things".

I agree that Any is kind of (exactly) like void* in C or BasicObject in Ruby.
I also find "content" to be a useful shorthand for things like podcasts and videos which can't be lumped in with "writing".
I'm in favor of this idea, but right now utilizing biology seems to be a path of lower resistance and higher likelihood of success.
Cola Messenger Is Like Text Messaging on Steroids
My main hope when talking with a recruiter person is that we avoid the kabuki theater. at this point: I'm good at some stuff, poor at others. My resume is an adequate description of things I am good at. I'd like to talk personality fit now, thanks.
Hey that is cool. I worked on the first commercial disk array at Thinking Machines Corporation in 1988. We used Reed-Solomon encoding because we didn't trust that the drives would catch all the errors (they did). Good work solving some of those bandwidth constraints in rebuilding the data.
John (Smitty) Hayes
>Why should he know David Duke is?

Donald Trump knows perfectly well who David Duke is and what he stands for[0].

[0]https://www.washingtonpost.com/news/fact-checker/wp/2016/03/...
Hopefully electric cars (or bikes) will be cheap enough by then :)
Don't Make Me Code – Ep. #4, Affordances for Developers
Well DOM _(from my limited queries)_ is a bit further out anyway. On their design page, DOM and GC are actually lumped together[1]. That being said, i really want DOM access from Rust, so perhaps it's a moot point heh

[1]: https://github.com/WebAssembly/design/blob/master/GC.md#gc--...
Is this in a state where I can go and try making experiments in webassembly?
Not true AFAICT. (On Linux at least)

Here are a couple of snippets from the man page:

> If a write() requests that more bytes be written than there is room for (for example, the file size limit of the process or the physical end of a medium), only as many bytes as there is room for shall be written.

(Admittely disk full is pretty much an edge case.)

> If write() is interrupted by a signal after it successfully writes some data, it shall return the number of
bytes written.
> That works well for typical digital signal processing applications, and not so well for generic number crunching libraries.

Even then it breaks down with more complex signal processing algorithms. FPGAs are great for simpler algorithms like FFTs, digital filtering, and motion compensation. They aren't quite as good at more complicated algorithms like edge detection. They really break down when you want to use ML-based algorithms.
I think it's great that you ask (as a parent unsecured firearms also concern me) but wouldn't it make more sense to ask what type of firearms are in the house and how they are stored? There is a huge difference between an unloaded rifle locked in a safe and a loaded pistol in a drawer. Even then, how can you be sure that people respond truthfully? I intend to teach my kids about the hazards of firearms in the same way I would with chemicals and tools.
I would have said he looks more like a young-looking mid-20s, no idea how old he actually is, couldn't find anything in my 5 seconds Google search. Out of interest how old is he then?
When a web publisher produces a content, it constitutes someone's work. It's different than talking to your neighbor.
whoops, i'll take a look.
computational biology, sure
can you show us something to back this statement? I'm really curious
Interesting for no mention at all of machine learning, beyond "To date, there have been no truly successful approaches to machine learning in this sphere" ["general game playing" rather than specific games like checkers]. Deep learning was already red hot, and on my radar, yet I wouldn't have thought this a strange omission at the time.
$3700 for a celeron with 8 gigs of RAM and 4TB storage?
Is it gold plated?
I would say do lots of market research. See what kind of products are in top demand in your niche and if you have time commitment to deliver.
Robotics and avoiding stereotypes with hardware
I've had this happen multiple times. Why would you hire your own replacement? (This is how they think.)

When they have someone hiring not based on what's best for the company but what's best for their own career goals, you know you're going to have issues.

Welcome to the world of tailoring yourself for the job. I'm in my 40s, so it gets worse. Can't wait until I'm over 50!
The linked protocol takes care of that by only sending few enough bits that you can't tell what was hashed, though.
Cloud-based tech doesn’t have to be boring
Damn, I will miss those breakfast burritos. These guys had some great food and the service was incredibly fast. Bummer!
Best Practices of Xamarin.Forms UX
I don't think your drug analogy is right, there most certainly are laws that mandate secure storage of dangerous items, explosives, animals, chemicals, etc. A more apt one would be an explosives store owner that locked their front door but didn't store their explosives in a safe. If someone broke in and stole the explosives wouldn't you expect the owner to be in big trouble?

A significant number of guns used in crimes are stolen, so its too bad that more gun owners don't believe in secure storage like you do. I don't get your "slippery slope" comment, could you expand on this more?
simple marketing 101 Use an email address at your domain... you can easily have it forward to gmail behind the scenes, and replies will look as if they're coming from your domain. Can you imagine people at IMBD having email addresses on the gmail domain?
Dick Clarke has been saying the same.

> Clarke explained that the FBI was trying to get the courts to essentially compel speech from Apple with the All Writs Act. "This is a case where the federal government using a 1789 law trying to compel speech. What the FBI is trying to do is make code-writers at Apple, to make them write code that they do not want to write that will make their systems less secure," he said. "Compelling them to write code. And the courts have ruled in the past that computer code is speech."

http://arstechnica.com/tech-policy/2016/03/former-cyber-czar...
Do you consider foam rubber a good insulator? Do you work in an office environment with an ambient temperature about 50F? Would you strap a highly insulating layer of clothing against your buttocks on a normal day?

If you answered: Yes, Yes, No to the questions above, consider the cool and breathable rear-end attire that is the Aeron chair.
It was scattered as we won some pitch competitions and had a few interviews but we didn't focus on it.
There is a big difference between survival of the species and survival of the majority. We were at one time fewer than 10k people (give or take) and we came through fine.
I'd ask for actual stats including citing a study that is not geographically isolated to the inner city. This is another one of those soundbite arguments in the US. Also, dig up some stats on donation to charities by party members.

Both sides in the US have reduced our services to the mentally ill. The Democrats don't like institutions and wanted in-community services to the point of cutting funding for institutions. The Republicans don't want mental treatment homes in the community and vote to cut there funding. Since they cannot agree we get a whole lot of problems.
I have an expensive gaming PC that I have toyed with the idea of getting insured. I might try Cover out, just to see what kind of options there are.
Anonymous Just Declared War on Donald Trump with a Massive Cyberattack
Are there any examples of (1) actually ever happening in practice?
It's not a matter of morality. It's a matter of environmental cost. All people put a burden on the environment. If disabled persons need more resources and therefore put a greater burden on the environment than others, that's simply how the world is. It doesn't make them bad people.

I'm not talking about charity, either. I'd want the government to make up the difference.
Just based on your interest...
What does the phrase "built from first principles" mean?
"You dont need a gun"

"You don't need encryption"

It's not the bill of needs. I was born with these rights. This is the danger of eroding the constitution, the arguments can be used against whatever issue you want. If we want it changed, do it the right way and pass an amendment. But please, protect the integrity of the most important document we have.
Your idea looks promising. Thank you for posting this.
It boggles my mind when people assume that their pet ideas should be everyone's. Patience was a virtue. In a couple hundred years time people will be able to do that without having to "leverage the entire world economy".
I think the teleology is correct. The web had competitors. Some of them weren't free. See which ones won.

If your collective action requires that everyone not do something that's fun and that ordinary people can do (blogging) then it is doomed to failure. As people realise there is no money in web content, there will be less web content. That's ok. There will still be more than enough.
A link the the arxiv paper: http://arxiv.org/abs/1602.07300
Food service has a terrifying reputation as a business sector—restaurants routinely go out of business in their first year. Deep funding would create a buffer and help it grow, of course, but I still wouldn't want to bet on a restaurant.
My issue with the whole "github resume" thing is all my best code is in private projects because they are related to serious side projects I intend to monetize. I suspect the same could be said for any other developer who is serious about their side projects.
BTW, as a big fan of podcasts I love the idea and I hope you keep up development on it.
Off topic, but it's interesting to see that you're active on HN, as I certainly remember you on the forums and on the show. I used to be a big fan of KATG from about 2008 to 2012 but fell off the bandwagon.

As far as podcast communities go, however, it always did seem like you guys had a good handle on using the web for interacting with fans and established a decent setup for monetizing the product which a lot of other podcasts lack. So...good job.
AI? https://gigaom.com/2015/02/23/microsoft-is-building-fast-low...

More precisely, to put AI on smart phones. Neural network is cheaper on FPGA. You can switch between AIs (voice/image/text recognition, games, etc) quickly and update them over the internet.
>You can, however, swing probabilities.

This is no different than the anti (strong) crypto arguments. The overwhelming amount of law abiding citizens give up liberties in the name of reducing a probability which is less significant than the risk of eating cheese burgers every day and dying from heart disease, or entering a vehicle.
Where's the GitHub search bar
What happened to the github search bar?

http://imgur.com/HnVRJLg
It depends on your moral system.
If a cause it not apparent to you, than I doubt your moral system would value it.

The most universally accepted argument is that one has an obligation to one's own ancestors to maximize their chances of survival.

I consider it to be the asymptotic biological imperative. I've decided not to have children, thus I have an obligation to ensure that everybody else's children have better odds of survival.
> Nobody needs a gun. If you think you need a gun then you have serious problems.

Tell that to the president and secret service.

EDIT: The purpose of the comment above is to point out the prescription above isn't a black and white issue. At least not if you are thinking about the real world we live in.
Don't get me wrong selling and getting real product validation is the best.

But emails are one of the most valuable resource for marketing. You can always email people. But even advertising to the people that liked your page will cost you money and will be competing with tons of information.
Any interview I've ever had where HR is involved is somewhere I would never work.

Last time this happened I was informed that Russian and Indian are races. Talking about my coworkers by their country of origin (I was saying how refreshing it was to work with a broad array of people in SF vs what I normally work with [white male] in Oklahoma.)

Russian is a race. Seriously.

HR employees are worthless in my experience (~35 years in the labor force).
I'm glad I don't have to understand any of this
Yes, we would use Kickstarter again. It drove a lot of our traffic and the community of backers seems to have a unique cohesion. People on KS know what they are getting in to, and are there to help. It has it's downsides, but in my opinion the pros outweigh the cons.

I think each company is different though, and you have to consider your strengths, as in do you have a strong online acquisition strategy/team, in which case a campaign on your own site may make more sense.

Now that our campaign is over we use Celery for pre-orders on nebia.com
Seconded. Rating TV episodes on IMDb is a very useful feature, especially now that it supports sorting episodes by rating, e.g., http://www.imdb.com/title/tt0098904/eprate?ref_=tt_eps_rhs_s...
https://users.rust-lang.org/t/rust-to-js-with-emscripten/587 There's been interest in compiling to JS for a while. I don't follow Rust closely, so I'm not sure how much progress there has been.
C.H.I.P. Launches Hobby Rockets
Killer in 2011 Norway Rampage Says Prison Conditions Violate His Rights
I think the idea is that WebAssembly apps will normally be closed-source, but browsers will ship with disassemblers, making it easy to inspect the app logic in a common text format.
Love the idea, but this seems like it would require a ton of work for it to be remotely comprehensive.

In addition to the missing data, the false positives are an issue. First podcast I checked was Second Captains, which incorrectly lists Rafael Nadal, Donald Trump, Mike Tyson, Cristiano Ronaldo, etc as guests.
We live in an era of FB/LinkedIn. It's really not that hard to contact someone that they've worked with and ask, "did you like working with this guy/gal?"
> So it is a Google closed club? "you use our library, your site ranks up"?

Yes, unfortunately that is exactly the case.

Try a Google search for any news-related topic on a mobile device (at least in the US) and you'll see that only Google AMP pages are featured in the top scrollable news widget:

http://imgur.com/TuFhnZM

That's why most of the major publishers are providing AMP versions of their content. You can find the linked AMP version of any news article by checking the HTML source and looking for the "amp" link tag in the header.
I'm a C, I hire A++ and steal all the credit!
Yeah I don't get how you brand restaurant delivery is a tech startup. Absurd. I can understand a 'meal sharing' service like airbnb or uber, but not this.
Winches normally lift around ~1,000x their weight if you ignore the cable weight. Considering these don't include the cable's weight and are really slow it's far less impressive than you might think.

Granted, the fist time you see a car lifted off the ground by a dinky 1.5 hp motor it does seem crazy.
> I found an estimate that ad blockers will cost publishers $22 billion in revenue

My first reaction was that consumers will save $22 billions because those ads are eventually paid by them. Well, not really, because some of those money will go into paywalls. More or less? Instict says less because people don't want to pay. We'll see how it plays out.
Regarding production-running commit - No, not really. She should definitely be working on something serious before the end of the first week, but it doesn't have to de deployed necessarily. Depends on the type of product you have. If it's a SaaS with rolling release, sure why not.
Last thing they published still had a bit question mark around concurrency.
The Worms sound is slightly lower and has a slightly longer "oh", imo.[0][1] I don't remember there being an "uh oh" sound in Chip's Challenge (the death sound was "bummer" iirc)[2]

0: https://youtu.be/6iCPIUGnHQ8

1: https://youtu.be/eQwJaDyzet8?t=2m54s (apologies for the video track, couldn't find anything better)

2: https://youtu.be/N32ZTPtD9AM
It's a little early, so things are not easy to use yet. Spec still changes, tools still change and break, nothing is optimized for convenience yet, etc. But here is how to use emscripten to emit WebAssembly currently,

https://github.com/kripken/emscripten/wiki/WebAssembly
Well, ICQ was very popular up to 2005-2010. MSN was never a popular choice (in fact it was not popular at all).

So people usually used ICQ, Skype and Jabber. Gmail+GTalk done the job killing ICQ for most here.
It shows up when I sign in.
I don't see enough about Shumway given the recognized security impetus
Can you please specify what exact thing would make you want to keep using bookmarks in your browser? Is it the convenience of the browser save that you like?
And what about in San Francisco, where that person could very likely be mentally unstable..

the startup scene must be reeeally cutthroat. ;)
Thank you! More interaction should definitely be on the roadmap! Not everyone likes too heavy plots though.

btw, I updated the front page with short snipptes of how it can be used for server monitoring.
Awesome video ! Crisp and to the point
I've heard that in Chess, there are specific strategies that are effective against computers, but not against humans. Is this the case, and is it possible to do anything similar in Go?
Ask HN: How will WebAssembly affect the web and web developers?
How does having a gun alleviate your fear of the government?
Nice. I suppose I should try optimizing the Lua code some more. There are some nasty branches in there that might slow it down.

The Lua code is not exactly identical to the rust code. I test all numbers less than n, as opposed to counting n primes. I set n so it got slightly more primes than the rust code though.
Search does not work for me. I have malware filters, so check domain its loaded from
Ask HN: What advice would you give to a self-learn programmer just starting out?
I am self-learnt and will start applying to the new-grad tech jobs in around four months. What advice do you have for me?
Ya like meatloaf, ribs, burritos, etc. Everything was 700 calories+++
Damn that sounds too familiar :)

Yeah the whole "fetching everything single piece of information" on the first day kills me all the time.

- "Here is the git repo"
- "It says access denied"
- "Oh yeah, talk to Foo to get credentials, just IM him"
- "How do I connect to IM?"
- "Oh, go see Bar to get an account"

It always sets me on the wrong foot.
Yes, I've seen Any (or top) described like that. It is the super-type of all types. Therefore, as you say, "Any value in your type system belongs to the top type". Imagine the following:

foo = Sheep.new => a sheep
foo.is_a(Any) => true (for anything! by the nature of Any)

I agree that "some" looks like "any". I wonder is there any (ahem) semantic difference in the context we are considering.

I can see why you would say that (every)thing is the "and" of all my types. But consider that I think it obvious that (every)thing should cover all things, this would include instantiations of types as well as the types themselves.

Programming environment-wise I'm having a hard time imagining how "everything" would work. It must be related to for_all or universal quantification somehow...
> For a desktop computer game, $/€25 is considered a reasonable price — and physical board games are often much more expensive. But as soon as people are invited to spend that money on an iOS or Android app, they soberly point out that that’s a LOT of money and they aren’t sure the app is worth it.

Mobile devices are terrible for playing games. I can't imagine playing something > 100 hours on a phone/tablet...

I actually stopped considering using mobile devices for anything that is not commute/alarm/on the go communication related too.
This is a great step in the right direction. I use GitHub for code review every day, and it has historically been very poorly designed for thorough reviews. These changes look great, I just hope that we get some sort of checking-off of review points, and accept/reject functionality.
Because DOM manipulation in C++ sounds like a nightmare to me.
This conversation was confusing until I read this point
What are some good strategies you guys used to narrow and improve your messaging for your crowdfunding campaigns?

Did you rely on qualitative feedback (by real people or usertesting) or on quantitative results (A/B conversions testing on ad copies and landing pages)? Or did you just go with your gut?
Really love the idea of embedding the EventSource and image update JavaScript in the SVG doc itself! Keeps the host page clean and tidy! Took me a while to get my head round where the python script was "generating" the svg.

A really clean solution, love it!
I know the "wisdom of crowds" is passe, but the continued success (all things considered) of Wikipedia and open source software really makes me question the value of quality gatekeepers. I know I'm biased because I work in software and the costs of mediocrity in this industry are less than in others, but I think we could speed up innovation and discovery if we opened up science and made it more publicly accessible and collaborative. At some point the gatekeepers are just protecting their turf and hold back progress.
We went to the moon to show military might, and beat the USSR. Having done so, no interest in more?

We've never been back since. A moonbase is the obvious place to experiment, develop and benefit from 1/6th gravity as a staging post to Mars. We should have been there for the last 40 years.

It saddens me we're so short sighted. No votes in it?

Could we even organise a global effort? The governments would spend decades arguing over who got to make which bit.

I'm much more hopeful of the private efforts to be truthful.
It'll be really interesting if people think of JavaScript more as a highly available scripting language, rather than a necessity.
What you're suggesting is essentially combining some sort of partial evaluation with type-checking. This is going to be hard to do in a consistent, intuitive way: either you only do a very small number of obvious cases (like if (false)) which is not all that useful and just adds complexity or you try to do it in a principled fashion which is difficult and still inherently limited.

Right now, the typing rule for if in Scala is reasonably simple. The condition is a boolean and the whole expression is the least upper bound of the left branch and the right branch. How much more complex would this rule have to be if it needed to fully specify when the condition gets simplified?

To be sure, your idea is interesting and could probably be done well in another language. I wouldn't be surprised if this sort of capability naturally comes up in some dependently typed systems. But it wouldn't work very well in Scala: you'd be adding a lot of complexity for relatively little gain.
Because the world isn't a game of Civilization?

It's not as if establishing an off-world colony will solve any of our actual, serious challenges (mankind's aggression, our lack of empathy, our disregard for environments around us). If anything, it will only further spread the disease known as the human condition.

It's an escapist nerd fantasy and I say this as someone who sleeps next to a copy of Dune.
I guess my issue is that all of github now sits behind a login page now.

//original comment
//You used to just be able to search github with or without a //account though, now you need a account.