skysight-inc/HackerNews huggingface dataset:
I believe what he's saying is that we don't "think" in if/then statements. So true AI will never be intelligent-like if you judge intelligence as thinking like us.
The EnclaveDB paper bibliography has a few references about SGX based containers on Linux.
If you want the whole UI around rendering the content, sure, but you don't need that – it's just an iframe that sets a `data:` URI anyway. The link can just as well be the data URI itself. It'd be a very long link for any non trivial content, but it works just fine without any connectivity.

Seeing as tickets are typically sent in HTML emails anyway the scary looking URI can just be hidden behind a nice anchor tag or something anyway. When the recipient clicks the link, the page will open in a browser and render just fine without any connectivity. Graphics can be embedded in the same way, using `data:` URIs as image tag sources, or in embedded css.

Here's an example, turn off your connection and try this in your browser's address bar:

data:text/html;charset=utf-8;base64,PG1ldGEgY2hhcnNldD0idXRmLTgiPjxtZXRhIG5hbWU9InZpZXdwb3J0IiBjb250ZW50PSJ3aWR0aD1kZXZpY2Utd2lkdGgiPjxiYXNlIHRhcmdldD0iX3RvcCI+PHN0eWxlIHR5cGU9InRleHQvY3NzIj5ib2R5e21hcmdpbjowIGF1dG87cGFkZGluZzoxMnZtaW4gMTB2bWluO21heC13aWR0aDozNWVtO2xpbmUtaGVpZ2h0OjEuNWVtO2ZvbnQtZmFtaWx5OiAtYXBwbGUtc3lzdGVtLEJsaW5rTWFjU3lzdGVtRm9udCxzYW5zLXNlcmlmO3dvcmQtd3JhcDogYnJlYWstd29yZDt9PC9zdHlsZT4gSGVsbG8sIEx4ciBmcm9tIEhOIQ==

EDIT: Created another, more complex, example but it's unfortunately too long for HN comments. You can see it here:

https://gist.github.com/mstade/597f7da82841b1c27c63c8b383538...

Just copy and paste the raw contents of that file into the address bar and it should render the page.
I agree that defining an exact moment is difficult and/or somewhat arbitrary, but it seems to me that physical birth doesn't make sense as a cutoff since the baby is usually viable before that point. In my opinion a better milestone is higher brain function which occurs at about 19 to 20 weeks.
> never use any of the online features of their "Smart" TV for this reason. Use a set-top box.

That's basically the same exact thing. A SmartTV is just a TV with a set-top box built in. Nearly all Set-top boxes (like a Roku, Chromecast, Fire Stick, your old game console) report back your viewing habits and advertising/privacy data too, in basically the same way that any average SmartTV does.

These two devices are so identical that many manufacturers just directly use a more user-friendly STB as their SmartTV. Here's a list of Roku-based SmartTV's https://www.roku.com/products/finder/roku-tv and another with Fire Stick built in https://www.roku.com/products/finder/roku-tv , and another with Chromecast https://www.google.com/chromecast/built-in/tv/ as some examples.
In 2018, Tumblr Is a Joyless Black Hole
77 WABC Radio: Podcasts – Savage Nation
I played ADOM a number of times. And liked its death mechanics, as it dissuaded from reckless behaviours. For a faster-paced and more gateway (to RL hell), there is https://drl.chaosforge.org/.

Still, after dying, I could play again.
> they can watch the US hamstring itself via libertarian policies

The size of the US federal budget has only gone in one direction regardless of which party was in power, and it hasn't been to get smaller. And they keep passing anti-startup garbage like FOSTA or the incredible bureaucracy that de facto prohibits small businesses from participating in the finance or medical industries. These are not libertarian policies.

The problem is they're spending trillions on unnecessary wars and buying the elderly vote with outrageously expensive program expansions, and then there is nothing left -- less than nothing, since it's all debt-financed -- to fund the actually-beneficial (and much less expensive) programs that you're asking for.
You must only go to boring places if you can always get those extra things easily ;)
How much better than human drivers do self-driving cars have to be to succeed? If you take a metric like fatalities or damage per mile I'm guessing we ask our robots to be much better than humans, even though it doesn't really make sense. Over time the differential will come down but a better intermediate strategy would be to keep humans away from robot cars until collision avoidance techniques improve substantially.
Oh, I'm an unrepentant TAOCP and Knuth fanboy. TAOCP is undoubtedly a Great Work™. I'm just bothered by the notion that someone would feel bad or inadequate for not having read it.

GEB, on the other hand is... I dunno, an ok monitor riser if you don't have anything else handy.
> Racism and global climate change are not explained by our shared history with chimpanzees, nor are gender diversity, the #MeToo movement, and the recent rise in nationalism.

No. It can all be compared to how most social mammals operate.

Racism & nationalism have their roots in tribalism, a very useful tool to keep a tribe cohesive and thus competitive against other tribes.

Climate change: Have a look at any invasive species for examples.

Gender diversity & MeToo: Genders in mammals will take on certain specialized roles in order to survive in their environment.

Are they right and ethical? Of course not. Times have changed, and our psyches haven't kept up. But ignoring our evolutionary heritage only results in treating the symptoms rather than the cause. That's not how you correct problems.

> It’s only by delving into humanity’s distinctive evolutionary history, since our split with the other ape lineages, that we are better able to develop a fuller understanding of the human niche, of what makes us specifically human.

Uh, no. It's also important to find out what's baked into our psyche, no matter how ugly or inconvenient, and take steps to compensate for them or maybe even correct them. That's what higher reasoning is for.
South eastern Ohio has some nice nature. And even Toledo isn’t that bad.
Netflix built a global CDN. That's physical infrastructure which isn't readily replicated
David Benatar is the most famous exponent of the opposing view:

https://en.wikipedia.org/wiki/David_Benatar

https://en.wikipedia.org/wiki/Antinatalism

Edit: though several weaker views are more common in animal rights advocacy, for instance that being born in order to be raised for food is not a benefit to an animal, that being born in order to be raised for food in a factory farm is not a benefit to an animal, or that being born is a benefit but that conferring a benefit on an animal doesn't make conferring harms on the same animal legitimate or appropriate even if the benefits and harms are structured as a "package deal".
Honestly, we should be focusing on Ganymede.

It is also covered in ice with an ocean. Europa looks good but it is bombarded by direct radiation from Jupiter. Enceladus also looks good but it has really low gravity, and is farther from earth. Also, radiation again.

Ganymede has it's own magnetic field, to help bounce some of those ionizing particles, and is more distant from Jupiter. It's gravity is better than the moons.

Obviously I wish we could go to all three, but Ganymede is clearly the best choice imho.
> Trump is...obviously Trump

No, Trump is President Trump.

Get it fucking right, or get the fuck out.
haha im sure he knew that was going to be a bit unrelatable.

in general i like that he scoped his advice to his own years though. very humble thing to do despite having done more than most of us will in our lifetimes.
We should be at the point where network computers are practical for casual users. A full install of the BeOS operating system is just 45MB. A tricked-out one was barely more than a couple of hundred MB. We should now be able to have operating systems which are mostly cached from online connections, running in clients like Web Browsers, but purpose built for running such an OS.
but the problem is that you need to properly resolve base cases before starting on edge cases. The fact that base case scenarios are not properly solved hints at major problems in execution.
The homepage appears cutoff http://prntscr.com/k2z3pl

Honestly, the "more" page would make a better homepage. https://teamup.zone/team/browse

I don't know the site, so show me as much great content as you can.
Terrific comment on your path to getting more from this book. I just purchased IAASL and am going to review the OCW link. This kind of discussion is so valuable in getting through books like GEB which can be very challenging and require starts and stops.
Version control + code review has worked for me. Even if you don't do code review normally, it's particularly helpful with making sure that someone is aware of scripts.
> they'll be able to undercut ride sharing prices

Why?

I see comments like this constantly. But does anyone ever do even a basic spreadsheet to explain the unit economics of this argument?

Low skilled people who can drive are pretty cheap and plentiful. Even if self-driving tech is flawless (spoiler: it's not and won't be soon) it still only replaces part of their responsibilities. Someone will still have to clean the cars for example. Presumably there will be some required level of human monitoring, etc.

Conversely, capital and highly reliable technology isn't free. You can calculate pretty easily the rate at which it's profitable to substitute technology for labor, this is a trade-off we've literally been making for centuries.

One one side you have plentiful cheap low skilled labor. On the other you have lasers, fast computers, graphics cards, cameras, and the associated programming inspection and maintenance costs.

Why do we think the latter side is going to be cheaper in anything remotely like the near term?
Revolutions do happen! For instance, JavaScript, with all its defects, brought a lot of great ideas to the mainstream (first-class functions, data literals, etc.).
Uh, duh?

Tumblr has been a shithole for a long time now.

It's literally a platform (almost solely at this point) for angry women to bitch and whine and spread rumors and believe lies.
Even after employer subsidies, group rates, and tax savings from income deduction, health insurance can cost a lot of money, and you will still have routine non-covered medical expenses, as well as quite a lot of downside risk depending on your plan.

Same with 401(k). Employer match is a nice bonus but it is not enough.
you're right, my phrasing wasn't ideal there. I'll try to clarify:

what I want to do is to create a static analyser based on a set of axioms/deductions that can determine which of the "always halts/does not always halt/don't know" categories a program fits into. (I'm rephrasing the categories because a program like "(x: int) => x == 1 ? halt : loop" fits into the second category).

What I'm wanting to figure out is the mathematical field in which these types of axioms reside. My naive assumption was that computability theory is the answer but in researching the various branches of similar fields it seems to me that there is a lot of crossover and similarities between concepts in different fields. So I wasn't sure if there was a field that covers what I would describe as "given a sequence of transformations of typed values, representing those transformations as relationships between inputs and an output, can we definitively prove that the program halts, or does not always halt".

For example, given the function "f(x: int) => x is even ? f(x + 1) : halt" I can know from looking at it that it will halt on any valid input because for any int x, recursing on x + 1 has to reach a value where x is not even. I just don't know how I would formalise such knowledge into a system that can actually deduce such conclusions as you could clearly change "x is even" to any "x is wholly divisible by <integer>" and the conclusion would hold.
It's probably gonna be for the gift market. Also parties, weddings etc, keep one on each table for fun
Machine Learning Being Used to Issue Credit Cards
Yeah but they can tell us a whole lot about being a chimpanzee. That's about all we can rightfully expect of them.
Emoji movie is culture, whether we like it or not. There's no rule that culture has to be highbrow.
Beyond the privacy concerns raised by others, I am not sure what this would amount to. Interesting conversations don't happen everyday, so this site might become just a collection of random email conversations that people submit that think is interesting. I am not sure if anyone wants to read them either.

Further, I don't think everything is "communityfiable". Like I said earlier, interesting conversations don't happen often, so stuff like following a person due to his one email upload or whatever, recommendations etc all seem a bit too much. Following would make sense if it is someone who uploads stuff often, but in this case anyone who does it would be breaching someone else's privacy unless the uploader is part of the conversation and everyone agrees to share it. But, again, as I said earlier, interesting conversations happen only once in a while.

That said, I remember how twitter was derided in the beginning as being a platform for people to share boring stuff that no one cares about, but it turned out to become something else, though not by design but only by chance, and is now quite successful.
regular show and uncle something... what in the world is that!
honestly thinking its a —-tinfoil hat on—- conspiracy to make young generations think to be a loser in adead-end job is ok. sorry went off a rant
Do we gain insight comparing President Obama to a chimpanzee?
There's plenty of money for detaining children apart from their guardians, tho.
While I agree they are closest of all the competitors with published numbers they are still very far off from human drivers and just looking at the linked articles within the original article do make it clear they have a long way to go. the key difference is the level of caution Waymo is exercising.

So how do we get a determination of which disengagement events would have possibly lead to a crash? Plus I am still not convinced these numbers are even going to remotely similar over roads not heavily mapped and imaged. I think the hope many have for AV is that is allows for driving in the worst of conditions but in the end we will have AV for limited access or very tightly monitored road ways only. Which in itself is not a bad idea, rush hours could much safer and efficient with HOV/Express lanes redone to explicitly support AV.

We certainly aren't going to be able to get people to drive more lawfully when most think they are the better driver when compared to others.
>>> The problem with free education is that as more people become educated, the signaling effect of education becomes diluted.

That's only true if money is the only criteria for going to college. Just because it's free, it doesn't mean it's open for everyone.
Most Funny Indian Comedy Video 2018  1000% Guaranteed,You will die at laugh
It is working now - thanks! I'll try and take a look around during lunch. :)
> ... is one of my favorite side effects of it being open sourced.

Agree!

I would never have the time or expertise to work all this out just using WinDBG or similar. Having the source, including decent comments and things like the BOTR [0] is amazing for exploring the internals!

[0]: https://github.com/dotnet/coreclr/tree/master/Documentation/...
For those that don't know it, WinRT always supported hosted web apps.

Microsoft has picked up on Google's PWA ideas and is migrating UWP hosted web apps to it.

I expect Google to follow a similar path with Android and ChromeOS.
Ask HN: How do you raise your first round if you can't afford to demo your idea?
I have an idea, which is expensive to concept $150K (it's a medical hardware product).

My background is pretty average, nothing extraordinary, and I don't have a team, but if I can demo the product, I know it will work.
Yeah there's a real difference between a very small but still finite chance, and an infinitesimally small chance. If you're trying to multiply negative infinity by reciprocal infinity, you have to be specific about how big each infinity is. :)
By what mechanism though? I could see a big griefing opportunity if there is some automated system that allows law enforcement to signal the vehicle to pull over.
The Electric Flight of Spiders
..and as the first paper says, ZnO nanoparticles are NOT toxic if silica coated, so devil is in the details here. It should also be noted that no in vivo toxicity has been demonstrated from non-coated nanoparticles, although there's a theoretical potential for it.

In the second study ZnO nanoparticles were injected DIRECTLY INTO THE BLOOD of rats with no control for non-nano particles. Crazy they even got it published.
There was an IOTA "random" wallet generator where they posted the codebase online, but they had additional code on the page that made the range of generated wallets really narrow. The owner eventually robbed everyone.

I'd still be skeptical.
Google Do Evil I guess.
I used to have a ZX-10 with super loud exhaust (apparently a previously owner amateur raced it) and other drivers would definitely know when I was around them. People don't always see motorcycles but if they hear you they tend not to pull right out in front of you in my experience. It also worked a lot better than the horn to get people's attention, little beep vs. loud roar.

Not that I'm advocating for loud motorcycles, mufflers exist for a reason...that bike would set off car alarms while just idling past in parking lots which was kind of annoying.
> The days are long but the decades are shot

Typo - "Shot" should be "short"

Although I have to admit, that word might fit in some cases...
Conventional if statements in Python do use your preferred form of `if COND then TRUE-CASE else FALSE-CASE`.

What you are talking about is a different kind of expression, similar to a ternary operator. It is not the same as if...else
That was my line of thinking.
The innovation dynamics in the software industry are (have been) really different than in these fields IMHO.

But there are some similar historical precedents. Fourier's work was rejected in his time because Lagrange wouldn't adopt his approach to mathematics.

This video is a great retrospective on the evolution and adoption of programming languages / paradigms: https://www.youtube.com/watch?v=JxAXlJEmNMg
I would say that racism is rooted not specifically tribalism but more broadly in inductive reasoning (particular-to-general heuristics) which has been absolutely indispensable to survival and evolution.

It is critical to classify a creature as friend or foe based on what class it belongs to, rather than granting the instance benefit of doubt.

How previously observed members of a group have behaved in the past constitutes rational evidence for estimating the future behavior of a newly observed member of that group.
It seems to me that Netflix used to have better recommendations. It's unclear why/how/when it went bad, my suspicion is that they changed their metric and it's having bad side effects, or their old models didn't scale as their user base grew quickly.

I've built deep learning recommendation systems in production for clients with millions of users and it's sometimes surprisingly difficult to beat the "most trending <products>" baseline if all you care about is views/purchases. It will in the short term to meet business goals, but it hurts the user experience over time and will inevitably increase churn.
Waymo doesn't have a business model if it isn't cheaper. It probably won't be much cheaper in the near term.
Git fork actually has more features than gitup and runs with lower ram. You can try it out to see what I mean
That's a very old link to the Roku privacy policy from back before Roku had streaming video products. The current one is at

https://docs.roku.com/doc/userprivacypolicy/en-us
Because it includes the entire U.S.

>>China is driving ahead of Silicon Valley and the rest of the United States on venture capital dollars invested into startups
| The thing I hate about all of these is there is no 1 to n scaling.

Have you tried GKE? https://cloud.google.com/kubernetes-engine/

It abstracts away all the work of setting up a close to production HA cluster, so you can jump quickly into developing & deploying your app. You can start with 1 node and ask GKE to scale to N when you want it.
Granted that sending an email implies an informal agreement. But this agreement has to be thought of as giving exactly the rights needed to facilitate the email communication, and nothing more.

That means:

- copyright is still with the sender (or their employer)

- no rights to publish the message.

The users of your service will regularly violate copyrights if they didn't get explicit permission to publish.
I feel like this might go a little too far in formalizing the two-party system in a way that would have undesriable consequences. A better approach to drawing Congressional districts would be something like this:

https://bdistricting.com/

"Impartial Automatic Redistricting... optimized for equal population and compactness only."
Speed. Simplicity. And RAM usage.
It's written much better than any reference book has any business being written. It's also very much intended to be both a survey and a reference work, among other things. But at this point, we've shaved the yak to a smooth shine and are carefully splitting the yak-hairs one by one. GEB ain't no TAOCP.
>> can hold approx. 2.5 petabytes

Depends on the type of media being stored. The drive uses different compression algorithms for different types of data. We don't store video as video. We remember situations and relationships of objects, then draw those object's onto the situation during recall. This is a big deal in areas like eye witness testimony, or pilots flying a plane. Sometimes you remember that an object (ie an instrument) was at a particular location, recognize it, and remember it according to the previous memory rather than save a second copy. That certainly saves space on the drive, but risks loss of current details. An abnormal instrument reading may be lost when the pilot's brain substitutes an image from a previous memory.

The notorious Clyde, of Bonny and Clyde, broke out of jail with a bar of soap. He held it like a gun and told people it was a gun. Everyone remembered seeing him holding a gun. Their brains stored a generic gun image and afterwards had a very clear memory of the gun, which was only ever a bar of soap pained black with boot polish.
The New Oil Cartel Threatening OPEC
China is an interesting case because many of the startups are directly backed by government interests. This is also true for SV but not to the extent that it is in China. Most SV firms are backed by private capital with a few notable exceptions (In-Q-Tel).

It's not really an apples to apples comparison. Massive government funding is providing huge amounts of capital to make this happen and there is speculation on bubbles forming by cheap credit with few strings attached.

Links:

http://www.chinadaily.com.cn/business/2017-07/28/content_302...

https://news.crunchbase.com/news/one-china-based-vc-backed-g...

https://www.wsj.com/articles/chinas-tech-startup-funding-the...
Thanks for that link!

I haven't added a custom block list to my Pi-hole before, this looks more complicated than I would have hoped.
That's not true at all. There are a lot more use cases for self driving technology than taxi services. In fact I'm continuously perplexed as to why this specific use case, which is obviously the most challenging and likely to be the last to reach the market, is always first in these discussions.
Easily avoidable if Google had not screw Sun in first place, and if they bothered to buy it afterwards when Sun went bankrupt.

Apparently they thought they could get away with it.

And there are still lots of jars on Maven central that are unusable on Android Oreo.

Because even after switching to OpenJDK, they cherry pick APIs from there and ART does not support all JVM bytecode features.