skysight-inc/HackerNews huggingface dataset:
I'm fairly sure it's a complete technical one. Haskell's purity enforces effect typing, OCaml doesn't. You can just get more done without monads in OCaml and you have to have built-in syntax for sequencing (e.g. ;).
> The 19th and 20th Century were, in many ways, the era of philosophical ideas being taken more seriously than they deserved.

Insofar as that's arguably true of the 19th and 20th Centuries, its equally true of most of the centuries before those as well, and also so far of the one we've seen after that.

> Lenin took Marx and Engels more seriously than they deserved.

How seriously could Lenin have taken Marx and Engels to take the rhetoric of Marxism while throwing out its entire theoretical underpinning?
yes, tax payers should fund publishers for free. plonk.
>Machine-checked mathematical proofs are the future of mathematics

I don't disagree.

>most mathematicians I know are totally ignorant about them

Most of them realize that this is a possibility but believe, rightly or wrongly, that they are not going to be relevant in their lifetime.
IO has no special status in OCaml.
Have you ever had to deal with spam on, eg, a forum or wiki? CAPTCHAs are absolutely necessary in many cases.
It's a combination of both, really.
>Little trick: You can access every can't-access article by posting it to http://www.reddit.com/r/scholar and waiting a couple hours for someone with subscription access to go fetch it for you.

Awesome. Thanks for the heads-up.
The article quotes Consumerist in giving this reason for class actions:

> companies can harm large groups of customers but get away with only paying out to those people who are willing to arbitrate.

Class action isn't just about big guy vs little guy, or corporation vs individual. It's also about discouraging practices that are illegal, and valuable in aggregate for the defendant, but too small to warrant a court case for any single plaintiff.
See https://secure.phabricator.com/T5000 for the upstream thoughts on using Phabricator without arc.
This is really cool. I wouldn't call 2017 "immediate" but you know :)
Didn't read the article (I find the topic rather bland), but debugging on x86-64 is quite simple: you have your debugging registers (DR0-DR4) which set trigger addresses and conditions (execute, read, write) and then call a system interrupt when the condition is satisfied. This approach is limited to 3 breakpoints. Most moder debuggers do software breakpoints, that is when you set a break point for a particular line or instruction, the debuggrr replaces the first byte of the instruction with an int3 instruction (usually interrupt instructions are two byte wide, so technically int3 and "int 3" are different) but regardless the debugger slusually stores the actual instruction byte in a table to replace the int3 when it is actually hit. I suppose one could do this differently by causing a page fault (a simple bit switch from present to not present in the page table) and then monitoring the CR2 register to get the address of the executing code or the daya that is being accesed. One point I forgot to mention is that the x86 has hardware support for single-stepping instructions (a simple flag). But all of these methods require operating system support.
About the issue with it hasn't got a name: wouldn't be a human biologist be interested in researching this thing? Plus getting his or her name to name the disease?
I think people don't fully appreciate what you mean. I do. This site is literally information-free. It contains a picture of a yawning cat and two buttons that do nothing. This is on chrome/iOS.
Given the nature and content of the specific forum, and that SO is built on a largely microsoft tech stack, moving it to SO makes sense.

Still an interesting move from Microsoft. Projects hosted on github, open source, versions of the .NET runtime for mac and linux, embracing docker, node.js and avoiding getting in fights over front end frameworks... this really seems like they're trying to turn a new page.
Check out the comment from dnautics below, which has a link to a really nice description by one of the experimenters, who was a grad student of Woodward's. I agree these people aren't dummies, but when effects scale down in step with the sensitivity of the apparatus there is something fishy going on.

The description on the Great Wiki actually made me more suspicious of the device, not less.
Wow - is this a massive pivot for Stack Overflow? A new revenue model?
It most likely is just automatically doing it to known Tor exit nodes. Spammers use Tor quite a bit for scraping and other bot activities. Companies like Cloudflare just take the easy route and throw all exit node IPs into the garbage bin under the assumption that legitimate Tor users are used to such treatment.
Electric motors can be ~90% efficient, or even higher for really well engineered ones, so very high efficiencies in converting electricity into movement are common. Electricity is basically movement already -- of electrons -- and is usually generated by spinning conductors and magnets around.

It wouldn't be 100% since some energy would be lost due to internal friction and the need to actively cool the thing to maintain superconductivity (and pump away heat generated by friction). You'd also lose energy in the electronics in generating the oscillating signals, switching, power conversion, etc., and in EMF losses. If it really does work I could imagine it approaching the efficiency of a good motor, just one that creates directional force in a vacuum by pushing against... umm... something. That'd be a question for the theoreticians. :)
This is great feedback - from this entire thread about Github based sign up. We will be reviewing our strategy here and other social sign ups. Thank you.
Did you take flouroquinolone or other bacteriocidal antibiotics, or take statins/steroids? These things are known to cause mitochondrial disorder which can manifest in lots of ways but the predominant similarities are pain, fatigue, and improper response to exercise (it taking a toll on you as opposed to making you stronger).

Edit: They're also pretty much ignored/under-represented by the medical community.

I suppose me saying "known" was somewhat misattributed because they're known by researchers, not by doctors.
> I wonder if you could have peers sign others' research on a Github-like platform using PGP.

When the majority of influential scientists don't know and don't care what GitHub or PGP are? I don't think so.
Immediate describes the time to free access after publication, not when this policy goes into effect.
Interestingly, the FreeBSD project also started using Phabricator as a code review tool, under reviews.freebsd.org. As of now its only used by committers and developers, but there is work being done to open it for the wide audience.
interesting. it seems to support only English dates, sadly.
What every programmer needs to know about game networking (2010)
Death of the (IBM) Salesman
I would hesitate to say "A new way to share data". I would describe it as "reducing the barrier to entry for data visualization to copy and paste".

I like it. Didn't work on the first time I tried, but thats fine, it is kind of a weird data set (some categorical data).
Besides, there are few better ways to feel morally superior than to find someone whose outrages don't line up with your own.
I included the "or whatever" to cover this case :)
I'm sorry, but the writer wrote a piece about how his sickness doesn't have a name, how he is REALLY REALLY sick, to the extent of going to the hospital 3 days a week. And your first comment is to essentially try to diagnose his problem as something (seemingly) relatively simple?

Really?

Edit: It's extremely unlikely that with his state, he hasn't known of everything we could have suggested. And since someone is saying that I'm appealing to authority, I'm not. I didn't mean to say that the doctor knew best, but rather him, the writer, have done his research and knew about his condition.

And as for whether the comment I'm replying to is "helping". That's the point I'm trying to make. He's helping the same way as the writer's roommate is "helping".

The point I was trying to make is that, half of the post was about how hard it is for people outside himself to know about his condition. And to my interpretation, it's better to just take his words. With that in mind, it feels incredibly ironic that the first comment in the topic is essentially someone trying to guess what's the issue. And no, I'm also not trying to help, because that's also the point: he doesn't need my help, there is nothing I, an internet stranger could have helped. And from the tone of the post, I wasn't aware that he was looking for information, merely expressing his frustration. I'm sharing my sympathy with him, and if we meet one day, I've love to buy him a beer. As of now, I'd just take his words, and shudder when realizing there are many type of odd disorder out there.

I realized the tone wasn't necessary, and I apologize for that.
Tango CTO: “Alibaba investment gave us wings”
In python3 something like:

def start(env, lines):
while lines:
line, *lines = lines
if len(line) > 4 and line.startswith("+++"):
header(env, line)
modified(env, 0, lines)

Notes:

while lines:

is pythonic for

while not lines == []:
Pretty interesting, thanks.
That's definitely a big difference: OCaml's impurity. Everything exists in a natural (sort of, see below), invisible monad. Let binding can be both pure and impure since impure statements just return plain values upon execution. Furthermore, this is why you have to use (;) all over the place---it's really just the monadic (>>).

Which just goes to show that monads are actually totally natural. Force someone to live in one all of the time and they just forget it's there.

The major thing is that such monads don't play nicely with laziness which drove Haskell to develop (partial) purity the way that it did. This plays out in OCaml where you have to explicitly say exactly when you're forcing lazy thunks which lets the sequencing of operations remain clear.
Thanks to the Turing Completeness, I was able to dry my pants with a VAX 11/780.
I got pretty sick of "Linux on xyz Android device" meaning a chroot with varying levels of usefulness. This is the first post in a while that shows some actual low-level dev work being done.

How difficult would it be to get a (mainline?) kernel booting on this, maybe even into Debian?
> Even in Phabricator, though, when you have multiple reviewers only one has to accept for it to be accepted. Oftentimes it is _more_ confusing to have multiple reviewers because you don't know who should have the final say.

Phabricator allows "blocking reviewers", meaning that those reviewers must. There can be any number of blocking reviewers. These reviewers can be groups or individuals. For example, you could require someone from the "Security" group to accept every revision.
> since women tend to be smarter than men on average

Ok, we need to stop with sexist insults right now, and it's valid for men too. Define "smarter".
A collection of 30+ OpenStack tutorials and guides
Can we just stop with these kind of kitchen sink libraries?

I think substack said it best (https://github.com/substack/browserify-handbook#module-philo...):

People used to think that exporting a bunch of handy utility-style things would be the main way that programmers would consume code because that is the primary way of exporting and importing code on most other platforms and indeed still persists even on npm.

However, this kitchen-sink mentality toward including a bunch of thematically-related but separable functionality into a single package appears to be an artifact for the difficulty of publishing and discovery in a pre-github, pre-npm era.

There are two other big problems with modules that try to export a bunch of functionality all in one place under the auspices of convenience: demarcation turf wars and finding which modules do what.

Packages that are grab-bags of features waste a ton of time policing boundaries about which new features belong and don't belong. There is no clear natural boundary of the problem domain in this kind of package about what the scope is, it's all somebody's smug opinion.

Node, npm, and browserify are not that. They are avowedly ala-carte, participatory, and would rather celebrate disagreement and the dizzying proliferation of new ideas and approaches than try to clamp down in the name of conformity, standards, or "best practices".

Nobody who needs to do gaussian blur ever thinks "hmm I guess I'll start checking generic mathematics, statistics, image processing, and utility libraries to see which one has gaussian blur in it. Was it stats2 or image-pack-utils or maths-extra or maybe underscore has that one?" No. None of this. Stop it. They npm search gaussian and they immediately see ndarray-gaussian-filter and it does exactly what they want and then they continue on with their actual problem instead of getting lost in the weeds of somebody's neglected grand utility fiefdom.
I was going to ask whether 'non-strict' means lazy but I decided to look it up first. I thought others might also find it interesting.

https://www.haskell.org/haskellwiki/Lazy_vs._non-strict
I'm not sure I understand. Any of it... How can he be sick for nine years and the doctors don't have a name for what's wrong with him? Is it one medical condition, or does he suffer from depression and poor liver function and malabsorption? What kind of government aid is he seeking, and why is he being denied (as opposed to studied to find out what's wrong)?

Lastly, who is he? I googled Forgot Amnesia and didn't find anything of note. Not that his identity has anything to do with his illness or his struggle, but it would help put some identity and background to the story. Is he well known? Is he rich and famous? Is he poor and struggling? He says he's a writer and an indie dev, has he done anything I would know of, or does he have a storefront where I could buy something to help his finances?

For a story titled "Read all about it", it doesn't really say much. I feel like I want to help, but now I just feel bad for someone I don't know and can't do anything about.
Interesting! But while I find captchas annoying, I like helping out with the text-decoding that re-captcha does.
Science: The Pursuit of the Truth Complicated by the Pursuit of Mortgages
> What works the best is using non standard html form field names. Also, try to not use text labels for the fields ( no "password", "captcha" etc. ) - because the software will try to match the best field by text surrounding it. It is better to use image for labels.

Except browser autofill breaks and anyone who needs a screen reader will go elsewhere if the screen reader can't parse the images.
API Economy: Growth of an API Hub from 0 to 100K Users and 10K APIs
The NIH open access policy is being expanded to nearly all US Government-funded research (including NSF, DOE and NASA): http://blogs.nature.com/news/2013/02/us-white-house-announce...

Similar policies are or soon will be in place at many of the largest grant agencies in other countries (Wellcome Trust, the UK Research Councils, etc), and more are coming online. I expect we'll see this become near-universal by the end of the decade.

The Gates policy is unusual in that it has no embargo period. That's not true of many of the other policies, including the NIH policy and the broader US policy. It'll be interesting to see if Gates causes other grant agencies to shorten or eliminate their embargo periods.

Another unusual feature of the Gates policy: it requires a CC-BY license on the paper. That means that, at least in principle, some other publisher could simply republish the paper immediately, perhaps enriching it in various ways. It's a very interesting move.

Incidentally, if anyone is interested: the best source of news about open access is Peter Suber's open access tracking project. It can be followed on Twitter at @oatp. Another good account is @SPARC_NA - SPARC has done a lot of the ground work preparing the way for open access policies.
Questions are the product of an engaged user base.
Definitely. It was created by Jeff Atwood who is a very "pro-Microsoft" figurehead in the .NET community so there was probably a lot of collaboration in this move.
I dont know if you've ever tried this using python3, but the Unicode internals make it significantly more complex.
World’s First Ever 3D Printed Car Design
In the book "What do you care what other people think?" there's a story where Feynman had a good idea that his wife might be suffering from tuberculosis, but he restrained himself from saying anything because the symptoms were so simple and obvious that he figured the doctors had already ruled out tuberculosis as a possibility. His wife died sometime later because she was diagnosed and treated for it too late.

I don't think relying on professionals to be perfect is a good idea.
> Keep in mind that Slack is a B2B service, though; its clients are companies, not individuals.

Class actions really exist for economy of justice, particularly with diffuse harms across a large group (regardless of the resources of the individual members of the group), not specifically to deal with access-to-counsel issues.

Any time the number of similarly situated parties (customers, in this case) is large on one side, its conceivable that a class action makes sense.

This is "pro-consumer" only in that in that it addresses an essential asymmetry of resources-at-stake that disfavors action by the "many" side in any many to one transaction. "Consumers" are an example of this, but not a unique example.
Is this a new thing? I thought this was very old. Atleast, I have see company private githubs...
Wouldn't the cheapest option actually be https://developer.nvidia.com/jetson-tk1?
Container Algorithms
I know more about the pediatric cases, but fwiw... There are TONS of 'conditions' that don't have a name (quotes only because that may not always be the right term).

Sometimes it's not that simple – sometimes it's a matter of doctors trying to see if it's actually an unusual presentation of an existing condition. That's the usual focus for the first few years of dealing with a rare condition: the search for a diagnosis. You may have a dozen symptoms, and a given condition may overlap with eight of them, and with six of another, and with ten of another, but something stands in the way of getting a diagnosis.

Eventually, you may have exhausted your options for diagnoses. None of the existing conditions fit what you have, for one reason or another. At that point, the best you can hope for is to find other people who match what you have. Get a small cohort together, and maybe the NIH will fund a grant through the Undiagnosed Diseases Program or something.

It's long, uncertain, and frustrating. We're working on stuff to help folks like these (though kids, mostly) over at Kinsights, and it's heart-wrenching to hear about and watch this process unfold.
Ask HN: (CS Career Advice) Graduating soon. More money, or more challenging work?
I have the opportunity to work for Citrix or TrueVision Systems after I graduate.

Citrix: Big software company best known for GoToMeeting and GoToMyPC

The recruiter at Citrix said an offer is being prepared for me in the $90k to $100k range, and should be approved by next week.
- Citrix has some of the best work/life balance in the industry, with Engineers rarely having to work more than 40 hours in a week, and ability to work remotely.

- Would get a broad range of experience targeting MacOSX, Windows, iOS, and Android.

TrueVision: This company makes a cutting-edge digital 3d microscope system which helps assist brain and eye surgeons via augmented reality. Replaces analog microscope with digital system and 3d monitors.

- would make around $75k

- get to work on high-performance multithreaded code, CUDA GPU processing, computer vision, 3d rendering, etc...

- Stock options could pay out big time if company gets acquired.

Which of these would be better for my career 5 years from now?
Excessive questions are the product of a UX nightmare.
Doctors miss things occasionally. Sometimes they might not have the full picture. If he's going to the hospital three days a week and they don't know what's wrong with him and haven't published his case in a journal, it sounds like they're doing treatment for what would otherwise kill him rather than diagnosis on the root cause of the illness.

Very much a lack of detail, though.
That's a great explanation! Data frame for data analysis; matrix for math.
Stop it. He asked a fairly simple question, while you're jumping down his throat and appealing to authority.

At least he's trying to help.
> looks like the original code returns the lines after the '+++' lines, but I can not tell for sure, as the header/modified function implementations are not given

Actually from the line

| [] -> ()

we know that the function `start`returns nothing (well, returns a special value 'unit' which is OCaml's way to say nothing), so also the functions `header` and `modified` inside must return nothing, so they are called for their side effects only.
Yeah, I agree. I think it's actually fantastic that they focus so narrowly on answerable questions. It's still a super useful resource, and a tight focus means it will probably be able to stay on track for a long long time.

However, I wish there was a place as fantastically focused on good discussion.
This might just be another embrace phase. They have been cyclical in the past. If they were to get a large portion of market share on their proprietary tech platforms they would certainly move to lock in their users and cripple the open platforms they are now adopting. They are only restarting the cycle because they are losing ground.

And I'm not coming at this from a malicious Microsoft angle, they are just in the same league as Adobe and Oracle in that they maximize revenue by dominating markets and crushing competition to force users onto their proprietary platforms. It is inherent to how their principle earning divisions operate.
Ah, I missed that line. That only pushes the timeline back 40 years though. I still chafe at the idea that this is a uniquely modern problem.
Fourteen years have passed, almost to the day, since this was published and Lick is still an obscure figure to the public.
I'm seeing it for the first time for AWS. I believe it's now simpler to launch in AWS vs. having an appliance/image. Now you have me questioning :-) Anyone else?
No, Google and other vendors have done this with a number of things (shifting support channels to SO) over the last few years. Its not a shift for SO. It might be a shift for Microsoft, though.
To be clear, here's the Haskell translation

go content =
let env = Env { file = Nothing, modified = [], line = 0, result = 0 }
lines = split_lines content
env' = start env lines
in case reverse (result env') of
[] -> []
_ : results -> results

start env x = case x of
[] -> return ()
line : lines
| length line > 4 && take 3 line == "+++" ->
do header env line
modified env 0 lines
| otherwise ->
start env lines
You're not sorry, and you're not helping at all. Your comment, as opposed to the one that is trying, is the one that ought to be disparaged.
Security firms uncover 'sophisticated' Regin spyware
I talk to zero people via email. Only time I use email is for verification/resets and receiving spam.
[arra]stre: a digital data driven dance performance