skysight-inc/HackerNews huggingface dataset:
Good to see that the concept which was first presented to me in an ACT problem is finally becoming a reality. It would have been nice to have heard about this before taking a timed test. Much too fascinating and time consuming.
Normally I would rail against "import *" in the code, but under the circumstances ...
The question with social networks are never technical. As you can see by nearly all real life examples, the technology can suck, can exploit, can be this or that engine/framework/language. What matters is who is in there. If you build a social network based on a technology you will never achieve a significant size, especially if you choose a chat platform that is less and less often used.

Just make it work and then get influencers to use and talk about it. That's how you win with a social network. Or if you care about reasonable income without winning big scale then go the Hipchat way and integerate well with some special usecase (like they integrate with all the other Atlassian products and development tools).
Ask HN: Who is living off their startup full-time?
I'm curious who is currently living off their startup? Self-sustaining or through funding? Please include a a link. Thanks!
Stripe CEO Patrick Collison on the Limitless Potential of Payments
Show HN: PyFuzz2 – A little fuzzing framework in Python
why is it that we always need so much more CPU and GPU power to emulate an older, fixed, lower power requiring console?
Landing Pages: How to Create High Converting Landers – 2015
I watched Star Trek: The Original Series in order, and so can you
This is incorrect. Although, they do need to get permission from the original publisher, they are porting the games. How can you tell? Just have a look at the filename of the file downloaded. It has x64 attached to it.
I'm pretty sure that a high school teacher would not be considered a "public figure" in the US.
There totally is a tradeoff between productivity and discipline. People naturally 'optimize' their workflows - which is usually a good thing. The problem is our pattern recognition sucks at identifying subtleties like the correlation between skipping washing our hands and more patients developing infections.

Technology can help here a bit. I don't have a checklist item to 'check hard drive space' - I have automated monitoring and alerting systems. But if I didn't you bet I'd be moaning and rationalizing while I shouldn't have to log into each system every hour to verify it had free space, free-able memory, low IO, etc. Which is why I work with computers instead of newborn babies. Much easier to automate.
Syslog is just a network protocol. There are a whole bunch of implementations; there's nothing in the protocol that says it has to end up on disk.
Nice work.

For reference, here's the original library which has TinyGPS and TinyGPS++:
http://arduiniana.org/libraries/TinyGPS/

It doesn't appear to have any compatibility with the newer TinyGPS++ library which I had been using, but I guess that's not really the intent.

Also I didn't know there were modules commonly available for multiple systems. Mouser has the A5100-A mentioned in the blog for $17 in singles, plus an antenna I assume. I've been using the NEO-6M GPS-only modules from China that run about $10 with antenna. Nice to have more options.

http://www.mouser.com/Search/ProductDetail.aspx?R=A5100-Avir...
Why.Not?
press releasepdf.pdf - https://drive.google.com/file/d/0B4mwOKRxbBj9c1ppYXpSWmo0QVg4UTdRV1lkTWYwb1hiWUVZ/view?usp=docslist_api
Not a mathematician but last year I needed to do some serious (for me) math at short notice (api provider for some complex calcs dropped us in it) and sagemath with ipython notebook saved me as I could convert all the formulas into python and then inspect and graph the output to give me an idea of what was going on, if I'd have had that at school I think I'd have been way better at math the ability to 'play' with formulae is incredibly powerful.
The AGPL choice puts them in the very same field of play of the (now dead?) status.net/identi.ca.

Was it a good choice? I'd say not.
Woaha, I didn't know you could do that. In the future, when there are suspicious downvotes, where do you want the community to report it? In-thread like this or by emailing hn@ycombinator.com or by some other means?

Thanks for your hard work and for a perfect response, as usual!
What if the license were just an entitlement to your personal data? That you could take it back and share it only according to your terms rather than those of the server operators?

I think the AGPL works very well for applications that employ it. I simply think that perhaps this one shouldn't. Instead of threatening to legally bludgeon non-free versions, it should just work better or have more value than a non-free version.
You've jumped the shark.

I'm sorry.

Invoking a quote regarding the goddamned Nazis over a BSD company hiring a hacker who served time for a criminal offense, reaches such levels of absurdity that it rivals the likes of talk radio pundits such as Rush Limbaugh.

I don't know how anyone can take you seriously or even be so persistent about hammering one's past so violently in their face, but I guess that's the power of moral agendas.
embraced with blind, warm, happy-clappy love and trust

You sure do have very low standards if you think anything going on here is equivalent to "happy-clappy love and trust".
Re: "There is no such thing as 'raw data'" -- and of interest to Kuhnians everywhere -- this is a terrific book about climate data, climate models, & computation => https://mitpress.mit.edu/books/vast-machine
What are you gonna do? Expel me?
In human history we always went through development loops. And I can tell you this: I was there when there was not much CSS, and certainly no preprocessors. CSS was the Next Big Thing on the table (not even 10 years ago, and div was the next big thing instead of table). There are reasons for CSS. Now that it's everywhere young people think it sucks. Because old code always sucks. But often it's not the technology that sucks. It's just that code bloats when it gets older. Now when we take CSS away we'll do that for 5 years and then we'll miss it, so we reintroduce it, maybe using another name, or a competing technology from back then that didn't make it. Both will happen, I'm quite sure of it. Just for you, dear reader, if you want to be the cool guy that knows the technology before the other kids know it, start doing CSS now and wait 5-10 years. The last thing I remember we've seen such a loop was SQL. Now they are slowly reintroducing it. So if you stayed with MySQL and Postgres over the last 5-10 years, you'll probably earn a lot of money now. Good luck.
WebGL exercises some new corners of the OpenGL interface that many drivers weren't prepared for when WebGL arrived, so browsers tend to have an extensive blacklist: if you have a driver on the list, you won't get WebGL.

On a rolling release like Debian Testing, with well-supported hardware like the Intel Ivy Bridge integrated GPU, WebGL has always worked beautifully.
If you have the SWF, you can run them in the Flash Projector, the standalone Player. What'll be problematic is if they preload resources from external locations.
In high school, I made a WScript that prompted user "Network timed out on line #6. Please re-enter password:" and would surreptitiously record it. I put this on a floppy, popped it in when someone in the library went to the printer, waited, came back and said, "sorry forgot my floppy; can i get it, excuse me". Didn't use it maliciously; usually would just modify the folder settings on their home drive on the network to have repeating images of Pokemon as a background image. I suppose this all sounds quite devious in writing.
I almost got suspended in high school for making a "virus" (just an .html page with some js to open itself recursively in a new window).
It makes a lot of sense to programstically generate css because all of what the author said is true: global namespace, difficulty to trace specificity, modularity, etc. I am not convinced inline styles are the way forward. You can just as easily write (manually or programmatically)your styles using css/sass/less and optimize and serve them.

You can just do it server side. You can create global classes for objects and elements and include the
However you want. You can optimize on your own server FOR THE CLIENT, and serve the best result.

It is dogmatic, but I don't like inline styling. I think it should really be limited to values that are expected to regularly fluctuate during a session. This would be your height or width resizing on an animation or something where the x or y moves. These usecases make sense because you directly apply animation to an element.

Can you imagine what the dom would look like with html, javascript, css, sass, markdown and haml/ruby all on a page? I hope there is a way to demonstrate your page to Search Engines, because eventualu they may stop believing the alternate robots files if they just cant tell what is going on. Also, writing your own tags and attributes, I like it think it's helpful, but DOMs don't make sense anymore.
The First Real “Magic Bullet” in Medicine Was Arsenic (Salvarsan, – 1910)
The latest revisions of PCem can run BeOs I think.
So, I'm replying mainly to his assertion that any interactive app can be prerendered on the server given current technology. Given webapps span the range from "dynamic forms" to browser video games, I can think of no way of implementing the full breadth of what are modern web applications other than essentially video streaming and polling input on the client, which yes, is bandwidth intensive.

That's the entire reason why js and html and friends have become so popular. You essentially have full applications that have been developed by people who recognize that the bottleneck wrt to a networked application's responsiveness is not cpu cycles and memory in 2015 but internet latency. It's sufficient here to send a small text file and have the client fill in the gaps and have the client ajax for updates than have the server do the heavy work. I think you argued elsewhere, this is a waste of processor time redundantly rendering content, and thus, a waste of energy needlessly (as in real energy, from electrical into waste heat). As a tree hugger, I have to admit I find that argument somewhat compelling. I think a balance needs to be struck between user experience and use of resources. It might be your balance line lies further towards the "saving of resources" than mine's does.
US H1B visa sucks, forget it. Unless you got a PhD or something better... companies aren't that willing to go through the bureaucracy and investment to hire you. Also, your wife/significant other will have no rights there, also, you are tied to the company...

I'm from Brazil. I gave up trying to go to US and then applied to a couple of companies in Europe and got the job. The visa here is good(Germany), my wife can work, public services are good and I can get permanent residence in 2 years, citizenship in 8.

I still have the dream to work in the US, but only when they deal with their poor VISA crap. After I saw how things are good for immigrants here in Europe, even if I got an offer to work there for Facebook, I wouldn't go. The US government have to get their stuff straight.

But yeah, I think you need more experience. Talk in events, have a nice github, improve your english, level up your game... and keep applying to companies!
A thank you for putting up the materials at all when they had no obligation to.
Exactly that, they also carried supplies and fuel externally as their simply wasn't space internally.

They where much smaller than modern tanks and didn't have autoloaders so they where incredibly cramped.

Modern armoured warfare is largely a battle of logistics as keeping a tank in the field requires a huge amount of resources and manpower.

Comparison to submarines of the era is a good one, submarines have been one of my enduring fascinations especially WW1 and WW2.
Formal methods have their place.

I think we do need more waterfall-type design and documentation of cryptosystems (not massive pointless documentation, but relevant documentation and security/engineering tradeoffs design justifications.)

Also, for more and better eyeballs to audit code, it needs to be simple and clear code.

More thorough C unit/system testing, fuzzing and static/dynamic analysis steps as standard would help... I think a project/startup which could be like a TravisCI for the security and correctness of C code would work because there's just so much C code which needs better coverage.
The difference is the teachers took it personally.

The crime was serious, but not expulsion serious. But authoritive figures often overreact when their very governance is questioned. Which, like the author, is a lesson I've had to learn the hard way (albeit I never landed myself in quiet as serious trouble as the aforementioned)
So no endless hours trying to get a config file that wouldn't set the monitor in flames?

Because I did spent such hours back with Slackware 2.0.
What type of things are you interested in doing? There's a pretty wide range of things in astronomy that lend themselves to the use of python (simulation analysis, data calibration, data display, etc.). The astropy[0] effort is creating a general-purpose package to aid in many areas. There are codes to compute how radiation transfers through gas (e.g., powderday[1]), fitting codes to observations of interstellar gas tracers (e.g., pyradexnest[2]), and so on. Many are fairly specialized (the last two, for example) and perhaps not as useful to a casual/amateur astronomer, but things like astropy would be useful for calibrating images from CCD cameras, or computing when things are visible in the sky.

If you reply with more specifics of what you're after, I can try to provide more relevant examples.

[0] http://www.astropy.org/

[1] http://powderday.readthedocs.org/en/latest/

[2] https://github.com/jrka/pyradexnest
Proving formal properties requires formal specifications.

“absence of undefined behavior”, the property that Astrée more or less verifies, is one more or less formal piece of specification that authors of formal tools for C get for free. In reality, they get to formalize it themselves, because the C standards are written in English and contain much ambiguity, and their interpretation evolves over time. Two decades ago, signed arithmetic overflow was described as undefined because everyone “knew” that the authors of the standard wanted to accommodate 1's complement and sign-magnitude, and therefore everyone assumed that if you knew your architecture was 2's complement, you could expect 2's complement behavior.

The issue being discussed here is not one of having undefined behavior, though. OpenSSL is being blamed with not satisfying a property that it wasn't even documented as having, much less formally specified.

Your comparison to aeronautics code is also omitting the price of developing to aeronautics safety standards. For one thing, in aeronautics it is decided in advance what the software will do, and the software is implemented to have only these features. This is not how OpenSSL got to where it is today!

Astrée is only used to verify one aspect of the safety of part of the code in the aircraft, so it is really not a good example to use here. If you wanted to make a strong case, you could use miTLS: http://www.mitls.org/wsgi/home

And since miTLS already exists, you can ask the question of why it is not used in place of OpenSSL. Part of the answer is that it is F# and is only likely to interface easily with .NET projects.

My employer sells formal verification reports for open-source software. One piece of software we have formally verified with a tool comparable to Astrée is PolarSSL: http://trust-in-soft.com/polarssl-verification-kit/
This verification did not check whether the algebraic properties of any key are correctly validated in any of the cases where this would be relevant, because that's outside the perimeter. The verification sets out to verify that the code doesn't have any of the problems of the sort that Astrée would find (and a bit more), and it does exactly that.
This is a popular view that philosophers have about scientists, but as usual it fails to mention how exactly philosophy of science has been or is to be useful to scientists. Ironically, science has been very influential in advancing the state of philosophy.
> ...except that in that case, why is it trying to output to software-based video?

I don't have much experience with rsyslog, but syslog-ng can be configured to log to all consoles. [0] I know that consoles are usually configured to blank themselves after a period of inactivity. I wonder if a blanked console can be written to faster than an non-blanked one. [1]

Edit: The Fine Article supports my assumption about how rsyslog is configured on the RPi. Search for "printk". Also remember that -when syslog is disabled- printks are written to the active console.

[0] The default configuration appears to log everything to /dev/tty12. I see no reason why you couldn't log everything to -I guess- /dev/console. (Or, failing that, /dev/tty[0-12].)

[1] I know that screen-scrolling updates that happen in a console that is not the current one (or that happen in a screen window that's not the current one) are substantially faster than on-screen screen-scrolling updates.
SystemBSD: Custom D-Bus daemons emulating systemd behavior on OpenBSD [pdf]
Hungary has suspended the application of the Dublin Regulation a month ago, it wasn't a signatory either.
But non the less the Dublin regulation stated the the country in which the refugees register is responsible for them, it didn't state that they should be denied freedom of movement and the suspension of the train system by the Hungarian authorities was seen as a breach of the Dublin agreement as well.
I don't think what Feynman said was any more belligerent than kicking an unwanted guest out of one's house.
Linus's law applies (if it's even true, which there's insufficient empirical evidence for) to code, not bug trackers. The kernel's reporting process for security bugs involves sending an email to security@kernel.org, a closed list with secret membership. It may also involve sending an email to the linux-distros@openwall mailing list, which is also closed but has public membership (and is run by a third party). If either of these groups has a bug tracker at all, they haven't told anyone else.

And unlike Mozilla's policy, at no point is the history of discussions on either security@kernel.org or linux-distros@openwall ever opened up to the public. Fixes can, and are often intended to, show up in the kernel changelog without any mention of what security issue they fixed.
Designing NetNewsWire for iOS
TLS is a pile of IETF design-by-committee extensions uncomfortable with saying "no;" OpenSSL is a mountainous kitchen sink of TLS and other features. OpenSSL seems to "work," but the endless pattern of vulnerabities lies in the risky process in which code is developed, lightly tested and pushed out as a production release... That hasn't changed enough to convince me they're going to get proactive and stop SNAFUBAR anytime soon.

'cperciva was on the right track about a better protocol would encode parameters much more simply and have just enough options for an important gamut of use-cases. The issue is we're seemingly stuck on TLS everywhere and would require massive cost and coordination pains to use something, even if it were 10X better and formally-proven.
Docstoc will be closing down effective December 1, 2015
Kuhn's really great book is The Copernican Revolution. He was a uniquely insightful historian of science. It's amusing that he took some lessons from the history of science, well known to scholars in that field, simplified and distilled them to the point where even academic philosophers of science could understand them, wrote a short book consisting largely of multiple repetitions of these ideas, and it is this book that made him a superstar among undergraduates and philosophers. Well, good for him.
I find that it is extremely useful to use ZSH instead of Bash as shell.

OMZ, Prezto, antigen are framework very useful.
Dodge It – An iOS Game. It would help if I could get some feedback on this game
Stop Selling Features, Start Selling Stories
I think SMC will evolve to become the backend technology for empowering the textbooks of the future.

At this point in time the state of there is no github for academia. I find it strange that before the ultimately collaborative pursuit of academic knowledge can be done there exists this formality of competing for cash. In contrast I like how the opensource community has become a self organizing system independent and driven by volunteerism.
Hope to see the day where academia is more like the opensource community and Sage Math Cloud becomes a platform to transform the competitive academic world into a collaborative and evolving opensource community of mathematical researchers.

I believe the hotspot for discussing academic pursits in math currently is http://polymathprojects.org/ as mentioned here https://terrytao.wordpress.com/category/question/polymath/
That is more like a blog or a forum site then per say a github for academia. So, where is the future of online collaborative academic research?
Previously: https://news.ycombinator.com/item?id=10079585
Black Screen: A modern terminal emulator based on Electron
GNOME is trying to do this: https://wiki.gnome.org/Projects/SandboxedApps
> Syslog is just a [family] of network protocols[, most informally specified.]

syslog-ng (my syslog of choice) has 3 'syslog' network protocols. `tcp`/`udp`, `network`, and `syslog`. Now lets play 'match the syslog-ng name to the rfc` (or lack thereof)!
Algorithm can create new Van Gogh or Picasso in an hour
well, I disagree. you have some good points, but my impression still leans toward my former post. zuck isn't the most social person either :)

anyway, until OP tries it we'll never know :) thanks for elaborating on your reasoning for me though.
I think you have something here. I'm only a noob web hacker, but from what I gather and read, I think that separating content from the application has been one of the things web developers strive for. It isn't always easy, however (which no, is not always a good excuse but is probably often used). This separation is essentially is what html, and even pdf, is supposed to be for.

I was more wondering what you meant by prerendering things, because even when one opens an html page in your browser which is on your local drive, the client is doing rendering (typesetting, and such). That is an extreme...so, it sounds like you were asking for a return to the pre-ajax internet, which you say here that it doesn't fit everything.

So I think we don't really disagree here, I could have misunderstood you?