skysight-inc/HackerNews huggingface dataset:
From a financial perspective it is not that costly to build a 300 meter guyed tower. FM radio stations in the Midwest and TV stations do it all the time. I've heard figures of around $2 million total for an 1800' in ND. Yes you could build a tower and rent space on it. Whether this makes sense for a local government to do is another question.
After Gentzen introduced the idea of a the sequent calculus and the idea of a Turing Machine was shown to be a complete answer to the idea of what a "computable function" is, I think the answer to the question "what is a proof" is really something along the lines of: a proof is a kind of computable function. Trying to spell out what kind of computable functions they are is a big part of one of the main outstanding problems of mathematics known as the P v NP problem. In other words, you recognize these drawings as "proofs" when you are trained to see them but nobody really knows how to define a general procedure that will output all of the correct drawings correctly (using whatever symbolism or notation you prefer). Hence the digression on proof assistants. I mean: you encounter the overall idea of producing logical drawings that demonstrate mathematical truths in elementary school geometry and then try to make those concepts more precise (as David Hilbert did) all the way through to research level mathematical logic and even then, after learning concepts that take years to master, you will still never quite know how to answer the question posed in the title of the blog post.
> A canonical example is that you add a required field ...

Yeah. Don't do that without versioning your protocol. It's even less difficult to handle than maintaining API/ABI compatibility in a library.

> So practically speaking, you can never add required fields to any message where you can't guarantee binary version syncing amongst all instances of the message-dependent services.

Sure you can. If you version things at the protocol or per-request level, you can negotiate protocol conformance just fine.

Having a message type defined as "Message_V1" OR "Message_V2" is still simpler than having "any or none of the fields from any iteration of the message definition, where consistency is solely defined in terms of the field/message validation code you write in every protocol consumer".

> And if you're not running an RPC-based service architecture, then why are you using protos anyway?

It's a very serviceable compact serialization mechanism for at-rest data.
I'm not 100% on board with anti-matter.

In the 19th century, people observed collisions, and presumed them to be perfect annihilations, and clearly, that one particle is certainly, assuredly the perfect anithesis of its purported "adversary."

Okay, you guys. Sure thing. Fucking dilithium crystals.

Enjoy your bubble chambers.

Christ. Come on.
at least now http://status.aws.amazon.com/ reports increased error rates (as in 100%?)
I'll let you know, We should collaborate and make the mirror be interactive like Jarvis! :D. Message me at interactivetech1@gmail.com
Light in fiber moves at about 0.66c due to bouncing off the walls of the fiber trillions of times in a short distance.
I agree we should publish the figure. But IMO this info is quite intuitive even without one. The market is small.
It is a really good question whether it is the morally correct thing for ANYONE to aid and abed HFT firms.
I see your point, but I'm not sure if it matters. Stack might be built on top of cabal, but I never use cabal directly at all anymore, and stack cleanly addresses a lot of problems that you'll run into if you exclusively use cabal-install for package management. Stack actively installs packages and dependencies on your system.
Sorry what the hell have 'Indian talents' got to do with the EU? Futhermore, to me your claim that "The cause of the war, if any, is not the Brexit as you pretend, but the divide between the People's opinions and their elites certainly causes a war." is beside the point. The EU reduces the chances of wars between European countries because it makes them much more interdependent economically, meaning both 'elites' and the general population have much more to lose from war.
IIRC, and I could be wrong, CPAN was the first to go down the route that many modern toolchains now provide. We've looked at it.

In fact, the original creator of Glide (Go package manager) wrote about Perl and CPAN when talking about Go at http://technosophos.com/2015/09/02/dont-let-go-be-condemned-....
Boys just love to blow shit up. Pretty insane if you ask me.
No setup is required. After signup, just click on "add a log file" and select a log file. The log lines will be parsed inside the browser itself (javascript) and the query profile info (query time etc) is used for creating the reports.

Thanks! I will see if anything else need to be added to the FAQ, and definitely add more screenshots.
> You always had to check the individual fields for the zero value.

No, you didn't. A required field has a value, period. If it defaults to a particular value, then that's the value it has.

If you had a non-required field, then you marked it 'optional', and checked for the field's existence (or mapped optional fields to a Maybe/Option monad representation, forcing the issue).
From your description, it seems like I've been meditating in the shower for most of my life.
Yeah. I bought Paw and love it. It's easily paid for its self in time saved.
While I can't say that I am a big fan of the Haskell community, I fully understand why they see how extending Javascript is never going to work out: You can't just bolt Hindley-Milner to a language with prototypical inheritance, so the functional part of Javascript just doesn't help at all. This is why instead, for the web, they have Purescript, which compiles down to Javascript, but it doesn't look like Javascript.

Not quite coming from the Haskell community, but heavily inspired by parts of Haskell is Elm, which you might have heard about. It has the best compiler errors ever, it takes immutability seriously, and is far nicer IMO than either Purescript or Javascript for web development.

It's really an issue of types. Languages like Java, Python and Javascript don't have quite the same approach to types, but their worldviews there are not that different. Anything coming from the ML family just isn't going to translate, and that is going to happen regardless of how insular the communities might be. Existing Javascript features actively make most of the things a Haskell programmer would want just not work at all. This is why you hear them talk about how Javascript sucks: Everything they'd want involves taking things out first, and that is never going to happen.

So don't blame in on the community here, bad as some elements might be: The differences just cannot be negotiated away. You might as well ask people to open their mind and breathe carbon dioxide and sulfur so they can go visit you in Venus: It's a barrier that is too hard to be worth crossing in either direction. Trying to add Javascript or Python features to Haskell would get you in a similar boat.
Still easy, just expensive.

My understanding is that the brine you get from desalination is only slightly more salty than sea water. It might take 20 gals of sea water to prosuce one gallon of desalinated water.
It takes a bit of work to store versions and manage them as a central repo. Composer will fetch the sources, as a tarball from GitHub if possible, and cache them locally. They are skipping being the central store and deferring to root sources.

They removed a lot of complexity by doing that and I bet more than a few people didn't notice.
I am the same, these days everytime I try to load up a game I keep thinking I could have spent this time learning something new or building a game myself.
> Convert all existing debt

Would that include the debt from northern European banks already offloaded onto them? Because that seems like an equally terrible deal.

"We're going to bail you out with a loan, the balance goes to your creditors, you're responsible for repayment, and everyone is pissed at you because we told them we were giving you cash."
Can you point to where Cargo supports vendoring? Curious to read some docs.
That gives you the <sarcasm>very pleasant</sarcasm> choice of working in a category without sums or tensor products distributing over sums! No thanks.

In practice, Haskellers don't think this way about their programs. Haskell's library ecosystem attests to the fact they think of Hask as some moral analogue of the category of sets, which has both sums and tensor products. And the worst sin a semantics can commit is to not reflect how programmers actually think about their code.
I was wondering if it was corruption. It's not like we don't know how to deal with sewage. It's just a matter of actually doing it.
And now the outage is over, at least for me
I could be learning new things or hobbies? Like mastering SMW2, for example? :) Oh sorry, that's not meaningful enough for you, as opposed to investing in businesses (making money for its own sake, I can see just nothing wrong with that), going interesting places (sightseeing, such a productive activity), forming lasting bonds with people (lasting 80 years, tops).

And what makes you think that playing games and doing any of those things are mutually exclusive, I might ask? Is reading and writing mutually exclusive? Stop reading, I say! Is the most meaningful moment of your life reading something someone greater than you has written on a piece of paper or a computer disk for profit? (btw nowhere did I say my most meaningful moment was beating a video game, that would be my master's in physics, so far, but that's beside the point) I mean, to paraphrase, certainly do it if you want and enjoy it. Some things do have objectively more impact than others, though, with your book probably not existing unless someone stopped reading theirs for a while to create them with expectation of such impact. That you even like it sort of endorses getting out to create or improve something similar as more meaningful. Rereading this makes me realize how misguided this point is. I assume that it's all or nothing for you, indulge in a hobby and you are a leech on society, incapable of creation and mooching off the work of greater men. Lol.
Something doesn't add up. University education costs have been increasing over at least the last one or two decades. But universities keep reducing costs by hiring adjunct, sessional, or contract faculty who are presumably less well paid than full-time professors. So where is the universities' money going to? Are they losing it by mismanaging their endowment funds? Are they spending more in other areas?
Schneier: The Security of Our Election Systems
@Darmani Can you think of any ways traditional program synthesis techniques could be combined with machine learning to perform #2? Assume your system has access to a large amount of practice problems/solutions to train with.
List of whales in videogames (2016)
Well, individuals do exactly that for Internet and TV.

But I am talking about individuals joining a co-op that handles it. One that has buying power of many individuals. The co-op would own the last mile, so it not a duplication of the entire network.

With no duplication of the main distribution lines, we are more vulnerable to total outages. It would be better to have some duplication and competition. At least then I can switch. At least then there is an incentive for a utility to be resilient.

As it stands now, PG&E can blows up a neighborhood due to its poor maintenance of gas lines and get a rate increase! And the neighborhood cannot switch away from the utility that killed many of its people.

I live in a condo and we have an HOA that buys many services for all of us. It saves the individual a lot of time and money.

For utilities in California, we have a government body that regulates prices, but its become clear that it is somewhat in bed with the industry, which often happens.

I'd rather have choice than a monopoly regulated by people who are not aligned with the interests of customers.
> - First class concurrency: Actors, async/await, atomicity, memory model, and related topics. This area is highly desired by everyone, as it will open the door for all sorts of new things on the client, server and more. We plan to start formal discussions about this in Phase 2, but it is unfortunately crystal clear that a new concurrency model won’t be done in time for the Swift 4 release. This is simply because it will take more than a 12 months to design and build, and we want to make sure to take time to do it right. It also makes sense for the memory ownership model to be better understood before taking this on.

It's great to hear planning and discussion on this is beginning, and that they're being honest upfront about the timeline to see it implemented.
Reminds me of the feeling I got when a coworker professed that his favorite PHP feature was variable variables.

Two WTFs for the price of one!
What can we learn from the statistics of the EURO 2016
Exactly. My interactions with support have all been fantastic and the app is, for me, by far the most featureful and robust tool in this space. And they're continually adding additional features.
You are correct. The new plant in San Diego dumps out a ~20% brine IIRC that is supposed to be not as bad as the 50% brine that creates dead spots in the ocean. Not sure about the Israeli brine, but they did help develop the San Diego facility.
I buy refurb/secondhand high quality items. None of them have failed me. When you don't buy retail you can often negotiate, especially when you're not dealing with commercial/institutional sellers. Frugal living without compromising quality is art and science. I love it!
Honest question: what apps that you purchase don't ask for your name or email?
Sure. The unobservable universe might be filled with antimatter and marshmallows. It's pretty unlikely though since everything indicates that the universe is generally pretty homogeneous.
For public (state-funded) universities, they receive a large percentage of their operating budget not from tuition or endowments, but directly from the state. In many cases, over the past 10+ years, this direct support has been slashed. So, for these institutions, even as tuition has been increasing, their total budget was likely dropping. Tuition hasn't been able to keep up with the loss of state funding, so the universities try to make the numbers work in a variety of ways... one of which is to limit the number of professors.
1) Fixing my worsening health symptoms which started almost 3 years ago. It had gotten to a point where I could no longer think or be productive for the past 6 months. After spending every waking moment researching every ailment that matched my symptoms, I eventually discovered I had Hashimoto's and had been hypothyroid for a really long time. This was after making the rounds with several specialists who had no idea what was wrong with me. My recommendation is to take charge of your health and be the best expert of your body. Being healthy is extremely important not just for the obvious reasons, but because everything stems from it. Don't take your health for granted, ever.

2) Learning German which taught me important memorization techniques to carry over to other areas of my life.

3) Stretching & flexibility exercises. I've been a heavy weightlifter ever since college but only began to realize recently that lifting weights can have detrimental effects on your body if that's the only thing you do. You'll become less flexible and more rigid which makes you more prone to injury. Especially with our profession where we're propped on a chair for most of the day, it's important to make sure our bodies can achieve a full range of motion to prevent any skeletal or joint issues down the road.

4) Cooking and eating a ketogenic diet. I'm much more satiated and rarely go hungry throughout the day. Cooking was extremely daunting at first but not so much when you really start doing it. It's an essential skill to have, ensures you're eating whole foods and putting nothing processed in your body, and gets you invites to more potlucks.

5) Writing everything down. My Evernote has exploded within the last year. I keep everything there and it's saved my ass countless times. You'll thank yourself later when you get into the habit of writing everything down.

That's all I can think of right now. What's exciting to me after having wrote this is that all these things were realized only within the last year or so. It's fascinating how much we can improve in such a short amount of time as long as we are consistent with always trying to grow and learn.
Indeed. Sorry!
They use it to pay administrators. My university has one admin for every two students and they make $150k on average...
I've written working servers and deployed them using Haskell but am having trouble getting to the phone screen stage. I decided to offer a really low rate for a remote contract and at least got someone to agree to a phone call. It's definitely an employer's market, but just apply, and network; I believe my connections in the Haskell community will eventually lead to a job. I've gone to LambdaConf and will be at MonadLibre and StrangeLoop. So far I've meet Chris Allen and will meet Ed Kmett among others. They are very approachable! Haskell isn't the end goal for me, but if I'm going to be working on someone else's vision, I really want it to be in Haskell. The amount and relative ease of getting Scala jobs is depressing, but keep fighting the good fight.
Nor are their bonuses completely held back. Like what do these people have to do to simply lose their bonus?
“Being an Empath”
Solar is now significantly more economical than it once was and in the long term would be rather appropriate for these regions.
Seems like solar power would be a perfect fit.
I was a happy Postman user for a long time. I tried Paw on a lark (the importance of free trials) and loved it. Totally worth the money to me, and I've only scratched the surface with it. I especially like the plugins ecosystem.
From the article, "chemical-free method." [1] I'm sure the salt concentration isn't great, but it's a lot easier to spread salt around than remove heavy metals and cleaning chemicals.

[1] https://www.researchgate.net/profile/Ilana_Berman-Frank/publ...
Now that I have had more time to mess with my Pis, you have a point. It's a solid 3 watts under load, when overclocking a bit more. I recommend a 20x20x15mm heatsink, and probably open air (I removed the top half of the case) too.

The little heat sinks the cases bundle are better than nothing, for sure, but get uncomfortable to touch under extended load. A bit more here

https://discourse.codinghorror.com/t/the-raspberry-pi-has-re...
I don't buy a lot of software, but when I do buy it from a small-time developer, I'm pretty psyched to support their efforts. Application development, especially by good designers, seems to be dying. We need to reward good design.

So I wish the Paw guys well and have already downloaded the trial. Unless it sucks, I'll buy it.

And people: Do NOT buy music-centric phones with no headphone jack.
jinx! you owe me a glass of water.
Photovoltaics, in the long run.
For some perspective: LA county uses about ~50 Million cubic meters of water per year. The largest Israeli desalinization plant is ~225 Million cubic meters per year. The entire state of California uses ~50 Billion cubic meters of water per year. Very rough numbers
would be careful to say "near-parity", google is still ahead of everyone in level 4 autonomous cars at the moment, not only that the gap may be larger then the other car companies lead you to believe.
The article states --

"Desalination used to be an expensive energy hog, but the kind of advanced technologies being employed at Sorek have been a game changer. Water produced by desalination costs just a third of what it did in the 1990s. Sorek can produce a thousand liters of drinking water for 58 cents. Israeli households pay about US$30 a month for their water — similar to households in most U.S. cities, and far less than Las Vegas (US$47) or Los Angeles (US$58)."

But I saw nothing about where the energy comes from, the type of source, the scale. I'd like to compare this with local proposals, etc.

One of the biggest DeSal issues is cost of conversion and source, proximity of source, etc. play a huge factor.
My strategy is to use OpenDNS to block sites, and uBlock Origin to block all 3rd-party access. Then I whitelist stuff. Whitelisting is more work than blacklisting but I'd claim it is more comprehensive. On my phone I just disable javascript.
There's a lot of things one can give that don't require buckets of cash, perhaps they meant something along the lines of:

* time (contribute to a project, help a neighbor paint their living room, teach a friend to weave baskets or something)

* kindness (listen to a friend's troubles over a beer, or assume the best in someone else's efforts, as opposed to criticizing)

I agree that when I practice those things I am happier for it, anyway.
The short answer is the Python implementation wasn't exactly great.
I'm surprised, too, but I don't think nuking it is the right answer. That's just what these folks want.
Yeah, I think it was. The only thing older was probably CTAN, but it didn't have the same structure.

Other things from the Perl ecosystem that should be copied are:

- CPAN Testers which automatically tests every package on multiple systems from Windows to Solaris. This helps identify portability, backcompat, and regression issues.

- CPAN mirrors which ensure that there isn't a single point of failure. This might not be as important now with fast networks and high uptimes, but it also ensures that everyone can replicate all of the code at anytime. I believe R's CRAN does this.
Cool stuff, you're work sounds really cool.
$5 Linux IoT Module Launches on Kickstarter
But his point, modern warfare saving us from the unfathomable horrors of the World Wars, is well worth even the true cost of the fallout from the nuclear testing.
Regarding secrets in builds, I think a long term goal would be to grow the number of ways of building Docker images (beyond just Docker build), and to make image builds more composable and more flexible.

One example is the work we've experimented with in OpenShift to implement Dockerfile build outside of the Docker daemon with https://github.com/openshift/imagebuilder. That uses a single container and Docker API invocations to execute an entire Dockerfile in a container, and also implements a secret-mount function. Eventually, we'd like to support runC execution directly, or other systems like rkt or chroot.

I think many solutions like this are percolating out there, but it has taken time for people to have a direct enough need to invest.
I think it's quite a mistake to dismiss public infrastructure that efficiently provides a vital resource in needed quantities as somehow triumphing over economics. Economic theory seems to be supported here, in that infrastructure now exists to meet record demand, at a higher marginal price than earlier supplies. Did you mean to say that it's simply expensive?
Different specialties have different authorship cultures; it is trivial to demonstrate that science goes on (in physics, no less!) when papers are headed by many, many authors.

http://www.improbable.com/airchives/classical/articles/peanu...