skysight-inc/HackerNews huggingface dataset:
I'm sorry, but if you have a DSP background you should at least be able to give a better explanation than 'trust me'. I have a really tiny DSP background (a 3 week lecture course), but specific questions that would help convince me of your point of view would be:

- Sampling at a frequency 2f lets us reproduce the specific component of every frequency <= f (proved by Shannon, Nyquist etc). This can be easily proven mathematically, and were it not the case in practice would have been largely discredited (it's a fundamental of many fields).These 'jagged' waveforms must then have their frequency components <= f perfectly represented - the only components that are ignored are those that are > f (I've idealised here, but I'm assuming we've filtered correctly). If f is greater than the maximum frequency we can hear, why does it matter at all?

- When the entire field of digital signal processing (and anyone who uses it, such as a sound engineer) relies on such math from top to bottom to make the recording process work, why should we ignore it as soon as we start experimenting and simply consider what our ears tell us? Why should you ask the question 'why does my mathematical knowledge of a subject fall short of explaining what many people seem to experience?' in the first place? It seems to imply that your ears are more accurate than a century of study, which at least seems arrogant.

- A number of the points you've made (regarding people hearing different things) were explained in some way in the article. What are your views on that?

I'm largely convinced that you're wrong (you've given no specific justification for any of your points), but I would be interested to hear what you have to say.
As an American, I agree. I think both cultures have little interest in having an honest debate about how to foster a good society across the board. Politicians pay it lip service, but behind the façade everyone is just trying to get theirs in the US just as it is in RF.
Remember to keep any machine under your control up to date! I'm looking at you, XP die-hards. If you're able to, monitor your network traffic periodically as well.
If I could vote you up 10000 times, I would.
What's the 'federated message history' in this list?
I suppose not all ISPs are obliged to comply with the ban (or not willing to; or maybe it takes time to propagate). I'm from Moscow and have not had a problem accessing github.com with my local provider either yesterday or today. However, it is banned on my cell network.
Why no download for Linux? Why is this always still happening?

If you want to make this thing really everywhere, then imho priority numbero 1 should be to rely on libraries that work everywhere - not just the latest version of a select few OSes. It'll be easier to maintain in the future as well.
Bingo. My 80-year-old grandmother who is terrified of computers and doesn't speak english recently started having video skype sessions with me. As far as I'm concerned, that's a design and ease-of-use litmus test.
http://www.reddit.com/r/OutOfTheLoop/comments/2g99vg/who_is_...
>Almost all people in Russia really hate western world

I would say 80 percent are more likely the truth

Sadly, situation in Belarus is almost the same with a little difference

>And this is why I'm actively looking for a job abroad.
There is plenty of circumstances where people are not willing to fight for $10.

* You may be on holidays and may want to avoid arguments with strangers.

* You may be after a long flight, jetlagged and/or simply too tired.

* You may be running late for a plane or train and have no time to wait for the cops.

* You may not speak the local language.

On the other hand, leaving a rating or review is a lot simpler and more commensurate with $10.
Tox has interested me more since it's inception, mainly because it's open source and completely relies on peer to peer connections. I've seen some other open source alternatives that aren't as light weight and still centralized to some degree. Wire, if it really wants to be a "Skype killer" in my opinion, should go open source and be more reassuring about how they are protecting our privacy.
I spent many years trying to navigate various job opportunities and met quite a few people and yes, you are right, if you meet the right person you can get lucky. But it is pretty much just that, luck.

I work for a state agency and the people around here still view a 4 year degree as an elite status and it drives me nuts. On top of that, the PhD holders get no respect, its as if no degree makes you nothing and the higher degrees were a waste. Its silly given the atmosphere (a lab). And as far as the agency hiring process goes, all applications are put in online. If they even hint at wanting a degree as a requirement for hiring (even if the position doesn't necessarily require a degree, not talking engineering here) they will ask a prelim about having a degree. Answer wrong and a human will never even know you applied, even if you told someone you did; EVEN if they told you to apply in the first place.

The problem with this "college is required" mentality going away is that it is ingrained in a generation. Today's 20 somethings, and tomorrows as well, will have to deal with this as long as the 40, 50 and 60 somethings are still doing the hiring. They were raised with black and white views of requirements to do a job it seems, only from personal experience. And even if they give you the time of day, if the decision comes down to guy with degree and guy without, often times the guy without is going to lose because he doesn't appear to be the best investment of time and energy.

As for me, I gave in. As humbly as possible I will say I saw through the bullshit since before I left high school. I could earn as high as marks as I wanted and knew I could do what I wanted, but the chances were high that without a degree I was going to have to have some luck in finding that one special position. Once leaving the private sector and finding myself in a gov job, as I said, I gave in. I am enrolled in school. I am doing as I figured I would, 4.0 blah blah, but still sort of lack direction. I have picked a path, am going to follow it and see where it goes really.

The reality I have found myself facing is that no matter what degree you have, a lot of times, a 4 year degree means you have a degree and that just makes you better somehow. It doesn't even have to be a relevant degree to the position in which you apply. Especially when a system such as this one counts each year of a degree as an equivalent to a year of experience. (BA required, or AA with 2 years exp, or HS with 4 years exp).

Anyway, I will end my wall of text here. I only wished to share a perspective of someone who tried without, and is in the process of what he ultimately considers concession to the pressure of societal norms.
Allegations of rape are generally really problematic in a society were rape is normalized and the justice system has a skewed view of what a "legit rape" is (http://en.wikipedia.org/wiki/Rape_culture). I'm not too familiar with cases in the US but the "legit rape" in my country is more or less "the black man/immigrant that lurks in the shrubbery in a dark park". This despite the fact that most rapist are "normal" men. This leads to a situation were the few cases that do get reported and have enough evidence are dismissed in court because the minimum punishment for rape is a life destroying two years in prison. The punishment scale doesn't really recognize the "normal young men" and the courts have no tools but to free the alleged rapist.

I agree that the journalist behind the Rolling stones article should have heard the alleged rapists. It's bad journalism not to, but I seriously don't think the story would benefit from hearing them unless someone actually would admit guilt.

What really struck me as weird in the Reason article is how the colleges are involved in rape cases. I suppose it's PR but how on Earth are they able to expel rape:y students on their own without going through the justice system.
No it hasn't. Bitcoin is a push system of payment, creditcards are a pull system of payment. Bitcoin payments use cryptography on a non-proprietary ledger secured by proof of work of hundreds of millions of dollars of computing power (meaning once the payment is done, there is no central party to reverse it like say Paypal could reverse payments on their proprietary Paypal ledger, and unless you have a computer from the 22nd century, you won't be able to reverse the transaction).

In other words, it's an entirely different system of payments. No clue what type of fraud you're referring to, but the fraud explained in the post you replied to does not apply to bitcoin.

If due to lack of punctuation you mean something different, i.e. that CC fraud is so rampant that everyone is switching to bitcoin donations and that they've been popping up everywhere because of that, I doubt that that's been the key driving factor, although it surely is part of the equation.

In any case I don't really know what you meant to say :-/
Tried to explain GPG, public/secret keys to non-tech guys. Not fun.

Something like that must be easy to use, and easy to understand to be used by the masses.
Thanks, we've started with XMPP, like many others, but it was not fitting our purpose, like for others, so instead of building our proprietary protocol (like others did) we tried to build on what we learnt and provide something others would like to use. The beta is almost feature complete now and we need enlighten feedbacks to make it fit most purposes and something everyone would find useful!
Unique tool to discover the world of APIs
The code for the benchmark: https://github.com/mikeb01/qconsf2014/blob/master/src/main/j...
Can anyone explain to me what "full democracy" means in this context? From the page:

"It’s on.
Wire is perfect for staying connected with any group. Create a conversation, name it as you wish, and add people — your groups will be taking off whether they’re about work, family or fun. Oh, and Wire groups are full democracy."
Fix healthcare one day at a time with Drchrono: Django hackers needed
Perhaps men really think with their dicks :-) LOL

Ok, but seriously, present her Princess Leia, and how she programs R2D2 to go and deliver a message to Obiwan Kenobi.

Or otherwise, present her with true princesses, enclosed in their castles, and sending (programming) knights to go to war to bring her riches. (Yes, programming is messy, if not for the programmer/princess, for the computer/knight doing the work). :-)
Proof-of-Stake Cryptocurrency Forging(Mining) Simulation in Haskell
Having some slight experience in the publishing and content industry, any title that contains the word "killer" is for me a big fat sign for "bulls#$t".
I will still pick trusted recommendations[1] over advertising any day.

[1] https://www.eff.org/secure-messaging-scorecard
So if this is true and CDs contain already 'the best possible' audio that the human ear can hear, why does vinyl sound better? Are we saying records have a different pressing/recording or something else?
You wouldn't hire the guy because he doesn't have his own domain name? That seems somewhat harsh.

I agree it comes across as more professional when you do have your own domain name, but with 10 years experience I imagine it's not that he doesn't know how to do it. It's probably just not a priority for him.
Location: Rio de Janeiro, Brazil

Remote: no

Willing to relocate: yes

Technologies: Java, JavaScript/HTML/CSS. Android, AngularJS.

Résumé/CV: upon request

LinkedIn: http://www.linkedin.com/in/rafaelwmartins

Email: rafaelwmartins at gmail
Free, anonymous data from space, Forever
A New Net-Neutrality Battle Brews Over Text Messages
I prefer the non SQL-esque way also, I find it prettier, and I rarely see it at work. As for q and p, and I always use i, and I see lots of other random letters. Does the letter used really matter?
XMPP is a rat's nest of extensions from which everyone picks a handful to implement creating a very incompatible ecosystem.
hackNY is one of the Top 10 Summer Fellowships of 2015
Looks like the author explicitly considered that:

> To try to understand whether people really were this bad at the task or whether perhaps the task itself was flawed, I ran some more stats. One thing I wanted to understand, in particular, was whether inter-rater agreement was high. In other words, when rating resumes, were participants disagreeing with each other more often than you’d expect to happen by chance? If so, then even if my criteria for whether each resume belonged to a strong candidate wasn’t perfect, the results would still be compelling

The result of the Fleiss' kappa test subsequently run was negative, i.e. people didn't agree with each other either. So maybe the author's judgement was wrong, but that doesn't affect the conclusions.
Today you are a medieval king, 500 years later your body is buried under a spot dedicated for parking personal horseless carriages owned mostly by ex-peasants from around the planet. Another 50 years later you are a synthetic personality in an educational VR sub-universe...
Free Udacity course: Real-time analytics with Apache Storm
You may be familiar with a thing called: http://en.wikipedia.org/wiki/Civil_disobedience.

It's a crazy theory that, if you are intelligent and believe that laws and civil arrangements in your society are against logic and moral reason, the best way to change them is to break them, to help raise awareness so that more people realise their perversity.

It helped end British control of India and racial segregation in America. Cool huh?
Startup Institute Boston – Fall of 2014 Class [Slideshow]
I think you're on to something, but it goes even farther than that.

I'm sure a lot of scientists don't mind media-hyped and somewhat inaccurate coverage of science news because it's actually interesting to the layperson. The reality is that the general population is pretty blasé about even fluff science reporting - let alone accurate reporting.

So a little hype, even if inaccurate, probably goes a long way towards getting people interested in science. And that's a good thing for a) producing future scientists and b) securing funding.
Feels kind of the opposite for me. When oil prices are high Russia doesn't really care too much and just moves on. When it's low, there's this sort of nationalistic push in various fields of public and private life in Russia. Maybe to resist foreign pressure, who knows. A country is more susceptible to a change of course when its resources are low, when it becomes dependent.

In short, oil prices being high means they have 'fuck off' money. When it's low, the government feels it has to focus on creating a collective nationalistic spirit to pull through.

These are just my thoughts on seeing Russia behave over time in the context of oil prices. Look at how they behave now when oil prices are low and NATO is making a push eastwards, and compare it to a few years ago when oil was high.
Physics isn't mandatory in high schools in the US?

I could not find much about this so any information is welcome: are there federal laws that set the mandatory courses in high school or is it state-dependent? where can we find what these courses are?

For France, I was able to find the following information:

Seconde: http://www.education.gouv.fr/cid52692/les-enseignements-nouv...
Première: http://eduscol.education.fr/pid23202-cid46459/programmes-du-...
Terminale: http://eduscol.education.fr/pid23202-cid46522/programmes-du-...

Basically, physics are still a mandatory course in all high school.

--

Since I was started with this, I wrote a short explanation on student years before graduation in France:

In France, we count student years away from graduation: Sixième ("Sixth", 6th), Cinquième ("Fifth", 7th), Quatrième ("Fourth", 8th), Troisième ("Third", 9th) are medium high ("collège") while Seconde ("Second", 10th), Première ("First", 11th) and Terminale ("Final", 12th) are high-school.

And we have specific names for our five-year elementary school ("École primaire"): Cours Préparatoire ("Preparatory course/class", 1st), Cours Élémentaire 1 ("Elementary class 1", 2nd) and 2 (3rd), Cours Moyen 1 ("Average class 1", 4th) and 2 (5th). And before that is non-mandatory kindergarten ("École maternelle"): "Petite section [de maternelle]", "Moyenne section" and "Grande section".

All of this is summed up here: http://www.frenchentree.com/living-in-france/education/frenc... .
This was a Show HN, last week:

https://news.ycombinator.com/item?id=8652042
Show HN: Correcthorsebatterystaple.net XKCD inspired password generator
It's not year of Linux on the desktop yet, and never will be. Sorry.
Buy Apartments in Ambattur
Very cool. As far as Stamplay goes, can we use whatever frontend technologies we want? You used angular.js for your example, but it's not something we use.
The Economics of “Seinfeld”
In the part of the article that lists "Rejection Reasons" one rejection type is "Too Enterprisey". Could someone please clear up what that means for me?
Strategies for Successfully Self-Publishing Your First Book
We're builing that. Give it a month or so, will spam HN. Want to beta test? :-)
Everything you have said is completely invalidated by the simple fact that nobody is forced to be a Uber driver.
I get a feeling that he is going about this the wrong way. While he lists all the things that he is not comfortable with and why it might not work out and is also willing to throw money at someone to 'fix' this problem of finding the 'right match', he doesn't seem to be open to accepting the idea that he will not get to choose every aspect of the company unless he also is willing to participate in every aspect. For instance:

> the London startups I’ve interviewed with so far, all seem to have
> committed the same sins: they’re recruiting for a role to exercise
> technical ownership after they’ve made their decisions about the stack
> and technical strategy.

and then ...

> While I do use Python, Ruby, JavaScript, etc for different (non-critical)
> components in the solution design, I’m mainly a Java engineer. All of
> these aforementioned have their time and place, but my skills and passion
> are not around using any of them as a core platform.

> Since I’m a backend engineer I don’t do “full stack” when it comes to
> coding. If you clearly need, but can’t afford (or don’t want) to hire
> frontend or mobile developers, then we might not be compatible.

So, on the one hand he expects startups to not commit to a stack until he is there and be open to changing it if he feels there's a need to, after he comes in but he is not willing to accept the responsibility that comes with deciding the stack ?

If he doesn't do full stack (and that's a prefectly good thing) he should learn to interoperate with stacks that aren't decided upon by him.

Also, this:

> With most startups I interviewed, I found the team dynamics and technical
> stack to be more challenging than the business plan or the potential the
> idea has.

That's just condesending.
>> In general, the ability to be compiled to native code is necessary but not sufficient for typical system programming language tasks, like hardware drivers, OS kernels, and language runtimes.

> No, because I have listed Ada in my list.

I have no idea how that would refute my statement.

> Better improve your CS skills.

Don't be so condescending.

> Oberon GC in Oberon

I stand corrected: You're right, the GC runtime for a language with non-optional GC can be written in the language itself.
I guess a better, more precise indicator are the following two requirements:

1) Native support for calling OS services, for example through system calls (specifically, reservation of memory space).
2) Pointers, pointer arithmetic, and reading/writing memory through pointers.

I don't see how one could implement the GC runtime without these features. (Note that native support for heap-allocation means that GC is optional anyway). What do you think?
Black versus White perceptions of our justice system
If you check their how-to-see-the-milky-way section, they give a timetable of what they mean by summer and winter in the two hemispheres.
This is exactly what you can do with VEEAM. You can even set your backup strategy to continious integration. As soon as one backup up for the virtual machine is done another incremental will be created; with minimal impact on I/O performance. To save backup-disk-space you may want to enable deduplication in VEEAM.

When you browse you backups you can choose from the available backups and you can open and browse the complete file system at this specific date and time. You can restore one or more specific files or directories directly back to the origin destination or copy & paste them to a different location on any target. You also can start the entire VM directly from backup at this state in an isolated environment to access the system as a working machine. There are tons and tons of more features inside this backup solution.

We run this solution in our office and for most of our customers with virtualized environments. There is even a free version of veeam that lacks datacenter features but you can backup your VMs.

Our usual backup intervals between 8a.m. and 9p.m. is 2 hours. We ensure to have about 5 to 8 restore points during work ours.

So you will have to choose the Tuesdays version of the file at a specific time.

You may want to give it a try if you're running ESXi or Hyper-V.
Oops, I missed that! Has HN stopped blocking duplicate submissions? Or is it because I submitted the naked domain?
Dude, they get to contribute to the company for free.
Contact me at zq@nemcv.com. I don't want your money, and if I can't find you a job you will love I will pay you $1000
Building a company brick-by-brick
Whoosh! Yup, I thought that part was serious.
'Wanderers' Short Film Paints a Brighter Future Through Breathtaking Visuals
I'm sorry, I don't think I understand your message and my answer might be off as a result. Could you link to the current research on more general solutions than Checker, so I can get a clearer picture?

> a type system limitation that every type describing side effects [...] can only be used in the context of a compiler/interpreter.

A type system is just a logic description of a property that a program might have. It specifies how the language constructs interact with this property []. The fact that compilers use a type system is independent of your ability to write your custom type system, or to use it in a different context (IDE, toolchain, ..).

[] Are you saying that a type system shouldn't be concerned by the AST of the language?

An external type checker for Haskell: http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2013/0...
And the various type checkers for the not statically typed languages (python, ..)

Also, I don't understand why you distinguish "typing side effects" as something different from the rest?

> you need to write a different type system for each property

But you do have to define your type system at some point?
Are you thinking of something like Mezzo, where some userland properties can be defined without going down the type-system-definition road? https://protz.github.io/mezzo/

> But the interactions can, and should be more interesting, and take into account the order in which the callees are called etc.

That's why type systems are defined with respect to the language construct, by rules on the AST (? I'm confused because of the earlier [*] here).

To go back to Agda significance for a custom type system, it's not enough to define a type system. You generally want to prove that your definition is valid: If your "checked exceptions" says that a program `P` can't fail due to an exception, you want to check that you didn't forget anything by verifying the type checker with respect to the actual semantic of the language.

You can also embed your custom property into Agda type system (isn't that what you want?).