skysight-inc/HackerNews huggingface dataset:
Since you brought up Java here is some information that I could find about real-time garbage collection:

* JamaicaVM's RTGC seems to be the closest to OCaml's GC, including the 'GC does more work when you allocate more',
although the benefit is that threads that don't allocate don't have to run the GC which doesn't apply to OCaml (don't know about Multicore OCaml):
https://www.aicas.com/cms/sites/default/files/Garbage.pdf
http://www.aicas.com/papers/jtres07_siebert.pdf
It seems they provide a tool (static analysis?) to determine the worst-case allocation time for an application

* FijiVM's approach: http://janvitek.github.io/pubs/pldi10b.pdf

* on eliminating pauses during GC and compaction, although with quite invasive changes to the read barrier:
http://www.azulsystems.com/sites/default/files//images/wp_pg...
http://www.azulsystems.com/sites/default/files/images/c4_pap...

Once you have a GC with predictable behaviour you also need a standard library with predictable behaviour (which you have with Core_kernel, right?), and Javolution has an interesting approach, they annotate the public API of the library with time constraints and the compiler can give some warnings:
http://javolution.org/apidocs/javolution/lang/Realtime.html
http://javolution.org/apidocs/javolution/lang/Realtime.Limit...
http://javolution.org/
I don't know how this works in practice, it'll probably just warn if you try to use a LINEAR time function when you claim your function should be CONSTANT time, or if you put things inside loops.
Not sure if it'd be worth trying out this approach for Core_kernel, but with OCaml annotations and ppx it might be possible to automatically infer and check:

* annotate stack depth of function (none, tail-recursive, linear-recursive, tree-recursive)

* annotate worst-case time complexity (guaranteed const (no loops, or just constant length ones, no recursion, no allocation); const (like guaranteed but with allocations); log (manual annotation); linear (recursion with decreasing list or loop); quadratic (one nested loop); unknown)

* I/O blocking behaviour (although you do this by hiding the blocking functions in Async.Std already)
I would wager that this kid has black skin, rather than it being about the image. Florida.
This subject has been researched in great detail. There's lots of great information all over the Internet. I recommend these two blogs if you want to learn more:

http://earlyretirementextreme.com/

http://www.mrmoneymustache.com/

The TL;DR is this: you need to be able to live off about 3.5% of your portfolio for one year. That will allow you to avoid depleting your principal over a very long term, and also give yourself an inflation-adjusted raise every year so you maintain your spending power. Often people quote a “4%” rule, but I think it’s meant for people that retire at a more “normal” time in their lives. The extra 0.5% actually makes a big difference in the probability that your portfolio can fail.

So, if you have a million dollars, you need to live off $35K a year.

If you’re willing to really change your lifestyle, you can retire off $500K, which would give you $17K a year. It doesn’t sound like much in Silicon Valley, but that will put you in the top tier of income in a place like the Philippines.

I don’t want to post my own net worth because it might come across as chest-beating. I’ve been living in a few places that are a lot cheaper than the United States, so my expenses are low. Over the last three years I’ve been averaging living off slightly less than 2% of my net worth annually. So, I’m REALLY safe by the “3.5% rule”. My net worth is higher than when I retired.

I’m enjoying my life. Every day is a clean slate. There is nowhere that I have to be at two o’clock on a Tuesday afternoon. I can read or take a walk, go to the gym, or tinker with some computer language. I like this life. I sure hope I did all the math right, because if I have to back to a cubicle in Silicon Valley it’s going to be REALLY painful for me. No amount of free sushi by your employer is enough to compensate you for your lack of freedom.
How far do stolen data get in the deep web after a breach?
Varoufakis and Stiglitz [video]
arch is binary rolling release distribution with optional source based packages.
You're reading waaay into it. We used to do stupid stuff like this all the time. Kids who never had any interest in computers (and neither do today) used to pull pranks like this. It's just what kids do. Nothing else. Never in a million years can you stop kids from pulling pranks.

Nobody in my school touched the teachers' computers though. A lot of us knew the passwords for many of their computers, but those were sacred. The "pranks" some of us pulled were way worse than what the kid in the article did though.
but it just isn't better though. it's worse in the way that developers should be worried about most: security.
My best guess is that the pronunciation is identical to 'papyrus,' though with an 'o' in place of the 'u' -- so something like pah-pyhr-ohs or pah-pyhr-oh-ess.
It's detuned. This is a feature in some polyphonic synthesizers.
I'd love to see those 325 lines of code open sourced on github, ported to javascript and tweaked into a super awesome sound explosion of until now unheard proportions.
Of course the Socratic method is effective, but it is also subversive--it encourages people to think for themselves, an endless source of trouble for those preferring that we do not. It must have been the issue in ancient Greek times, recalling the incident with Socrates and the hemlock...

A great example of the method's use in teaching programming was/is the "Little Schemer" series (by Freidman and Felleisen). As a book for beginners it goes amazingly deep, if only the reader will follow. Once in a while I enjoy going down that path again, and it never fails to stir me to think and learn.

Isn't that what an excellent teacher or book is supposed to do? Sure, present it in a "sneaky", fun way, it's even better, and all the more dangerous.
I think the first OOP said something like "Tell them to subpoena you".
It was a mistake. The tag wasn't pushed is all.
Alt: Isomorphic flux implementation
Every EDM song from Guetta to Avicii and Prydz would propably use tweaked versions of the sound to get that extra rise before the chorus kicks in with full bass.
24 Home Automation Startups to Watch in 2015
SDL. It is solidly cross-platform (supports Haiku, which makes me smile, as well as Linux, Win, iOS, Android and so on and so on) and zLib licensed (pay nothing; use it, distribute it, static link, dynamic link, whatever you want - the zLib licence fits on a postcard).

Here's someone talking about it at a steam dev day:

https://www.youtube.com/watch?v=MeMPCSqQ-34&list=PLckFgM6dUP...
Because people can be very opinionated. You're obviously going to find very vocal people on the internet.

They may be pushing you toward a technology because that's where they found their happy path. Could also be a way for them to justify their own choices.

At the end of the day, just pick something and build it.
I've seen periodic rashes of emails from people with proposals or trying to promote stuff with generic emails I'm not even remotely interested in that I can trace back to my address being scraped from HN, this is a pity because it made me consider removing my contact details. I have no problem with personal approaches but the 'hustlers and growth hackers' can get on your nerves.

The large number of online and in-real-life friends I've made here ensured that it is still up and will stay up without any obfuscation or other gimmicks.
I would do more research on that premise before committing to getting a PhD...
> No, it won't technically stop them from installing a backdoor on your laptop, but I think you're kind of shifting goalposts with that argument. We're talking about warrants to decrypt data here.

That backdoor can then be used to acquire my encryption key and decrypt my data, so I think it's still entirely relevant. Less relevant but still entirely reasonable is my concern that compromising hardware during a border crossing should be considered even remotely acceptable!

> It's the difference between a 4th Amendment issue and a 5th Amendment issue. Whether or not the police could search your phone used to fall squarely within the bounds of the 4th Amendment. If you encrypted it yourself, it would then be a 5th Amendment issue - you have a right to not self-incriminate.

I don't think the main change between old phones which could be searched under the 4th amendment and new phones which cannot is encryption.

The main change is that an old phone used to be a relatively impersonal tool akin to a car or gun, while a new phone holds an incredible amount of intensely personal information about a person.

Seizing an old phone was no big deal; it would be as if the police wanted to seize the spade in my garage. Go for it. Use it to eliminate me from your investigations. Seizing a new phone, however, gives many of my intimate secrets to LEOs who are probably taking a hostile, confrontational stance towards me. It also gives those people an enormous amount of power over me. They now have access to my email accounts, forum accounts, personal contacts etc and could easily impersonate me or blackmail me. In theory they shouldn't take advantage of that power but I have no doubt that they would do so anyway, in some cases at least.

The reason I mentioned mind-reading (how do I say that without sounding like a kook?) is that it illustrates that point with a bit more impact. At some point it will become possible, and probably even desirable under the right circumstances, but the potential for abuse is enormous and it will need to be governed under far stronger laws than anybody is currently protected by. The 5th amendment might be adequate if it can be used to simply outlaw the practice, but I doubt that will happen. So how do you control what personal data LEOs have access to? And this exact problem exists right now with your smart phone, albeit to a lesser extent.

Another way of putting it would be: LEOs can currently request a warrant for particular searches - phone tap, call records, physical property at a specific address etc. But if they get one that covers "smartphone" (or, later, memories), that basically gives them access to everything, almost all of which will be quite personal and entirely unrelated to the case. So how do you control what they get access to?

Right now, the most secure option is to never record anything personal on any device, but that's harder said than done (and nobody on HN has achieved it!). Another option is to encrypt anything you consider private, and hope that your hardware or encryption scheme hasn't already been broken.
If you hand out money to everyone, wouldn't prices just go up?
Maybe HN needs a basic personal messaging system?
> Making such a big deal out of it seems to be a total over-reaction.

As I already mentioned. A felony charge is a gross overreaction.

Your characterization goes too far in the opposite direction. This is more than just a harmless prank.

> three of those were confirmed to be paedophiles.

I'm sorry to hear that.

> it's those people that are the cause of your 'walking on eggs' feeling

That's certainly half of the equation. The other half is the sadly routine issue of innocent teachers being accused of wrongdoing by malicious students. My school deals with these types of issues every year. Students often retract their accusations when they realise how quickly their angry accusation turns into a very serious investigation of said teacher. I've heard from first hand accounts this exact scenario play out a number of times. Most of these issues play out behind closed doors, so my sample of 3 or 4 over the last 10 years would mean that his type of issues is routine in a school setting. As you can imagine this type of process is extremely stressful for the teacher involved.

> the fact that it involves a computer makes the offence not much worse

This is flat out wrong.

> He's being punished for what he could have done

Taking unauthorised control of a teacher's computer is a very serious issue. An unambiguous message must be sent to all other students contemplating this type of action. The potential of harm is exactly what elevates this to a far higher level.

> change a background pic and alert the teacher to get a much better password rather than destroy his reputation

You are mischaracterizing the student portrayed in the article. From the article the student changed the background because he did not like the teacher. The fact the his actions were relatively harmless are indicative of his lack of imagination, not his good character.

> that email could be forged quite convincingly without access to your computer at all...

Spoofed headers could be easily challenged if it came to that. The issue of a student gaining access to a teacher's account and accessing it from school equipment greatly increases the burden of defense for the teacher. Now the access was not forged or spoofed in some way, it is indistinguishable from actions that the teacher could have undertaken.
If you want to see what a very well optimized piece of code looks like dig into the source code of this project. Especially the fft bit.
You can view it here now that the contest is over:

http://code.google.com/codejam/contest/6224486/dashboard
Did he really break into a secured computer system? For a teenager without a sophisticated grasp on ethical and legal implications of computer usage, and a modest amount of curiosity, this "hacking" incident wasn't much more than stepping over an invisible line.
I have been surprised over and over again at the powerful force that is doing "just enough" to get by. So many people are affected by it. It's really quite impressive.

You know those bars you go to? Restaurants? Theatres? The list goes on. No one would work at those shitty jobs any more. Because 25k is comfortable - why would I work at a shitty job for another few thousand?
>"sometimes you're too fat, or not white enough ..."

Or black enough... Or female enough... Or Non-foreign enough (yes I got this one before)... All sorts of stuff, to be honest.
I remember that story, it was on the front page of HN back in 2012. The guy shaved his head, did a fashion makeover, bought the latest iPhone or whatever, and then on top of that had eyelid surgery with the goal of making his appearance more youthful:

http://www.reuters.com/article/2012/11/27/us-valley-ageism-i...
For those who are interesting finding out more I would recommend: Mining the Sky by John S. Lewis. It's an excellent book that discusses in length the composition of NEO, possible retrieval methods and economics of such an endeavour.

http://www.amazon.fr/Mining-The-Sky-Asteroids-Planets/dp/020...
https://news.ycombinator.com/item?id=7913183
I think Windows updates my video driver for me. If I ever had to do anything manual, it was long enough ago that I don't remember it.
Would be interesting to see somebody try and follow some of the routes (either for real or on Streetview)
>"It's a myth that most managers make much more than programmers and that they "just" organize your time."

Well, instead of just saying it's a myth and relying on averaged stats in the industry to satiate peoples' curiosity/jealousy, perhaps we should just all be more open about how much we all make. I.e. let's not make it taboo and "contractually-breaking" to discuss salaries openly.

I know, yes, our current employment culture won't easily handle the strain of all coworkers knowing each others' and their superiors' salaries. But I have noticed the trend reversing slowly.
Sure, but that's all 'coulds' not 'dids'. Whether he changed the pic because he disliked the teacher or liked him is immaterial it is the access that matters here not the actual change.

But something tells me that if the student doesn't like the teacher the teacher won't like the student either and in this case the teacher went absolutely overboard in going after the student, it is a textbook case of out-of-proportion escalation.

No real harm was done and this should have been kept inside the school walls.

Taking unauthorized control of a computer to replace a background image is something else than taking unauthorized control of a teachers computer in order to destroy their reputation. And in that case a response such as this one would have been appropriate.

As for spoofed headers being 'easily challenged', this IT department isn't even capable of coming up with a proper password policy, do you think they'd be able to differentiate between forged headers and real ones?
Socratic method is quite effective in introducing new subjects or "ways of thinking" that are new to someone, by making them ask questions about what they know. But there's no need to generalize everything in Education and say one method of teaching suits all things, it works in some stuff and fails in others or is less intriguing when the answers are more obvious. But the material can revolve around questions sometimes.
Be careful of the Socratic method if you are attempting to teach those who perceive themselves to be higher up in a social hierarchy.

When I try this it often ends up in confrontation as the person who feels they are being asked for knowledge realises I am trying to teach them. These days I just flat out state my position and if they don't grasp the argument I forget the whole thing. This is a much better approach than attempting to subtly nudge people along a path to knowledge.
It's a common problem for me as I look a 10 years younger than I am.
If you have n! in binary, count the number of zeros at the end of its binary expansion and call this count k. The number k+1 approximates n relatively closely (the error n-k is the number of ones in n's binary expansion—see http://www.cut-the-knot.org/blue/LegendresTheorem.shtml).
It wasn't cheaper.

A member of my family was involved with this - he was navy, involved with requisitioning. Remember him telling me that everyone knew it was wrong, and that it was being done at the behest of a certain U.S. aerospace giant, against the background of vickers, Bristol and others eating their lunch.

It was cheaper in the sense that antagonising the U.S. Government is expensive.
I'm going to get a lot of hate for this but if you really, honestly want a no-frills, easy to set up UNIX for your personal computer, there really is no better machine than a Macintosh.
It's not playing with words: the parser only runs once, and the processs/reprocessing AST is much faster than interpreting the original source multiple times (e.g. it can be indexed cheaply).
You are welcome to download the source code to Elementary OS for free. Whichever way you frame your "think of the children" logic, the team at eOS are doing things the right way. The gripe here seems to be that they are monetising. Free as in liberty, not as in beer. There is nothing in any version of the GPL that says money may not be charged for compiled binaries. From the debian.org site, on whose shoulders eOS is ultimately standing;

"Many people new to free software find themselves confused because the word "free" in the term "free software" is not used the way they expect. To them free means "at no cost". An English dictionary lists almost twenty different meanings for "free". Only one of them is "at no cost". The rest refer to liberty and lack of constraint. When we speak of Free Software, we mean freedom, not price."

Canonical ask for donations on the download page too. The BSDs have donation drives. eOS are monetising in a different way. I have not seen the "cheating the system" comment/article and if they did say it, it was wrong. That said, it isn't there now.

The "little more than a glossy sheen" remark is off too. They are considering usability and are adding to the community. But hey, pretty doesn't belong in Linux does it? This attitude stinks and is largely why designers won't engage with the community, that and this self righteousness that pervades.
Cdnjs.com – CDN for JavaScript and CSS
Ironic really, especially give the teams focus on usability!
Also relevant:

* packages vs. ports[0]

* porter's handbook[1]

[0]: http://www.openbsd.org/faq/faq15.html

[1]: http://www.openbsd.org/faq/ports/index.html
This is really a different issue. You'd be extending the domain of factorial beyond what it's traditionally been used for (same as if you extended it to include other numbers outside the natural). That you can do it for some sets (gamma function) doesn't matter, because it also stands on its own. And if you extend it, it's not the factorial function anymore, which is defined to have the non-negative integers as its domain.

But conceptually the primary use case in combinatorics is for permutations, i.e. $n!=|S_n|$, which only makes sense for $n \ge 0$. You could even make an argument for n!= because $|S_0|$ should be 1 on its own (because there's exactly one permutation of the empty set) without saying that it makes formulas easier. (This, I note again, matters regardless of what the gamma function does.)
if you have a Nvidia or AMD Catalyst driver, i don't think Windows updates them to the latest versions available automatically.
It sounds promising, we are always impressed with some of the startups who have a vision of disrupting the software world. Definitely something to watch out for.
Really nice overview of how that stuff works, but I couldn't understand what it actually does, and "how" without "what" isn't that clear an useful, really.
Possibly ARCnet.
> The point is, how do we bring that into books ?

Smart books. (Using something like an iPad.)

Not sure if your question was supposed to be a Socratic one... In general I'm skeptical of using the Socratic Method on people who have been shown capable of teaching themselves. It's a more engaging form of spoon feeding, but it's still spoon feeding and some people hunger for steak. I'm also skeptical about expanding the process as The Way beyond the legal field. (It's interesting to see law schools start questioning the method too: http://abovethelaw.com/2014/06/former-law-prof-says-the-socr...) Finally I think it would be less successful in engineering disciplines where there are clearly right answers you can get from calculation, not intuition. (It's also frustrating for the 'Socrate' and maybe amusing for the student when the student answers along a line the 'Socrate' doesn't expect, e.g. http://www.smbc-comics.com/?id=1879)
It's funny you should say that. A few years ago, at a company whose name everyone here knows I, an old gray-hair, almost lost my full-time job for warning a VP that she was about to make a mistake I'd seen before. I honestly thought she was joking when she told me about the approach she was going to use to deal with a "hard deadline" of four months. I laughed along with her joke until, with a shock, we both realized that I was actually laughing at her actual plan. She became indignant and ended our meeting (just the two of us), getting me transferred for "not being supportive of the team" and trying, unsuccessfully, to get me fired.

She gave the job to her three dozen "supportive" young programmers, who ended up taking 28 months (!!) to get the "4-month" project finally working.

So, after all that, did she eventually apologize and tell me that, yes, she'd made the same mistake I told her I'd seen before with the same results for the same reason, and that she should have at least asked me more about it instead of throwing me out? Of course not. This is the real world. She never spoke to me again and never forgave me.
The Silent Season of a Hero (1996)
Why have this be a separate distro instead of just be an installable desktop environment in Arch itself? (Or hell any other distro)