skysight-inc/HackerNews huggingface dataset:
That is an overly simplistic view of land ownership. In reality, nobody is an island. Much of the value of your land is provided by the presence of nearby people.

The landlords in the city center get a lot of benefit from their investment in the area, but in a functional environment they are limited by competition and regulation, i.e., neighbors building more densely and taxes that rise with land values. In effect, you should pay rent to the city for the benefit that it provides to you. Silicon Valley suffers from the limited mobility and perverse incentives from a bad 1978 tax law. http://www.slate.com/blogs/moneybox/2016/09/22/california_s_...

Even outside California, American sprawl does not pay adequate rents. It was subsidized by tax benefits and federal matching funds for building to federal standards. In the long run, the suburbs need to either contract, going back to septic tanks and expensive bespoke utilities, or expand into full-fledged cities.

https://www.strongtowns.org/the-growth-ponzi-scheme/

https://www.strongtowns.org/journal/2016/6/22/greatest-hits-...

https://www.strongtowns.org/journal/2017/1/9/the-real-reason...

https://www.strongtowns.org/journal/2017/1/16/reinventing-th...
What about spreading your K8s load across multiple instance types (given it is unlikely google runs out of all types at the same time). That plus historical modeling was the trick of a startup that Amazon acquired that promised to dramatically reduce compute cost, by using mostly spot instances.

Would those types of mitigations work similarly with Google's premetable VM's?
One notable difference between Elm and Clojurescript in general is that Elm has very limited interaction with the whole front end ecosystem, where as in Clojurescript you can do anything that the JavaScript guys could do. Elm's ports don't really do much in that area. Clojurescript respects developers to access all the power that browsers can offer you, if you want it.

Another big difference is that Clojurescript can be passed through advanced optimizations, but Elm does not support those. But in Clojurescript, most projects are already setup for optimization out of the box. This is the same optimization that Google uses for all of its services such as Gmail, Google.com, etc. And it is industry-leading.

The final notable difference is that most work in Clojurescript uses figwheel, which greatly accelerates front end development with it's automatic reloading of what you work on as you save it, as well as other information it provides. Elm has attempted something similar, but it's quite limited and doesn't support a lot of the complex stuff you might want to do in Elm, and Elm's documentation says only to use it for basic tasks.

There is also the re-frisk tool for re-frame which gives you super easy visual inspection of your entire application state in a graphical tree, quite useful.

All that said, Elm as a language is very attractive. But as an advanced development platform, it doesn't go nearly far enough. Perhaps one day it will.
Aw. Finally. I wonder if some of the Multics fans I once knew are still alive to see this.
> Until Linux gets more support, SteamOS will not be viable enough for people to buy.

I don't see why this argument is reasonable. Windows is currently costing you about $100. Linux is currently costing you exactly $0. Linux has come so far, I doubt there is any area where it doesn't make you at least 80% satisfied. So the choice would save you about $80 of value, two triple A games in a Steam sale.

And I don't know what your choice of games are, but while there may be really 90% of steam product listings without Windows support most people also wouldn't buy/play about 90% of the products. If you look at the interesting games the feeling is more like 80% of what we need is there as well. And the rest will certainly follow once the user demand for Linux is there.

So, please continue to think what the real reason for not switching is. The providers would certainly follow. Most already have a Linux deployment pipeline ready and just wait for users to ask for it.
Got to admit - not used Win10 much, is it’s PDF support good out of the box system wide now?
On a side note, I recall a story told by Chris Pine being surprised by all of the bodyguards surrounding an extra on the set of Star Trek. That extra was Jeff Bezos who had a small part in the movie. Chris Pine had apparently never heard of him.
How a Lady Makes Money Trading Bitcoins
The Intel Inside campaign wasn't just a consumer branding strategy. First and foremost it was a predatory marketing campaign that turned into exclusionary behavior. PC firms that used Intel chips and put Intel Inside on their PC's were given funds to use in advertising and were reimbursed for "marketing expenses". In reality these marketing funds were actually a subsidy/discount (some would say kickback) on Intel chips. As Intel's power grew they would only give the PC manufacturers rebates if they would buy 95% of their Microprocessors from Intel. If they used AMD or other microprocessors - all the Intel rebates would disappear. By the end of the 1990s, Intel had spent more than $7 billion on the Intel Inside campaign and had 2,700 PC firms locked up. By 2001 these rebates were running $1.5 billion a year.

Intel was sued in Japan (for offering money to NEC, Fujitsu, Toshiba, Sony, and Hitachi,) in the EU (for paying German retailers to sell Intel PC's only) and in the U.S. for predatory (pricing), exclusionary behavior, and the abuse of a dominant position (HP, Dell, Sony, Toshiba, Gateway and Hitachi.) The legal record is pretty clear that Intel used payments, marketing loyalty rebates and threats to persuade computer manufacturers, including Dell and Hewlett-Packard (HP), to limit their use of AMD processors. U.S. antitrust authorities have focused on whether the loyalty rebates used by Intel were a predatory device in violation of the Sherman Act. The European Commission (EC) brought similar charges and imposed a 1.06 billion Euros fine on Intel for abuse of a dominant position.

The sum of these efforts not only killed competitors but it killed innovation in microprocessor design outside of Intel for decades.

Ironically Intel's lack of innovation in the 21st century is a direct result of its 20th century policy of being a monopolist.
Is that still the case? Last I checked the graphics support was there. Exactly in this time frame since SteamOS announcement they pushed NVidia and friends to provide better Linux support as well.
Link is in the first line of the readme.
It’s had the ability to but even in recent Ubuntu versions you have to install a pdf printer.

The level of integration is not even close to the same & it’s disingenuous to pretend it is currently, let alone from 2000.
Math guy neglected to mention the ponzi scheme aspect of these cryptocoins, where the early adopters amass large quantities of coins for no reason other then running the software for a short duration and significantly lower cost of processing cycles, all by design.

Rubes trading excessive amounts of fiat cash for digital tokens are baffling, and a testament to how deranged economics can get simply by assuming an asset is rare or desirable.
> how do you handle and account for preemption?

I do most of my experiments with Jupyter Notebooks and Keras on top of TensorFlow. Keras has a ModelCheckpoint callback (https://keras.io/callbacks/#modelcheckpoint) which saves a model to disk after each epoch and is super easy to implement (1 LOC), and a good idea even if I wasn't training on a preemptable instance. In the event of an unexpected preemption, I can just retransform the data (easy with a Jupyter-organized workflow), load the last-saved model (1 LOC) and resume training.

The drawback there is if the epochs are long, which could risk in losing more-than-wanted progress due to a preemption.
Wow, to go off topic; I've been using Versaweb for the past 3-4 years, but became very unhappy after they forced a "server management" fee down our throats.

We've been looking at setting up a small cluster of servers at work (budget of about $500), and I was still going to go with Versaweb. After seeing Hetzner, I'm going to reassess, and likely move everything there.

I'm paying €150 for what it seems I could pay €100 for. There was something that made me decide against Hetzner a few years ago, but I'll research and see if their TOS are now different.

Thanks again!

EDIT: My numbers are wrong, I'm going to pay less for 4x the RAM (256GB)
The US does not use the imperial system, it uses US Customary.
Save page as? Note, I'm not refering to print to pdf here.
JWT does that.
My dad is in construction and I thought I'd chime in with another practical reason.

Once you're building at larger scales, the cost of materials between a luxury condo and a subluxury condo are different, but not astronomically so.

Developers will go to China, Mexico, etc. and source some really nice stuff very cheaply. Sure, there are exceptions, i.e., materials that are expensive no matter what, but once you figure out a way to use cheap labor, the actual building materials are cheap.

It's similar to luxury cars - the "luxury" part doesn't necessarily cost a lot more (but yes does cost a bit more) but it can be marked up a lot, lot more.
A lot of vendors have multiple designs hiding under the same model, either through time (e.g., PS3 and Xbox 360 each had something like 5 revisions with different chipsets, not all were accompanied by change in box design), or just sharding - iphone 6 had two different models at the same time (one broadcom and one qualcomm IIRC) because they couldn't or wouldn't source the quantities they needed from just one source.

iFixit is nice, but it is not an answer to the request made by GP (an answer to which would be useful).
Isn't tensorflow the most popular auto differential library these days?
When I read the title, I thought: if there's no evidence that people produce more when working 40 hours, why would we work 40 hours? Let's work less!

I didn't expect anyone to argue for working more than 40 hours. But then again, I don't live in the US.
Then use Perl. Perl has this weird feature where "reverse(sort(...))" gets optimized into a single op.
Bouncing email doesn't make much sense if you can reject easily (which would be your case).

Running an inbound SMTP server is much easier than running outbound smtp for laypeople. The software (postfix, exim, etc.) is rock solid (you have to REALLY mess up to lose emails) and the protocol is very forgiving (all serious senders have good retry policies). I encourage you to try!
Why Are Geniuses Destroying Jobs in Uganda?
I'm not sure what point you are responding to. I never said that man was an island. The idea that landlords "invest" in city centers by capturing rents is quite funny. They certainly aren't investing by earning income, nor is the quality of the housing stock very high. And of course Prop 13 ensures that landowners pay little in the way of taxes. So what exactly are these investments in exchange for people turning over 1/3 of their income to them?

The truisms that Silicon Valley is limited by land aren't really relevant to any point being made by anyone in this discussion. The question is not whether land is a constraint, but what the best ways are of dealing with the constraint. So far, the consensus has been to recruit more land into use because improving transportation technologies gives us a more efficient way to recruit land rather than building taller buildings. This is true for a number of reasons -- e.g. look at the gains in efficiency in travel over the last 100 years versus the gains in efficiency in construction. Look at basic geography -- the ability to decrease transportation costs by 1/2 allows for a quadrupling of the available land that can be recruited. Or look at basic physics -- a 50% reduction in the cost of building an additional floor still requires tearing down the existing building before making it taller, as you can't just add another floor to an existing skyline like you can add another zone to an existing city. You need a stronger foundation before you can add a new floor.

Anyways, you're not going to get anywhere with strawman arguments or by regurgitating talking points. Density has been declining all over the world in areas with or without zoning laws, because transportation has been advancing much faster than construction. This is a fundamental tradeoff that determines whether a region gets more or less dense.
I wonder how he sold it and if any taxes were paid on it
Bitcoin will never become the "world wide common digital currency": it's deflationary in the long term, very volatile int he short term, and transactions are expensive and slow. Maybe some other cryptocurrency could, but not bitcoin.

It could stay as a store of value though, like gold.
Sprawl simply is not an answer for most people. There is a limit to the commute anyone will tolerate, and people don't want to live in some cookie cutter house in the middle of nowhere. It's hard to build real livable towns quickly.

American cities hesitate to raise construction limits until the problem gets really bad - selfish homeowners will voted against rezoning because they profit from the rising demand that prices others out of the area. It's extremely rare for a city to let supply freely follow demand.

> Alternately, you can ask why does density keep declining even though we have the technology to build taller buildings? E.g. the skyline keeps going up but people/square meter in built up areas keep declining?

Source?
I think he means square feet.
whois for salimvirani.com shows:
Name Server: verify-contact-details.namecheap.com
Name Server: failed-whois-verification.namecheap.com

So it looks like he forgot to verify ownership of his domain name.
A Norwegian who knew tortoises so well that he changed the course of history
This Is How to Be Productive: 4 Secrets from the Stoics
"Hundreds of piers would be driven up to 150 feet into the ground to anchor the entire inter-connected platform for the project’s center, which the city envisions as its new “uptown” district."

150 feet... but not to bedrock.

Was nothing learned from the Millennium Tower debacle?
Tech has become another way for men to oppress women
At least in the US, the worst case is a temporary lockup like you described. Banks are limited in how long they can hold your money. If your money is in a bank, it is guaranteed from fraud and theft.

You can't say that about Bitcoin. Add to that the fact that if you want to use Bitcoin to buy most anything you are going to have to either rely on a bank to handle transfers or find someone on the street with cash to buy the Bitcoin (dangerous with no guarantees).
It has rare earth magnets though!

Honestly I am not sure if it is the notebook itself or the case that is being advertised, and why is the stencil on the outside of the case when it would be much more safer inside it?
> they estimated that Kuwae’s eruption had released vast quantities of magma, enough to fill the Empire State Building 37 million times over

This is a unit of journalistic measurement I have never come across before.
It seems to me there is nothing inherently anti-competitive about requiring people who buy your component to advertise that they are using it (or, a fortiori, with incentivizing them to do this with discounts). But offering rebates to customers who by 95% of a certain kind of component from you does seem anti-competitive to me. That should probably be illegal.
The algorithm will adapt to your every need.
River of fire comes out of the ground. Hmm. Where did it come from?
Every American phone (except the iphone) uses a Qualcomm SOC due to some anticompetitive practices on their part. That might be why it seems that way. I'm quite certain Sony makes a phone that doesn't but it's only sold in Europe or so.
Ask HN: What are some examples of useful data only published in pdf?
Yeah, also have a 30€/month hetzner dedicated server with 2x TB HDD and 32 GB RAM.
At the same time at my company we pay sometimes up to a 1000$/month for a really weak AWS machine because of the costs for traffic and storage. Ridiculous, but.. Yeah...its not my money.
Apple knew about the P.A. Semi PWRficient, which was a beast beyond Intel chips by a large margin.
Yes, this reflects my position: I'm out of all cryptocurrencies except for a small bit to fuel a couple side projects. I'm waiting for the coming crash so I can buy.
CERT Secure Coding Standards
I'm using Zoho. I have no issue so far. You can easily register and point your domain to them. Free if you have less than 5 users. You can then configure catch-all email to forward everything to you.

Work pretty well on any IMAP/SMTP mail client.
I'm confused. Your first example seems to be adding pointless false commentary, while the second is adding real information about the person.
Just to reiterate barrus's (the Product Manager for K80s) point, K80s come with two dies per board, so we're giving you the granularity. We struggled with wording, but as both NVIDIA and AMD ping pong between GPUs with two dies per board as the best part versus one we didn't want to make the minimum granularity "a part sold by a vendor". So there's no conspiracy or half or quarter speed nonsense, just that it's probably not as clear as it should be that this is half a K80 board.

Disclosure: I work on Google Cloud.
Not a security topic, but POST is not necessarily "create" and PUT is not necessarily "update".
I wonder if they're patching the firmware or just the Linux driver for the chip.
> He was holding a small device in his hand, the size and shape of a lollipop.

"This is a video camera, and this is the precise model that's getting this incredible image quality. Image quality that holds up to this kind of magnification. So that's the first great thing. We can now get high-def-quality resolution in a camera the size of a thumb."

...

"But for now, let's go back to the places in the world where we most need transparency and so rarely have it. Here's a medley of locations around the world where we've placed cameras. Now imagine the impact these cameras would have had in the past, and will have in the future, if similar events transpire. Here's fifty cameras in Tiananmen Square."

...

"There needs to be accountability. Tyrants can no longer hide. There needs to be, and will be, documentation and accountability, and we need to bear witness."

...

ALL THAT HAPPENS MUST BE KNOWN

-From "The Circle" by David Eggers
Get $5 of free stock in your favorite companies
Best+Packers+and+Movers+in+Nalagarh+-+Raj+International+Cargo+Packers+and+Movers
Even just making it random around a certain time (say +-15 minutes). Another idea might be to have time blocks that a user and their mother can choose and then pick a time out at random from the overlap. Neither will know when they are going to be called, but it will be at a time that suits both.

You could of course go the other way and just do this without the user choosing anytime at all. When they register to send their mother flowers record their number and their mother’s from the delivery details and then just set up the “blind date” without letting them know. Each will think the other called them first.
Increased trading volume generally just means better price discovery. Why do you think increased trading volume means it's "pump and dump?" When I trade SPY, I increase the trading volume in the underlying S&P 500 components -- am I pumping and dumping then?
I do this too, but does anyone have a good way of searching through your own upvoted comments/stories?

A lot of times I couldn't find what a comment/story I know I saved because I've upvoted pages upon pages more stuff since.
Yeah, there's a printer called "Microsoft Print to PDF" now, which works in pretty much everything (even something as crappy as notepad).
Currently stuck between a rock and a hard place with things like this.

Many of the other formal verification tools make it very easy to have your implementation drift or be entirely unmoored from your specification, but they let you keep working at a level of abstraction from your problem that's still very familiar. Though things like SMACK and DiVinE are helping to decrease the gap between spec and code.

Using things like Coq + program extraction brings the overlap between spec and implementation into much, much closer alignment, but brings with it additional problems. Writing a complex program in a very abstract language further away from an engineer's typical problem domain, being fairly limited in types of languages supported for extraction, and/or still having to have an awful lot of faith in the extractor (which itself is unverified as near as I can tell) are all things that are currently keeping me out of Coq for immediate use cases.

The good news though is that there's a lot of fairly high-profile work being done (like Verdi) to increasingly bring formal methods to increasingly complex software problems in ways that make using formal methods more approachable and usable, and that's truly wonderful.
Show HN: (crocs) Write regex using python function syntax and test it better
See the github link I gave. Also, the chromium sandbox doesn't require privileges elevation and uses seccomp BPF.
I use a P50 with 64GB of RAM, and an i7-6700HQ Intel processor. It is not light by any means, but it is certainly less than your 10kg (the specs I'm looking at say it's about 5.6 pounds, which sounds about right). It's got a 15.6" HD display, though I could have (and probably should have) opted for a 4k display. Also has a 1TB HD and a 1TB SSD. At my workplace, we're using Zoom, which works flawlessly on Linux. I have worked at a place that used Bluejeans, which did not work so well on Linux, and so I actually ran that inside of a Windows VM in Virtualbox. I would highly recommend one of these Thinkpads. It seems you would greatly benefit from buying one. They are packed with enough specs for you to run whatever combination of virtual machines you could possibly need in your everyday work.
Short-term efficient, yes. Long-term efficient, no.
This is what subtitles are for.
Why You Should Never Use a Supply and Demand Diagram for Labor Markets
Mayan EDMS 2.5.2 released
Iridium marks new satellite network, 20 healthy satellites and 55 more to launch
I mostly uses Hacker News. From there, it leads me to site such as HighScalability, then Medium engineering blog of company or individual developer. Once you like something, they suggest other thing and I go from there.

I also try to visit engineering blog of company that I like such as Github, Etsy, Segment, Stripe and learn from their blog. They usually have very good article about what really happening at a real company and what they do to solve.

Then I also use Youtube, subscirbe to Confreaks, and again, whenever I like some video, they suggest something very close to what I like.

Then sometimes ago, I started to collect links and realize I should share with the world and start this site: https://betterdev.link/
Am I the only one who thinks that the three ads mentioned in the article (Snail, Burning Bunny, Steamroller) are incredibly tacky?

The Apple ad from that era that people love and remember is Richard Dreyfus' Crazy Ones, and the author even thinks that they "upgraded to Jeff Goldblum".
Apparently the volume of the ESB is about 1e6 m³. So that's about 37e12 m³ of magma. But yeah, using a weird unit of measurement no one even knows and using 37 million as a factor pretty much guarantees that no one can relate this to anything.
To be fair, Spark is way too slow to be used as a back-end database system (there's a big bap between "lightning speed computation", as they put them, and a common workload for a database serving data to a user-facing application).

Now of course Spark makes up for it with its great flexibility and scalability, but I do not really see the two technologies as competing ones.

This even without getting into the other parts of the data model (insert, update, delete) that do not exist in Spark (or "kind of" exist), by design.