skysight-inc/HackerNews huggingface dataset:
Humanity as a species is going to end no matter what we do. Or do you have a solution for the heat death of the universe?
Cisco goes 32 gigging with Fibre Channel and NVMe
Yeah, but my impression is they're so ephemeral they might not have a big market share.
I'm sorry you're experiencing difficulties. Could you let me know the operating system and version which you are using?

What do the "#\" symbols in your report mean?
Nice. I like this realtime data , plus you can see historic images well.
Might be good image dataset for doing some Machine Learning Prediction of Weather, something like take snapshot for a certain area and based on the Historical images predict the next Cyclone
So fucking relevant.
Really cool! Reminds me of another awesome Lua->JS project called starlight: http://starlight.paulcuth.me.uk
8 great testing tools for mobile app developers
Risk or Reward: First Nvidia DGX-1 Machines Hit the Cloud
I think what's interesting is they canonized the bottom navigation (https://material.io/guidelines/components/bottom-navigation....), a notable move given that many popular Android apps have historically opted to design the navigation of their app around the navigation drawer(https://material.io/guidelines/patterns/navigation-drawer.ht...), a philosophy that made the Android platform UI a bit distinct from iOS.

Personally, I find a bottom navigation of primary functionality to be far more pleasing than having to tap twice. For example, on iOS Spotify was quite arduous to navigate when they tried simplifying the aesthetic by having all the navigation within side menus. Their later re-design to move content back into the bottom navigation was met with a lot of praise amongst users.
The point is straightforward - the fact that you have defined a country on a map, doesnt mean you have defined all its cities and towns. Especially if the number of markers you have are less than the number of towns.

Also, we can talk about definable numbers as long as we choose some specific system which we assume is consistent. So we are talking about numbers which are definable by predicates using the language of ZFC or Peano Axioms.

There is no need to invoke computability, just definability is sufficient. There are lots of definable numbers which are not computable(like Chaitins constant or the real number whose digits encode information about halting of Turing Machines).

But even with this more relaxed constraint, we still dont have enough definable numbers.
The game itself is certainly not the proof that is required. The proof in question is a proof that the game cannot be won by the adversary. By no means do you need to play all possible rounds of the game to conclude this.
> If there was a cheap and simple way to condense CO2 into a solid, we could stuff that into the ground instead.

Make charcoal from wood?
Ask HN: Recommend me some Git architectural resources
Our usage of git and branching strategy is inadequate. I've never ran into this at a place of employment before so I would like a sort of overview of/document contrasting different strategies/architectures/workflows that people and projects have developed for working with git.

Emphasis on Team X had this problem and this is how they solved it.

Looking for overviews and not just one true way of doing it, recommending using git flow is probably not going to do it either.
People of my generation around me, myself included, tend or tended to boast how we are living without any TV at home compared to our parents or the time we spent watching TV when we were younger.
Now, people in my flat sharing were watching series on their own laptops most of the evenings, otherwise spending their time on internet.

In retrospective, I wonder if we will have the same "relationship" with Internet our parents have with the TV, and if our children will behave the same with Internet as we do now regarding our pride not to use a TV anymore.
I agree... but, your reputation matters. In this city (Manchester), everyone talks. You won't last long as contractor if you're rubbish.

And even if you managed to get in somewhere I imagine you'd be found out and binned pretty quickly.
Microservices seems to be the latest cargo cult technique being pushing without really considering whether the benefits outweigh the costs. Some consultants always need another thing to push that a particular company's problems for them so therefore it must be applied everywhere.
Cardio is not a faster way to lose weight for women (or men). The only way to lose weight is to eat fewer calories that you burn in your total daily energy expenditure. If one of the ways you achieve that deficit is with exercise (you can still lose weight by doing nothing and sitting on the sofa so long as you eat few enough calories) then you may as well lift weights rather than do cardio ( a nice mix of both would be better).

The main reason for this is that maximal strength is related to the number of muscle fibers pulling together, so when lifting on a calorific deficit your body will try to not burn muscle for energy as every muscle fiber is being employed to move weights, so instead will focus on fat.

If you lose weight on a cardio dominant exercise program the body will burn fat and muscle for energy as the fast twitch fibers primarily employed for lifting are not being used when running and so are as much a dead weight as the excess fat that is trying to be lost. This is why many cardio only people end up dissatisfied with their "goal weight" physiques because they lost as fat and muscle and still look quite soft - this can lead to excessive dieting and other such body image/eating issues.

Fundamentally (and barring any hormonal issues related to things such as the thyroid) losing weight is a calories in vs calories expended calculation. The type of weight you lose (muscle vs fat) is determined by the exercise that you do. Some studies have shown women who have low levels of fat and engage in a strength training protocol lose more fat than muscle compared to those who just stick to cardio.

The fact that women have low levels of testosterone compared to men is a big help as they literally can't get bulky and have very low amounts of visceral fat which is great for long-term health.

I don't think we are fundamentally disagreeing but I just want to highlight that women should lift just as much as men do.
FPM isn't just popular because of speed. Its popular because of pools and the fact that its not a giant security risk by having it installed. mod_php shares permissions across everything it executes. If you have any site on the same Apache stack as another, they're accessible to each other as far as PHP is concerned. This makes the attack surface of a website significantly larger unless you're hosting exactly one site you have locked down to one directory.

I also really doubt that php7.1 mod and apache without .htaccess is faster than nginx and php7.1-fpm under 'ondemand' mode. Even a 5$ DO server can handle hundreds of requests a second to big frameworks like Drupal or Mediawiki, and they're securely seperated. Locking down permissions on a group level to the executing php-pool, so you can then make only specific users belong to that pool and bind a directory in their home to the actual website location.
Learn How to Develop the Next Generation of Applications for the Web
Thanks for taking the time to try this.
cdnupload: A multi-licensing experiment
For someone interested in postgres.
Postgres weekly - http://postgresweekly.com/
What is more likely, Google going away or Google changing their rankings in a way that makes you drop 5 positions? That's the risk of depending on Google, imho.
500 * 200 days = 100k of income.

100k is definitely not twice what you get as a permie in London.
Eh, this is actually well known.

"The existing concentrations of a particular gas dictate the effect that additional molecules of that gas can have. For gases such as the halocarbons, where the naturally occurring concentrations are zero or very small, their forcing is close to linear in concentration for present-day concentrations. Gases such as methane and nitrous oxide are present in such quantities that significant absorption is already occurring and it is found that their forcing is approximately proportional to the square root of their concentration. (snip) For carbon dioxide, as has already been mentioned, parts of the spectrum are already so opaque that additional molecules of carbon dioxide are even less effective, the forcing is found to be logarithmic in concentration."

From page 49 of http://ipcc.ch/ipccreports/far/wg_I/ipcc_far_wg_I_chapter_02...
>I suspect the exact same for this minecraft store, unless MS actually starts whooping ass for IP theft.

Seems like they are only allowing accredited (by them) companies to use it, so they should have less problems...
Stopped using Google a while back. Used https://www.startpage.com for years. Just switched to https://www.qwant.com late last year.
> Type restrictions aren't really a problem

Did you ever seen AAA game source code?

> You must not have played any Bethesda titles.

I've played. Most bugs I've seen were logic errors, doesn't matter which language you would pick.
Mobile Test Automation with Appium
How Facebook, Airbnb, and Uber struggle to do the right thing
This is a strange argument I find myself in. What do you expect me to say? They're shipping a Rust application I wrote. That's a fact. Do with it what you will.
Accessing container contents from another container
!wen goes to english wikipedia

!wit goes to italian wikipedia

and so on
Agile coach here. You nailed it.

One way of looking at these companies is that they're organisms adapted to their environment. If there are weak selection pressures around agility and software delivery in their market "environment" then you can expect that they're well adapted to other pressures (i.e. credit risk, or buying labor at one price and selling it at another).

Often times these businesses might see reasons for agility, opportunities they could take advantage of, still they really aren't feeling selection pressures so there's no real need to change. How they deliver software with really bad agile is "good enough". Well it will be until it isn't and then it might be too late.

So you have all the structures and processes that make one organism good at being a bottom feeder and it's like pushing water up a hill to make them change when they REALLY DONT HAVE TOO.

Every once in a while I have a client where this stuff actually matters to them and we have a lot of fun and make amazing stuff.
Apple on hiring spree for London-based GPU development team
No. The entire Swedish thing is just trumped-up bullshit so that the US can extradite him on a currently sealed indictment, where he will then be tortured in prison as Manning was and is.

That's not due process.
Ask HN: Wasted Server Space?
If you are paying for hosting or have your own server(s) up 24/7 and are not using all of its capacity would you consider renting it for computational purposes?
After reading an article[1] from the National Academy of Sciences, I decided, with the blessing of my doctor, to try the intermittent fasting stuff.

Over the years my bloodwork has continually gotten worse, regardless of body weight (+/- 50 lbs) or exercise level (varied from a couple hours a week to jui jitsu training). I am facing diabetes and cholesterol issues, and looking at the trend it looked like my next appointment was going to have me on medication for both.

So I tried the intermittent diet. I gained 15 lbs and had the worst blood work to day.

Then, I tried (1) adding a few beans to my diet regularly, and (2) eating vegetarian (pescatarian I think- milk eggs fish are allowed) two days a week (and regular carnivore stuff the rest of the week). I also started eating a lot of curries and strong spices (I sailed Thailand) if that matters. I had always eaten that food, but now I'm eating it more because my kids are older and will eat it too plus I have my pescatarian days to myself (I cook different food for the rest of the fam) so I use those seasonings then.

Best blood work in decades.

So we are probably very individual machines- or at least it's not a "one rule for everybody to obey" situation- when it comes to nutrition.

[1]http://www.pnas.org/content/111/47/16647.full?sid=0f3f0b04-4...
Not really. There's something called the "Forest Carbon Cycle". Forests do not statically capture carbon long term. They are constantly taking carbon in but also releasing it through the death of trees and through the soil. Trees can temporarily capture carbon, but ultimately it will be released again unless they are burned.

They also take up a lot of space.

[EDIT] I should probably clarify that I have nothing against trees, and they definitely can help with sequestration, and they have lots nice properties. I was mainly reacting against "the ultimate carbon-capture devices", which they really are not.
Any thoughts on the idea of a knowledge dependent content wall (or a CAPTCHA based on a certain domain knowledge)? I feel that a crowdsourced database of questions for various domains could serve some interesting purposes. One idea comes to mind is for instance to limit comment right to people that understand the subject or such. Curious to see if the HN community has any idea's or thoughts on the matter.
It matters if you're trying to preserve some decent chunks of time for focussed work.

And if matters if the standup is scheduled for 9am and you can't drop the kids of and be sure of getting in before 9.10

If everyone goes for lunch at the same time, holding it 10 minutes before lunchtime could be a smart move. But only if you've already got that "everyone eats together" culture.
The videogame industry is in bad need of a more developed studio system like what's used in the movie industry. It exists to a point, but it's usually a large developer establishing short-term studios to capture geographically located talent (or converting acquisitions into short-term studios to squeeze the last bit of talent out of a geographic area).

Too many videogame industry jobs are 1-off, lasting only so long as their part in the production of a single game exists. In essence, they work for the game. This is also true of the movie industry in many cases, but more often than not, work is farmed out to a variety of small production companies who each bring a few bits to the table. In a movie, the lighting guy works a steady-ish job for a lighting company, the cameras are rented from an equipment company, many of the actors will work for a couple agencies and so on.

The production company hires out and assembles these pieces, which are often union supported, and makes a movie. It's not too many people who work for the movie.

Once the movie shuts down production, the lighting guy goes back and asks his company where his next gig is, the actors have their agency working for them, the cameras go back into rentable inventory and so on.

This spreads risk out and keeps the industry from going through huge hiring/firing cycles.

The video game industry hasn't really matured to this point. You get a job working for EA Games East or wherever, get assigned to work on "Dog Touch Magic 2 - iOS" do your work, and if you're lucky will get asked to work on "Dog Touch Magic 3" or whatever. If you don't work for a studio directly, you're probably freelancing. But there's very little middle ground like in the film industry.

There's no real equivalent of say "I need 3d modelers for this game, let's get 2 or 3 contractors from Modelhaus Inc." bring them on for 4 months to make some models and then return them to their company to be hired out again. Instead EA Games East will have staff modelers or some freelancers, and their jobs may last beyond the game or task they're assigned to.

It kind of blows my mind that there aren't even unions yet in the gaming industry, they've been talked about for decades, but the industry hasn't done it yet.
If you're suggesting your certificate quest is more about learning than the certificate, then I would suggest you keep books in mind too. The reason being, certificate courses are normally aimed at teaching you enough info to pass a specific exam. Whilst books will typically be broader.

And for what it's worth, in my experience, certificates (in the context of recruitment) are more often used as a gatekeeper.. aside from a few exceptions, such as some of the Cisco certs.
I was on ADHD meds from the age of 10 to 18. They helped but they had really nasty side effects (used to take 2-5 hours of lying in bed to get to sleep, everything seems super dull and its very hard to break the intense concentration which for the most part is focused on unproductive things like organising old photos instead of cleaning your room.) For a phase of my life after I stopped taking meds, I got quite depressed that I couldn't concentrate as well at uni and my first year at work and that I couldn't listen to my girlfriend at the time very well. The analogies that everyone uses here completely resonate with me, in my head was always something like "1800-GHOST-DANCE by Hella" (mathrock song.)

Now I've worked for a bit and have accepted that I'm not wired in a way that will let me be an excellent student (in the traditional sense) without hating myself I have a lot more appreciation for my strengths and weaknesses. The biggest benefits to me post meds have been getting enough sleep, exercising and meditation (even just writing stuff in my mind down) - I'd get all that in shape before I'd go to a doctor if I was you.
ES6: var, let and const – The battle between function scope and block scope
There was never an excuse to not document PHP functionality. Infact, its quite easy to document now, just the same as any other language. Devs simply argue that the 'system is still changing', and so nothing is documented.
I haven't seen a single ad on my Windows 10 Surface Pro 4 since getting it nearly a year ago.

And, no, Apple doesn't have devs by the balls. Windows 10 has Ubuntu now. Linux environment out of the box.
I think you'd be surprised about the pay. Landscaping and renovating can pay very well. The trick is that you need to keep the work coming in. I have lots of friends in the construction industry and they are basically all nerds at heart. They are motivated by the technology and building/fixing things, not dissimilar to a programmer. But with any job you have to move up to management. If you can't exploit technology to do the job then the physical demands can bear down on you.
"In my opinion that type of comment is worse than backseat driving"

By that logic, I'd have to lease a mainframe for millions of dollars before critiquing aspects of their offering. Likewise, I'd have to pay Oracle $70,000 per processor. If flawed FOSS, I'd have to go through the pain of setting up and using it instead of submitting the flaw. Your analogy would apply better if you said "person in back seat shouting about an obstacle they're about to hit to driver that fell asleep."

Realistically, though, better to critique than use flawed products unless it gets the job done enough to be worth using anyway. No need to become a stakeholder.
I forced my phone to use 2G (GPRS/EDGE) which means it still functions as an internet connected communications device, but I'm far less likely to go browsing Twitter on it because of the slowness. I save money too.
There's a clear difference between fine and physically fine. The man is rather clearly in a rather severe mental state when he got on the plane the second time.

For comparison: a close friend suffers from tonic-clonic seizures. That's the kind you see in movies when they try to be dramating, violent shaking, foaming at the mouth. the whole nine yards. After waking up from a seizure like that he often acts rather single-mindedly towards a goal, turning violent if anything or anyone is in his way. A while back he had a seizure in public, it took 6 police officers to get him wrangled into the ambulance. This sort of significant personality change doesn't happen from a slight bump to the head. I wouldn't be surprised if the guy has a rather severe concussion.

So no. I don't think the adult man frantically mumbling "I gotta get home, I gotta get home, I gotta get home" with a bloodied face is fine by any stretch of the imagination. In fact I reckon the only reason he managed to get back on the plane is because of, to put it bluntly, retard strength caused by a serious knock to the brain.
This suffers from the same issue as https://daurnimator.github.io/lua.vm.js/lua.vm.js.html and others: there is 2 GC working side by side and it's bound to lead to never freed objects.
Paletton is really good. It also allows you to simulate Color Blindness of various types so you can plan for those users in your color selection as well.
> establish a culture of continuous improvement

This is the thing in agile/technical coaching. Too many people focus on the process and dogma when what's really missing is an organizational habit around continuous improvement.
No problemo. And yeah, that's how I read it, bearing in mind the usual caveats like: all costs (mining to site remediation) being accounted for, technological and price changes over the past 3 years etc. etc. I think 'cost avoided' is a good measure; LCOE is so sensitive to assumptions and accounting trickery that it's basically meaningless (see: Lazard).

Brookings seem to have made a fair effort (best I've seen thus far). It makes sense that combined-cycle gas turbines would pip nuclear power (in most scenarios examined) as they produce highly dispatchable electricity (i.e. their output levels can be changed very rapidly in response to fluctuations in demand for electricity). You can forecast and 'plan ahead' with nuclear, but the ramping times are currently too slow. So you either overbuild, rely on a limited amount of grid-level storage or throw a more responsive form of generation into the mix (i.e. gas turbines).

Most of the cost of nuclear is in building the plant, after which the variable cost of generation is tiny (i.e. you just run it full-bore all the time, since oversupplying doesn't carry a high cost). Coal probably has a similar cost profile (maybe with slightly higher relative variable costs), although on a smaller scale and in a relatively under-regulated market: the WHO estimates pollution from coal-fired generation, not taking into account climate-change, kills ~1m people per year, whereas nuclear containment buildings must be built to withstand a plane crashing directly into it.

But the really big take-away for me is that, if we want to mitigate climate change efficiently (which I'm starting to think is the same as saying 'if we want to mitigate it at all'), we really badly need to place a price on carbon emissions (and their equivalents). It sucks that both extreme sides of the debate don't seem to want this: vested interests will obviously oppose it, and 'extreme greens' seem to think it's some sort of immoral conspiracy designed to allow financial markets to make money off climate change (if we're talking 'cap and trade').

Those who don't like market-based mechanisms such as 'cap and trade' should consider the other side of the coin: it creates the opportunity for direct action on your part. You could buy emissions permits on the open market and then sit on them, permanently lowering the emissions cap. You can finally 'put your money where your mouth is'.
Yes, we know. [1][2]

--

[1]: https://media.ccc.de/v/31c3_-_6450_-_de_-_saal_1_-_201412272... (German)

[2]: https://media.ccc.de/v/dg49-biometrie (German)
Good read! If you get a chance, visit India/South Asia to try out various vegetarian dishes (preferably from different regions). You will be surprised by how much variety is available for vegetarians.

The ones branded as Indian cuisine outside India tend to be mostly a collection of popular dishes rather than sampling of everything. So you will end up feeling that most of them taste similar.
>that even I noticed

It's even more mind-blowing that you think Musk is infallible, and that he's poring over the schematics of every in development.
GBPUSD: Hesitates but Retains Short Term Downside Pressure