skysight-inc/HackerNews huggingface dataset:
" so it’s just-in-time compiled" and "As a fully compiled language, Rust isn’t as portable as Java (in theory)"

Look, JIT and static compilation are just compilation mechanisms. You can apply them to pretty much any language you want. You can statically compile java[1]. You can JIT Rust. You can compile java with llvm (Azul does it). You can interpret java, rust, C++, etc.

You can have hybrids where you start with an optimized statically compiled form and reoptimize it at runtime.

Don't ever tie current optimization mechanisms to comparisons of languages.
If it's really important to gain performance, someone will do it.

For example, JIT of C++ is often not done because it's not worth it compared to automatic profiling and other reoptimization mechanisms. But it can be done :)

If you want to compare languages, compare languages.
If you want to compare particular implementations of languages, compare particular implementations of languages. Don't say you are doing one and do the other, because it's confusing, and, well, if it matters enough, someone will come along and make you wrong.

:)

[1] If you are willing to guarantee no class loading. Otherwise, you can statically compile everything that is loaded or run an interpreter or do what you want to new code at runtime
7 x 7 = 49
In order to see download counts for specific packages, you'll need to navigate to:

bintray.com/homebrew/bottles/{PACKAGE}/view#statistics

(where {PACKAGE} is installed with `brew install {PACKAGE}`)
Nor might a consumer expect escaped outputs. Using my iOS example, the consumer would end up with malformed data and be required to manually unescape every API response. Assuming all data should be escaped is a very HTML centric view, and only applies to one (albeit popular) consumer of the data. For example, we don't store html escaped data in the database for the same reason (we don't know in what context the data will be used).
If you click "Setup" in the top left it will switch to animation mode and you can play from there.
if you selected a single point on a plane and pulled it upwards you could then knot it very similarly to a line couldn't you?
Oh, come on. I think it was a nice article, and all the points you made were just pedantic. Of course we all know that, can't we just enjoy a nice article? Leave it to HN comments to say things like "Don't ever do this thing...".
> iPads have the lowest productivity to cost ratio of any computing device - probably up there with video game systems or burning bundles of money in large piles.

I've generally been feeling the same way about tablets in general. Yet I see so many schools around me using funds to procure them for the classroom. Is there some educational use case for ipads that I've been missing?
ESA is multinational and some member countries are very opposed to nuclear technology in any form. Aside from the fact that Europe generally lacks the ability to manufacture Pu-238 or RTGs in general. Britain is looking at developing RTG technology on its own, possibly using Am-241, which might shake things up. It's still a hard problem with so many member countries involved.
Most languages have a single implementation that everyone uses. Unless I'm interested in writing a new implementation (never), then I'm going to be interested in comparisons of languages based on their well supported implementations. Otherwise we get into discussions about sufficiently smart compilers (http://c2.com/cgi/wiki?SufficientlySmartCompiler). I get what you're saying, but there are tons of people who are justified in only caring about implementations.
RTGs are incredibly well built and designed to survive a launch accident (indeed, they have done so) without releasing radioactive material. A road accident would be nothing in comparison. As for theft, that seems very unlikely, the parts are well guarded and not just put on a truck and sent across country.
JOHN MCAFEE: NSA back door gives every US secret to enemies
I went to ORD 7 times this last year, plus went there to pick up people 6 other times. I think maybe once I didn't have to wait for more than 30min. Also waited 3 hours for someone to cross the border last time I was there (obviously non-american, after she had spent 13 hours in a plane). This is just backwards.

> Carry-on x-rays have been mandated for a very long time

You didn't have to wait so much. You didn't have to go barefoot. You didn't have to go through the "get naked" machine.
SpaceX just aborted rocket launch
They were donated, more or less (purchased via a grant from a private charity). Completely agreed about their shortcomings, I'm not sure what the thought process was there unless the prison has some kind of restriction on laptops.
Works pretty well with in the browser with A-Frame too: http://joshgalvin.github.io/post/project/aframe-spine/
Textbook replacement. Turns out tablets are quite economical compared to dead trees that become outdated or worn out fairly quickly. Not to mention tablets are much easier on students' backs. Ignoring any computational aspect, tablets are still a big win.
It's not a big deal to nuke a small part of a lifeless rock but it is a big deal to put a nuke on a rocket and shoot it into space.
Meet is Murder
Show HN: Shopsifter – a shopping comparison app built with React
I've always hypothesized that humming while eatting (or saying "Mmmmm") is the perfect pitch to vibrate the hummer's tounge, which makes the flavors experienced more pronounced.

It would explain why we say "Mmmmm" not something higher pitched. Plus you can feel your tounge moving when you say "Mmmmm".

Any thoughts?
You're not going to be able to "rigorously model AI progress" at all well if you don't start by quantifying exactly what deep learning techniques are actually doing, and what resources they require to do it.
Referendum Contagion Threatens to Paralyse Europe
In brief,

The customers are SEA people from 24-35 who travel 1-2 times/year.

The service offers a solution that allows customers to search for Tour packages, which isn't available yet in SEA. This model is available on US website Kayak, which is quite successful.

They will love it because it will save them time and effort when they are looking for Tours because instead of having to go through multiple websites to find information and compare, they will only have to go this one website of ours in order to do all that task.

Currently, the website is in alpha version. So I'm not allowed to show it yet. But hopefully you guys can still give me feedback on the idea.
I'll double check, you are probably right. In any case they are coming from HPC background and squeezing hardware to the limit. Also they don't use the JVM they compile a popular data science language to native code (I didn't sign an NDA but not sure if they want more info to be revealed yet)

Running native vs JVM, using hardware capabilities and utilizing every piece of performance they can think of (one of the co founders I think was a CPU designer at Intel or something) lets them get to the theoretical limit of linearity. Spark might get there eventually... But it will take time
I think it's fair to call a non-repeating sequence of randomly selected, sufficiently tonal notes, on a familiar scale, in the right frequency range, a melody. So I don't think it's fair to say a melody is inherently non-random. I'd say that there only needs to be a sequence of sounds identifiable as individual notes, with a sufficiently dominant pitch as to sound tonal.
Ask HN: Where would you open a startup office in the Bay Area?
Many of us are all too familiar with the exorbitant rents in the Bay. Given where commercial real estate is today, is there any reason to think things will change in the near term? Is San Francisco worth the price -- trophy amounts upward of $100/sqf -- or are we deluding ourselves into thinking establishing teams in tech mecca is worth the cost?
Looking insane may have been the goal: https://en.wikipedia.org/wiki/Madman_theory
"m" is a consonant. What does it mean to assign it a pitch?
https://web.archive.org/web/20160228093915/http://yurichev.c...
Can it make calls to real phone numbers, especially between countries? That's essentially what I need. Google provides that, but it works very poorly and requires a native plugin.

For regular Internet to Internet media calls I can use XMPP/Jingle client.
Oops. You're right. Sorry.
Show HN: Summary of Top Hacker News Stories of the Week
All my friends are buried there.

.

And, some of them are dead. [0]

.

[0] "That Godforsaken Hellhole I Call Home", The Austin Lounge Lizards
In other words, random within a non-random subspace of the universe of possibilities. Like hitting random notes on a piano, without having a piano to start with.
You can do without using a server.
https://github.com/cjb/serverless-webrtc
Ah, of course, just fix the run time. I should have realized that. Thanks.

Nice work!
Thanks for this. It's really interesting moving to a fast connection - latency becomes far more important than bandwidth.

I'd totally read a write-up about latency and peering around the world, but I might be the only one.
The word "happy" is in the title but has no support in the article.
The "and gate" are encrypted and-gates: a table which maps encrypted bits to encrypted output bits. The encrypted values can be large enough to make bruteforcing the hash infeasible to view the rest of the table infeasable. (In the text "We can create an encrypted version of the gate by picking an encryption
key for each wire in/out).

Revealing the gates serves the purpose of convincing you that the gates in use are actually ANDs and not (say) gates that all return true.

> What happened here? Were they just sorted by the superhash? Was the hash used as a seed in a PRNG? Would just shuffling them any which way be okay, or does the shuffle have to be such that the person the gates are sent to can verify that the shuffling was done "correctly"? This seems like a key point which was glossed over.

As it says, "E.g. I use that hash to initialize a random shuffle on the gates." It needs to be a deterministic scheme set in advance with random ordering based on the collection of encrypted gates so that the prover cannot take the subset of gates that would be used in a critical part and make just those invalid. In one sense it doesn't matter how the shuffle is done so long as the prover can't use knowledge of it to cheat without being caught-- e.g. in an interactive protocol the verifier picking the shuffle works fine.

And indeed, the goal of using the hash is so that the prover can't efficiently exploit knowledge of the order to adapatively cheat. (e.g. make all his gates return true, except for the ones that are going to get revealed).
No idea is a mountain
Thanks. I need to spend time and learn Rust. The one thing stopping me is lack of some small work related project which I can try in Rust
I believe he's saying that Google is more open, and people are willing to speak up (including to management).

That has been my experience so far as well.

I was also in banking and financial services before, and I found people tip toe around management a lot more.

And MemeGen is an internal thing, and I won't say anything beyond that. (I understand what the poster is saying, but I don't think it's necessary to understand his/her pointl
Not really. A melody is any sequence of tones that one could perceive as being musically significant or interesting. You could generate a random melody by randomly playing notes from a pentatonic scale.

Random noise is musically tone-less and without structure, closer to e.g. Metal Machine Music or such.
He means in Google. For Memegen, search for 'google memegen'.
I suspect that office has to garbage collect features once in a while. Otherwise the maintenance cost would be (more?)horrible.
I looked at this but never got past Hello World. Have you used it much?
"Reiffel was approached by senior US Air Force officers in 1958, who asked him to 'fast-track' a project to investigate the visibility and effects of a nuclear explosion on the moon. "

Was the US Air Force capable of launching a missle to the moon in the late '50s, early '60's?

Lets say they chose the Atlas. Lets be generous and say the Atlas E was chosen (Lockheed , first launched in Feb 24, '61) [0] it was capable of an 820Kg payload into low orbit. The interesting bit, for the total life of this particular rocket there were "9 successful launches, 7 partial successful launches and 2 failures."

Hardly a reasonable plan to get a bomb to the moon. Nothing really happened until Wernher von Braun was put in charge of the F1 and by then the target was a manned mission.

[0] http://www.designation-systems.net/dusrm/app3/b-2.html

[1] https://en.wikipedia.org/wiki/Wernher_von_Braun#NASA_career
Eh, putting a point at infinity (where the ends terminate) is hardly an obstacle to a mathematician. :)
This was a large hedge fund and the auditors were name brand auditors. They still had no idea what they were doing :/
Heh, I wonder if I could write a Minecraft mod in Rust with this
Yeah. I understand the problem that TCP is trying to solve.

My thinking was that there is a whole class of network applications that don't work great under TCP because the retransmission mechanism drives latency super high when congestion is experienced in the network. TCP works to back off transmission that might be the cause of packet loss, but those packets still have to be transmitted again and the bandwidth timeslot consumed by the dropped packet amounts to wasted resources in the network. In a datacenter microburst situation, retransmissions just tickle the problem you're trying to avoid.

FEC over a lossy network would allow for a slight increase in the baseline resource utilization with the side benefit of eliminating retransmissions which might be beneficial in a microburst environment. I don't really know, I'm just thinking aloud.
Atlantropa: the damming of the Mediterranean
That's a nice process. Currently, GitLab doesn't support running tests on a merge request in that sense, making a temporary merge of master and the branch and running the tests to confirm the merge will work. When/If GitLab + GitLab CI adds that ability, then yes, it would make that process a lot easier.
You think climate change will wipe out a majority of people, and within only 100 years?

If so, you're ignoring science just as much as the religious zealots.
This is exactly why I prefer merge commits, so you can see how the development of the feature occurred and if there's a bug where/when/how it was introduced. I don't like erasing development history for the sake of a "clean" or "linear" history.
... Kings Quest, Falcon 4.0
I use Taskforce (www.taskforceapp.com) to track my tasks. I spend a lot of time in Gmail, dealing with clients and colleagues, so I built Taskforce for myself and people like me.
That would just move the confusion to: "how can I make some pages show in a time-based list and keep others fixed?". At some point you need to learn about static pages vs blog pages / posts, because /about_us and /company/blog behaves differently.
Another risk: there are various small rules for individual countries on what you can't carry in and a person carrying somebody else's luggage may not know those specific rules. (For example, flying into the Middle East with certain types of religious literature is a no-no). Huge risk for the guys carrying somebody else's personal items, even if they appear to be safe and innocent. International courier services handle a lot of risk, offer insurance, and have really improved the past few decades globally since every ships online these days.
How on earth does that work? Forget double spends, here come the quadruple and quintuple spends!

Zero-conf is fundamentally broken.
Doomsayers like this have successfully predicted 5 of the last 0 panics.

My favorite sentence: "He also wrote a book on the internet in 1992 that was never published, based on the belief that the online phenomenon would be over by 1993."

That picture isn't even from Silicon Valley; it's S.F.
Interview with Rob Merlino from Shark Tank Blog
Bah, I totally wrote this wrong. What I really meant to say was that it is not an automated system for doing a proof. It is a tool that helps you do reasoning and thinking. Augmenting human intelligence rather than replacing it.
http://www.slashdot.org and https://news.ycombinator.com

{"summarized_text": {}}
How can someone call an 85 pages document a "quick" introduction?
You should send an email out to New York City Subway. I have heard their technology stack is pretty outdated.
How about just burying the body, no embalming fluid, no casket etc & letting it decompose. Is that harmful to the environment?
> The "and gate" are encrypted and-gates: a table which maps encrypted bits to encrypted output bits.

But the encryption scheme has only two possible inputs; can't this be brute forced?

Perhaps an example would help me understand here.
Secret Everyone Forgot: Flowers Bring Business Success and Emotional Health
Thanks, good answer. Is Torvalds legally correct with his defence of non-GPL kernel modules? I mean his position makes total sense to me technically, I just find it a bit strange that he wouldn't push for an OSS license that unambiguously allows for such kernel modules, s.t. everyone could shut up about this issue. I also understand though if his position is that it's just not a problem that needs to be solved (since he doesn't think that contributors would end up suing distributors about this issue).
Either that, or it would blast the moon out of Earth orbit and send it on a journey across the galaxy.

Source: Space 1999
For it to be a mathematical "knot", the edges have to be sewn together into form a knotted sphere. The trivial way to knot a blanket doesn't yield a trivial way to connect all the edges without untying the knot.
Very informative and interesting read!
I think the proponents of proof assistants would say that the proof assistant is also there to help you do reasoning and thinking.
“Go for it and figure it out as you go along. DO IT NOW!” Great advice! Great interview!
Jerry Lawson helped lay the groundwork for all modern gaming consoles
If I get some extra time I'd love to post a build able Haskell clone of this.
I think they would! But a proof assistant aides you by checking your abstract thinking; you are still responsible for doing all the thinking yourself. This kind of tool aides in reasoning via a concrete example that can be tweaked in real time to see different sides of the problem.
I disagree. I'm a scientific programmer working mainly in C++ and Python. Deleted and defaulted functions help a lot by reducing the amount of code that needs to be written, maintained, and debugged. Rvalue references help by reducing unnecessary copying, which is a huge benefit when working with large data structures. Before, the workaround was classes that wrapped pointers with shallow copy semantics, which turns into an aliasing nightmare.

YMMV, depending on your field, of course.
This is the norm in Arab/Muslim countries where their doctrine instructs that the (naked) dead should be covered only in a simple, white cotton shroud and buried six feet under; caskets and embalming fluids are not used. (Hence the Islamic requirement for a speedy (same day if possible) burial, no wake, etc.)

In similar vein, mausoleums, raised tombstones, and cemetery shrines are also forbidden (the overall theme is "we are all equal in death").

The net result is that cemeteries are "reusable" and some of the most-popular in Saudi Arabia ("jannatul baqee'" a là Arlington Cemetery) are reused/recycled every so many decades (or is it once a century, once the denizens are forgotten/no longer visited?).
They use nonstandard APIs, and send data over the network in a way incompatible with WebRTC. This post is a bit old at this point but afaik the situation hasn't changed: https://webrtchacks.com/hangout-analysis-philipp-hancke/
a project to investigate the visibility [...] of a nuclear explosion on the moon

So the thought process was literally, "I wonder if we could see a nuclear explosion on the moon?"
Disrupting the classroom – Uber for cheaters
"m" is a nasal sonorant. It's assigned a pitch the same way nasal and oral vowels are- based on the positions of its major formants.

Or, less technically, when someone successfully hums a non-monotone tune- you have just heard what it means for them to assign a series of differing pitches to "m".
I don't have a beef with the conclusion, but it should be noted that an 18-year-old study is ancient in comparison to all we have learned since (e.g. about recovery, fuels, cellular adaptations, etc). A professional writer should be more current on research.
http://thefw.com/take-a-peek-inside-googles-internal-meme-ge...
Ask HN: Favorite Email Client?
It seems that recently lots of new email clients have come to existence. I'd like to know what email client is prefered by "HN-ers".
The space race was basically due to the Cold War between the USSR and USA. Putting a rocket on the Moon, meant that it could reach the USSR and beyond if they wanted to.

Nuking the Moon meant that they could put a nuke to reach Russia and beyond.

Remember rocket science is the same if you are putting people on the Moon or just using missiles with nuclear payloads to hit an enemy nation.

It was a show of superior technology, and if they nuked the Moon it would have been one more step for longer range nuclear missiles.

Be glad that the cold war was fought in space via the space race instead of sending missiles to different places in the world or even to the Moon. Technology from the space race really innovated things and brought about the microchip and personal computers.
works fine on ubuntu 14.04
using Firefox Nightly 47.0a1 (2016-02-28)
Be Your Own Therapist
"m" is a voiced, nasal consonant. It can be pitched as much as any vowel.
I still use Thunderbird. Using IMAP with GMail to sort Gmail using message filters into directories. So when it sorts in Thunderbird it sorts on my Gmail account as well.

I use Thunderbird between different computers I do work on.

I haven't really tried anything new yet, and Thunderbird is getting old and Mozilla might not support it anymore because people use mobile devices or webmail to manage their email.

I like sorting email into folders by rules, key words, email address, domain names, so it is easier to find things.
"These are not the patches you are looking for":
https://groups.google.com/forum/m/#!topic/mailing.openssl.de...

Clarification from OpenSSL maintainer.
One of Kurzweil's fudges is to say in Roman times life expectancy was 25 years or so and so it's increasing exponentially but that's mostly from been from getting rid of infant mortality and the like. I think ageing as in going grey and doddery has always kicked in at the same sort of age.

The immortality technology that seems closest to being doable would be to have AI 'become you' in the way that actors become a character. Not quite sure how that would play out in reality, whether having a robo version of your gran wandering down the street would be a good thing. I was thinking maybe you could have some sort of architectural innovation where there is a physical city for the simulated immortals where you can go visit robogran if you feel like it.
Thanks! What a mess. No wonder it's not working for me - I'm using Firefox. Somehow I doubt Google are interested in fixing this.
No, they had to hold for the range violation during which time it warmed up. Not a SpaceX problem.
> What if they only buffered the data for a few seconds while picking out the "good stuff"?

That's not what they do. They keep it. Indefinitely. That's the whole point- If they find a terrorist, they can back-search and find everyone he has communicated with.

> If you think the NSA has no effective oversight and is lying to the FISA court or the President about what it does and doesn't do,

This is an outright fact, and if you think it's not true, then I don't know what I can do for you. Is there an opposite-of-conspiracy theorist, someone who believes any outlandish theory that supports the status quo? Just bizarre.

http://www.hasjamesclapperbeenindictedyet.com/