skysight-inc/HackerNews huggingface dataset:
I agree with the concerns on the false dichotomy between theoretical computer science and mathematics, but from the mathematician's perspective I think there's another issue not being discussed due to the typical CS obsession over automated proof systems.

Mathematics is a social subject, invented by humans largely for their own amusement. The goal of a mathematical proof is to communicate insight to other humans. Of course the point is also to be correct, but somehow communicating insight takes priority. Relying on large bodies of latent knowledge, and omitting details, is an effective way to do that. Allowing for occasional mistakes is okay, because mathematics as a whole is fault tolerant (or at least, history gives evidence to that claim).

Lamport's field is a bit different, because there they study distributed protocols with the intent of creating value in the real world. So when they prove a theorem, they're not just proving a theorem to gain understanding about something, they're proving a theorem so they can improve the security or fault-tolerance (or whatever else) of some real system. Writing down a 200+ page TLA proof is measurably worth the investment because the users of their work (applied computer scientists and engineers) want error-free theorems and a clean CS literature much more than they want insight.

For mathematicians communicating to other mathematicians, a two-paragraph argument that is convincing and omits the details (that one can verify on their own) is much more valuable. I'm not trying to make a value judgement either way, just trying to explain the culture of math proofs and why I think something like TLA+ will never catch on among mainstream mathematicians. You might say it's mathematicians defending their job security, but it's also simply that mathematicians like exploring and inventing and hearing creative proofs and perspectives. Deferring things to computers removes the a-ha moment.

[Edit] And the idea that somehow high school students and undergraduates will magically start reading and understanding proofs because we write them using TLA+ is a joke.
And a win for the "drivers" would be a win for the taxi cartel.
[The deleted parent mentioned a temperature setting he found in the documentation.]

These are just monitors. That setting sounds like something to adjust the amount being reported in the station tank if it is very cold or very hot, as temperature slightly affects the volume of gasoline.

I can think of two possible attacks:

1) Falsely reporting the station tank is empty, when it is actually close to full, will cause unnecessary deliveries of gasoline for which the station owner will have to pay.

2) Falsely reporting the station tank is full, when it is actually close to empty, could cause a local - possibly regional - gas shortage if enough gas station in particular area are attacked.
How to Build Blog Traffic from Google  « Blogging Tips and Tricks – Techrainy
Bitcoin Exchange Launch Hits Snag Amid Challenges Already in Play
Hey FooBarWidget,

I just wanted to thank you for all your hard work and for putting this out there for people to get up and running with Docker.

Of the videos I've watched on deploying Ruby on Rails apps with Docker, this container always gets a shoutout as an easy way to get started.
Yet again, there is already a mechanism for this.

Add your fingerprints to DNS (they can be obtained using ssh-keygen -r <hostname>)

Set the SSH option VerifyHostKeyDNS to "yes" (or "ask" if you want to confirm, with a notice about if the DNS entry matches).
Unit testing – setup pattern (Moq)
re: being a clone - Not at all dissimilar to Linux. >smile<

Years ago a couple of friends and I huddled around a System V Unix manual at our public library and discussed how exciting it would be to actually have a Unix machine we could use. I remember seeing an ad for Coherent in a magazine for, if memory serves, $99.00, and hatching a scheme to get my friends to pitch in with me and buy it so that we could have that Unix machine we wanted. (The plan ended up falling apart, sadly...)

Maybe now I'll actually take some time to play with it. Could be a good use of the old 286 I've been hanging on to.
America’s new aristocracy
I see anything an investor does (outside of writing a check) as meaning "no". Dragging out a conversation for months, means "no". When an investor really wants to invest, nothing on heaven or earth will stop them from putting money in your hand.

I would just operate under the assumption that they're not interested, and raise money elsewhere.
Looks like a great and detailed book. I don't knwo why but networking is a subject with very few good free books.
React is not necessarily novel, but the combination of techniques might be: React addresses so many issues/smells that were so common and unaddressed by other frameworks that its getting a lot of well deserved mindshare.
I will expand on a comment below. Tubes usually distort with even order harmonics which means the distortion is usually in key with the note and our brains find this distortion pleasing. Transistors distort with odd order harmonics which sounds more dissonant and harsh to the ears. Transistors also tend to be clean or clip, there is little to no build up. Tubes saturate gradually and can make things sound "warmer, fuller and generally awesome".
Not all tubes are great though and it doesn't look like these are power tubes so it would be for preamp/line level gear only. Either way I'm really excited to see this.
"it doesn't make JS a pleasure to work with yet (which seems to be the argument?)"

My interpretation of what Retozi is saying is that CS just means that in addition to understanding JS, including ES6, you need to be familiar with all the different ways things can be done in CS.

I tend to agree, especially as JS is becoming an improving with each release.

What I'd like to see going forward is JS continuing to add selective sugar as is in CS, but also add functionality that makes going into a new fresh JS codebase and making sense of it easier. That side of things is less about CS, and more about the sorts of ideas you see in Dart and TypeScript.
Interesting. Some GIFs are used across temperature ranges as in the example. Sunny vs. Cloudy though are different criteria, so will look at that. Do you remember what GIF?
Thanks for looking!
Hey HN Community,

its late here in Hongkong, but I just finished another milestone of the News Aggregator and I thought you'd like to play with it. Happy to hear questions and comments!
I think it's about time theoretical computer science was considered a branch of pure mathematics. All we do in this field is prove theorems.
Expand MDN's a tag titles into text nodes
It's probably the equipment makers obligation to have this kind of internet-wide scan done on their devices. A central agency may not even know what's out there, and it's not really reasonable or efficient to have it be the gas station owners problem. Well it is kind of their problem, but it's really stupid to expect every station owner to solve an internet security problem themselves.
Scroll NYC
Engineering is the process of making trade offs to accomplish specific goals. Budgeting is the same thing. At 120k you definately have enough money for a porche. However whether you can "afford" it depends on what trade offs you make.
Man Lost Contact with Drone Before It Sped to White House, Friend Says
Little Accidents Full Movie Streaming
> donating to the EFF is a nice way to show appreciation

Showing appreciation is a minor detail (sorry to take your wording so literally; I'm just using it to make a point). This is essential work for everyone and for our democracy. Donating to and supporting the EFF (or similar organizations, if you don't happen to agree with the EFF) is a responsibility; it's doing (part of) your share.

The greatest problem in our (and every) democracy is not those who actively oppose progress, but the great majority who sit around and do nothing.

(The upside to that is, if you do get off your ass, then you have greatly disproportionate power over your community and nation. An organized, active minority can be very powerful -- look at the Tea Party, which I think only 10% of American support but which, by being very active and by being almost 50% of GOP primary voters, has great influence over the entire nation.)
Even if this were just monitoring access, that's just a privilege escalation away from full access.
At some point in time you'd never used an SSH key, either. And then you did.
Does anybody know of any Chef/Puppet/Ansible/Salt like service for Docker containers? Yes, I understand that Dockers are easily reproducible and you throw them away and replace them after updating its configuration.

However, there has to be something to manage the docker containers themselves - I imagine after 10 or so container sitting on a vm, it could get unruly to manage by hand.

Also, I've listened to speakers that mention long lasting services (like a database) should be handled differently in Dockerland - however, nobody I've listened to has spoken extensively about it.
Yeah thats how the Groups app works now, but I was referring to his forward thinking "server-side run native apps". Thats way different.
Hear, hear. Spivak motivated me to emphasize the humanistic features of mathematics.

Thankfully, his view underpins elite mathematics programs, e.g.

http://www.hcssim.org

http://en.wikipedia.org/wiki/Math_55
This is false. This image does NOT advocate multiple roles in the same container. Passenger-docker does NOT come with a database.

It provides the option to have memcached and Redis inside the container, but it is optional and not installed by default. You have to explicitly enable them.

Passenger-docker only handles a single role: the app. Depending on your viewpoint, caching may or may not be considered to be a logical part of the app. This is why we provide the option. But again, disabled by default because we go for lightweight by default.
Protecting US government communications has always been part of the mandate of the NSA.

Human intelligence operations have never been part of their mandate.
> I wonder if they use Bayesian logic, because they should.

Looking at his qualifications, I think it is safe to say he too took statistics 101.
New to deep learning? Here are 4 easy lessons from Google
And that isn’t a problem if you’re writing about something I care about …
Well yeah, both are for security. But if you had a native "app server", that just fed JS to a shell of an app that had ReactNative in it....you could completely change the app, remotely. Not just styling too, but actual functionality. Its the promise of "real" native A/B testing, but clearly violates app store review guidelines.
Yup, but it's not necessarily UI state that gets updated, just something that maps draggables to where they've been dropped.
For mainstream programmers they are, in that they have features they never saw before. You know, like in "it's something new for me" or something like that.

The fact that objectively some of those languages come from '50s and '60s (like Lisp in '56 and ML in '63 IIRC), which makes them ancient by today's standards, doesn't matter. It's really sad. I devoted a couple of years to learning about and trying to use such languages (see here[1] if you want) but I'm in a very small minority; most young programmers never use anything other than 1-3 core languages they learned; the number of known languages increases with years of experience, but it's still biased towards currently mainstream languages. Which are mostly crap.

Anyway, that's how it is: most programmers are very conservative in their choice of tools they use and feel no need to look for alternative tools to use.

[1] https://klibert.pl/articles/programming_langs.html
practical room-temp superconductors might make electricity transmission possible on smaller towers, but unless we get some cool tech like mostly autonomous underground cable tunneling robots, its likely to remain cheaper to run them on poles in most places for the forseeable future.
A coinflip is always 50% accurate, no matter how improbable the event you're trying to predict. If I flip a coin to predict whether Cthulhu will rise tomorrow, I have a 50% chance of getting it right.
Ok, I was wondering what was meant by "e-police station", basically that's their first police station with computers.

So basically, it means they'll be able to take statements on computers, making them harder to "loose".

Also, the police cars will get tracked, making it harder for police officers to go about their business.

On a brighter note, there are 111 taverns in the area, so they'll never long for a free drink and it should be pretty easy for them to fill their quotas.
You can consult the changelog for the history of changes. Various improvements have been contributed by the community. Things are more polished and bugs have been fixed.
> I've heard there is an established church that is legal and approved by the government, but the government closely monitors them to ensure they aren't teaching anything that's threatening to the Party.

There's actually two sets of government-controlled Christian religious organizations (one Catholic and one Protestant). (Similarly, there is a government controlled Islamic organization.)
Here is a converted one in Dublin [0] - I thought it looked very good when I visited it.

[0] http://omparchitects.com/en/projects/the-gasworks/
I like the idea; it makes a lot of sense. In practice though, there are a LOT of times that it's much, much faster to communicate verbally. I feel like trying to really stick to this remote-first style might be more difficult/frustrating than it sounds.
Cool, I'm glad you appreciate it and good to know it's featured in videos. Can you tell me which videos? I'm not aware of anything like that.
This reminds me of a clip from Adam Curtis (British documentarian) about nonlinear warfare: https://www.youtube.com/watch?v=tyop0d30UqQ

The clip discusses Vladislav Surkov as does the article. Nonlinear war suggests creating conflicts in a way where no one can distinguish what's real and what's not, not being able to identify the motives of the forces at work (like the recent Ukraine conflict for instance).

Very relevant idea to what the author is talking about here.
> because jobs with a spokesperson aspect blend work and personal life.

I wonder how many of the people shouting "freedom of speech doesn't mean freedom from consequences" vis-a-vis the separation of work and personal life would have held the same viewpoint in defense of the impeachment of Bill Clinton for his affair with Monica Lewinski.
@nly How does this system prevent me from setting up a website that looks like Paypal and giving you the address of my ssh server?
Podcast on mHealth Regulations
Watch into the Woods Full Movie Streaming
Dissent is indeed important - and so is the right to compose your thoughts and make non-public comments which are not perfectly formed. Time and again we've all argued with others over something which was a not-well-thought-out comment imperfectly formed & delivered. So long as there is a line delineating "something to hide" and "dissent" and "libel" and etc, we need a right to form & craft our words through imperfect expressions thereof until we form something we can take public with confidence. Sometimes ideas just sound bad at first glance, and require polishing & presentation before the positive value therein can be present and not inspire visceral reprisal.
SnapDocs (YC W14) is Hiring technical product owners
About us: We're a small team tackling the huge offline market of consumer lending.

About you: You’ve got 2-4 years experience building web apps. You’re interested in owning a product, everything from calling clients to wireframes to writing code and analyzing metrics. Ideally, you have experience with Rails, but we’re open minded.

More about us: We're growing fast (double-digit month-over-month). We do SaaS for non-technical users. Everyday, our clients call and email to say that we're making them happy, and that feels great. We’re becoming ubiquitous in one segment of the market and we’re looking to hire another core engineer to help us expand further.

Details: Our office is near Union Square in San Francisco. This is an onsite position. We offer health insurance and generous vacation. Compensation will be salary plus meaningful equity. As an early engineer you'll be shaping this company.

More details: pivotal, git, rails 3&4, Postgres, slack, opsworks, AWS, jquery, balsamiq, coffee.

Send an email to jobs@snapdocs.com telling us about yourself. Please include a resume and a link to github if your profile is informative.

Thanks!
> The federal laws regarding US Census privacy-breaching disclosures are stiff

So are those for torture, domestic spying, and many other things. It is well established at this point that the U.S. government will not hold its officials accountable, except for leaking information to the press. In other countries, presidents go on trial (Israel and France come to mind); it's unthinkable in the U.S. Even Nixon was pardoned.
Reflexive is the term used by George Soros: http://en.wikipedia.org/wiki/Reflexivity_(social_theory)#In_...
I think we go too far in terms of romantising these kind of structures. It is impressive and valuable as a functional object not a thing of beauty or ugliness.

The more we fetishise heritage the less acceptable new structures and designs becomes that are "out of context". For example, a wind turbine should only need to generate power efficiently. It should not need to look good.
that is why you need a firewall between your IoT devices and the public internet. Then let an intermediary machine be a gateway/gatekeeper to the public internet.
It does not encourage such a culture, this post is just suggesting that no-blame is a requirement to sustain a remote-first policy. You can more easily have a no-blame culture without artificial conditions like remote-first.
They just need to send the UI "state" (and after that just the state diff would do it). I think it's actually much like HTML for a browser.
I had a Microkorg and the emulation is indeed very good. But I think tubes are more 'random' and 'smooth'.

So I agree that there isn't much ICs can't emulate but I also think it can be difficult to write a good emulation program.
Avocode – Preview and inspect designs without Photoshop or Sketch
I love SSH, but I don't want to actually use SSH for this. That's not the important part. All I want is key-based authentication, and that doesn't need SSH. I want to be able to plug a security token into a USB port and be logged in, without even having to click a sign-in button. Reformat, reinstall, reboot, plug in security token, launch browser, type news.ycombinator.com and I'm already logged in.
There's talk about Bloomberg buying the Times
There has been quite a bit of discussion on ghc-devs about fixing records. The most promising approach seems to here:

http://nikita-volkov.github.io/record/
Latest jobs in pakistan
Let's not forget the awesome director's commentary (options menu to enable, press Z to activate near any object that lights it up)
How else can you describe something which does not exist except by making up a new word (or repurposing an old one)? Mathematicians do this every day.
That's because the whole block you're pointing to there is in Haskell's side effects box. So this is simply not the right example for illustrating how Haskell does isolate side effects. Shell scripts in general are very side effecting, so for this application it makes sense.
> How do people who are (probably) scientific-minded reconcile themselves with this sort of thing?

There's very little in that "statement of belief" that is even within the domain of empirically-explorable fact, so I don't see what being "scientific-minded" has to do with it, unless by that you mean something beyond using science to explore questions within its domain like the epistemological view that anything outside of the domain of science is to be rejected as a valid matter of belief.
Robots classified according to fields of application
I didn't hear anyone complain when the Tricorn Centre[0] was removed which was called "the 3rd ugliest building in the UK." Several UK prisons are literally more attractive than that place was...

https://en.wikipedia.org/wiki/Tricorn_Centre
This sort of thing happens everywhere. Grain dryers, wastewater treatment plants, etc.

You get industry-specific vendors that believe their solution is opaque to anyone that hasn't received their specific training and they run loose. The end-user doesn't care because their expert in [whatever automation] tells them it has a password or proprietary protocol and can't be accessed without a program that's only given to trusted (industry) insiders.
The horrible thing is that once I use it for a while, it starts making sense. That's usually the time I stop doing Java for a while.
First time you connect to sshd, the server has no idea who you are.

That's not a problem if you signup by first connecting to the sshd and getting a custom signup URL.
Eh, this isn't a statement about his own models, and it's obviously a gross oversimplification anyways. You should focus on some of the earlier statements which give an indication of that his models aren't just a "GOOD/BAD" classification. As a silly example, if my model which predicts age based on a photo was right 50% of the time, that's pretty good because there are more than two ages. If it predicted birthday and was right 50% of the time, that would be incredible.

Furthermore, the models should probably be described as forecasts and not predictions, and as such can't be right or wrong. Which is mainly just to emphasize that the statement is an oversimplification.
Microsoft launches affordable TV white space Internet in Ghana
It's around as dangerous as any other performance car with an extremely powerful engine. You can still drive slowly; the difference is in what happens when you floor the pedal.
>If you've got any sort of programming skill your js will only be concatenated on test and production builds, not on development.

Development builds should use concatenated and minified .js code. That verifies that the development build performs exactly like the production build.

You can use source maps to help with debugging.
I also read through Lamport's critique and I'm not convinced by it. The 'errors' he points out are trivial, and the cultural assumption is that an active reader will fill in the omitted details.
The web site says apps cant perform psych experiments, and links to the contentious facebook emotion split test. I'm pretty sure you'll be able to do split testing on these apps...

That small criticism aside, I'm very curious how developing for sandstorm would be different from from developing for a typical host. Anyone know the major differences?
> What's the idiom for chdir'ing to a subdirectory such that you pop back out again when you're done

This can be done with the "bracket" function, which works roughly like a context manager in Python:

import Control.Exception
import System.Directory

withDirectory :: FilePath -> IO a -> IO a
withDirectory path action = bracket (getCurrentDirectory <* setCurrentDirectory path)
setCurrentDirectory
(const action)
Very nearly 100% of the people living within U.S. borders are dependent on the government, whether in the form of tax subsidies or use of government-built services.

I'm sure many people of a certain ideological stripe feel as though they're somehow self-reliant and do not rely on anything any level of government provides, but that does not mesh with reality.

As for shaming people on welfare, I'm again unsure which country you're describing. First, "welfare" (i.e. as a cash grant) hasn't existed in the U.S. in close to 20 years. Second, people who do receive some sort of subsidized food or housing are very nearly universally looked down upon. They're not held in any esteem whatsoever now. Do you think it would be reasonable, or make any kind of policy sense, to shame them further? If so, why?