skysight-inc/HackerNews huggingface dataset:
Ask HN: Strictly-typed C Implementations?
Is there a C compiler that does strict type-checking? For example, casting `char`s to `int`s is a compiler error or casting pointers of one type to another? Would this kind of compiler be as useful as I think it would for a certain class of errors?
I agree and have to add that really interesting finding would be non-linear dependence between file LOC and editing time.

It also looks like they aren't get rid of outliers.
Watch this learning AI smash Super Mario World with ease
> What lead you to being that confident?

It was certainly not my intention to impress an opinion on anyone else. Everybody here has the brains to think differently.

I'll be happy to see my comments proved wrong; please provide proper argumentation.

To elaborate a little more on my original point: the razor has proved useful as a guidance for thinking, and historically it has helped us to avoid going into paths that are not worthwhile, but there is absolutely no guarantee. In fact, the razor might even prevent us from going into paths that are fruitful. So, I'd be cautious about it. That was all, basically.
Raspberry Pi JonesForth OS
A good litmus test for an article like this is whether it talks about the Bell inequalities. If it doesn't (and this one doesn't) it's very likely bullshit.
I spent many summers growing up working at a blueberry farm. They had two fields, one with the big blueberries that I picked and they sold to the stores, and one with a variety that was smaller, and has a much better taste! When someone would come in to pick berries for themselves (they did U-Pick as well as selling to the stores) they would always recommend picking from the second field with the smaller berries, because they had better taste. Now, the first field (bigger berries) ripened sooner, so once it was done for the season we would still go down to the second field and pick them for the stores, and they tasted much better :)

So yeah, the smaller breeds of blue berries tend to taste better, but they don't sell as well. Now that I am starting to plant my own blueberries, I am looking for the good ones :)
sounds like C+equality
No, it doesn't have that. The era of Mao and the soviet ideology is long gone, but the number one priority ("maintain social harmony") made rejecting communism too expensive. jseliger is right in saying that today's China is "communist" only by name.
You need at least one module that does something at top-level, otherwise your program won't do anything.
I like the one-time-IAP model.

You can either make some of your game (a few levels, a fraction of the overall length) free then charge for the rest. This gives me a chance to play your game, and if I like it I'll pay.

You could also add a one-time-IAP which subtly improves gameplay. Most do this as a "buy to remove ads" but the Piggy Bank in Crossy Road is a good example of a clever use of this model.

When the Honest Android Games blog was going, it would cover games with fair one-time-IAP to unlock full games, so don't feel like you're selling out because you include one purchase. After all, this was the shareware model in the 90s and that was more than fair.
No, it was not, obviously. What a weird question to ask … as if that’s even something worth talking about.
> nothing optimal is faster than A* .

For what task? The speaker seems to be concerned with the problem of answering repeated path-finding queries for a single static map. With that problem in mind A* is indeed sub-optimal since it redoes all the computations for each query.
Facebook's Open Compute Project
Highly recommended this "Ebola - The Natural and Human History of a Deadly Virus" book.

Same author as the linked NatGeo article. It is sort of a short form book. I picked up to read on for at four hour flight and finished it, and I am not a speed reader.
Would formal verification work for a more involved, "entreprise-level", code bases?

Also I imagine it would be fairly hard to verify code that depends on external state (e.g. reads from a DB).
Markdown editing.

I would love a blog with an editor like Dillinger.io
What the fuck are you even talking about. You make no sense. And people are allowed to cricise people who are in very public places in obvious positions of power and who also act as role models. That comes with the job, you know. Sometimes you might have to face criticism and sometimes that criticism might be a bit unfair or harsh. Oh my god, the horror. What an unbelievable thing. (I think that’s something you have to allow groups of people who were oppressed and specifically excluded from science for centuries, you know.)

He dealt with it and that’s that.

I’m astonished how suddenly people want to treat someone like a raw egg while simultaneously decrying people who voice their criticism (and it’s mostly criticism, no offense!) as too delicate or always taking offense. It’s so weird (probably because it’s an argument made completely in bad faith, just to complain about bad feminists or some similar misogynist bullshit link voting websites are so good at spewing).
it could be done with a fifo, I believe the command "write" also does this.
I disagree. The study was fake because the intent was to deceive. He used flawed methods, but could have used 10 times as sophisticated methods and still would have been able to publish completely invalid results.
That would be equivalent to 2017 == -President, which is unlikely.
I have taken my Thinkpad through a couple of times and it has had FreeBSD or Debian + LUKS on it.

Most of the time the people that have problems are arrogant. I see people trying to lecture agents and other oneupman-ship, you win nothing from this. If you are polite, and maybe even act a bit clueless no one will bother you.
I smile thinking these guys will be as productive and probably use these laptops longer than most people in the 'developed' world.

Only drawback, power consumption; something that may matter more for them than for us.
If I understand your question, the idea is that one can do “arithmetic” on concepts. Essentially the first equation asks “Obama : USA :: ? : Russia”. Similarly, “King : Man :: ? : Woman”.

The way the corpus “talks about” Obama in relation to the USA is similar to how the corpus talks about Putin in relation to Russia. That the system can reveal this is amazing to me.
Amethyst – Rails inspired web-framework for Crystal language
> what one person finds a simpler or more elegant theory, another person might not; in that sense it is quite arbitrary

And so one does not consider what a person, nor any collection of as yet inscrutable minds, finds simpler. Instead, the question is posed to a rigorously formalizable third party: https://en.wikipedia.org/wiki/Solomonoff%27s_theory_of_induc...
I've made something somewhat similar in JavaScript.
It's a framework that synchronises objects (and arrays) over multiple web pages, maintaining a two-way binding between all webpages.

This framework allows you to build visualizations like the one in the OP. Right now, I have a visualization that shows all your objects as cards, and you can change values inside the cards while your program is running.

https://github.com/Azeirah/Object.remote

All you have to do in your source is replace any

var a = {val: 10}

with

var a = client.createRemoteObject({val: 10});
You're focussing a lot on whether they an algorithm can say that it "wins" and trying to find a way for them to say that fairly. I don't think that's important at all.

It seems like it's probably better for some problems and not others, like where some precomputation is both practical and helpful. So if you want to see if that's possible for a particular problem, try it and see.
Oh cool, I see! Thanks for the explanation.
> I mean do you see how China treats it's own people?

Do you ? Because you seem to be mixing up China and North Korea. Today's China is not Mao's China. It's not the best thing ever, but to think that it's so different that the US is just wrong.
Every time AI makes some advance, people start to denigrate the difficulty of the task. This is a well known pattern in the history of AI.
Art+of+God
It looks like most of the printing is sped up. At the end of the video, when the guy closes the door, there's a wait period of about five seconds between two pellets.

https://youtu.be/NFF0QQIQDXE?t=57s
Destroy someone? He still has his job, you know …

I mean, what’s this non-sensical hyperbole disconnected from reality? What’s wrong with criticizing someone and saying that what he was doing is not ok?! I mean, what are you even talking about?! The hell.

He was representing this mission to the world and he was in that position as an obvious role model and, in that moment, in a public facing role. If we cannot criticize someone like that, who are we allowed to criticize?

Also, how disconnected from any resemblance of reality can one comment be. I’m just astonished at you complete hyperbole.
Mother Coming to Wii U as Earthbound Beginnings
Having done a ton of COM programming in Delphi, the problem wasn't that it didn't work that well — the language integration was fantastic, and things like QueryInterface and AddRef/Release were done for you — but the support wasn't quite good enough.

The typelib editor, for example, was atrocious in Delphi 4 (maybe it got better in later versions), and if you wanted to use a COM-based library (MAPI, TAPI, OLE DB, etc.) you couldn't do it without the headers. Since so much of COM came from Microsoft, it felt like fighting a losing battle against the official way of doing COM programming (Visual C++, at the time). Ironically COM programming seemed much worse in VC++, given the lack of language integration.
Why is the timing good?

I'm not disagreeing with you - just curious if you're referring to news or some current event of which I'm unaware.
So why doesn’t Nasa use them all the time?
I work on Google Maps and can confirm that it definitely takes the time required to turn left vs. right into account. If you send me an example of a bad route (you can use the web interface, which uses the same backend as Google Maps on your phone) I can take a look as to why it's routing you the way it is. My email address is in my profile.
> Help him program a computer game, that's what he asked.

And this is what i'm doing, although of course different people can have different methods to achieve something. Nothing wrong with this.

If this boy just can't learn how to use a simple pencil, the problem is that he is sold about the graphic design of their game. Missing most of the fun that a game provides, like exploration or inmersion. He will be tempted to take shortcuts (falling in common pitfalls like using limited software or ending with a game that is not going to nowhere and is not fun to play). An example: Why bother to design a stupid column when you can just use the gif from another game?. The flappy bird's creator would tell us and interesting answer to this question probably.
It shouldn't be hard to hack one from clang. You want to adjust usages of http://clang.llvm.org/doxygen/classclang_1_1CastExpr.html.

I would keep the main code as is, and add code to generate an error after every call that creates a cast (hacking that code into the constructors should work, too, but given the constructor for an empty cast and the subclasses, that will lead to lower quality error messages).

I expect you will want to allow some/all implicit casts, explicit ones from and to void pointers, and downcasts from 'pointer to struct with first field of type t' to 'pointer to t'.

But most importantly: what class of programming errors are you thinking of? That class of error, IMO, either requires a daft programmer or horrendous source code that is full of casts.
The Best Place to Hire Your Next Sales Talent
I guess it's all about your definition of 'straightforward' ;)
https://docs.python.org/2/howto/functional.html#built-in-fun...

The documentation here actually mentions that map() and filter () are somewhat obsolete in python.
I apologize, this is pedantic, but I think people often overstate the relationship between neural networks and the brain. I'm far from an expert, but saying neural networks are based on the brain is a stretch. They're inspired by a theory of how the brain works that is not wholly in line with what most scientists believe.

It's so tempting to say, this is based on the brain, when really it's more like, this was inspired by one psychologists model of the brain.
The same happens for American fruit & Japan. It was weird wandering around Japanese marketplaces and seeing Product of Oregon and Product of California signs on produce that were vastly superior to what I was able to buy in the US.
No one said it was, including in that quote.
Exactly. I can look at a 7'2" woman and see that she's tall.

What do I know about medicine? If my life depended on picking a tall person hidden behind a screen, would I choose a woman or a man?

This is what's stupid about so-called "affirmative action". They've set the situation up such that it's rational to make sure your doctor is white or east Asian.
Agreed completely. This is all Design 101. I'd worry about someone who was employed as a UI Designer who did not already understand all this inherently.
Free Geek is a great organization. Like this guy, I knew very little about Linux or programming before volunteering there. Fast forward five years and I spend all day monkeying with Linux boxes at work. Free Geek was a perfect introduction to this wonderful world.
I tend to use map if my mapping function is already available to me as a callable. If I would use a lambda, I tend to use a list or generator expression instead.

Probably my single most common usage of map is:

s = sep.join(map(str, parts))

because join() refuses to join anything that isn't a str, and map is a nice way to stringify all elements of a list.
Thirty Year Old Commodore Amiga Still Controls Heat and AC at 19 Schools
No, I don't think so. I think that evolution is a complex system in the sense that it creates feedback loops altering the fitness landscapes it optimizes over. Organisms interact with each other through competition and predation and with their environment, for example by liberating oxygen from water. If evolution were about optimization then the current set of organisms would be "fitter" compared with dinosaurs (for example). I don't fancy my chances vs. a T.Rex, more to the point I don't fancy anything that is around at the moment's chances v. a T.Rex!
Laptop: Shell script to set up an OS X laptop for web development
I agree with both sentences, but this articles at least say something about the Bell inequalities:

> My fellow QBists and I instead think that what Bell’s theorem really indicates is that the outcomes of measurements are experiences, not revelations of something that’s already there.

I studied the Bell inequalities at the university, but I have no cue about what this sentence means.
I think the constraints are implicit in the forum the talk was given at. This is Game Developers Conference so the constraint is that the algorithm has to run on the computers that the game buying public possess. If you think you've got an algorithm that can blow the presenter's out of the water on a typical PC then I encourage you to test it and show it to the presenter if you succeed.
Incredibly, incredibly unlikely to be a problem. Don't worry.
On front page two days ago: https://news.ycombinator.com/item?id=9705830
In the future please refrain from making comments like this. If we all made a post every time we misread a headline, the comments section would be unusably stuffed with nonsense.
> I don't think your examples are good though, Max polling reduces noise. RuLU learn faster than Sigmoid or tanh.

That's not theory, that's just observation of the results. Why should we expect it to work that way?
To perhaps shed a little light on the None thing and why it would be useful, consider the following:

def munge(data, convert=None):
data = map(convert, data)
...

ie. treating None as identity gives you sane default behaviour in the case that you want to optionally provide a mapping functionality. Granted, you can easily do an "if convert is not None" but I think this is slightly nicer.

Welp, add it to the list of things I think are better in py2 than py3.
SuperCollider for Atom
The power consumption of most laptops, outside of "gaming laptops", tends to be pretty reasonable. They're designed to be battery powered, after all. :)
Clinton campaign embraces new 'Genius' technology
The final 20 or so slides about building general AI using deep learning strike me as really interesting. Seymour Papet said that if you can fit concepts into your cognitive architecture then they are learned. I think that this part of the presentation speaks to a need to demonstrate this as "learning" proper. It's strange, because I believe that this needs to happen, but the idea that you would do it with an "all nn all the way down" architecture, rather than breaking out into a symbolic layer a-la SOAR just seems odd.
Neat, but you can do the equivalent with tcpdump and grep, right?
Only a renewal for personal license. Companies are not allowed to reimburse or pay a personal license. I testify the 1-year initial license for IntelliJ is $499.
A large portion of the apps on the app store did not have someone employed as a UI Designer involved at any point.
I'd like to see more detail too. The video looks like they're tack-welding BB-sized pellets together.
This is where I turn for any career advice. It serves me well so far.

https://sivers.org/scares-excites-do-it
That's a good point. There indeed are some which exhibit this behavior, but that's not their main purpose. the purpose is to create networks. the same with black fraternities. They create networks for their members to plug into.

Yes, we know many of them engage in peripheral racist and misogynistic behavior, but those things are sideshows.

My point is forming these groups which foment cohesion and support for their members are rather common across cultures so to paint them as 'old boys's' networks is a misunderstanding of human nature.

Basically networks may be used to keep the other out --but that's not why or how they are formed. They are formed out of human nature to form groups which help their members --not that different from community groups, or PTAs, etc.
Well, of course not.
Something like this matches up with your last desire.

http://www.thehumansolution.com/kinesis-freestyle.html
That's great feedback.

I was considering Markdown but I wasn't sure if I should add a WYISWG editor or make users write in plain Markdown. I can start with this approach and add the editor later if users ask for it.

Thanks!
I agree that most of them are obvious. I don't agree that bad design is because of laziness. There are many reasons for bad design and most of the time I'll only find one or two of the "dont's" in a given app, but this will ruin my experience. Case in point: I can't even count the number of HN readers I deleted because they didn't display the content without vertical and horizontal scrollbars or had really small text. Everything else was fine though.
Everything is obvious once some entity has spent 30 years collecting and refining the practices.
Vitess (https://github.com/youtube/vitess) scales mysql for youtube level of usage.
If you get a UK layout, you at least retain the extra key left of Z and a correctly shaped Enter.

(Since English doesn't need any accented letters, and the only extra symbol needed is £, the brackets are accessed without modifier for [] and with shift for (), {}. The only symbol requiring AltGr is €.)
I'm guessing the difference you think you taste is mostly psychological. Free range only means that the chickens had access to the outside. That means they could still be raised in a warehouse that just has one small door that leads to a tiny outside area.
If someone is rich enough that selling the laptop wouldn't be the best option, they can probably already afford the electricity.
It seems trollish to define "permission" by whether a system allows its own rules to be broken. I'd argue there can be no such systems because it's contradictory, so saying Bitcoin is not such a system is meaningless.

I'll grant you that Bitcoin requires more "permission" than "none", in the form of licenses and tax reporting in many usecases, as well as technical things like nobody having guaranteed permission to have their transaction processed (even if it follows all published rules.)

The rules are published in open-source code, and you don't have to "sign up" to submit transactions or follow the blockchain, or contract with any entity exclusively in control of the network. Maybe we're not adequately describing the unique quality, but it seems obvious to me that there's a big qualitative difference between e.g., Bitcoin and ACH. You can say it's not worth-it, useful, or interesting in your opinion, but what other financial system publishes all nominal rules and is governed by a self-regulating network that is 99% likely to let anyone do anything permitted by said rules?

I may also be overly optimistic about how long consensus will last, or how "fair" the system is in practice. Still, over the last few years, I'd say Bitcoin has been a uniquely open financial system.
This assumes that there is no advantage to diversity of race, in and of itself. I don't know if I can claim that there is an advantage, but I do think it is worth finding out.

It further assumes that there is not already a giant weighing of the system against certain races, absent this action. Something which is becoming increasingly easy to see as likely false.

And then it ignores that overall ideal that all people get education. With no barrier to entry.
The benefits look lower than that of MS's, at least for the internship. Is the data on http://www.glassdoor.com/Salary/Intentional-Software-Salarie... not accurate?
Scroll up - we aren't discussing possible approaches to a hypothetical world with zero jobs at all. We are discussing the actual outcome of globalization so far, which is more goods and services with less work required on our part.

It was Aswanson who raised the apocalyptic scenario of no jobs, presumably because all our material needs are taken care of by robots or Chinese people, not me.