skysight-inc/HackerNews huggingface dataset:
> the Visage application which runs on its own VM with 64GiB of physical memory, was GC’ing very frequently while only using ~400MiB of physical memory

Why would you provision a 64GB machine if you only need less than 1% of that?

Especially given earlier:

> One approach to handle this is to keep your fleet permanently over-scaled, but this is wasteful and expensive. To reduce this ever-increasing cost, [..]

This already was over-scaled.
Diagonalization arguments (which are used in Gödel's theorem) do require some infinity.

If there were only a finite number of such "True, but unprovable using your current proof rules" sentences, then you could simply add those sentences to your list of proof rules and there would be nothing "True, but unprovable" anymore. For Gödel's theorem to work, you need at least an infinite supply of those kinds of sentences.

Also here there's no need to actually write down all of them exhaustively. It's just important to be able to find "yet another one" whenever you would like to, which requires an inexhaustible supply.
That's a bit like saying the fact that turtles have very hard shells is evidence that the earth is balancing on a giant turtle.

There were a bunch of movies in the late 90's about reality being virtual (the matrix, the 13th floor, existenz), but somehow it was the one without VR that was the most prophetic (the truman show).
My levono comes with a 65w charger that's not much bigger than the 45 w charger shown here... What's the big deal?
How likely it is that Huawei got access to the technology behind Samsung's Exynos[1] to speed up the development of their own ARM chips? At least that's what happened with Samsung's foldable screen technology[2].

[1] https://en.wikipedia.org/wiki/Exynos

[2] https://www.bloomberg.com/news/articles/2018-11-29/south-kor...
The difference is probably that Sweden isn't as privacy unfriendly as the USA, despite being part of the fourteen eyes programme.
I think this is a result of living in close-knit communities. Where everyone has been knowing everyone else for generations and there is no-one else to help the day you might be in the lurch it is simply not a good idea to squeeze people as much as possible when the opportunity arises.
There is a funding project started in Sweden to build smaller, led cooled reactors, by 2032,

https://www.leadcold.com/newclear-leadcold.html
i haven't used wp in a long time. does it come with permission settings for plugins now?
I wonder if this would ideally also provide a rotation API. Rotating log files in the presence of multiple writers is messy, and maybe shouldn't be reimplemented at the application layer every time.

That feature was in UNIVAC EXEC8, now OS-2200. It was called F-cycles.[1] Over half a century old, and still working.

[1] https://public.support.unisys.com/2200/docs/CP18.0/PDF/78307...
Probably exclusivity agreements by intel that last for many years.
Possibly. The Intel version is better publicised. I have no idea what PSP can do, but Intel's IME makes it possible to remotely completely override anything about a PC, which can be convenient for sysadmins for large organisations, but hasn't been disabled for consumer products.

I have no idea whether the same is true for PSP.
I didn't mean that. Let me rephrase it more clearly: recurring payments are a problem by themselves, the more of them you have, the more problem they are. This makes things offered as subscriptions inferior to actual products you can buy one-off, at least in this aspect. If you're wealthy enough to put money for couple years worth of service into a virtual CC for every service you can use, you're probably wealthy enough to manage all this stuff for you anyway.
Expensive to build and cheap to run ignores the high decommissioning and long term waste management costs (both financial & practical impacts). If you add that to the kilowatt price, nuclear tends to end up more expensive than most other options.
> Also, wouldn't most of the volumes in the libraries have been written in Latin and thus unreadable outside of the Church.

Well I'm not sure that's going to be an issue if we're talking about the accessibility of the text to an illiterate person. An illiterate person can't read. So we need to consider the situation only of literate people.

Interestingly, in medieval Roman countries, texts intended for public reading were written in Latin, but the lector would read it in somewhat formal popular language. This is not hugely different from the situation available in English speaking countries prior to the 1980s, when most bibles were written in a grammatically, lexically and phonetically very foreign language. Even today, our texts are still phonetically very foreign. And for general texts it was common - Greek, Arabic, Chinese - all written very differently than spoken a century ago.

A literate French-speaker in the medieval period would not have reacted to a Latin text as a foreign language. They would just have read the text with equivalent contemporary pronunciations. A recently produced text would in many cases use more customary language too, so they wouldn't need to remember the dated bookish words.

(And actually, in medieval England, there were scientific/theological texts produced in English. You surely couldn't read and understand them today because the language has changed too much, and they went out of fashion so they weren't maintained. But they existed.)
Azure Advent Calendar 2019
This is an area we needed Jony Ive to dedicate some time to improving. An Apple Pro charger for road warriors designed by Jony would be an awesome parting gift to the world.
> Did you really need more resources? For what?

Yes, to bring freedom thru privacy to people, The coming battle against privacy and free speech is by far the strongest and worst yet; the narrative and our voices are quickly getting quashed.

Without the ability to communicate privately and speak freely, at best democracy is at risk; and at worst, humanity, or what it has meant to be human until now, itself may be at risk.

Divided we are not stronger.

> Similar, for hiring Karpeles to do your security (like he hasnt lost us enough already).

Cryptocurrency has come a long way, and without MtGox and Mark at the beginning, it may not have been able to make such strides.

I prefer a battle hardened individual over a clean track record of no experience. Failure is the fastest and strongest way to learn and grow stronger.

Overall, I appreciate your words and concerns, but I believe we are strategically moving in the right direction to the world's benefit.

Time will tell.
I'm not blaming it on Minix, but it does make use of Minix. I'm mentioning it to identify what I'm talking about. I believe the official name is Intel Management Engine. Or maybe that's just part of it.
Thanks for looking it up. This was exactly what I thought.
> Even the Demoscene, one of the last bastions of true hackerism, is completely uninterested in the ideology of software licenses and contracts.

Demoscene never cared about this kind of stuff.

In fact of the interesting challenges of the Demoscene was trying to find out how competing groups achieved some demos, without having access to the said information, while in process outperforming their demos at parties.

This is one of the key differences between Demoscene and anything FOSS related.

And also why game developers as offsprings from Demoscene, also don't care about them, rather about IP and how to extract the best experience out of a given piece of hardware, regardless of the OS, API or NDAs that one has to go through.
It was August Coup by Communist hardliners that prevented the renewal of the federation:

https://en.wikipedia.org/wiki/1991_Soviet_Union_referendum
I realize that the last time I liked at this was in the context of wireless devices on a private subnet - which is why I thought it might be relevant. However I am curious, why is it, then, that Windows 10 has gone for randomisation?
You could try it with the wireguard client for ios. Just download the config files from their site.
I have a Huawei P30 Lite which I use for work purposes. Build quality is better than Samsung. I prefer using it over my iPhone. It is nowhere near inferior. Did I mention that it is supposed to be a cheap phone but its performance is impressive?
Ask HN: What do I do with my Stanford CS degree?
Quick background:

Stanford BS CS. (Published some deep learning papers, interned at NASA, studied abroad at Oxford). Got my first job out of school at FB. Hated it, quit 6 months later. Tried to build out a startup in the IaaS space. Raised from family and friends. Spent two years on this, worked out of a VC office, hired a small team. Failed. Tried again with another idea. Failed again. Alienated my friends and investors that had helped me when I left FB.

All I have on my resume now are two failed startups (rejected from YC multiple times) and FB (where I left very quickly). Bootstrapped / friends and family raise each time.

Feel stuck about what to do next.

My time at FB has shown me that I don't want another engineering job. Doing coding as a career just doesn't interest me. I enjoyed CS for theory and AI, and for short internship bursts, but working as an engineer in a professional context just isn't for me.

My eventual goal is to start another company. Instead of doing that again right away, I would rather get some industry experience first and build out my 401k for a bit. Rather than getting more coding experience under my belt, I would prefer to learn the other side of the trade: investing, product development, working with engineers to build great products.

People that get hired for these product jobs usually have an MBA, or worked at Goldman for 2 years before transitioning. Interviewing for these jobs gets me a no, since I have no business experience. Which I guess makes sense. But I don't know how to build this experience outside of school.

Q1: Is my only option at this point an engineering position? Is there no place for a technologist to work in a business development context, or as an investor?

Q2: What jobs can a Stanford undergrad degree get me that another degree won't? It is about the only 'impressive' thing on my resume at this point, and I don't know what else to sell about myself.
It occurs to me that you can buyout major top 20 productivity apps, browser plugins with just couple billion dollars, silently change Eula and have field day with personal data of large chunk of population. This is not a huge amount for governments.
Show HN: Deliver exceptional products by listening to your customers
> This is why I don't use neovim ... this is just adding additional layers of complexity for no measurable gain in value

It's a plugin. It is not shipped with Neovim.

> I just want vim to start quickly, not crash, and generally get out of my way

That's a very low bar, which indicates you definitely aren't Neovim's target audience. If you're happy with Vim, carry on.
If you invest in a aluminium smelter you will want to run it 24/7, not just when there's cheap power. Also Australia enjoys the most expensive power in the world because of grid costs.
There are also plenty of VPN companies not owned by shady companies, e.g. Mullvad and OVPN. Should you blindly trust them? No, but you can probably trust them much more than your VPS provider.
Interesting. I haven't looked much at the E495 and T495, but the X1 Extreme, P1 and P73 were not available at all with Ryzen CPUs.
Integrated Vega full support landed in June 2018 (kernel 4.17, Mesa 18 for 3D), as long as you have these or newer and a firmware for your card in the system — you'll get full acceleration.

I've been running Debian Testing on 2400G since 04/2018, where I had to put firmware and compile the kernel with the config changes to enable the support, but it was already in kernel tree nonetheless. It's out-of-the-box since 07/2018, way before the release happened.
yes, especially if you are not a gamer.

AMD has better multi threaded performance (in some cases double that of intel).

Intel still has some lead in single threaded performance, and some vector optimizations.

So for general use case amd is better, but there are some specialized cases where intell still makes sense.
Is anybody trustworthy? Hell, that's why I avoid any five eyes vpns.
> Anecdotally I found there is a high correlation between one’s ability to write correct English and one’s ability to write correct code.

I have been thinking a long time about it and I concluded it is about one being methodical.

A methodic person tends to put extra attention on (all) the tasks they perform, as well as they are more critic to correctness, and those features combined might make them “better programmers”.
Now TDP isn't really reflecting output and can't be compared well across brands. But a 2x difference in TDP is a lot more than the different ways of calculating them between amd and intel
Common Web UX Mistakes That Can Damage Your Business
Indeed it is simpler but it changes the meaning of a sentence quite significantly. Correct syntax is important - should I be able to write my C++ without semicolons too?

Next you'll be arguing that we should use "brought" and "bought" interchangeably because they sound similar enough (and it seems everyone I hear thinks they're the same anyway even though they have wildly different meanings).
Google might be worried but Apple will be just fine. Apple have the (some might say superior) iOS platform which sets them apart.

After being on Android devices for years and recently switching to iOS I'd be reluctant to go back
1sqkm is 300GWh a year at 20%

A patch of land 20 miles by 20 miles generates enough electricity for the entire Aus requirements.

That’s an order of magnitude less than area taken by austrailia’s roads.
How to Use a Content Planner for Maximum Productivity
There are many estimations of the effects of nuclear disasters, covering a very wide spectrum.

This one, for example: https://en.wikipedia.org/wiki/Chernobyl:_Consequences_of_the...

The social/economic plane is known:

According to Mikhail Gorbachev, the Soviet Union spent ((...)) $35.7 billion in today's dollars) on containment and decontamination, virtually bankrupting itself.

https://en.wikipedia.org/wiki/Chernobyl_disaster#Social_econ...
Thank you. Your trust will not be misplaced, and we will strive to maximize our transparency as always.
Facebook rejects ad of two men kissing to spread awareness on world-aids day
That report excludes renewables like hydro, solar, etc.
> The programmer behind the THERAC-25 Fiasco was never found

It was known.

It's a shame we live in such a vengeance culture what we really want is for it to be public.

People die weeky in most hospitals because doctors and nurses don't wash their hands.

Get over THERAC, is saved lives and the programmer helped with that.

From Reddit AMA -

"My teacher does know the name, but is bounded by the courts to not release it. He knows the programmer is living in guilt and did say that he has left programming as his career. Although, it was not entirely his fault, as my teacher explained, the necessary software development process for a machine like this was not there, and no checks were in place.

tl;dr Cannot be revealed, but wasn't entirely his fault."
The number of deaths is clearly in nuclear energy' favor. But Chernobyl's area is now inhabitable for thousands of years, isn't it? If that is true, having large areas of earth uninhabitable for 1000s (or much more) years sounds to me like the ultimate disaster. I just wish I am wrong.
This and an associated document is shown in this video https://youtu.be/g-zku9FtNeI
That’s basically what I did.
I had a few things running in IFTTT and Microsoft flow, but both have pretty big limitations.

Moved everything across to webhook, which is running powershell scripts in the backend.

Makes it a lot easier for testing that things are working properly too.
> strange philosophy

He likes to avoid bloat and keep things modular. That's not a 'strange' philosophy
Re:inscrutable

We'll have to see where this all leads, to ver the next few years/decades. Maybe someone will manage to combine "a proper fundamental understanding of trained neural networks," and good results. That'll lead to (perhaps) good theories, to explain the good results.

If "good results" continue to outpace our understanding of wtf the useful NN is up to... It'll have to be studied expirementaly, like the way we study biology.

Ie, we might see CS theory adapt from "mathematical," to "scientific" to in its methods and theories.

The current trajectory seems to be heading here. There is tremendous interest and resources in NNs. As they become more commercially important, interest and resources dedicated to developing them increases. They only need the NNs to work, not to be scriptable.

Scientists are not just going to give up though. They'll study NNs expirementaly as black boxes if that's all they have.
It's rather bold of you to assume that future generations will be around to scorn anyone with the apocalyptic climate change we've already locked in.
Isn't it realistic for nuclear disaster to have environmental damage that will last 1000's of years without repair?
The plugin exists to inject seo-relevant tags into your page, so I don't see how a permission system would help to prevent them from injecting other tags into your page.

And no, there's no real capability system for plugins in Wordpress. Plugins can define their own user permissions that hooks into WP's system to determine what user can use what feature, but that's entirely opt in on the plugins' part.
I make no mention of Sagi's background, just his investment choices. Those alone are enough to question the wisdom of supporting any of the businesses with my actual money. Yes, let's have some honesty.

He's invested in : Founding Playtech an online gambling outfit, a credit card clearing company for online gambling, Kape, Stucco Media - Search engine marketing, and several mobile advertising companies. Not a list many would associate with either ethics or privacy. Not a list I want to give money to or see succeed. All businesses built on erosion of privacy. Colour me unconvinced seeing a privacy oriented company joining that particular stable.

CrossRider was nothing like you imply. It was a BHO platform that injected a dll into the browser to allow easier peddling of malware and adware. Why not mention adware? Let's ignore the malware smokescreen you're trying to launch, with them as innocent victim. A platform putting injected adware on my fucking computer is more than enough. Every anti virus and anti malware platform I'm aware of identified CrossRider as a problem, or flagged its shite as "unwanted program".

Not liking that they now have a plan b that is not in an injected adware platform is not "a conspiracy theory". It's simple track record. Given what their first plan did, and how, it'll take considerable effort over considerable time for me to even consider them neutral. They may never reach neutral or "trustworthy" again.

No all his other ventures aren't in advertising. They are in advertising and gambling - funny you don't mention gambling - that, for me, is more than enough for choosing a business to rely on for trust and privacy. I don't want to support those sectors. I don't actually want them to exist. I don't actually trust anyone in the SEO, advertising or gambling industries at all, from Google and Ladbrokes down. As they keep doing the opposite of the ethical thing, consistently and repeatedly.

If PIA, who have built a decent and (as far as I can see) well deserved reputation, want to hitch their future to that. Well it's their disappointing free choice. My money goes elsewhere.
> There was a term from the early 00's for malicious "hackers", which was crackers.

Yes.

> But if the media is unwilling to budge should we just make a new word?

Not sure how that will pan out :-)
> I don't think there was ever a direct subsidy of civilian nuclear power for weapons production.

Most subsidies are not direct and called "subsidy". But as long as nuclear weapons production was a priority, the US had an more of an incentive to research decommissioning, funding final disposing sites, have more people study nuclear engineering, creating job opportunities for nuclear engineers to build up an ecosystem, funding basic research in the area, researching and providing the logistics for transporting waste to disposal sites etc.
Pretty shitty. HP has buyer’s remorse, so get the gov’t to file criminal charges.

Either HP got snookered because they didn’t conduct a thorough due diligence, or more likely they paid a fair price but botched the merger.
Modularity isn't free. Wordpress' obsession with it – and bad implementation of it – leads to bizarre, 80000+ recursion level deep callback hells even on simple pages once you have 3-4 plugins running.
The green energy people have massive amounts of power. They are the reason solar and wind is being built all over the world at an astonishing rate. Their lack of support for nuclear as a base-load is a major factor in its stagnation.

In the US a Democrat at the federal level who doesn’t support green energy will be sentenced to the gas chambers. That’s more than half of the House of Representatives and nearly half of the Senate. It has a strong chance of being the next presidency as well. If nuclear were actually supported by green energy people there would be a new plant going up in every state.
>Yes, to bring freedom thru privacy to people, The coming battle against privacy and free speech is by far the strongest and worst yet; the narrative and our voices are quickly getting quashed.

>Without the ability to communicate privately and speak freely, at best democracy is at risk; and at worst, humanity, or what it has meant to be human until now, itself may be at risk.

>Divided we are not stronger

I was hoping for a real response, rather than the same empty marketing speak.

Of course, the real response is likely 'I wanted to cash out', so I understand why you can't deliver something more convincing.
Citation needed. Also, don’t try to include plants that were shut down early or plants built on designs from the 50s.
What is he doing?
It's not about how easy it is, or how many ways there are to do the thing. The point of a 3d scan is to reproduce the facts of the object being scanned: there's this surface at this position with this normal, another one there with these properties, etc. Choices to be made might trade accuracy for less cost (in time and/or money), but those choices don't change the fact that the scan's purpose and value rest in the facts being recorded. It's like the quake fast inverse square root vs the pedestrian n => 1/sqrt(n), the skill in writing fast inverse square root doesn't imbue the result of its evaluation with any of that.

WRT your second paragraph, I'm not sure I understand. How could there be a copyright violation on something that can't be copyrighted?
I assume America will be invading Canada shortly? Seems to be the pattern when anyone else in the world wants to develop nuclear tech.
So annexation is ok in that case?
Coal power becoming uninsurable as firms refuse cover
It is entirely possible to do something slow and well and still do it alone and esentially without funding. As a film maker this is one of the things I love about writing and programming: there is no money needed only your time (which of course also costs you something). But it is perfectly possible to sit alone in your chamber and write a great piece of software that competes with the best out there. Try doing that in Film. This would be really a field where you wouldn’t get far without people and money.

Whether you hack it together quickly or meditate on it for ages doesn’t has much to do with it, I’ve seen both. Maybe the person with the quick hack just tries to solve a problem while the slow person likes the intellectual challenge of solving it in a “good” way.
Taking ML to production with Rust
Clearly that's a prehistoric Strandbeest: https://www.strandbeest.com
How to Use Predictive Analytics to Prevent Customer Problems Before They Arise