skysight-inc/HackerNews huggingface dataset:
> Humanity has never been able to formally prove an actual program that is anywhere near what we would call "large".

And we probably never will. AFAICT, our only hope is to build large software out of small components that can only be composed in obviously correct ways, so that the bulk of the verification effort is spent on each individual component, rather than on their interactions (a hopeless task). This is reflected in my ML programming style: A function exported by a module must not impose any preconditions on its argument that can't be enforced by the module itself. On the other hand, at a higher-level, a functor (parameterized module) may impose nontrivial preconditions on its argument.

> Lamport believes that it may be possible (for a properly amenable spec) using machine learning.

That is extremely unpalatable to me. I'm more than perfectly willing to use a different formalism (like TLA+, although I'd like better integration with actual programming languages), but not to resort to massive trial and error (which is what machine learning ultimately boils down to) to generate programs.

---

Anyway. What I can take from this whole discussion is:

(0) As your original blog post says, there are two ways to look at computation. One view simply pays attention to the physically realizable aspects of computation: nature certainly doesn't care that I want to use bits (or more generally, symbols from a finite alphabet) to represent values from a problem domain, or that this bit means one thing but that bit means another thing. The other view pays attention to how computation can be structured and given useful meanings: the (non-C) programmer in general doesn't care that the same bit pattern can be used to represent different values of different types.

(1) If I may use a physical analogy, writing purely functional programs and using equational reasoning on program terms as the basis for verification are akin to trying to solve every physics problem by appeal to conservation laws. The two main drawbacks of this approach are that not every physical system is conservative (we want effects, for which monads provide a solution) and that it's useless for reasoning about time (for which there is no solution).

(2) On the other hand, the verification style you advocate, by looking directly at state transitions, is akin to solving physics problems by appealing to the laws of motion, suitably expressed as differential equations. The two main drawbacks of this approach is that it may require lengthier computations (which is less of a problem if the computations can be delegated to a computer) and that it doesn't gracefully handle computations whose state is split across several modules, none of which should inspect the state of the others (for which AFAICT there is no solution).

(3) Do we have an equivalent of Lagrangian or Hamiltonian mechanics, to be able to relate both styles?
"Is very interesting but I'm not aware of any SOC that supports it."

That's because the 11ah standardization work is still in progress... It should be finally approved as a standard by the end of 2016: http://www.ieee802.org/11/Reports/802.11_Timelines.htm
^Y will paste the cleared buffer back again
~. (and the other ~ commands) are handled locally, not by the remote sshd. I use it when my network cuts out or something and my ssh session is unrecoverably stuck
"it has definitely been a positive development for my wife and I."

Seriously? Just curious... what age range are you in?
Using '/*' doesn't need --no-preserve-root. Only 'rm -rf /' needs it.
This is a valid concern. Thanks for pointing it out. I will update the article.
I'm in the US and pay roughly 3.5% of my gross salary as my portion of the insurance premium. I opted for the cheaper HMO (Kaiser) insurance though. My employer pays the other 2/3rds of the premium. (I'm single, no kids)
Also worth pointing out that the built in tools have a Firebug theme in the settings.
Anyone have a good idea on how it compared to for example the CHIP? (https://getchip.com/pages/chip). I saw the announcement for ESP32 a few days ago but it looks like it's around $7 for one which to me seemed expensive compared to $9 for the CHIP.

From my quick scanning, power peaks seems to be lower but if somebody with better knowledge of these things can chip in that would be appreciated.

Mainly wondering if I should add these ESP32 to my collection or not (as I already have 2 CHIP:s and a few ESP8266) :-)
Is it Von Neumann architecture? Can you run code out of RAM? Because if so, you could totally run a real operating system that (I'm thinking of Fuzix, for example).
CPU backdoors
http://imgur.com/gallery/SZPjHwz

https://twitter.com/thepracticaldev/status/71639058321702912...
Ah, the C64... Once a friend had an original disk of a game that wouldn't work. Just for the heck of it we copied it and applied the protection (some copy software had it as an extra step, as I recall), and it worked.

I'm not sure if this was protection related, but once I rented a C64 game and it wouldn't work. The store wanted me to pay for it until we booted it on their system and saw it work. Years later, I read in a magazine that that particular game wouldn't work with my particular printer. :( Weird.
Well beyond just the jobs, the networking, etc...the Bay Area does have some intangible non-tech-related amenities that are hard to find elsewhere

Look at an aerial map of the Bay Area and take a gander at the hundreds of thousands of acres of incredible open spaces. These are all within a short drive of many of the residents. I can go from Palo Alto to old growth redwoods in thirty minutes on a good day! Note that this has nothing to do with tech.

Also, rich people like to be around rich people. There are probably more billionaires in a couple of blocks of Professorville (four that I know of) than there are in the entire state of Michigan. Thats why people are in Palo Alto and not Ann Arbor.
It's a Hackathon Kit – and so much more
There were fewer students, fewer colleges, and lower enrollment rates. A big reason why college costs have risen is due to the artificial demand created by subsidized loans.
Your comment shows a real issue at hand - that many people are so quick to be activists that they don't even need a real story to run with it.

Perhaps you've experienced some real issues in the past, but you're undermining your own (and the industry's) cause if you believe:

- uninviting Douglas was justified

- that the event's process in doing so was reasonable

- that scheduling speakers based on their body size or religion makes any sense while at the same time chastising another religion for being affiliated with the host university

- that publicly shaming event organizers because you don't have a "preference" (especially an unsubstantiated one) for another speaker is ok
You didn't miss anything. I went down to interview with Apple. I'd not previously spent much time in SV. An hour off the plane, one real estate guide later, and I'd decided I wasn't going to live there before I even showed up for the interview (much over-simplified scenario edited for brevity). From my POV, all I saw was pavement, strip malls, and shitty houses for way too much money (there were nice houses, too, of course...that I'd never pay that much for). And this is after I already went through the sticker shock of North Carolina->Seattle, so I'm not some rube who just doesn't know how much west coast housing costs. But Palo Alto, MV, Cupertino and the rest are on a completely different plane than the rest.

But that's my POV. Perhaps others think it's just fine, or that the job makes it all worth it. Meh, takes all kinds to make a world, but to me it was just way too much compromise on the thing that are important to me.
Wow, you could find+replace Sweden for Maine in that and it would still be pretty accurate. I live in Maine and Sweden sounds awesome!

Our housing market itself isn't crazy, but the rental market is so tight that you're better off buying. Vacancy rates are so low that finding a decent rental is hard, and it's not inexpensive.
The perfect, lightweight hackathon kit for quick projects. Your dev machine and a Heroku server running your app can be set up in less than 5 minutes. It works for people just trying to learn and needing an easy entry point for learning web development but can also be used as a production environment for big projects.
For a reference point on scaling, on a Windows 7 machine that hasn't been shutdown in a week or two, I have a long-running Firefox session with 5 windows and 80-something tabs, and I'm at 1.7 GB. Half a GB of that is being consumed by the Google Music player.
I have not worked with a website yet that didn't have a need for image-handling code, either to resize uploaded images, handle avatar generation, draw charts (although I suppose that's moving to client-side for newer apps), etc.

Frankly, the thing I liked best about the whole .net ecosystem is that it didn't go for the open source "release early, release often, release incomplete and buggy" philosophy. I'm just very disappointed to see Microsoft going in this direction.

If Microsoft isn't providing a rock-solid, feature-ful framework with impeccable backwards compatibility, who will? Nobody will.
To reset go to about:support and click on the button in the top right. A prompt will appear telling you what it’s going to do.
They were not asked to put up collateral because their education is worthless and students won't be able to repay. They were asked to put up collateral because the Department of Education didn't believe they would survive the multiple fraud investigations (securities as well as consumer fraud). I think that risk was reasonably high, so the collateral doesn't seem punitive.
Are Cities Too Complicated?
Trust can be established from face to face, and no other form of communication comes close to it. My recommendation to people who are into remote is, once they take a Gig, if possible go to the physical office location and spend some time 2 to 5 days mostly meeting their team and esp. their boss face to face. Once the trust is established face to face, it will carry on to other forms of communication and will not diminish (if performance is good).
Everyone who wanted a vive/rift has probably ordered it at this point.

And the software offering is so abysmal that developers are going to have to work a bit harder if they want new interested users.

Sony is releasing their own VR system soon, we'll see what comes out of that.

If Steam really wanted to make VR adoption shoot up through the roof, it'd be simple: release a VR exclusive Orange Box 2: Half Life 3, Left 4 Dead 3, TF3 or Portal 3, and a new IP. Boom, 10 million sold the first weekend.

Of course, the hardware is still a bit immature, expensive, and the computers required to drive it need to be beefy- so they might be saving that card up their sleeve for 18-24 months from now.
Well stated. Military or police require different mindsets that shouldn't be confused. Police shouldn't act like an occupying force.
With all due respect, you were there for what, three hours?
That is immoral such as all fraud is, but we do not compensate victims of bank fraud, medical fraud, ponzi schemes the list is infinite.
So ^U will let a partial password linger in memory longer than it needs to if you use it as suggested by the GP?
We are remarkably malleable. Being "situationally adaptive" is universally human.
Show HN: FourHourShop – Scraping Amazon Products Recommended by Tim Ferris and Co
also this

http://www.digitaltrends.com/virtual-reality/vive-oculus-sur...
My high school counselors were actually reasonably helpful, mostly when it came to college advising stuff. I went to a small private HS though, and they knew everyone by the time you were a senior.

I had the same experience in college though. Heck, I'm an MSE student now and I don't even have an advisor because the one they assigned me left and I haven't been bothered to get a new one.
If any of that is true, they not only do not care, they are calling you crazy.

Best.
Grafs – simple and beautiful SVG charts and diagrams
Knew that would be a trigger word. LOL.
Seems like these chips are unbelievably cheap too. The shop link[0] seems to say that the bare chips are $0.19 (USD)[1] even in small quantities.

[0] https://world.taobao.com/item/537912657387.htm

[1] https://www.wolframalpha.com/input/?i=%C2%A519.00
>Except mobile hardware which does not.

Source?

RAM available in mobile phones seems to grow exponentially [1]. Power efficency of processors also seems to grow exponentially [2] (does anybody have a source for ARM processors?).

[1]: https://i.imgur.com/AWkmMJc.png (note logarithmic scale)
[2]: https://www.karlrupp.net/2013/06/cpu-gpu-and-mic-hardware-ch...
Their kids go to Harker and Castilleja, which can actually claim to be some of the best schools in the nation.

And of course there is a decent college nearby, just sayin :)

(and to your point about moving to Cambridge to go to Harvard...sorry, but many of the techies -do- have ties to Stanford...and if your parents went to Stanford, you will be shortlisted when you apply...AND EVEN FURTHER, if your parents make a donation of a certain large amount, Stanford effectively pre-selects you, this has been communicated to people I know personally who have already made the donation in question...so yes, some of the residents can probably already start buying red sweaters)
Sorry, perhaps this differs from field to field but at least in mine what you say is patently false.

Journals have no linguistic editing, no proofreading, and the typesetting is outsourced to India - at least Springer does so, as I know from personal interaction with the typesetters. Articles must be delivered more or less camera-ready according to the journal style. Editorial boards and all editors, as well as as reviewers work for free.

If you have a research group that actually pays for being published, then that's called "grey literature" or even worse, just plain self-publication, and it's worth nothing. It can even have a negative impact on your CV.
That last link looks about the same to me in Chrome dev and Firefox nightly, for what it's worth.
Here are some options:

- JetBrains makes several cross-platform, language-dedicated IDEs, like IntelliJ IDEA (JVM langs), PhpStorm, PyCharm (Python), RubyMine, WebStorm (JS), CLion (C, C++)

- Eclipse is very modular and there are plugins for just about anything, including languages. You can probably find extensions that support the language of your choice.

- Some IDEs use leverage Eclipse as a base and provide their own experience, like Aptana Studio (Python, Ruby, PHP)

- Monodevelop is a solid alternative for C# and dotnet langs

- IDLE/IDLE3 is included with Python
Not always true; the iPhone went through all those stages very quick and created a new reality. The iPad did the same, in a smaller way. While one may argue these are mere improvements, they were major enough to change the entire social dimension in only a few short years.
It may be as you say. Can you present any evidence that "culture fit" is a filter to remove women and most minorities?

"It seems to me..." does not count as evidence.

Nor do demographic reports on the composition of companies that use "culture fit," since correlation does not imply causation.
The R&D needed to invent an entirely new CPU architecture isn't worth it for a game console, so they all use some off-the-shelf architecture - in this case, PPC, which is a 32-bit architecture like most other PC/workstation architectures of its vintage.

There are relatively few architectures which have address sizes that are not a power of two, mostly because this means an array of addresses requires wasteful padding for alignment. And for 32-bit architectures, even at the time it was realistic for high end workstations to have 4G of physical RAM, so there was a good reason to support this at the architectural level. Removing this for a game console after it was developed would have been more expensive than leaving it in.
thanks, I've turned it on; I'll see how it goes.
Actually the remote sshd does not need to be responsive, because "<cr>~." is interpreted by the local ssh client. Very convenient if the TCP connection is stuck.

You can also type "<cr>~?" for a list of other commands supported by the local ssh client. Among other things, "<cr>~C" opens a command line interpreter on the client side of the ssh client, allowing you to add and remove TCP port forwarding without restarting the connection.
I've been a long time Firefox user (due to multi-row tab extension -- can't live without it). I can easily have 120 tabs open when doing research. Firefox has always been relatively performant even with that huge number of tabs visible and I almost never have to close it.

However, something recently has changed. Firefox will work fine and then something will cause it use a large amount of CPU that it doesn't let go of even after closing all the tabs. I have to close the whole browser and re-open it. This can happen a few times a day.

I'm hoping it's a regression that will be fixed soon.
This is as newsworthy as every organisation ever looking into "Blockchain whatever that is" just in case. You will of course have noticed that it's buzzword of the week. I just got back to work after two weeks' holiday and find myself having to write up something on "Blockchain" for upper mgt., which will mostly be a process of translating profanity-laced screaming into a reasonable-sounding businesslike doubtful tone. "Researching the opportunities" could mean anything, but almost certainly does mean nothing.
How well it works is: exactly to the extent that the crowd-sourced data is accurate. No more and no less.

It is not reasonable to suggest "ls" for "sl". If we regard this as typo correction, we have to consider that no letter in the command is in the correct position.

For typo correction to be plausible, it has to affect only some reasonable fraction of the command. The command has to be fairly long and the edit required to correct it has to be fairly small. E.g. showmnt -> showmount.
The question is, why should tax payers subsidize liberal art programs with no job prospects? Giving student loans in exchange for getting an education that will increase their earning power makes sense. Not only will the loan be paid back, but the increased earning power will also increase the tax base. But someone graduating with $200k in student loans with a degree that will barely qualify them for a $35k per year job seems a lot more questionable.

If you take away the student loan subsidies then the cost of those liberal art programs will inevitably come down, or at least they will be restricted to just the people that can afford a house worth of tuition to study philosophy.
5 Things to Look for at FinovateFall 2016
This phenomenon is not peculiar to super-heated markets like Silicon Valley. We've had several people cold-visit us to see if they can buy our house, and I live in Hamilton, a mid-sized Southern Ontario city around 90 km west of Toronto.

Our real estate market has certainly picked up over the past several years (after decades of being severely undervalued), but median house prices are still less than half of what you pay closer to Toronto.
I still dont get why people dislike original titles :/
I think expansion of the pathways and re-architecting the landscape to take on capacity has created conditions for "mega" stampedes, so instead of few people here and there, the stampede cascades and creates bigger chaos and takes more lives.

This is what happens when expansion of capacity is done without decent safety measures in place.
thanks. For web pages, I usually clear any existing metadata within images, then insert some simple (but correct) keywords about the image. Wondering if I'm wasting my time.
I was there for a couple years, and I have spent months there since.

I will ruefully concede that reasonable people can disagree about San Francisco. But I do not understand Palo Alto.
From the quote, it rather sounds like the R&D post would have been more welcome in this case.
You still think of it as "trying" after 300 doses?
Change the wallpaper.

Oh, I thought it was going to be:

Prevent users from disabling automatic
updates, and require persistent internet
connections, and then deploy updates
every 7 days, so that users lose 10 or
maybe 20 hours a week, waiting for failed
patches to retry, and display ominous
warning messages like "DO NOT POWER DOWN
OR UNPLUG YOUR COMPUTER WHILE WE CONSTANTLY
WASTE YOUR TIME WITH BULLSHIT."

But I was pleasantly surprised by a different answer! Wow!
Unquestionably!
Lets say he had a typical 5%, no conservatively lets guess 1%. So 1% of 366 billion! Let you do the math. On the other hand if he had 10% which would not be unreasonable, he would be very rich.
Be careful. These quotes from the article are kind of worrying:

“Do you have doctors or anyone on hand who understands what’s happening on a pharmacological level if something goes wrong?” There was a tense silence, and then Little Owl replied, “We are healing on a vibrational level.”

And:

I asked how she could tell it wasn’t something requiring immediate medical intervention, and the [mediator] replied, “Intuition.”
Not only is this false, but completely ignores troves of older hardware existing in people's homes that has to run browsers just as well.

The average consumer hardware improves at nowhere near exponential rate (although I guess it depends on the timescale and your willingness to fudge the graph to sparse data points).
That's like moving to Cambridge to give your kids the opportunity of going to Harvard. They aren't going to Harvard.
You're almost there. Maybe we should be questioning why so many people are depressed in the first place.

People all around the US (and in many parts of the globe) are seeing their economic prospects slowly disappear in front of their eyes as good jobs evaporate into thin air (and no, the increases in Walmart greeter, part time, minimum wage style employment or "gig economy" freelance paychecks don't count). Political turmoil, lack of true and diverse representation in the political system, an increase in racial tension, foreign instability. All of these things are weighing heavily on the mind of the average American, regardless of actuality.

You were able to solve your depression by almost entirely changing your life's focus and goals. Like you said, you totally changed your perspective... but you were only able to do so because I assume (since this is Hacker News) you have skills that translate to good job prospects in the information economy. This gave you the freedom to completely redefine your life.

Now imagine you have the same malaise, except you already had kids, a mortgage, debt with no real economic opportunity, don't have the financial strength to quit your current job much less take a vacation of any length, are being told by the TV that your way of life is being threatened by INSERT_BOGEYMAN_HERE, that a certain presidential candidate's election will guarantee catastrophic ruin, and to top it all off you can't (or don't think you can) afford to go to a doctor and get Zoloft because your new insurance plan under the ACA heavily dis-incentivizes taking action on medical issues.

I'm just scratching the surface here, these problems are huge and intertwining. However I feel this single manifestation is good proof of how seriously our society is being strained. People's social identities are being attacked and we're getting articles about how we need to push some of the most prescribed drugs in history to more people. On its face this is insanity. We need to start questioning the fundamental power structures that are creating these situations rather than continuously trying to bandage the symptoms or we will experience continued social decline regardless of technological achievements, improvements to quality of life, and advancements in other areas.
I've noticed Google Play Music is heavy. It can easily consume half a GB or more on my machine. I think at this point the browsers are doing the best job they can but it's pretty telling that it's the web apps/sites we use that cost us memory.