skysight-inc/HackerNews huggingface dataset:
> it's not always type that needs checking

I think type theorists would disagree.

> Placing a small number of sanity checks on border code is not any kind of argument for static typing.

Yes it is if any of those checks are for types.

> I'd do the same thing in most languages - in fact, I'd end up doing way way way more of it in C because it's very weakly typed.

C doesn't have type checks, unless you're using some runtime type system (like GObject) on top of it. At any rate, C may not be completely type safe, but it's better than dynamic languages which are completely type unsafe; even if you could do type assertions, you would do them far less frequently in C than, say, Python. Further, C is not the canonical statically typed language, and you would be laughed out your workplace if you proposed adding a runtime type check on your function parameters.

Even if you're using Python (assuming you have the good fortune to use a modern version), you can just use type annotations and the static type checker rather than littering the code and slowing your program. Albeit your point stands about writing library code for another's consumption.
You aren't missing anything: any PR expert will tell CEOs to never say things like this. This rant isn't even coherent! He'd be much better off positioning his product as yet another sensible choice which happens to be 30% less than some similar products, and some more advanced technology which reduces cost, blah blah.
I don't know any serious business that embraces 'breaking things' when a bit more effort and time ensures that nothing gets broken.
I sold our 2nd car, and just ride to work now. But if we just compare human fuel aka food with vehicle fuel, it's actually more expensive to ride!

But it's all the other costs of owning a car that make it so much more expensive: depreciation, licensing, registration, maintenance, blah, blah.
how do they even find what each hex code does? wow
Show HN: Visualizing how a person's Wikipedia changes after they die
Well yeah... but there's this: http://www.space.com/12546-lego-figures-jupiter-juno-spacecr...
> It is often a cruel and harsh mistress.

If your engineering project doesn't work, there's no pretending that it does. It's the ultimate in fairness :-)
For many libraries, it's pretty easy to write code that works across all the versions. For many differences it's not too difficult to implement code for maximum compatibility: http://leafo.net/guides/setfenv-in-lua52-and-above.html

For me personally, the advantages of luajit currently outweigh the desire to upgrade to newer versions of the language.

Regarding Lua 5.1 being old, I haven't really found it to be an issue.. Lua isn't like most scripting languages, it doesn't come with a huge standard library. It's effectively just the language and some primitives. So it ages quite well as is.
Actually you can run your own FF Sync server.
It depends on the class, but often times it is the university's job to teach people how to code. For example, if you make it through an algorithms class without knowing how to actually implement the algorithms, that is probably ok, as long as you have a strong enough theoretical understanding of them. If you make it through a systems programming class without learning how to do any systems programming, then that is a problem.
"some moderate success" ???
"skeptical of the company's future" ???

take the money and run! learn from mistakes. they will burn through the cash and fold, but you will have a headstart.
I'm getting a random lot of 20 kids from average schools. Surely, if IQ is dropping significantly amongst the general population of CS students, I'd be seeing that?
You are assuming the companies care enough. Their current strategy is petition the government to open offshoring quotas. That's much easier and cheaper than actually figuring something out.
What? Almost the entire meat of my CS program was programming projects in a variety of foundational domains (operating systems, networking, concurrency, databases, graphics, compilers, cryptography, machine learning, visualization, etc).

Theory (discrete math, algorithms, formal languages) was 3 courses out of an 18-course program. HN keeps talking like it's the only thing you do in a CS major, which is bizarre.
I've never messed around with it beyond toy problems, but I recall Norvig saying in one of his books that it was trivial to code up NP hard problems in Prolog and other logic constraint languages without realizing that you did so.
How does MoonScript compare to Wren? https://github.com/munificent/wren
I wish I read The Riddler more regularly—this is a really interesting problem, and I'm sorry I missed the contest!
> you can thank the cheaters and fakers, and the fact that our industry doesn't have the will to root them out.

Isn't this in every industry? You don't apply for the job you are most qualified for, you shoot for the next level job, the job that pays better, looks better, but stretches your expertise.
Clash Royale
Valuation and percentage aside, let me ask you this question -- now that the company is raising another round, where do you think the equity for the new investors is going to come from?

Say the company is trying to take on another 20mil at 100mil valuation, that's 20% of the company that will have to come out from the current shares, i.e. dilute all the current owners of the shares. That means to raise that money right now, the company is going to have to dilute you, but also all other employees and founders and investors. So you will lose ~20% of your shares, in exchange for XX-growth of the paper value of your shares.

Imagine that right now your shares are worth 1 million, but for absolutely no cost to you, those same shares will be worth 20 million tomorrow (minus the 20% that investors end up taking). This is not "exact" math, but it illustrates the point.

You can sit on your shares today, and make a ton of money overnight by doing _nothing_.

If you sell your shares today, for any amount less than what you would get in the above scenario, you're losing money. The hardball-CEO is just going to take your shares, and immediately resell them to new investors at 100X the price.

Unless you absolutely need the 100k today and can't live without it, your best bet is to hold on to the shares and take the gamble on them growing multiples. If the company does great, you win. If the company shuts down, all you lose is x-months worth of salary equivalent. If the company needs to raise more money later, then you can always offer to sell your shares at the later price.
I am, and I'm pretty exited about it. I haven't had a chance to work with it yet but I might mess around with it next ludum dare.
In Europe or Canada, they don't have the insanely-high healthcare insurance costs that Americans have.
Ask HN: Brave's Timestamp When Updating
I only have one complaint about Brave, and its getting more annoying. I am asked to update the browser so many times but then it doesn't seem to update. Also I noticed this `2017-05-30T02:59:39.123Z - Update URL: Wed Dec 31 1969 16:00:00 GMT-0800 (PST)` from the logs when manually updating. It looks like an issue with timestamps.

When I first launch Brave, I have to quit and restart it again before a window appears. Is anyone else seeing things like this? I am a supporter of Brave, but these tiny things need to be worked out. Also, I would love more support for devs.
Now there is a mini industry around getting people over that very low bar. FizzBuzz was a temporary patch, now we need a real fix.
Will it be possible to revive the old Symbian button phones through this or some similar project?
Blindly copying code doesn't really scale though. It might solve one specific problem, but you still have to organise the code and make it reliable - which you probably won't.
Yes, I was wondering about this too. I also tracked this down to the IEEE article but it unfortunately has no other detail. I find it hard to conceive that a 20-line program would take three days to toggle into a computer, even if each line expanded to several words of computer memory.

Here's some speculation, though. The SPEEDAC had 4096 18-bit words. [1] If one were able to toggle manually at a rate of one bit per second, it would take over 20 hours of toggling to fill memory. If you add time to recheck values, set addresses correctly, and so forth, it's quite plausible that loading a large program would take three full eight-hour workdays.

An automatic loader would thus save the three days it would have taken to toggle in a program that filled memory. Again, this is just my speculation. But regardless, it's a remarkable achievement.

[1] https://en.wikipedia.org/wiki/SPEEDAC
Too little information to help you really. What's your income goal? How far from retirement are you? How far in the future are you wanting to start a family? What's your passion? What's your income expectations from now to retirement etc.

Not trying to be difficult or ask you tons of personal info but without knowing more it's difficult to get solid advice.

I'd personally recommend you talk with 2 or 3 financial advisors and see what they tell you.

Personally using 200k, I'd likely put 50% or so into a reasonable growth fund and let it ride. And I'd take the remaining and likely leverage it to fund your passion where you can make money. In my case it'd be either real estate or some Business adventure. I'd possibly even look at franchises as a return of $80-100k/year out of a manager managed store (e.g. You don't work there) is a quick way to grow your wealth. As you can continue to add more stores or different ones.

You could also invest more and work to get a letter of credit against some percentage and then use that money to finance your ventures. Again something a solid financial advisor can help you with.

$200k isn't a lot but it is a very nice savings (congrats) so being smart with it can responsibly grow it in just a few years. And done right you could wind up with enough passive income not to need to work for anyone and just focus on what you want to do. But getting 10% returns a year on 200k isn't good enough so to leverage it is the way to go in my opinion.
>"Socrates is a man, therefore Socrates is mortal". Please explain to us, speaking a bunch of incoherent nonsense, how Bayesian logic will prove the necessary "all men are mortal".

Exactly the same way regular logic does! You can have logical statements like "For all x, 'x is a man', implies 'x is mortal'". Bayesian logic doesn't take anything away from regular logic, it adds to it. It gives you the option of adding probabilities to statements. So you can do:

Socrates is a man, 99.999%

Men are mortal, 99%

->

Socrates is mortal, 98.99901%

>One can be 100% certain that DNA is the genetic material

No, you can't. Scientists could discover something completely different tomorrow. I'll grant you that it's very unlikely, but not literally impossible. It's a common mistake to confuse the two, but they are not the same.

>The Mother Nature does not count.

Take two apples, add two more apples, you have four apples. Nature definitely counts.

>The structure of a brain which makes mind possible, and all the other body's organs, of course, including an eye, reflects the physical environment it has been evolved within. A brain is an "implicit map" of the territory, it reflects what is, like a print, or using modern terminology a trained neural network.

I don't disagree. And what does this have to do with anything? The brain is (approximately) bayesian and weighs different probabilities. The brain is never 100% certain of anything. It can never know reality completely, just become a better map.
I think you first need to explain what "the Etsy of Food" is. What do you have in mind, exactly?
"Advertising" isn't a business model; it's a crutch one reaches for when an existing business isn't financially sustainable on its own.

Advertising is absolutely a business model; it funds not only most of what you see on the internet, but much of what you watch on TV.

Now is it the best business model for every company? Obviously not.
In the code listing on the 4th page [0], why is MaxGThreads and StackSize wrapped in an enum? I would use an enum when I might want some values to be mutually exclusive. Seems like these values aren't even used in the same context? I would use static const ints.

[0] https://c9x.me/articles/gthreads/code0.html
Any tool you deploy you'll find a workaround. You will be better off developing the discipline to stay off.

Perhaps consider seeing a psychologist for developing strategies to refocus your energies. Or rather than spend your time finding ways to block sites you can find ways to divert you from these distractions.
Two problems:

- Unlike the host, URIs are a property of the request, not the connection, so sending it as part of the connection handshake doesn't really make sense.

- Unlike the host, there is a very long history of putting secret things into the URI. Even if the extension is built with this in mind, the number of security breaches that will result is greater than zero, with probability one. That's probably not the correct price to pay for convenient censorship infrastructure.
If someone came to you and demanded your house for a small price of $20 dollars, would you yield and sell?

In the same way, the hardball CEO can offer whatever she wants, but in this case the ball is completely in your court. You can ask for 10 million, if you want, or a 100.

An ass-hat CEO could technically issue a billion shares to herself and new investors and completely dilute your value in the company, as a last resort.
Google (Alphabet) and Facebook are internet advertising.

http://image-store.slidesharecdn.com/f0a87be0-b176-4d80-ae8f...
Snapchat does a few different things now:

- hardware design

- computer vision

- iOS, Android, and server development

- content production -- shooting video, writing scripts, etc.

- selling advertising -- they need many account managers and salespeople for this

and then there is HR, Legal, and Finance to support the aforementioned orgs.

For a company like Snap, 1,859 employees is pretty small. At this time of writing, Uber has somewhere around 12,000 and Facebook has about 18,000.
I may or may not have cheated my way through classes.

If I was to cheat, I would use the following methods:

1. Break up (or merge) functions

2. Switch ordering of declaration of variables and the ordering of methods/functions

3. Change names of variables/functions

4. Create useless variables to hold state (or condense/remove useless variables).

5. Switch ordering of math operations

As long as you take the time to understand the code you are copying, you won't make an obvious mistake like that while(!true) fail in the article.

The general guideline is to use cheating as a shortcut to the answer, not as a zero effort copy paste.

If I had hypothetically cheated using the above method on ~ 15 major code projects, I wouldn't have gotten caught.
Absolutely not. The response to censorship should not be to make things easier for the censor.

Anyway, the idea is unworkable as the user's client could simply lie about what URI it's going to send after the encrypted connection is setup.
This is how this happens: https://blog.codinghorror.com/why-cant-programmers-program/
Legitimate question: why would you want the first video (hardcoded subs) if you have a second stream without them, better resolution maybe?
Hey OP, for a non-technical solution to your problem get in touch with these guys over WeChat:

http://www.bijianshang.com/page/contact/contact.php

They sell soft-copy transcriptions for any show you want.

They charge per episode so it can get pricey if you do an entire series but getting a couple of episodes is quite affordable.
To be fair, it's never been tried. At the time the only country that could do it was Germany. Now, most of the Western world would probably work. China couldn't meet the requirements so they hacked the ideas to fit an agrarian system and nearly killed them selves in the process. Perhaps they should try now.
It's a little dated now, but check out this list:

https://www.chinese-forums.com/forums/topic/24097-tv-series-...
> The network uses Reed Solomon erasure coding to prevent against failures. You can pick your own redundancy scheme, but the default is 10-of-30 today. (3x overhead).

Oh wow, I misunderstood that completely. Very cool. Will this be a user configurable setting when uploading in the future?

Would it also be possible to calculate a sort of "odds of safety" using historical transactions of the whole network? If so, please consider implementing some sort of slider in the GUI between "cheap", offering whatever the failure rate of a single host may be to "safe", offering the failure rate of as many hosts as needed to match the guarantees of most cloud storage providers today.
Jared Kushner’s Other Real Estate Empire
In order to have access to vocabulary words. From the article:
> I wanted to get a transcript of the episode’s dialog so I could study the unfamiliar vocabulary. Unfortunately, the video files I have only have hard subtitles
I think it would be wise to try start scouting for opportunities outside of the company. This will also give you a clear picture on what your skills are worth in the current market and if the problem is basically with the company or your profile. If you are not being assigned to any work, it's not really a good sign, so it's better to always keep your options open. Having another offer in hand would also give you some leverage if you want to bring up the topic of unsatisfactory work with your boss in your current role.
Nuclear Fallout Used to Spot Fake Art (2008)
Is mobile development job market dead? – SF Bay Area
I've applied to hundreds of jobs, especially Android, in the Bay Area but no one seems to be hiring. If you look on HN jobs, all of them seem to want full-stack engineers these days. There are quite a few job postings online but they have been open for months un-filled. I am willing to say that the mobile development job market is dead. Discuss.

No random comments either unless you're actually involved in hiring mobile devs in SF Bay Area to counter my point please.
You don't have to use Babel, but if you want to use newer/syntax not in Node/v8 then yes. Always a tradeoff, but gave a talk at TC39 recently about this, https://github.com/hzoo/role-of-babel-in-js, https://twitter.com/left_pad/status/867593358977499137.

https://github.com/babel/babel-preset-env with our `"node": "current"` option can help with this.
Nope it will fire again after 30 minutes but not continuously
From macOS Sierra 10.12.4 onward, it's built in. Check Displays in System Preferences. Just tested now and it works with both internal display and external 4K screen.
I'll go with a different angle on this problem. Computers have become indistinguishable from magic for most of the modern population. Even with IDEs like IntelliJ and Visual Studio, the interface of programming has not kept pace with the sexiness of GUIs. As a result, lots of young people take computers for granted and give up quickly when presented with UNIX, git, and the rest of the command line tech stack used by programmers.

I'd say that the decreasing percentage of women in computing has also hurt. When I starting working almost a couple decades ago at Cray, they had significantly more women in programming. Today, most hard sciences graduates are women, but only about 25-30% of CS graduates are women. I don't have a great answer why this fall-off is happening, but it seems to be a symptom of cultural issues. Maybe it's the influence of VCs and the bro culture bias of finance? I honestly don't know.
Flying Monster Hero Battle
> Can anyone who learned Chinese comment on the timeframe it takes to even get a basic understanding of what the subtitles say?

3-5 years depending on how much you study.

> any tips on getting started with Chinese very welcome as well

The best tip you'll ever get is to study every day.

For more concrete examples of what/how to study, here is an excellent post that contains a lot of advice for independent Chinese learners:

https://www.chinese-forums.com/forums/topic/43939-independen...
Any leads on sales you can get from the investor/advisor board?

Also, make sure all your financial documents are in order for at least four years (or entire life of business)

Cue someone to comment that businesses are bought not sold. If your business is attractive buyers will find you.
This page lists every known bug in the Lua interpreter for the last 14 years, along with its fix: https://www.lua.org/bugs.html

The average is 8 bugs per year, most fairly obscure. Every Lua release fixes all known bugs.

Roberto, the chief architect, is kind of fanatical about quality: https://www.youtube.com/watch?v=yU5QNKpATxk

I do not believe the interpreter is as flawed as you claim.
You can raise money by crowdsourcing without having to raise a single USD ever, fill forms, go through regulators and banks etc. It's not that you offer redeemable tokens. You just create a token and people buy it. Then you have money. That's how it works for at the moment.
I'm using it at work to parse SIP messages (with LPeg) for one of our customers (one of the cellphone carriers). Between LPeg for parsing, and coroutines in Lua, the code is pretty easy to read and follow.
Linkedin Suite of Tools Is More Powerful Than a 500 LB Silverback Gorilla
> My assumption is that because wikipedia has a known plaintext and a known link graph it's plausible to identify pages with some accuracy

At least in theory, the latest versions of TLS should not be vulnerable to a known plaintext attack. TLS also is capable of length-padding, which would reduce the attack surface here as well for an eavesdropper.

My understanding is that HTTP/2 makes it even more difficult to construct an attack on this basis, because HTTP/2 means multiple requests can get rolled into one.

Of course, all this is assuming an eavesdropper without the ability to intercept and modify traffic. In practice, governments will probably just MITM the connection - we have precedent for governments abusing CAs like this in the past - and unless Wikipedia uses HPKP and we trust the initial connection and we trust that the HPKP reporting endpoint isn't blocked, then it's still possible to censor pages, without anybody else knowing[0].

[0] ie, the government censors will know, and the person who attempted to access the page will know, but neither Wikipedia nor the browser vendor would be able to detect the censorship automatically.
Some choice fiction:

Daemon, by Daniel Suarez

Snow Crash, by Neal Stephenson

Gold Bug Variations, by Richard Powers

Galatea 2.2, by Richard Powers

Off to Be the Wizard, by Scott Meyer

Ready Player One, by Ernest Cline

Neuromancer, by William Gibson

The Adolescence Of P-1, by Thomas J. Ryan (from when I was just a kid)
This is exactly it, in my opinion. It's much easier to catch cheating by running homework code through something like MOSS than relying on a human TA to catch that 2 handwritten math assignments are exactly alike. I TAed both CS and Math classes at a large state school and once caught ~20% of a 50 person math class on a homework assignment because they had all copied a mis-labeled problem from the solutions manual. It's probable that they had all been cheating up to that point but I couldn't tell. It turns out, the Math department as a policy doesn't try to do anything about cheating and just encourages lecturers to base the majority of the final grade on exams. I can't say this works much better because I've sat next to a student 2 separate times during exams who obviously had their phone out and was reading from it. The rate of cheating is probably lower in exams but lecturers should be more proactive about it.
Ha, whoops. I read the article, then remembered I had read about it previously. Then I read a few more things, and must have forgotten which stories were in the original article.
Google and Microsoft's infrastructure supports search (which is vast) and other workloads beyond cloud infrastructure services.