skysight-inc/HackerNews huggingface dataset:
But learning assembly programming is a valuable skill to a software engineer, and not knowing the popular ISA is not a problem - it is assumed the popular ISA will change during your career and you will cope. The skills are knowing how to interpret an ABI specification, etc. Those will stay with you long after gcc drops support for the ISA you used to learn them.

If the skill of interpreting a poem is useless (I don't think it is), it doesn't matter which poems are used in the lessons.
I totally agree and am grateful for all of your feedback!
The idea is to put yourself at less legal risk, not more. The penalties for drug dealing are pretty harsh in most of the world.
What was the impact score of the paper he showed to the instructor? Did they do a rigorous search of the space to determine whether the paper was "correct" or "incorrect"?

It sounds to me that the reaction in favor was as knee-jerk as the the reaction against the thesis in the first place. This isn't "producing research" or "making unsubstantiated assertions"; it sounds like pandering to the instructor's bias.
>There's just nowhere to go from that stuff.

Many of the questions Aristotle was grappling with are still open questions. E.g., are there essences? Do statements about the future have a truth value? What is the good life? What is causation?
Philosophy engages in observation and experiment just like the sciences do. It's just that those observations and experiments tend to (but don't always!) run orthogonal to scientific ones.

You can test metaphysical claims via a metaphysical framework or even "pure logic" (according to some), just not via normative physics. For example, how can physics even begin to prove that you or I exist? It can qualify our existence as objects in a world, but this says nothing about our minds, their "location", why they exist, why they're different "things" (if they are different things), and so forth.

Edit: To the downvoter, please respond as well. Silence hurts more than disagreement.
Huh? how is ARM more "industry standard" than anything else?
Speed Up Your Metabolism to Lose Weight Fast
The US is held together by our enemies. Without one, our "perfect" union would quickly fall apart due to infighting.

We lack the social cohesion to exist otherwise. Our nation has lost the grand dreams that drove our forefathers... now we huddle together fearing the nightmares and boogeymen.
Supposedly the pyramid construction crews had a core of several thousand skilled tradesmen who received salaries, plus a larger group of poor seasonal laborers who worked in lieu of paying taxes. They weren't exactly slaves, but if they didn't have the cash to pay their taxes then they had to work.

https://en.wikipedia.org/wiki/Egyptian_pyramid_construction_...
Issue 101156 – Chrome shouldn't use WebKitSystemInterface [2011]
I agree with you, I think it's the difference between the US (analytic etc) and continental philosophy approach.

If anything a good grasp of the "history of philosophy" protects one from 100% of the crap that passes for deep thinking in politics, culture, current events analysis, self-help, etc.
That's because a "war against $condition" is a useful way to manufacture consent.

All you need is a compliant media and lots of
Money to be made to corrupt enough legislators....
That's still not quite right.

Once cat is spawned, the shell gets out of the way, and has nothing to do with it. (Exception: zsh will "helpfully" insert itself with `tee`-like operation in certain situations.)

What `cat` doesn't do is finding an optimal block size for writes. It does a good job of finding optimal block size for reads, but not for writes. Many older block devices perform very poorly when the write block size is not optimal.
Problem?

The goal of Rust is to be a general system programing language.

In fact, Rust in the past had a runtime that included green threads a primitives; that ended up being a problem. The runtime and stdlib was only usable in some system programing task (defeating the whole goal).
I have Naming and Necessity on my bookshelf ;)
DoD Wants to Save the Environment with Bullets That Plant Seeds
So koans, proverbs and parables are not insightful by nature. Fiction is insight-free entertainment.

Got it.
With Aristotle in particular, I was thinking mostly of his statements about gravity and objects moving towards their natural place.
This is terrific! Very coincidentally, we were thinking of implementing a sentence de-noiser using sequence-to-sequence models only today evening.
I work in the NLP domain writing Machine Translation systems. But NLP parsers are accurate for grammatically correct sentences only which necessitates the need for something like deep text correcter.
Thank you for this. Will try this out this week and let you know how it goes.
> put together a minimal firmware for the Management engine

I thought that management engine CPU was still a black box, and the best anyone has done is neuter the firmware running there by judiciously zeroing bits out.
From the proposal PDF linked in the article:

"Although almost all TLC-licensed drivers do not drive an excessive number of hours, TLC recognized that a small number does and that some drivers may be tempted to work dangerously long hours. Therefore, in support of the City’s Vision Zero initiative to reduce traffic fatalities,TLC adopted rules in July 2016 to address the risks of fatigued driving"

If "almost all TLC licensed drivers do not drive an an excessive number of hours", then this is a very minor problem which should be able to be corrected by enforcement at the FHV(for hire vehicle) level and not by a proposal that not only has potential privacy implications but also has city budgetary implications.

If New York City and the TLC's legitimate focus were on safety and quality of life(Vision Zero)issues then they could start by fixing the problem of aggressive driving by taxis - including blocking the cross-walk boxes, and intersections, blatantly running lights after they are clearly turned red as well as other general uncivil and aggressive behavior such as excessive and unnecessary horn blowing.
The US Air Force's commuter drone warriors
Where is Chrome OS? Part of Linux?
Aww Govt is sad they are losing right to enslave citizens. Bureaucrats/Welfare-Addicts are worried about nearing possibility of doing actual work for money.

Your argument of "at least we are not as bad as Uber" is just sick.
Science? Click on link. Oh, they mean _computer_ science. In particular, empirical "software engineering" studies. That's not science at all. Computer science is not science, it's math + art + alchemy. And I strongly believe empirical "software engineering" studies fall under the alchemy category. (Which is why I can't stand to take those quotes out.)

Take this survey, for example. Any paper that purports to provide naming recommendations "scientifically" has to explain the Linux Kernel at least on a level footing with Eclipse or whatever other Java programs they're looking at. Otherwise it's hard to take them seriously.

In general, programming has just too many variables to be amenable to scientific analysis at this time.

a) Start with the question of how you define success. Are projects that have lots of adoption what we should be trying to emulate, even if the insides are ugly and the project just happened to be first to market, and its users don't care about how clean its code is?

b) Then there's the question of whether a study is reproducible using other codebases. Most such studies are not. The ones in OP demonstrably are not as I have hopefully proved above.

c) Software engineering studies are extremely weak at identifying or controlling for confounding variables. Most have no such discussion. The ones that have some mild discussion fail to put into context what variables they failed to account for, often the reader can come up with a new one with a few moments of thought. Given this, the conclusions they arrive at are overreaching, where good science has a tradition of modesty, of under-stating the applicability of one's conclusions.

Summary: science doesn't just happen when you want it to. A field becomes scientifically "rationalized" past a certain point in maturity, when a consensus emerges after many iterations of theory, experiment and argument between alternatives. It seems unjustifiable to say "science says" something if you can find opposing hypotheses about it in equivalent journal articles. Software engineering is early in this life cycle. I suspect it's hindered by bad axioms, such as that what we do with software today can be termed "engineering".
> You are not even disagreeing with me.

You apparently aren't reading my comments. The first part of the comment is specifically about that, the naming has nothing to do with C's constraint and everything to do with the community surrounding it. While I am loathe to praise WinAPI, its designers did at least demonstrate that you can use descriptive symbol names in a C API.
Have you considered this may be a form of cargo-cult?

This editorializing of the titles is similar to communities that have higher-ups that are equal-but-more-so (mods) that suddenly because of their status decide that their view must be the right one.

Mods adding the (publication year) is exactly like saying "hey, I've kind of read this, it's kind of old and you may (not) be interested in it because it's <years old>. I have no idea of the real value of the text but the year may give you a clue". Please don't.

I don't have any issues with original submitter doing this.
[removed and replaced by this cat: http://i.imgur.com/f1yeHVO.jpg]
Yes! I'm thinking of building something like this for my neural net training (1-2 days on AWS, 16 GPUs/processes on the job). In this case the "state" that I'd like to access is all the parameters of the model and training history, so I'm thinking I'll probably store an mmapped file so I can use other processes to poke at it while it's running. That way I can decouple the write-test-debug loops for the training code and the viz code.
(Comment removed.)
Sure! It's Sciences Po médialab, in Paris.
https://github.com/medialab (linking Github, as it's much more relevant than the actual site).

The tenets of the lab have (more or less) to do with exploring Gabriel Tarde's theories of "Actor-Network" and monads (nothing to do with FP, mind you).
One of the fundamental idea behind this being that everyone now generates traces on the web, and anthropologist/social sciences researchers may use them as a new "terrain" of research.

It was founded by anthropologist and philosopher Bruno Latour, and a group of engineers (who knew each other from school, where they were dabbling with programming for networks/exploration of the web early on).
By network, I mean graphs (math).

Projects usually involves triumvirates of designers (usually specializing in information, sometimes students/researchers themselves), engineers, and politics or social sciences academics. Often being two things at a time.

We have regular hackathon-like sessions called "datascapes" where we explore (sometimes, dormant) data sets, either from the web, or digitized (i.e. scanned historical archives, etc...) to make sense of it, and come up with relevant research questions.

(We also do boring stuff to pay the bills, so that we have enough freedom to work on project we like afterwards).
> If you're digging into that specific meaning of the word "name", you're likely doing something wrong:

If you're not you're definitely doing something wrong.

> (as a property of a person)

The original comment does not specify that it's "a property of a person". It could be a company, it could be a non-specific delivery address, etc...
> ... you have to prove to the compiler that your code is self-consistent. Proving something is often much harder than stating it.

Not really. When you learn the properties of your type system, you can 'prove' your way through most day-to-day programming tasks fairly easily. And when you can't prove something to the compiler, you can just fall back to telling it using its 'dynamic' escape hatch. You're certainly no worse off than you are with pure dynamic typing.

> ... Clojure Spec ... focuses on ensuring semantic correctness.

Nothing in a static type system precludes something like Clojure Spec, or at least something very much like it. You can still fall back to runtime tests that your function works according to spec. In fact that's what Haskell's QuickCheck and related generative testing systems are all about.
>Having done a philosophy degree and been a programmer, in my opinion you're adding far too much weight to what is a very easy domain to understand. All the complicated bits became their own discipline (maths/physics/chemistry/social science/psychology).

That's the kind of thing somebody who doesn't understand philosophy would say.

The "complicated bits" (physical philosophy) were never much of what's important about philosophy in the first place.
Did you have any exposure to the Continental tradition or did you entirely study analytic philosophy? I can't square what you're saying, with someone who has studied and at least partly understood the work of people like Nietzsche or Heidegger.
For example, https://imagetragick.com/

"One of the vulnerabilities can lead to remote code execution (RCE) if you process user submitted images."
I have a feeling this is skewed by massive enterprise purchasing of workstations - they will naturally gravitate towards a stable windows version, and tend not to get upgraded very often.

I'd like to see a chart of desktop computer market share that people purchase for themselves.
Hey. Just to let you know that the project is now installable from Packagist!

https://packagist.org/packages/aidantwoods/secureheaders
About 1:

Only a small groups of researches of mathematical history reads what exactly Pythagoras said about triangles, in mainstream mathematics people just have a general idea of the results of Pythagoras or some rehash of his ideas and a few later/former mathematicians. Moreover, most theorems names are misattributed. The name of Pythagoras is more a nice historical anecdote about triangles and the equation x^2+y^2=z^2. Moreover, IIRC none of his books have survived. It's just a mix of folklore and indirect sources.

A better example is the work of Euclid. He wrote some books and some copies survived and you can still read them. Anyway, most mathematician don't read them, they have only a general idea of what Euclid wrote. I'm not sure what parts of his books were original and what parts were only a recompilation of the common knowledge of his time. He had a very interesting idea. You can choose some sensible axioms and derive all the geometry from them. [Whatever sensible means.] This idea survived, but the axioms he choose were wrong. Some are confusing, there are some missing cases ... IIRC with the Euclid's axioms you don't get the "real plane" with all it's points of , you can use them in a smaller plane were x and y are algebraic numbers, like fractions and square roots, ... but the point (x=pi, y=e) doesn't exist. IIRC the modern versions of axiomatic geometry use about 20 axioms, and some are very technical.

With most people like Gauss or Euler gets a few theorems named after them and a few anecdotes, but most mathematicians don't read the original material.

In some cases, it's nice to see as a curiosity a copy of the original publication. IIRC there are some copies of the work of Newton, Leibnitz or Cauchy were you can see that the notation they used is very similar to the current notation.

In other cases, the following mathematicians buried completely the original work and only the original name remains but most of the intermediate steps and notation are not made by the original author. IIRC all what you usually study about Galois theory is actually the version that was written later by Artin and Noether.
On Board the “CS Responder”, a trans-ocean cable-laying ship
This is really cool. If you're looking for more datasets to train your model, here are a few relevant ones:
- https://archive.org/details/stackexchange
- http://trec.nist.gov/data/qamain.html
- http://opus.lingfil.uu.se/OpenSubtitles2016.php
- http://corpus.byu.edu/full-text/wikipedia.asp OR https://en.wikipedia.org/wiki/Wikipedia:Database_download#En...
- http://opus.lingfil.uu.se/

I'd love to see how good your model gets.
Why You Shouldn't Work at Apptopia
> Following this line of thinking, communication is impossible because everything is ambiguous.

And making everything as ambiguous as possible makes communication easier… how?
Cannabis is a wonder drug. It makes people wonder about all kind of things. Like where they left the car keys. And why they left the refrigerator door open.
How to Setup an OpenVPN Server on Digital Ocean
> First, make sure your TV is always up to date.

I always cringe when I see this "simple solution" because A) I know so many people who don't even know that updating their TV is a "thing", and B) eventually we'll have more devices than we can keep track of, each requiring weekly updates.
Moral panic over fake news hides the real enemy – the digital giants
Terrorists do threaten national security, but very rarely provide an existential threat. It's hard to imagine a terrorist group causing the collapse of the USA.
It also doesn't stand for 'destroy-disk' as was thought by a junior admin I employed once, and eventually had to fire because the level of incompetence was getting to the point of almost being destructive.

Nope, that's not hyperbole. I had to stop the kid from almost installing software that would have connected to a known botnet to help a user connect a personal computer to the VPN. He passed enough checks during the interview we figured "Okay, we can train him in the rest of the things"

Lesson learned.
So rather then funding jails and law enforcement, there should be more money going toward rehabilitation programs.

Making drugs illegal ultimately prevents people from getting the help they need.
Looks like a cool project, I would love to see this as a browser plugin of some sort. As for the corpus, I suspect that using articles from Wikipedia would be appropriate. Especially large articles are routinely checked and cleaned up. It has the added benefit of being available in multiple languages.

(https://en.wikipedia.org/wiki/Wikipedia:Database_download)

EDIT: I see this has already been suggested, along with a large amount of other source in another comment by daveytea.
I can list a few reasons without pondering too much about it:

1. Rust is gaining much acclaim for writing safer code, a good package management system, a very friendly community and other things. So it's natural that people would be interested in knowing more about libraries, frameworks and tools that would allow them to use Rust for whatever they're working on now or plan to work on soon. Not many people would want to develop their own HTTP handlers or image decoders or message queues or anything else just so they could write their primary project in Rust and gain the advantages it provides. Libraries are a huge part of that bridge that people need to use a language more (one big reason why Python is preferred across different subjects is because of the libraries).

2. This could inspire someone to go to these or other repositories and contribute to them.

3. Considering that images (and JavaScript) make the bulk of web pages nowadays, I'm sure many people would want to know about pure-rust libraries that handle images so that they could now have their web backend projects use more of Rust with better guarantees on a few aspects (like stability of execution, for one). Outside of web, this could also appeal to people who write imaging related applications.
And the Patriot Act was only going to be used in cases of terrorism. Right. It's mainly used in the war on drugs now. As we thought it would be.
Kiss My Classname: A Counterpoint
I think this is the conference paper: http://www.calvin.edu/academic/phys/observatory/MergingStar/...

(Linked to from here: http://www.ibtimes.co.uk/two-stars-are-about-smash-into-each...)

The star system in question is KIC 9832227, about 1800 light years away from us: https://en.wikipedia.org/wiki/KIC_9832227
Allowing MJ with other drugs is a no brainer. I also very glad the author found a way to help his son and it should be let alone. However, saying things like that is not very responsible:

> But Lester Grinspoon, a psychiatrist and professor at Harvard Medical School who has been researching cannabis since the 1960s, reassured me that the worst we could do was make our son fall asleep.

One study had shown that even if there is no long term effect on adults on IQ, teenagers experience on average 10% less IQ than no consumers - even after stopped completely taken it for years. Another study has shown that if you are DNA predisposed - less than 3% of the population - MJ can induce schizophrenia reshaping the brain long term even after years after taking it. I don't fully get this is not common knowledge. Maybe, this is not hype enough and people want to not being perceived as reactionary. But, facts are facts.
I Heart Boring Companies
If a "nearby" supernova is happening, I don't think looking at it through a telescope is a good idea. Don't quote me on it though.
Notable: there are almost 3x more Windows NT devices online than Mac OS X 10.8
In my experience dd is great for binary data. Yes, pretty much everything on Unix operates on files, as does dd. But so many utilities are either line based or don't handle null bytes, and it's a pain to have determine how a given program handles binary data when I know dd will at least not mess with it.
Deeplearning4j had done this for a long time. Tensorflow has been slow to serve Windows.
Perhaps I shouldn't have made such a wild claim. I was just taken aback at the lack of competence due to lots of giveaways hidden in plain sight. Hard to believe that a state-sponsored cyber espionage actor doesn't realize that the first thing investigators would do is disassemble the executable once it's discovered. I guess everything's possible. @bjourne does make a good point in his reply.
Why's it GNU/Linux when there's no userspace involved?
On the Influence of Carbonic Acid in the Air Upon the Temperature (1896) [pdf]
No, it was a convoluted way to say that the attempt to measure C programs by their quality as "idiomatic" will unlikely bear any fruits of value.

That said, if there is any non-idiomatic C code then the attempts of 'experts' in other languages to mangle C to look more like their language surely fall into this category (There are lots of examples where the author starts 'We can make C look more like fortran by defining our macros to replace these keywords..).
I personally find it useful for the reasons I gave above. Given that other members of the community sometimes complain that submissions aren't new or current, I think it's likely useful to them as well. Submission titles are also changed for other reasons in keeping with the guidelines, such as please use the original title, unless it is misleading or link bait.

https://news.ycombinator.com/newsguidelines.html

Similarly, the "[pdf]" and "[video]" tags are included in the guidelines:

If you submit a link to a video or pdf, please warn us by appending [video] or [pdf] to the title.

It sounds like you don't find it useful, which is fair enough. Do you find it harmful or misleading in some way? If so, how so?

Edit to add: Parent updated with additional rationale:

Mods adding the (publication year) is exactly like saying "hey, I've kind of read this, it's kind of old and you may (not) be interested in it because it's <years old>. I have no idea of the real value of the text but the year may give you a clue".

I think you're reading too much into it. For me, it just puts the post into chronological context. It doesn't give me the impression that it's any less worthwhile to read. In some cases, the year provides additional interest, particularly if it's older.
آبل تستعد لتصنيع هواتف آيفون في الهند