skysight-inc/HackerNews huggingface dataset:
I've personally used TLA+ for a work project, AMA.

As a general rule, it's excellent for projects where you have combinatorial explosion in state: the rules for state transitions are quite short, but number of behaviours is enormous. This is common in concurrency and distributed systems. When they're first starting out, lot of people think simple state machines are a good target for TLA+ specification, but this is not so. Generally for state machines the number of states is linear with respect to the number of rules you have, so you're better off using something like P which also generates code for you.
I guess OP means security in general.
How Hacker News Led to the Creation of Freshdesk
I'm fairly liberal, but the political discussion in the tech-adjacent, tech-related crowds has made me incredibly sympathetic to my Southern relatives' attitudes towards the mainstream left. It's not fun to be treated as a heretic.

There are issues where I find myself to the left of mainstream progressives, but if/when I voice those opinions, I find myself lumped in with the right for simply disagreeing with the talking points from low-rent blogs.

Fox News is rightly considered a laughing stock among the left. But imagine if they started a new brand, repackaged for an online, younger, left-leaning crowd. It'd be indistinguishable from dozens of existing high-prominence left leaning news websites. It's killing our ability to productively disagree.
CFML (language behind ColdFusion and open-source variants). Very approachable by beginners. Web console by default, no need to jack with config files. No database connection strings or convoluted models, just put SQL in <cfquery> and get a recordset. Simple data structure. Ease of HTML syntax, but power of c-like scripting if you want it. Backed by JVM, so can extend it in all the ways you'd imagine, and can also write extensions in CFML if you'd like. I do mostly Ruby these days, but I spent a long time doing CFML, so I'll always be fond of it.
IonicMaterial framework for Android apps developers
And firefox happily offers to save your password when you enter it into a http login window but yells at you if you try to connect to a self signed https webpage.
I've been using TopShelf in production settings for a few years now and have been more than pleased. We have yet to discover any issues related to using the library. And new developers find it extremely easy to pick up.
The invites in previous rounds were usually sent around 6PM PDT. Good luck, everyone! And remember many who get in have applied multiple times, and that building a company can be done with or without YC.
Anybody know why Chrome spins up 4 processes just to get started? Seems like over kill just to load a single URL.
I remain convinced that there was some other reason other than cyberforce posturing for the DDOS. Past examples of highly visible international attacks (I'm thinking of SONY here) have been to punish and embarrass companies for being complicit with US foreign propaganda efforts (re leaked Bennett/State Dept./Lynton/RAND emails). I'm not saying the exact same motivation is in play, but as github hosts files - notably code - and many governments have been cracking down on files hosting and shares (like pastebin, etc).

This is speculation, but I prefer the explanation to cyberposturing, since this isn't something China needs to do, and as far as I can tell wouldn't benefit very much from.

The theory is in line with greatfire, as this organization is a "Civil Society Organization" funded ultimately by the US government to spread messages it wants within China. Github is more confusing.
For strength training listen to these podcast episodes by the strength coach Pavel Tsatsouline (interviewed by Tim Ferriss): http://fourhourworkweek.com/2015/01/15/pavel-tsatsouline/

I consider myself pretty knowledgable on fitness, but I learned more practical info in those episodes than I have in the last 5 years elsewhere.
Tall ones (taller than me) can get up to at least 130.
Reverse-Engineering the Belgian Government: RailTime
How to accurately determine what was worked on when and for how long?
Have you solved this problem? Have you seen it solved?

So, the problem is tracking time.

It's annoying for users to keep track of what they worked on and for how long. Asking people to do it voluntarily don't work. We have a compliance rate of about 30%. How can we get that to 100%? There's talk of requiring it before paycheck time. And that might really work. But it seems a little medievil. There should be a way clever way to solve the tracking problem.

I work at a facility with sometimes up to 5 different projects going at full steam. There's a dozen or so departments and 200 or so max people working total at crunch time. Sometimes people rarely save the file they're working on, sometimes every 15 minutes. Sometimes people never log out. Sometimes people work in lots of files over different platforms. The only constant is the file system, all 3 Petabytes of it.

15 minute resolution would be great. 60 min rez would work too.
Show HN: Ainomma is a touch friendly open source Hacker News client
PHP is _not_ Web only. You can write CLI tools and server scripts with it. Look at Composer. That is pure PHP.

PHP is a highly marketable skill. WordPress, with their mission to power 50% of the Web, is PHP. Not to mention … the Book of Faces.

There are modern frameworks for PHP like Laravel that play the same role as Django.

But, if you're learning a new language, why not JavaScript? Everything is JS now—server side scripts, full stack Web dev, "Internet of Things." It is well on its way to Total World Domination.
Oops. I guess that's my demise then.
What's boggles my mind is the fact that it took the enthusiasts up until now to uncover the potential of the platform, as compared to, say early 1980's when people were paid to produce entertainment software for the IBM PC.

Makes one wonder what kinds of fantastic things we might achieve with todays' technology, but probably never will, moving on to build tomorrow's technology instead.
Rachmaninov mentioned recording his Piano Concerto, Number Two... here it is on YouTube.

https://www.youtube.com/watch?v=x8l37utZxMQ
My concern when I had a work issued laptop was that they would see the network traffic my wife was generating by streaming YouTube videos and playing video games and assume it was me. Fortunately, it seems that was not the case.

I am not one to turn away from a good conspiracy theory, so don't get me wrong. I just think you can see any patterns you want in the random noise of life. It is a strange set of symptoms your friend is experiencing, but why would they destroy your network, hampering you from being able to do work?
One machine ago, my wife would complain that her laptop was too slow. I would turn it on, bring up Word or Excel, and get excellent response. She would then open up the New York Times home page in IE, and it would eat up a lot of memory and all the cycles it could get. Now and then I pull up Task Manager on one or the other of the machines I use, and am amazed to see how much memory Firefox uses.
This is a great explanation. One other bit I'll add is that the particles they're colliding are protons, which are made of other particles, called quarks. While the protons are colliding with a relative energy of 13TeV (or will be) the actual collision energy depends on the collision angle of the quarks inside the proton. If it's a glancing collision, which it almost always is, the actual collision energy is much lower. In other words, we don't get to make particles w/ masses of 13TeV. The Higgs for reference has a mass of 125 GeV. That's one reason physicist are considering using Muons in future accelerators instead of protons. They're not made of other stuff.

One of my favorite videos on this topic was a Great Courses video by Sean Carroll. Well worth the $40. http://www.thegreatcourses.com/courses/the-higgs-boson-and-b...
Stack Overflow and Github's primary audience is developers. Reddit's started out with a mostly developer audience and still today has a huge crossover. It absolutely makes sense to support mark down if your audience is developers.

I don't find gmail to be an exception to the rule at all - all the big webmail providers offer full WYSIWYG support.
The article is bs and reeks of ass-covering (and lots of other folks agree). If S&P 500 was such a bad benchmark, why did he bet $320k on being able to beat it? The other points (interest rates etc) amount to "We couldn't predict the future", which would normally be fine, but not when you are charging 2 & 20 to do so.

Edit: a better response - http://msantoli.tumblr.com/post/110804679383/cry-me-a-river-...
The reason it has taken the demoscene so long to pull this off is the same reason that the PC beat its competitors in the early 1980's.

From the beginning the PC wasn't defined by a single hardware implementation, but by a set of capabilities and interfaces. There were always "compatible" PC knockoffs and "compatible" extension cards that weren't really 100% bug-for-bug compatible. That meant that software writers had to stick pretty much to the approved interfaces. There was no sense trying to push the hardware beyond the intended capabilities because even if you succeeded it probably wouldn't work on the bulk of the machines out there with different variations of the hardware.

It took a long time even to see things like scrolling games on EGA cards, even though the scroll registers were designed right into the chip and documented as such. Why? Because there were no BIOS calls to implement this, and most developers took the limits of BIOS as the limits of what they could count on working. It took risky shareware developers (Carmack and Romero) to prove to everyone that really the EGA chip-level interface was a usable target.

So because of the prevalence of the mostly-compatible compatibles, the PC software market had another layer of abstraction built in. Software should work on any machine providing the documented capabilities and interfaces, not just on one exact hardware setup. This allowed for a cycle of compatible upgrades where software could be used across hardware generations, and hardware could upgrade with sufficient backward compatibility.

That upgrade cycle was missing for machines like the Commodore 64, which were defined by a single hardware implementation. For the Commodore, developers always felt free to push beyond the intended limitations of the hardware, with confidence that if it would work it would work everywhere. That fed a vibrant demoscene, but closed off any possibility of a hardware/software upgrade cycle and eventually led to the death of the computer line.
You can download slides of the talk to get a good overview of where it's going (it's on the page).
It would be nice if apple would disable all these "features" when the user wants to go incognito.
YC S15 invites will be sent out today
As the invites (or rejections) will land in 1000s of inboxes today, 3% will be seen packing their bags for the interview and others will get back to building their startups.

Let's do one thing - the 97% who won't get the chance of interview will post their product's homepage and demo URL in this thread so that we all can provide crowd-feedback to them.

The happier 3% are also invited to share their products/demo as well.

Let's do it, then?
Basketball training 2 times/week + 1 match on the weekends. It relieves the back pain caused by the computer.

Boxing 2 times/week, It's a very demanding sport and that gets every bit of energy that I have in my body but it's totally worth.

Meditation or juggling when I'm unable to concentrate.
I'm in the same boat. :-) I keep having to assign myself bite-sized tasks to get done before I can check my email again (Or this thread).

Good luck!
Law aside, it is unpractical. All companies are starved for cooks, and by collaborating to keep salaries low, they are preventing the job market from expanding.
I made this to scratch an itch,the source is available at https://github.com/adam7/Ainomma any feedback would be great and pull requests would be awesome :)
FWIW, even the most basic module:function:purpose docs would help.

The primary challenge in a toolbox is knowing what tools are there. Having to either browse the code or pydoc it myself to know the scope is a bit of a hump.

First thing I did with bolton was read the docs start to finish. That way when I hit a problem, I'll hopefully remember bolton could solve it.

I will check yours out when I have time to go through it--it looks very multifunctional.
Braintree recently introduced support for Bitcoin: https://www.braintreepayments.com/features/coinbase

Technically, Bitcoin transactions are not anonymous; they're typically pseudonymous. Braintree requires buyers to use a Coinbase wallet. There are many reasons for this, but refunds is one of them. We enable merchants to easily issue refunds and have a cohesive experience in the Braintree Control Panel, with bitcoin alongside other payment methods like credit cards, Venmo, and Apple Pay. Feel free to contact me if you have any questions.
First off. Get sufficient sleep and eat well (this means lower the number of carbs, limit the sugar, get good amounts of protien and lots of veggies).

If those two things aren't fixed first, then no amount of working out will help.

Second, if you're interested in working out, start slow. As in, don't try to jump in and workout 5 days a week. You'll burnout and quit. If you don't workout regularly, a group workout setting like Crossfit is actually a pretty good way to go. People that cite injury rates around Crossfit tend to misunderstand the overall context. If you haven't done physical things for a while, you're going to hurt and most likely will have something feel like an injury. This is to be expected no matter what you choose to do. If you find a reputable gym with solid trainers they'll ask questions to understand your history and prescribe you the right amount of difficulty. The class aspect will push you and keep it social. Remember that if you're just starting out on something and you're new, working with someone that knows what they're doing is going to help a lot more than just trying to do something on your own and save a bit of money.
I was that way with The Brothers Karamazov. But it was worth it in the end.
They had 9-pin, but at least in the relatively-early days (i.e. back when the "Macintosh" brand was still pretty new), they didn't really have 25-pin in the sense of IBM-compatible PCs; the "printer" port was a 9-pin connector on the original Macintosh, for example, and the 25-pin ports eventually introduced were SCSI ports (certainly not Centronics ports).

But yeah, peripheral compatibility was a big factor in adoption of Apple's computers. This is a compelling reason for them to have switched from their proprietary keyboard/mouse interface, for example, to USB.
I used SQLite to store the entire last.fm user graph there, it was more than a gigabyte or so. MongoDB was abysmal, so I switched to SQLite, which was very, very fast, and I had zero problems with it. I have immense respect for it ever since.
There was a truly fantastic post a few years ago about how to teach binary notation to eight-year-olds.

Children are very capable of understanding basic or even not-so-basic math; only when they learn that «maths are for nerds» do they decide it's not for them.
I have this exact same setup - except
a) add a Pebble - iPhone isn't on me at all times (e.g. shower).
b) I add alerts for work mail server, but none for personal mail
c) VIPs bypass all my filters

All that said, Pebble still buzzes too much - e.g. Ascension game invites/turns don't show on phone, but cause my watch to buzz.

Maybe... the Apple Watch will resolve that issue.
For anyone interested, Kerala is a small state in the southern tip of India. It has a huge historical importance to Western Civilization. You could almost say (I may be exaggerating a little bit) that the America's were discovered by the Europeans in its effort to find a cheaper route to the produce and wealth of the Indies. Kerala is home to the Malabar Hills or what is commonly called the Spice Coast of India.

Kerala is where most of the spices such as Pepper, Cardamom, Cinnamon, Cloves etc have been grown for centuries. The ports of Kerala, Calicut (Kozhikode) has been the main gateway of trade all the way back to the Phoenicians.

BTW, as HN visitors, you may be interested in the fact that Kerala is now also home to a vibrant Startup culture. Just in the last few months, Menlo Park and Kochi (the city mentioned in the article) has announced that they are going to be sister cities.

http://www.thehindu.com/news/cities/Kochi/kochi-to-sign-sist...

http://articles.economictimes.indiatimes.com/2015-02-10/news...

Now back to the article being discussed. Some of the factors that made this case possible are the fact that the key players who were being exploited are from Kerala. This may seem strange but let me explain.

Kerala, along with West Bengal, can be considered as two of the most intellectually forward states of India. By that I mean, very high literacy (almost 100%) and as a result of that a very keen awareness of when they are exploited and have a fierce willingness to fight all forms of injustice. Communism is a very bad word in America, but it has helped these two states rise up from the feudal system that was prevalent in these states and is still prevalent in most of the poorest states in India. The downsides of a Communist approach (militant labor) is very evident in these States also, as being the worst states to create a labor based business in. The day after you start a business there, you can be guaranteed that labor will start an agitation and bring the business to its knees.

The article also mentions the attempted suicide, which is also one of of the disturbing aspects of life in Kerala. The state is very affluent compared to other states, but there is huge social pressure (perceived or otherwise) that forces people to take extreme measures to avoid failure. Whole family suicides are not unheard of if something bad happens.

Thanks to the effort of the tragic few who were willing to stand up to the exploiters and risk everything to bring this to court. Their efforts will have an impact far beyond their own.

This is one of the reasons that I try and contribute to organizations like the ACLU whenever I can. Henceforth I shall do the same for the SPLC.

"Quis custodiet ipsos custodes?" (Who will guard the guards themselves).
It really should have full CalDav and CardDav support out of the box.
re: Formo

Last summer and into the fall, I had plans for Formo 2.0, which included a lot more flexibility and customization capabilities (json config, http context config, environment variables, etc). When I learned about aspnet5's configuration I essentially stopped development on Formo. The big reason being that they're building in such a way that I imagined Formo would be used. (Which makes me quite happy)

For that reason, the project is largely "finished", but it's still stable and alive.
Dan Ariely on Dishonesty and the Slippery Slope
Interesting perspective. I prefer the opposite. Then again I try to only allow people to notify me for the most part (phone and messages app) and disallow other apps (like games, real estate, social, etc) anything but badges. I guess this means my approach is more like "What is up with mail?" vs "What happened in the last 5 minutes across all apps on my device?"
Depends on the details of the prescription and how affected they are.

I wouldn't expect the needed doses to be very high? Then it wouldn't be an issue in the same way it shouldn't be a problem to have a single drink before work and a BAC of .02

If the prescription unavoidably interferes with work competence then I'm not sure where things go other than "complicated".
IIRC there was a post by Steve Wozniak here a few months ago where he stated he still occasionally gets ideas for how he could have improved the code for the original Apple computers.

Edit: Found one article that quotes Woz on that: http://www.cultofmac.com/302087/38-years-later-woz-still-thi...
Not to nitpick the author and his anecdote, but the MLB At Bat app actually affords the user considerable control over what you do and don't receive in a push notification. There's the binary yes/no for news, and then you can add your favorite teams (wherein you'll only receive notifications that have to do with those teams). You can further enable/disable things like game start, lead change, score change, game end, highlights, and game news. You can do all of this sorted by team. TBH it's probably the best experience I have with an app that gives me notifications because I get exactly what I want and not a push more.
Just a comment: I've noticed Rust literature generally errs on feeling a bit dense and esoteric, which might make things less approachable for some. Then again, that does depend on your target audience. This article doesn't make me feel immediately "fearless" about concurrency, and I'm a fairly experienced programmer and a fan of the language. Perhaps it would have been wiser to start with an approachable example and then taken deep dive about all the nuance from there?

Also, are there any plans to integrate tutorial-style guides similar to those from Rust for Rubyists into the Rust book? There's something incredibly fun and real about learning by example. It also would give the reader a chance to read some idiomatic code.
I use haproxy to terminate the TLS of a number of sites, I'd say the support is pretty stellar :)

$ ./cipherscan jve.linuxwall.info
........................
Target: jve.linuxwall.info:443

prio ciphersuite protocols pfs curves
1 ECDHE-RSA-AES128-GCM-SHA256 TLSv1.2 ECDH,P-384,384bits secp384r1
2 ECDHE-RSA-AES256-GCM-SHA384 TLSv1.2 ECDH,P-384,384bits secp384r1
3 DHE-RSA-AES128-GCM-SHA256 TLSv1.2 DH,2048bits None
4 DHE-RSA-AES256-GCM-SHA384 TLSv1.2 DH,2048bits None
5 ECDHE-RSA-AES128-SHA256 TLSv1.2 ECDH,P-384,384bits secp384r1
6 ECDHE-RSA-AES128-SHA TLSv1,TLSv1.1,TLSv1.2 ECDH,P-384,384bits secp384r1
7 ECDHE-RSA-AES256-SHA384 TLSv1.2 ECDH,P-384,384bits secp384r1
8 ECDHE-RSA-AES256-SHA TLSv1,TLSv1.1,TLSv1.2 ECDH,P-384,384bits secp384r1
9 DHE-RSA-AES128-SHA256 TLSv1.2 DH,2048bits None
10 DHE-RSA-AES128-SHA TLSv1,TLSv1.1,TLSv1.2 DH,2048bits None
11 DHE-RSA-AES256-SHA256 TLSv1.2 DH,2048bits None
12 DHE-RSA-AES256-SHA TLSv1,TLSv1.1,TLSv1.2 DH,2048bits None
13 AES128-GCM-SHA256 TLSv1.2 None None
14 AES256-GCM-SHA384 TLSv1.2 None None
15 AES128-SHA256 TLSv1.2 None None
16 AES256-SHA256 TLSv1.2 None None
17 AES128-SHA TLSv1,TLSv1.1,TLSv1.2 None None
18 AES256-SHA TLSv1,TLSv1.1,TLSv1.2 None None
19 DHE-RSA-CAMELLIA256-SHA TLSv1,TLSv1.1,TLSv1.2 DH,2048bits None
20 CAMELLIA256-SHA TLSv1,TLSv1.1,TLSv1.2 None None
21 DHE-RSA-CAMELLIA128-SHA TLSv1,TLSv1.1,TLSv1.2 DH,2048bits None
22 CAMELLIA128-SHA TLSv1,TLSv1.1,TLSv1.2 None None
23 DES-CBC3-SHA TLSv1,TLSv1.1,TLSv1.2 None None

Certificate: trusted, 2048 bit, sha256WithRSAEncryption signature
TLS ticket lifetime hint: 300
OCSP stapling: supported
Cipher ordering: server
After Sun Tzu's "Art of War", I recommend you Bertrand Russell's "The Conquest of Happiness" (1930) :-)
There is no rule of law of customs of the internet, however. That's been the big push for the last decade within the US: to develop an international norms framework for the internet. The problem is that many of the activities being performed by China, Russia, France, Germany, the UK, Israel, Canada, the US, etc are being performed by others - it's difficult for us to condemn China without equally condemning the others. (Those wanting to argue a straw man will suggest that the technical details of this attack are somehow above and beyond the pale of what other nations are known to do and make their argument about js injection.)

It's true that China is much more crass and less developed in their cyber capability. It isn't that much less effective however.
The force is strong in this Juan.