skysight-inc/HackerNews huggingface dataset:
ok, I guess I just misunderstood the meaning of scaffolding.
CS 11: How to write usage statements
At that point this is just semantics. I find the phrase "path-dependent types" useful and intuitive (though admittedly easily confused with "dependent types"); maybe we could use that phrase to describe what OCaml has too?
AoEII is very limited in terms of AI scripting (or map scripting, for that matter). Yes, there have been many impressive AIs (and I spent many hours testing/improving them) but you couldn't get creative like you apparently can in 0 A.D.
It didn't master anything. What the DeepMind team did was make an "AI" which means it can _imitate_ (to a certain degree) of "playing go".
A better offer leter
Agree with the other comments. Love the site. Hate the scroll.
I always like checking out the current codename in the Makefile[1], currently it's "Blurry Fish Butt".

[1]: https://github.com/torvalds/linux/blob/master/Makefile#L5
Yes! When I have coffee after ~14:00, I have trouble falling asleep at night (even though I am a smoker, then again, I am not exactly a chain smoker).

Green tea is less of a problem (then again, the way I prepare it, it contains much less caffeine).
Logo would make an excellent programming language for Minecraft (adapted to add a few extra base commands for digging - laying down a block would be equivalent to pen down). I wonder if anybody has tried to integrate the two of them!
Doesn't everything go into maven central? I can't remember ever not finding a library there.
See https://rubygems.org/ or https://www.npmjs.com/
Obligatory xkcd comic: https://xkcd.com/1471/
slightly off topic:
how is diy tooth alignment going to affect criminal investigations? on all those crime shows on tv (csi, navy cis, ...) they use dental records to identify otherwise unidentifyable bodies.
is this method even used in real life and how would they find any records of your teeth if you fixed them yourself?
Do you have a rough estimate of how many servers you will need for Elasticsearch for the 1.7bn URLs of the latest CommonCrawl?
If the situation was unwinnable then in a certain sense all moves are equally bad.
> at the wake for my friend's family you are going to give a history lesson on big bad privacy-invading government

Why in the world would I want to do that at the wake? Do you insist on stating all of your personal beliefs to everyone on every occasion?

Anyway, I already suggested what to tell your friend, and it wasn't anything like this.

> my feeling is that if you want to get people to fear their government more than the terrorists, you have to make it as personal to them as the fear of terrorism already is.

Sure, that's easy: just describe what a Nazi or Soviet concentration camp was like, and ask, how would you like to live in one of those? The only reason that might seem less "personal" to people these days is that 9/11 happened more recently than WWII or the Cold War. But that's not a rational reason to fear terrorism more than excessive government power.

(For extra credit, you could describe how the Nazis came to power in Germany: they were voted in by a democratic election.)

> the NSA surveillance data allowed us to thwart 5 plots last year; probably saved 200 lives.

But the problem is that, while the President gets to see these numbers, we the people don't. They're secret. So the decision can't be made as a public decision where we can have a debate and then vote. It has to be made unilaterally by the very small number of people who actually have the relevant data.

Also, phrasing the question as "how large must X be for the program to survive" forecloses the possibility of finding other ways to save the same number of lives, without sacrificing everyone's privacy.
Some less-known bio-tech startup in 50 years on an island in neutral waters. It's easier to improve the existing solution.
It's more than just statistics, broadly speaking that is the scientific process.
> Once we started to talk she pulled out her iPad and took minutes with the virtual keyboard.

Perhaps she can't do the easiest thing needed when taking minutes: Take a picture of the agenda, print it out, and write on it with a pen. Then take another picture. Information security, etc. It sounds like she's trying to save time, not wanting to duplicate work for a sense of 'productivity'.

Why do microwaves, toasters and ovens go 'bing' when the timer's up? To give us feedback. Why does your TV have a small red light when on standby? To give feedback. Why does a light switch have an audible tick that differs when turned on and off? Feedback. We get feedback in many forms. And I use the laptop I use because I enjoy the feedback it gives. Apple and Lenovo, amongst others, win and lose sales based on feedback from users on the keyboard, and spend money making the experience better.

> At airports there're so many. Folks having iPads w/ and w/o physical keyboards typing stuff, seeming concentrated & busy. They seem to work.

Being busy means not being able to reflect. And not reflecting on yourself and others is a sign you don't have time or inclination to think. It means being busy, and denying one's self the chance to work at a 'higher level'.

Don't buy an iPad to get busier. Sure, but one to explore. But is it better? No. It is a far inferior input interface.
What you described is exactly what I mean by “the social games scientists themselves willingly play”. I'm not saying that any individual scientist has the power to fix this, but it's undeniable that it's a problem - it empowers publishing houses that profit from restricting access to science!
I think you're confusing this list of attributes with a separate list used for rollouts and tree search. The ones above are definitely used for the neutral networks in the policy and value networks. See: "Extended Data Table 2: Input features for neural networks. Feature planes used by the policy
network (all but last feature) and value network (all features)."
Writing good automated acceptance tests for something the size of a PR amounts to 80% of the work.
IMHO this would still be a huge step because the URL path after the hostname reveals very specific information relative to the host (say, pornhub or webmd)
That doesn't seem to cover the "develop" and "evaluate" parts.
>
Quanta Magazine
NUMBER THEORY
Mathematicians Discover Prime Conspiracy
A previously unnoticed property of prime numbers seems to violate a longstanding assumption about how they behave.

Zim + Teemo for Quanta Magazine
By: Erica Klarreich
March 13, 2016
Comments (2)

Share this:facebooktwitterredditmail
PDFPrint
Two mathematicians have uncovered a simple, previously unnoticed property of prime numbers — those numbers that are divisible only by 1 and themselves. Prime numbers, it seems, have decided preferences about the final digits of the primes that immediately follow them.

Among the first billion prime numbers, for instance, a prime ending in 9 is almost 65 percent more likely to be followed by a prime ending in 1 than another prime ending in 9. In a paper posted online today, Kannan Soundararajan and Robert Lemke Oliver of Stanford University present both numerical and theoretical evidence that prime numbers repel other would-be primes that end in the same digit, and have varied predilections for being followed by primes ending in the other possible final digits.

“We’ve been studying primes for a long time, and no one spotted this before,” said Andrew Granville, a number theorist at the University of Montreal and University College London. “It’s crazy.”

The discovery is the exact opposite of what most mathematicians would have predicted, said Ken Ono, a number theorist at Emory University in Atlanta. When he first heard the news, he said, “I was floored. I thought, ‘For sure, your program’s not working.’”

This conspiracy among prime numbers seems, at first glance, to violate a longstanding assumption in number theory: that prime numbers behave much like random numbers. Most mathematicians would have assumed, Granville and Ono agreed, that a prime should have an equal chance of being followed by a prime ending in 1, 3, 7 or 9 (the four possible endings for all prime numbers except 2 and 5).

“I can’t believe anyone in the world would have guessed this,” Granville said. Even after having seen Lemke Oliver and Soundararajan’s analysis of their phenomenon, he said, “it still seems like a strange thing.”

Yet the pair’s work doesn’t upend the notion that primes behave randomly so much as point to how subtle their particular mix of randomness and order is. “Can we redefine what ‘random’ means in this context so that once again, [this phenomenon] looks like it might be random?” Soundararajan said. “That’s what we think we’ve done.”

Prime Preferences

Soundararajan was drawn to study consecutive primes after hearing a lecture at Stanford by the mathematician Tadashi Tokieda, of the University of Cambridge, in which he mentioned a counterintuitive property of coin-tossing: If Alice tosses a coin until she sees a head followed by a tail, and Bob tosses a coin until he sees two heads in a row, then on average, Alice will require four tosses while Bob will require six tosses (try this at home!), even though head-tail and head-head have an equal chance of appearing after two coin tosses.

Can someone explain this?
Most Americans Say Government Doesn’t Do Enough to Help Middle Class
Glib dismissals like this are just one of his sources of power.
Things I Won’t Work With: Dioxygen Difluoride (2010)
I usually recommend lasers to very infrequent printers as well due to the likelihood of an inkjet cartridge drying out or clogging up between infrequent printings.

And you caught my copy pasta error. The first reference was indeed to the 2340D not the 2320D.
If you look at DeepMind's numbers, AlphaGo is meant to win more than 50% of the time against human players (expert). Right now, my opinion is that its actual capability in wins is less than 50%.
"They are asking about a job. I am thinking about identity, community, purpose – the things that provide meaning and motivation. I am talking about my life."

Wow, leaving aside the complete "first world problem" approach that makes this relevant for like maybe 1% of the world population at best, this guy didn't just drink the Kool Aid, he's literally douching with it.
Great names are made not found. Don't worry. If your service is great your name will be great :)
Microsoft is using Minecraft to develop AI tech for the real world
Adventures in C# Benchmarking – Method Inlining
> Who doesn't believe in accurate diagnosis? I do.

Then you shouldn't be pushing ADHD meds on 6-7 year olds.

> I'm providing data and you haven't. When it gets to last 2 years of high school meds matter, but what if they've repeated a grade already? That's not fair to them.

You are aware I was talking about 6-7 year olds based on what I wrote in the first comment I replied to, right?

I'm not talking about high school students or even Jr High students. I'm perfectly fine with them being diagnosed at that point.

I think the problem is you are missing what part of the OP I was talking about.
"Minecraft on a beyond-coursery level will have no true base from which to analyze concurrent trends"

There is a literal reading of the post that's correct. The deobfuscation of the above line is something like you have no visceral hands on experience with concurrency issues until you try to build a massive automated manufacturing plant in modded minecraft.

Go ahead, try and build an optimized manufacturing plant to automatically hands off manufacture all the components for something complicated like the AE2 mod, without understanding concurrency. Everything in minecraft happens in parallel, not in a single threaded machine code or abstract object model. Its like real assembly line engineering, not like writing traditional code at all. Big modded minecraft systems are chock full of LIFOs and deadlocks and queueing and latency issues to work around and debug. Minimal successful production is one thing, but perfectly optimized higher speed parallel production is a whole nother challenge.

I will admit that trying to use a single printing press to make AE2 components often annoys me enough into just building assembly lines with five presses, but that produces interesting issues of its own relating to peak to average power requirements of the entire system, and minimal latency (how do you expect something 30 blocks on a side to be as low latency as something 3 blocks on a side?)

Any idiot can make a concurrent system work by using ridiculous top tier stuff and setting the goal low enough, but its a fun engineering challenge in the true sense of engineering to make it as small, reliable, fast, and cheap as possible (plus constraints added for fun, sometimes). Both in modded minecraft and in the real world.

At this time of morning, I can't think of a kids toy that teaches concurrency design concepts better than "beyond-coursery level" modded minecraft. "Here's a cheap FPGA now implement a working pipelined ALU" isn't really a kids toy although its got similar concepts inside, and its cheap enough for a kid to afford.
Deep Q-Learning: Space Invaders
Or Permutation City by Greg Egan.
Right... Thanks for that. That's very disappointing. Still, there might be a remote chance that Minecraft is eventually open sourced. This is New Microsoft after all.
Apache Karaf Default Credentials Command Execution
Pi Day – Celebrate Mathematics on March 14th
How bizarre! I just spent the weekend doing the exact same thing except with MonoGame and Neon.
The Proton-M's initial thrust-to-weight ratio is about 1.5, which is somewhat high. Falcon 9 is about 1.2, and Delta IV Heavy is about 1.25, for comparison. And of course since the Earth subtracts a constant 1, that means the Proton-M's initial vertical acceleration is 2-2.5 times higher than those examples.

I'm not sure why it's different. Higher TWR is more efficient (to a point), but it also means there's potentially additional capacity to be had by carrying more fuel. Maybe it has something to do with Proton's origins as a gigantic ICBM, although that was a long time ago.

On a tangent, reading the Wikipedia entry for Proton-M, there have been 117 total launches and 11 failures. That's a mildly terrifying failure rate!

It occurred to me that with the Russians launching out of central Asia, there must be some chunk of land to the east of there with a ton of rockets falling on it, since even with a successful launch the first stages are just dropped. I couldn't find much info on that, but there are some really cool pictures here:

http://www.eurasianet.org/departments/culture/articles/eav04...

And some history here, but no rocket pictures:

http://www.russianspaceweb.com/baikonur_downrange.html
How to Legally Conduct Your Bitcoin Investment in Ukraine
Foreseeable for me means several hundreds of years.

If you don't agree, please do tell how you formed your opinion.
Wuh oh. All the Mailinator accounts I tried were pwned.
I agree. I assume however that on average there's enough open source pushed for each developer on github. Didn't see any stats or whatever, just a hunch feeling I got from years of using this platform.

As for the name... I replied to another comment. Please ctrl+f "GigHub" on this page to find it :)
Don’t Expect Math to Make Sense
I don't think that making a strong AI is necessarily impossible, but I don't think it will ever happen. (And by 'ever' I do mean 'ever', not just "ever in the next century")

I think it would be very difficult, and I don't think it's, uh, part of the plan I guess.

I'm not certain that it won't happen, and it seems interesting to try, I just don't think it will succeed.
Define "this" - what do you want explained? You've quoted a lot here, and it could be nearly anything.
Ask HN: Engineering Degree: Mathematics and Statistics vs Software?
I am torn between having an engineering degree in Statistics and Mathematics or in Software.

I am more interested in the first since the courses are data science oriented (R, Stochastic calculus, econometry.. etc) but as I live in a Third World country and want to seek employment abroad I am afraid employers might disregard my degree as it doesn't come from a reputable university.

Software engineering universities here however are slightly more reputable abroad.

Any thoughts?
They may be lottery winners, but you have to buy a ticket to play. Maybe the goal of stories like this is to inspire people to try, even if winning is very unlikely people have to play for there to be some winners.
“Adobe Experience Design” (formerly Adobe Comet) is now available
How Runtastic tracks bugs and collects feedback [case study]
What about once they are older and want to play online games with their friends? Whilst you may be able to suggest open alternatives - I know my kids still enjoy the odd game of Open Arena with dad - it's not necessarily the best decision to exclude kids from what can be a significant social interaction.
One of them is easy, the other is hard.

Getting into debt is easy. I could go out tomorrow and with 100% certainty buy an expensive car and enroll in an expensive college program.

I could not say the same about going out and starting a billion dollar unicorn.
> Either way, it's interesting to note that AlphaGo had literally thousands of games to learn from to find weaknesses in human play, but Lee Sedol seems to have only needed 3 before he was able to find weaknesses in AlphaGo's play.

To be fair we can't know how many games Sodol played in his own head to figure this out.
Microsoft Recommends Git
I was surprised to see this in MSDN documentation. I don't think it is widely known.

"Git is the default version control provider for new projects. You should use Git for version control in your projects unless you have a specific need for centralized version control features in TFVC."

https://msdn.microsoft.com/en-us/library/vs/alm/code/overview

It appears to be dated from 2013:

https://www.google.com/search?q=inurl:https://msdn.microsoft.com/en-us/library/vs/alm/code/overview&as_qdr=y15
Let's try to sum up your points so they can be addressed 1 by 1. I haven't used Erlang but I have done a fair bit of Elixir now.

"it can't actually do anything that other many languages can't do too"

I personally think it's really difficult to scale systems without loosing messages. Having the OTP available in GenServer and GenEvent in Elixir is amazing and provides a nice way of creating your own servers. A good example of these primitives in use is the Redis Driver; it uses two processes - one to send messages to Redis and one to Receive them. This means that essentially all messages going to redis are performed in a set and forget way. Most other clients (even in erlang) block and wait for a response from redis.

Now I am not saying that it's impossible to write this stuff well in other languages/virtual machines but I am saying that Erlang/Elixir/the OTP makes it easier.

"Yes, it's a great default to be shared-nothing"

I'm not certain you could call elixir shared nothing. It's simply wrong; I'd look at the Elixir primitive/server called Agent which a specific construct of sharing state.

"it is not an unreasonable response to point out that there are plenty of other web servers that have similar levels of isolation"

I'm not certain you understand what the OTP is giving you over a webserver or an operating system process, it's much more about having the ability to have a message queue system baked in and easy to use that happens to be supervised and has the ability to be moved to different machines transparently.

"This is bad advocacy, and I'd really suggest that Erlangers stop trying to defend this point"

You are arguing against a straw man for me here. Maybe the original poster is a bit about this but I couldn't care less about the number of processes. I'm much more concerned that Elixir allows me to think about building better and more scalable software with a lot of edge cases solved for me. Once you get that every section of your program can be thought of a server which you can send messages to and this is super efficient, you don't need to wait for anything to block anymore it really is a better model.

"Erlang will not have some sort of unique claim to being able to run lots of such processes"

It can definitely be done in other languages but it's much harder.

"I wouldn't be surprised that nginx's isolation is more tested than Erlang itself's."

It's never been about isolation, it's about not blocking and sending messages instead. And getting supervision and robustness and fault tolerance and easy of use. Yes you could have 300 rabbit queues in front of every part of your program but I'd say it's easier and more scalable to just use Elixir/Erlang/OTP.
Proximi.io – unfied API to all positioning technologies
Proximi.io software brings order into the chaos of indoor navigation

Finnish Proximi.io is launching the World’s first unified platform for all positioning technologies.

Proximi.io’s new platform that combines all major indoor and outdoor positioning under one platform, takes away the pain of navigation in the messy field of mobile positioning technologies. Through their simple API, a developer gets access to iBeacons, Eddystone beacons, IndoorAtlas, Wi-Fi, GPS and cellular navigation systems. The platform, which makes it possible to add location awareness to any app in minutes, is the first of its kind.

The platform will be released on 14th March simultaneously at CeBIT exhibition in Hannover, Germany and SXSW conference in Austin, Texas.

“The platform has already raised a lot of interest. Our beta testing phase was joined by 600 developers around the World”, explains CEO Annina Koskiola. “For the launch, we have further improved the platform by incorporating the action flow editor tool. The tool allows you to easily connect location events to rich action flows and add rules. For example, you can connect to Internet of Things devices, and in addition to pushing location-based advertisements on the mobile phone, show targeted advertisements on digital screens as well.”

“We have both Android and iOS SDKs, but what has been surprising to us, is the huge interest towards our Cordova plugin, continues CTO Mika Koskiola. “Hybrid development is on the rise, and our plugin is the first one to bring to full positioning toolset to that group of developers.”

http://proximi.io
Just saw this on Redditpeachpie php compiler
My VPN is very mainstream (I'd rather not name it, though, just in case) so it seems unlikely it's not blocked when others are.

The other explanation would be that blocking doesn't apply to "US customers" but only to customers with a non-US physical address?
I hope so. It has worldwide implications. There would be negative impacts for their business(es) globally if they nerf encryption.
That's bizarre - I tried to submit this four hours ago and was told it was a duplicate. I searched, and couldn't find the original submission to upvote it, and now it's submitted again, after my submission was declined.

I don't understand.

But it's a great result, so I've upvoted it, despite being confused.
The same is true for natural languages.
To add onto that:

They used to say that they were in the process of making an API, but I think they stopped with that.
I want NPM to do less, not more. Start by fixing the cli, make it far less noisy than it is; think about whether you need to dump a project's entire dependency tree (which might consume my terminal's entire scrollable space -- a big no-no). Think about whether you should allow a module 6 levels deep that depends on a deprecated version of babel display warnings about that; is that relevant to my project? Oh, and group warnings together, don't dump them as you find them.

This is all just off the top of my head. Making it faster would be good too, shouldn't take 15 minutes to install a project's dependencies; pnpm and others are proving this is fixable.
It will be a different edition on a new C++ code base. Presumably with ease of extending/use for teaching in mind too.

See previous discussion here : https://news.ycombinator.com/item?id=10974036