skysight-inc/HackerNews huggingface dataset:
You have a funny definition of "type theory".

That article just documents that the safety benefits of static typing are, empirically, rather minuscule, especially compared to the claims for the benefits, which are vastly overblown.

That said: I still like to be able to statically type my programs. I just don't expect it to yield a significant safety benefit (documentation benefit is more important).

Here is another:

https://labs.ig.com/static-typing-promise
3) The magic behind this argument is the same as the magic behind lowering interest rates: cheaper capital results in more investment and more jobs.

If you believe that corporations have a reasonable supply of projects they could fund, that on average funding these projects results in job-creation, and that these projects have varying levels of risk and return, then the argument follows. Based on these assumptions, there are likely to be many projects for which the risk/reward profile would suggest you fund them, except if you have to invest 40-50% more upfront just to repatriate your cash, the economics stop working. If you eliminate the tax, therefore, more of these projects will be funded and jobs will be created.

A reasonable follow-up question would be: how many jobs will be created? The $ at stake for the government is knowable I imagine, so it would be interesting to look at $/job or some such cost/benefit metric. This is getting too far down the toy model, but one answer might be: if the NPV of a project is >0, then 35% of that NPV is still positive, so the government should "fund" it by allowing the tax holiday (their discount rate is almost surely lower than everyone else's).
This is a terrible argument from authority. You didn't actually look at the GTA data, did you? I did, and most of it falls into the categories I outlined in my original comments.
Security Win: Burr-Feinstein Proposal Declared “Dead” for This Year
Artículos: Su negocio basado en casa para ganar dinero
It provides a Lisp interpreter written in C.

You can read the implementation... code:

http://www.ulisp.com/list?1BWZ
Scammed by a $20 Oil Change
I always find using hotels.com or booking.com works better than AirBnB just too much hassle and back and forth, unless I really want to save that extra $10 motel will do just fine.
Not the ones that I've encountered... they used the same dose at the same intervals for the whole period of time... maybe to keep a lethal level in your system the whole time.
operating system that does away with Unix's wrinkles

What would those be?
Standard retaliatory tactic so they can tell investors the ex-employees are actually the bad apples and of course not the company.

The impression I get is that the only secret ML actually has is that they are years away from showing anything to validate their worth (by which point many competitors will have shown their cards and removed the 'magic' from the leap).
I'm a brown man and having my white blond blue-eyed girlfriend in my Airbnb photo with me made all the difference. At least we've gotten past issues with miscegenation.
Funny enough the same logic didn't apply to their Android app when they were running up against Dalvik method limits..although to an extent it did in another way.
There are 3.5M people in the Eastern District of Texas. However, the seat of the court is in Tyler, which has a metro area population of about 215K. Tyler will be where the majority of jurors come from, so that would be where the impact was felt most by jurors.
I'd like to hear you expand on that, perhaps we don't align on the definition of elegant? I think the Lighthouse system is elegant specifically because it doesn't use cameras at all. That's what makes it so cool is that it's not limited by sensor resolution, to get really accurate tracking using cameras you need to crunch a LOT of data really quickly. I wouldn't be surprised if it's order's of magnitude less computationally expensive, especially since IIRC in the Lighthouse system most of the heavy lifting is done using an FPGA.

I think the system mentioned by jc4p is similarly elegant but for different reasons. Based on a skim through the article he posted I'd say the Lighthouse system is likely cheaper, and can more easily track multiple (infinite really since the tracking is done on the object rather than using the base station) objects, but won't have the same sort of range as MTS. Both are loads better than using cameras IMO.
It's not Airbnb. It's the users.

Though they can directly address this by taking photos out of the mix. Interesting question: Right or wrong to make decisions about trusting strangers based on how they look? I know my answer, what's HNs?
I'm aware and don't mean exclusive in that sense, just in the sense of being officially released on the platform. Many of the same games be released on the Rift once the touch controllers are out, negating the controller availability difference.

That said, Vive's tracking will still be the better of the two, as well as their cord length. I do wish the controllers were slightly more evolved though... :P
Actually the author (as well as Steltek just above you) stated Crissie is the friend he is going to visit, not the Airbnb host.
"The solution to bad metasystems is not to ban metasystems, it is to design better metasystems that allow these things in a more disciplined and more flexible way."

http://blog.metaobject.com/2016/05/what-missing-in-discussio...

See also: The Siren Call of KVO and Cocoa Bindings http://blog.metaobject.com/2014/03/the-siren-call-of-kvo-and...
... and also, perhaps inadvertently, explains some of the appeal of transhumanism.

"as long as we are human" could also be read as "as long as we are built on legacy hardware" ;-)
Companies like to use nonstandard terms so they can claim that they are "the only ones working in the artificial reality space."
I always like to point out the telegraph relay computer[0] built by one Harry Porter. I think that pretty much takes the cake for retro hardware. It also brings up the question of how early a binary computer could have been built, since the relay was invented in the early/mid 1800s[1] and Boolean logic in 1847[2]

[0] https://www.youtube.com/watch?v=n3wPBcmSb2U
[1] https://en.wikipedia.org/wiki/Relay#History
[2] https://en.wikipedia.org/wiki/George_Boole#Symbolic_logic
Lisp for Arduino sounds great. The C programming barrier has kept me from tinkering with Arduino. Does this give you access to arduino shields/expansion boards (wifi/gps/screens), or will that be dependent on device drivers?
Certainly this is better than camera based tracking but I don't think it's got a significant advantage over the Lighthouse system from a consumer standpoint. Especially when it comes to tracking multiple peripherals I have my doubts when it comes to MTS.
Not being critical or anything, but I was also floored. My spouse and I pretty much never cry. Different strokes, I guess.
> Most planes have a prominent red button you can press to disable the autopilot whenever it misbehaves.

Not really, or some pedantry.. the autopilot (heading and altitude) is disabled with a double-click on a small button either the yolk or the side-stick (boeing and airbus). Autothrottle (entirely separate) is disabled with a double-click on a small button on the sides of the throttle levers.

There is also a separate mechanism to disable it entirely, but it's usually a small button with an indistinct label (like "A/P" or "A/T") mixed in with a bunch of other buttons on the instrument cluster. Sometimes there is also a slightly larger "AP Disengage" button on some planes.

Most pilots I've seen will disable using the first method so they can be immediately "hands-on" when the system relinquishes control.
Related question... Is early BASIC the best we could do with all of our modern programming experience? If we were teleported back in time, knowing everything we do now, what could we accomplish in the same hardware constraints, language design wise?
"This feature is unavailable due to a lawsuit filed by VirnetX, Inc."

A necessary element for a defamation claim is that the statement be false. As this statement is 100% provably true, it is not defamation. They'd be thrown out in an instant.
Amortized Analysis Explained (2007) [pdf]
Your paragraphs 3 and 4 and excellent points I hadn't considered.

I think however it's not enough to conclude that consciously avoiding using antibiotics provides a net gain.

It, in my mind, becomes a bit of an economics question if you consider the trade-offs. Not dosing cattle could to food poisoning which could lead to higher human consumption of antibiotics.

I also have a fear of this becoming a panic, much like the anti-vaccine panic which leads people away from getting proper medical treatment.
Jawbone Ends Production of Fitness Trackers; Selling Speaker Business
>> VocalIQ’s success rate was over 90%, while Google Now, Siri, and Cortana were only successful about 20% of the time, according to one source.

That could be very impressive except we have no idea what VocalIQ was successful at, 90% of the time (if indeed it was 90% of the time and not something completely irrelevant).
It'a hard to believe they'd have $1.4 bn in funding without giving some tech demonstrations o their investors.
On the east coast, the mosquitos that carry Zika are found as far north as New York.
People that don't use a feature (whether it's introspection, dynamic message passing, classes, FP, actors, GC, type systems, etc) saying they won't miss it, tells us something about the person but not necessarily anything about the feature.
https://mobile.twitter.com/elonmusk/status/73427436058892697...

Check your sources. Max damage meant upper limit of the range of expected damage.
I don't disagree with you. Just seemed like we were getting into the bizarre talking about teams of grad students to create something that already existed, unless I just didn't detect the sarcasm.
I'm very worried those next big things aren't coming. If they do, they'll come from China and not the US.

Why? The low government spending on R&D, from the US. So much technology came from government R&D. I just don't think private R&D is enough for the "next big thing".
I think this was a plot to a Michael Crichton novel, except instead of Zina it was a terrorist group's bioweapon.
@kazinator, some people might prefer the ability to have video-conferencing sessions, from the comfort of the home and/or home office. That fills a real human need for connectedness.
From the guy who wrote that frameworks are bullshit, and made his money leaning heavily on some of the most well-designed frameworks in the industry.
They already got their billions from Facebook, so just desserts at this point mostly affect the consumers who just got locked in, months after their purchase.
Totally agree. I'll also add that we don't even need to definitively eradicate the possibility of cancer to consider it effectively "cured". If we can reduce the rate of cancers such that they only start to appear in populations that are approaching, say, 80+ years of age, it will probably become more effective to focus on other leading causes of death rather than dwelling on cancers that end up killing people in their 100s (if general life expectancy rises to the point where cancer becomes endemic among the bustling 100+ age demographic, we can cross that bridge when we come to it)
To be more specific, this is the HTTP response header that contains _some_ domains that resolve to the local loopback device, formatted to fit nicely.

content-security-policy:
default-src * data: blob:;script-src *.facebook.com *.fbcdn.net
*.facebook.net *.google-analytics.com *.virtualearth.net *.google.com 127.0.0.1:*
*.spotilocal.com:* 'unsafe-inline' 'unsafe-eval'
fbstatic-a.akamaihd.net
fbcdn-static-b-a.akamaihd.net
*.atlassolutions.com blob:
chrome-extension://lifbcibllhkdhoafpjfnlhfpfgnpldfl;style-src * 'unsafe-inline'
data:;connect-src *.facebook.com *.fbcdn.net *.facebook.net *.spotilocal.com:*
*.akamaihd.net wss://*.facebook.com:* https://fb.scanandcleanlocal.com:*
*.atlassolutions.com attachment.fbsbx.com ws://localhost:* blob: 127.0.0.1:*;
straw man argument is made of straw.
If the corpus is human levels though then all of the interesting gimmicks are human though, no?
Flare: automatic UIs in Purescript
This is game theoretics at its best: A new game with rules that are executed reliably, huge amounts of money, huge numbers of voting participants.

I think that the most reasonable thing will happen over the long run, but in the meantime there will be some drama. Thankfully the community and leaders are well-prepared and well-equipped.
> That article just documents that the safety benefits of static typing are, empirically, rather minuscule, especially compared to the claims for the benefits, which are vastly overblown.

Right, which is why I said that you fundamentally misunderstand type theory.

> https://labs.ig.com/static-typing-promise

This article is laughable. There is like billion confounding factors.
A while ago I was reading a harrowing description of life in the 1930s. One of the author's memories was the sound of a neighbour in a nearby house screaming - and screaming, and screaming - in unbearable pain while dying of cancer.

We've definitely moved on since then. Moonshot or no, anything that helps make that experience less likely has to be a good thing.
Missed opportunity: the photo editor could've folded out the newspapers and shown ads below the fold. Would've looked great paired with the headline
Ask HN: How to set up a minimalist professional web page these days
I'm thinking it might be time for me to start branching out on my own. I've been doing analytics and stats for a long time now. But I haven't done anything with the web for almost a decade.

What's a recommended path to setting up a nice clean, minimal, compatible website/web presence these days for myself.

I'm thinking things like no advertising, email domains, minimal overhead, maximum compatibility. Oh and I guess I'll need a domain :p

Dev time on my behalf kept to a minimum would be a plus, obviously? I'm willing to pay a bit of money (think what one guy can afford on a decent salary) for tooling...(but I want to do the actual work myself).

Content wise I'm thinking primarily involving written articles, books, papers, blogs, visualisations, and maybe links to video/presentations.

So how about it HN? Possible, easy, silly? What do you suggest?
It will lead to a lot of that but there are limits. Personal use of car/etc is considered a taxable benefit, only 'business use' can be expensed but it could be abused.
A particular thing I'm missing is to share read access to private repos with a link. Could be useful to share work with people that doesn't have a GitHub account (managers, etc)
uLisp includes a mark and sweep garbage collector. Garbage collection takes under 1 msec on an Arduino Uno or under 3 msec on an Arduino Mega 2560.

I wonder how predictable and controllable that is. Adding GC to what is likely to be a real-time device seems like a potential showstopper. But if the numbers can be a bit more firm, or if the application can receive alerts on pause / resume, that might not be such a big deal.
I don't think I have Aspergers... but same here. I cry maybe once a year. Reading this thread makes me think, I'm some kind of heartless robot.
I've been following zika since it hit the press.

This is a very serious disease that will become endemic wherever the Egyptian mosquito is found, including the USA. No country is prepared to deal with it.

So by very serious, think malaria. I'd rather deal with ebola than zika.
One glaring difference is that aircraft pilots have substantially higher training requirements than car drivers. And the pilots of large aircraft that typically use autopilot, are all trained professionals.
Don't most of those end up JIT'd into native binary code, anyhow? The compiler would output code into a W page, then flip it to an X page and jump in.

If it's just an interpreter, then the "sort-of executable" is just data being read, and the page can stay write-only.
What is meant by cash in this context? I'm assuming a lot of it is invested in financial vehicles with varying degrees of risk and liquidity? It's not just sitting in a savings account earning 0.01% interest, is it?
This paper's thesis is that W^X does not work, and not because of any of the reasons presented in this thread: https://cseweb.ucsd.edu/~hovav/dist/geometry.pdf

The paper says that to bypass W^X protection, you can simply scan an executable for "the instruction you want to use, followed by a RET". The paper calls these "gadgets."

You can write any function you want by using these gadgets: simply call them. When you call a gadget, it executes the corresponding instruction, then returns. This allows you to write arbitrary functions, since real-world programs are large enough that they have a massive number of gadgets for you to choose from.

Can someone provide a counterargument?
Especially if, as was the thrust of many of the articles, they actually are using those features, and quite heavily at that. They just don't see them directly.

Kind of reminds me of the old slogan from the anti-nuclear movement in Germany: "Atomkraft, Nein Danke! Strom kommt aus der Steckdose". (We don't need no stinkin' nuclear power, electricity comes out of the wall socket)
Further, XOR is an exclusive OR. In boolean logic, this means that the two values MUST be different. So 0 ^ 0 would 0, and 1 ^ 1 would also be 0. However, 1 ^ 0 would be 1.
really want to give it a try but do not have any PC's left with a CD ROM to try it on. all the factory embedded windows systems are USB Install. Still good progress and I can wait.
I understand why he might drop out of Reddit posting - the Oculus subreddit has been prone to fanboy flame wars the last few months. But he has also been conspicuously absent from Twitter the last few weeks. it does make me wonder about internal conflict at Facebook/Oculus.
Ok maybe just tens of millions. A lot of people rarely change their passwords.
This. I'm a grown-ass adult and cried when my father left after visiting. Was it because I was too much of a wimp to be alone and needed my parents? No. It was the shock of having seen someone I'd known my whole life age noticeably, a feeling of simultaneous concern and powerlessness over an array of health concerns, and anticipatory grief centered around the certainty that he will one day die and we both will experience incredible pain as a result.
Makes you wonder what will be built in the next hundred years with what we have available now.
> XOR

> eXclusive OR

Who would've thought.
I was about to post the same- the article has such a "nothing is worth doing" level of pessimism about medicine that halfway through I was wondering if the author was suffering from depression.

He's right that an ever-older population will bring about more cancers- so we'd better have ways to treat them. And he's right that the "cancer moonshot" likely won't provide the singular, all-out cure, but no one outside of politicians claims it would; instead it will help provide partial cures that can reclaim thousands of healthy human-life-years, a worthy use of the money. That a professor of medicine draws such a poor picture of these issues sounds downright pathological.
An import/export format for issues.
Mine is a true home page. There isn't anything on their but hand written HTML that contains links to my online stuff. Not really anything special. It also contains a picture of myself and my email. I wrote some obfuscated javascript to write my email to the document.
Yeah, we'll definitely want a "dementia moonshot", or a few, before we attempt to create a generation of centenarians. However, cancer incidence climbs terrifyingly rapidly when people reach their 60s - long before we are ready to give up on them. A successful cancer moonshot (and the Nixon one, by the way, was quite successful) will let millions of people enjoy many good years with their loved ones; not to mention that it would also save many young people from dying of cancer, although that's a much smaller share of cancer patients.
Cypherpunks, cryptocurrencies, hackers and changing the world through tech
I've always been in favor of all OpenBSD security enhancements I've seen, but I have to say, and please hear me out, this is an objectively terrible idea.

Yes, most programs should disallow W|X by default. But trying to banish the entire practice with a mount flag, knowing full well few people will go that far to run a W|X application, is bad practice. I'd rather see this as another specialty chmod flag ala SUID, SGID, etc. Or something along those lines. One shouldn't have to enable filesystem-wide W|X just to run one application.

The thing is, when you actually do need W|X, there is no simple workaround. Many emulators and JITs need to be able to dynamically recompile instructions to native machine code to achieve acceptable performance (emulating a 3GHz processor is just not going to happen with an interpreter.) For a particularly busy dynamic recompiler, having to constantly call mprotect to toggle the page flags between W!X and X!W will impact performance too greatly, since that is a syscall requiring a kernel-level transition.

We also have app stores banning the use of this technique as well. This is a very troubling trend lately; it is throwing the baby out with the bathwater.

EDIT: tj responded to me on Twitter: "the per-mountpoint idea is just an initial method; it'll be refined as time goes on. i think per-binary w^x is in the pipeline." -- that will not only resolve my concerns, but in fact would be my ideal design to balance security and performance.
I was just trying to illustrate for the people that read HN that don't have CS backgrounds. Didn't mean to patronize you.
This reminds me of muLISP [0].

[0]: https://de.wikipedia.org/wiki/MuLISP
Thank you for laying out the likely outcomes. My issue is two-fold: 1) we're basically saying "I guess 15% (dividend and long term cap gains tax) at most (probably less) is good enough" instead of the 35% they would normally pay, which just generally seems like bad thinking to me when it comes to setting policy, rather than finding a different solution. And 2) I'm not aware of any evidence that b, c, and d are likely to have a positive outcome for the US as a whole rather than for individuals. (b) assumes that capital gains will be realized and taxed within a short-term time frame, (c) assumes that banks are actually in need of reserves, which I don't believe is true [1], and (d) assumes that alternate investments would actually be pursued that aren't being funded right now, which I'm also not sure is true to any significant extent (ex. Google already has Tech Stars and spends mountains of cash on real estate)

[1] https://twitter.com/dallasfed/status/433408941947494400
But clearly the neurological disorders are rare, as Brazil has had saturation level Zika exposure and a noted uptick in birth defects, it has not had a similarly sized (or even noted that I can find) uptick in neurological disorders.

This is made even more interesting because the set of people who have contracted the virus and have brains, is significantly larger than the set of people who have contracted the virus and are pregnant (which is a proper subset of the above group). So from a risk perspective it seems less of an issue than West Nile in men/non-pregnant women.
I've watched the SpaceX launches with my 4-year-old and 2-year-old. Exciting for me, but they really get into it as well. Indoctrination at it's finest. I was born in the 80s and missed the moon race, so it's nice to have this new space race.
Is "artificial reality" a term that AR/VR companies are actually starting to throw around, or is possible that the term arose out of reporters mistakenly thinking "AR" stands for stands for "artificial reality" and not "augmented reality"?