skysight-inc/HackerNews huggingface dataset:
This is the sort of thought people have when they haven't actually used the language much. It is also an example of something Typescript is really good at. If you try to use an `any` value - or any nullable typed value - that hasn't been checked for null, it is a type error. Sure you could write a type definition for a Javascript function that is a lie and say that it cannot return a null when it can, and then guess what? You'll get a runtime error and debugging it is identical to Javascript.

In fact I do not know of any language that is actually safe at it's FFI boundaries. Rust isn't, Haskell isn't. You could get a value back from a C function that you were told would be allocated 64-bytes and actually it was only 32, so you'll have an overflow somewhere later. The Typescript / Javascript boundary is similar, though obviously not as dangerous.
Apple could get back at Qualcomm and charge $100 for an Iphone, right?
> If the root servers and major .tlds would support dns-over-tls every home router could just run a full recursive dns resolver by itself

Emphasis mine. Every home router running its own recursive resolver instead of asking a large shared recursive resolver is exactly what I outlined.

If you interpreted it differently, perhaps you can provide some details as to how you did interpret it rather than just saying I'm wrong?
It's a genuine question; their most recent games have been an FPS, a MOBA, and a card game. I can't tell what "cutting edge game tech" that they happen to be creating with them.

Good games? Depending on your outlook, yeah. But there's nothing really...different? About them?

Their anticheat, maybe? It's a bit impressive.
Instagram Search and Explore: A Complete Guide
Sure. But saying "Locke was right" in a context where we're discussing an experiment run two centuries later certainly seems to be implying some kind of comparable discourse, no?

I mean: "Einstein was right" in the context of the Michelson-Morley experiment means that he came up with a predictive theory that was later confirmed by practical scientists. Locke didn't. By scientific standards, he just guessed without any grounding. That distinction is really important!

Edit to expand my point: the bottom line is that our current understanding of neurology has no bearing on who was "right" in a 200-year-old discussion, even though they are "technically" about the same subject. It just doesn't matter. If you want philosophy to be a separate domain from science (and we do, for obvious reasons), you need to keep it separate and not use science to argue about who was the better philosopher.
Agree. I'm working through the rubber docker lab now. The fact that docker (a) handles all the details of cgroups, overlays, namespaces; (b) is super easy to use; and (c) runs cross-platform is impressive.
Great job by T-Mobile allowing a social media rep to make claims about their security. No doubt they'll be grateful for the free pen-testing that followed.

Just now I see tweets on my feed in which people claim to have found XSS vulnerabilities[0], so I don't doubt they're doing security wrong. How big is their GDPR fine going to be I wonder?

[0]: https://twitter.com/fabricio_giglio/status/98236273592413798...
> China is less imperialistic and appears to mess less with other country affairs

China threatens Taiwan INVASION to 'unify state' with FORCE if US Navy arrive

https://www.express.co.uk/news/world/890698/World-War-3-Chin...

Chinese Police Are Demanding Personal Information From Uighurs in France

http://foreignpolicy.com/2018/03/02/chinese-police-are-secre...

China demands immediate halt to THAAD missile system now ‘operational’ in South Korea

http://www.scmp.com/news/asia/east-asia/article/2092259/nort...
I built a smart home system with FHEM and HomeMatic for my second flat. I was able to turn on the heating, set and monitor the temperature. This saved my lots of energy costs compared to a timer-based system, as well as many cold nights because the heating didn't turn on at the right time. Neither the flat, nor the smart home system still exist. Once I move into a new flat, I'll build another one.
AWS Announces Amazon S3 One Zone-Infrequent Access (Z-IA)
I dunno linguistics seem mess up programming more, like mixing singular and plural names for fields/variables (customer_name vs customers_name), I always am trying to whittle stuff down to the best descriptors than trying to make it more expressive. Expressive is best in comments. :-)
This is a pretty standard definition (though sometimes the words get swapped). E.g. you see a very similar sentence in Wikipedia:

> Informally, a soundness theorem for a deductive system expresses that all provable sentences are true. Completeness states that all true sentences are provable.

https://en.wikipedia.org/wiki/Soundness#Relation_to_complete...

You could probably follow the references there to more authoritative sources.
And expressions out of context make absolutely no sense. His usage was borderline but still applies.

Perhaps, rather than sit up on that high horse, you should come back down here and figure out that explaining an expression like that is HELPFUL in a discussion full of people from across the world that may or may not have ever heard it.
This. Newly-sighted people have no idea whatsoever what to make of the torrent of confusing sensory data they're suddently receiving. Their brains simply haven't grown the really complicated pattern-recognition machinery required to reason about perspective projection, lighting and shading, shadows, colors and textures, and everything else people sighted from birth take for granted.
Are they available for Linux?
There's a proposal for 12-digit phone numbers in the NANP (US and Canada), but the current 10-digit numbering plan isn't expected to run out of numbers until 2044.

https://en.wikipedia.org/wiki/North_American_Numbering_Plan_...
Art, Reality, and the Brain: The Quest for Aesthetic Universals - Dr. V.S. Ramachandran

https://www.youtube.com/watch?v=6fipuHMHqxU
I haven’t been paying much attention, but I just read this report on the event: https://www.google.com/amp/s/amp.theguardian.com/world/2017/... and noted this:

> However, Susan Shirk, the head of the 21st Century China Centre at the University of California, San Diego, disputed the portrayal of Xi as an almighty Mao-like figure.

> “He’s ruling differently, for sure, and people are intimidated by him because of the anti-corruption campaign.” But Shirk said she was reserving judgment on whether Xi was attempting “a real dictatorial play” until the new line-up of China’s top ruling council, the politburo standing committee, was announced on Wednesday.

> If that committee included at least one of three possible successors – Hu Chunhua, Chen Min’er or Zhang Qingwei – that would signal Xi’s intention to step down in 2022, she said. If no clear successor emerged, however, it would fuel fears that Xi was “going for broke, all-out to be a dictator” and planned to remain in power indefinitely.

I looked and none of those individuals were appointed to the standing committee of the politburo. Two of them are on the regular politburo (Min’er and Chunhua), but Shirk referenced the standing committee specifically. So by her measure this is a dictatorial path.
This observation comes from this piece of code:

u_int8_t necp_tcp_tfo_cookie[NECP_TFO_COOKIE_LEN_MAX];
u_int8_t necp_tcp_tfo_cookie_len;

If the buffer was 256 bytes instead of 16, it would not be overflowable since its length is only specified in 8 bits. Alternatively, make this "cookie" always a fixed-length of 16 bytes (why would it need to be variable length? From reading through the article I get the impression that this is just an identifier.)
But that's not what happened during the cold war. The US and Soviet Union both fought over allies, influenced affairs in other countries, engaged in proxy wars, etc

You say "block intervention"... how does that work? That sounds like a proxy war to me... like the korean war, or vietnam, or afghanistan in the 80s. It's not peace, it's just bloodier.

The world is more peaceful today without the Soviet Unions fight for influence.
> how did we get from always knowing when you're failed to "just drive very, very slow when", when dealing with situations that human drivers deal with all the time

You raised this scenario:

> there's a very drunk person on the sidewalk. As a human driver, you know he might act unexpectedly so you slow down...

I was just responding to that.

> Let's not pretend that anticipating potentially dangerous behaviour from subtle clues is some once-in-a-lifetime corner case.

I never said it was. All I said was that "failure must be defined with respect to some model." If you really want to anticipate every contingency then you have to take into account some very unlikely possibilities, like bazookas or (to choose a slightly more plausible example) having someone hiding behind the parked car that you are driving past and jumping out just at the wrong moment.

The kind of "failure" that I'm talking about is not a failure to anticipate all possible contingencies, but a failure to act correctly given your design goals and the information you have at your disposal. Hitting someone who jumps out at you from behind a parked car, or failing to avoid a bazooka attack, may or may not be a failure depending on your design criteria. But the situation in the OP video was not a corner case. Steering into a static barrier at freeway speeds is just very clearly not the right answer under any reasonable design criteria for an autonomous vehicle.

My claim is simply that given a set of design criteria, you cannot in general build a system that never fails according to those criteria, but you can build a system that, if it fails, knows that it has failed. I further claim that this is useful because you can then put a layer on top of this failure-detection mechanism that can recover from point failures, and so increase the overall system reliability. If you really want to know the details, go read the thesis or the paper.

These are not particularly deep or revolutionary claims. If you think they are, then you haven't understood them. These are really just codifications of some engineering common-sense. Back in 1991, applying this common sense to autonomous robots was new. In 2018 it should be standard practice, but apparently it's not.
Questions I have:
what's the number of Mark's messages that have been deleted before upcoming Congressional hearings?
Is it greater or less than those 33K emails that Hillary Clinton has deleted after getting the subpoena?
Does Mark understand that after uncovering this story his career is most likely ruined forever?
One reason it can be so frustrating (to me) to practice the “read a bunch of schematics” approach is that, unlike code that tends to be filled with inherent textual clues like filenames, function names, and variable names, electronic schematics tend to be very cryptic. Single letter names, only a subtle visual grouping of components to show functional units, no hint of the rationale behind component value choices. If this equalizer were digital, the filter would be a function called StateVariableFilter(), and you wouldn’t have had to intuit that from looking at it.

Basically, whenever I look at a schematic, I think “why do analog engineers like to work in the equivalent of assembly language?”

I do more digital than analog electronics, and based on Verilog and VHDL, those folks seem to be working with “stone knives and bear skins” too! At least they get to have real names for things.

Not being at all a professional electronic engineer, I’m sure this a misguided reaction, but I’m not sure exactly how.
The goal of block based languages like Scratch is to allow beginners to be able to worry about logical errors without wasting nearly all of their time on syntax errors instead. Sinclair was able to get the same effect on his machines with his multi-mode cursor and one Basic keyword per key (of course, the horrible membrane keyboards he used made this the only reasonable option).

The main problem with block based languages is that short code fragments take up the whole screen. This keeps people from ever going beyond trivial initial examples.
What tech stack is behind it?
I'm talking about all the Microsoft software available only for Windows, and all the closed services they won't let you use without the official client. I think it's the same story.
> and I'm about to blow my brains out.

Please don't.

A. You'll mess up that screen you're paid to stare into ;)

B. More seriously, if you ain't being facetious, switch jobs.

But to your point: work is a drag. I don't care how free the food is or how comfortable your ergonomic keyboard feels. Deep down there's something dissatisfying about most corporate life. But at the same time it's never been easier to (try!) start your own thing, as you suggest.

To anybody reading this, go for it. Before responsibility limits your risk-taking. And give it absolutely everything.
Yes, WinMo was still being used in the enterprise, mainly in industrial PDAs, but definitely not in the consumer market.

I think that the main reason why Microsoft decided to drop compatibility with WinMo (apart from small marketshare) was the fact that it was using extremely outdated UI conventions.

Almost all Windows Mobile apps were designed to be used with a stylus. Tiny widgets, small fonts etc. There was no place for that in the post-iPhone-launch world.

Benefits from creating new OS from scratch outweighted value added by compatibility with an outdated platform.
> no development on the LAN

Does this just mean staging/shared servers are not deployed on machines inside the corporate network, or that developers can't have their dev environment locally and instead remote in to some other machine to do their work?

I've heard of the latter in a few companies and it's always the kind of thing that makes me nope out of every applying to them.
PostgreSQL does this out of the box with :

CREATE EXTENSION file_fdw;
CREATE SERVER import FOREIGN DATA WRAPPER file_fdw;
CREATE FOREIGN TABLE foo (
col1 text,
col2 text,
...
) SERVER import
OPTIONS ( filename '/path/to/foo.csv', format 'csv' );
SELECT col1 FROM foo WHERE col2='x';
Show HN: Fileshifter – Easily convert files and videos between different formats
I started with EEVBlog, especially "Fundamentals Friday" and the series where he designs things. Next, I turned to the textbook at AllAboutCircuits.

Next thing I did was design and build a DC lab. I bought my meters and scopes outright, but designed and built my own DC load and power supply. Since I'd already watched Dave's videos about them on EEVBlog, they were obviously influenced by his design, but I made a couple of non-trivial changes to the spec so that I'd have to make my own design decisions. I found this electronics stackexchange post very helpful for heat dissipation calculations [0]. Also, while it's very simple and not suitable for complex or precise work, Falstad's circuit simulator was very helpful for experimenting [1].

My next step was fixing things. This gave me an opportunity to do a bunch of things:

* Become familiar with ICs. At first I always had to look up the number on every IC I saw to figure out how it was supposed to behave before I could test if its actual behavior matched, but over time you'll start recognizing those numbers and understanding why it was chosen over another component that does the same job.

* Drawing schematics. Debugging is really hard without a schematic, so on anything remotely complex, my first step was often searching for a schematic. This search often came up empty, so my second step would be following all the traces and looking up all the chips so that I could draw a circuit diagram and figure out roughly what I should expect.

* Soldering. This should be fairly self-explanatory.

Frankly, I haven't gotten past here yet. I'm not terribly good with AC theory or RF stuff. I came to this thread looking for recommendations on that part, but I don't think there's any reason my methods so far wouldn't work; I just haven't had the time.

[0]: https://electronics.stackexchange.com/questions/55513/can-a-...

[1]: http://www.falstad.com/circuit/
I do, though I'm not from there. I went to Shaky Knees on a whim with a friend last year, and I loved the city and everybody I met. It makes me want to move there. I loved going to bars and actually talking to people I didn't know, something that feels foreign and improper in Seattle.

I'm of the opinion that liberal western US cities hate southern politics so much that they quickly jump to the conclusion that everything in the south sucks. Terrible mistake.
Acts 20:35 - "In everything I showed you that by working hard in this manner you must help the weak and remember the words of the Lord Jesus, that He Himself said, ‘It is more blessed to give than to receive.’”
Well, it's kinda fun that the very word of meritocracy was invented as a dystopian word, but now it got a positive connotation. That's not a straw man: it's a fun fact.
ManyCam 6.3.2 Crack and Activation Code Full [Version] Free Download
Generally when people have to use the word “obscene” it’s because they can’t make an argument in moral grounds. See: obscenity laws.

But I’d like to here your argument on why this is immoral.
I switched from Android to the Windows Phone and greatly preferred it. I liked the look, the responsiveness, and the dearth of apps wasn't a problem initially. I was never a huge fan of live tiles, though, because I like my UI to stay still and let me focus on what I focus on. But what ultimately drove me away was the inexplicably shitty Kindle app. I read a lot on my phone, and the Kindle app would skip lines on page turns, for a very disorienting and frustrating reading experience.
They already are.

Doesn't work for anything notable with a sole exception of Steam, which will probably blacklist it in an hour.
I've lived in the Midwest my whole life and the trucks here are American but the sedans (which most families have at least one of) are still Toyota or Honda
I remember Microsoft updated the app and definitely at least removed downloading. I think they did their best on fixing the other issues too. Google still made excuses.

The other infamous Google move towards Windows Phone was blocking access in certain ways to Google Maps.
Only under certain circumstances. It's not inevitable that we be this way. Our most powerful societies cultivate a condition where our economic activity is this way.
> Google has actually been pretty eager in developing iOS apps AFAIK, sometimes releasing it even sooner than Android platform. If Windows Phone really gained traction, maybe Google will develop apps for it too. Remember it's more of a service company than a hardware company.

Their support for iOS is second-class for more than a few apps; like Inbox for Gmail.
As I was saying in the comment, Java is sound* by their definition of what soundness means, and it is exactly why it's a great example. You probably have some intuition about some desired property you have (like "doesn't crash/throw at runtime"), but that is a different property than soundness. You can certainly evaluate a type system against that property as well. But a type system that completely proves a program does not crash at runtime must be able to e.g. prove that it never runs out of memory, that recursive functions terminate, and the resulting allowable programs cannot do very much.

* It turns out Java accidentally turned out to be unsound in a really obscure corner case, unrelated to the nulls thing. https://hackernoon.com/java-is-unsound-28c84cb2b3f
Richest 1% on target to own two-thirds of all wealth by 2030
Most of the arguments I read here are the same one: WP was fast and smooth. But it was not particularly fast, you are simply comparing it to Android, which fucking sucks.

And other than that, it had no other redeeming qualities.
Apache Drill (https://drill.apache.org/) is also a great alternative. Although advertised as a query engine for Hadoop, it works perfectly fine on local CSV and JSON files.
Someone posted this above.

https://www.foodnavigator.com/Article/2008/04/17/Coca-Cola-w...

Supposedly diet coke from fountains contains saccharine
No problem. I think you did a great job persisting with your project!
Are there countries where it's not necessary to recycle them?
TFA was solely about luggage that was permanently lost, not temporarily.

I was answering the GP's question if they are just lucky or if they can expect lost luggage with 20 years of regular travel. The answer is: the odds are highly in your favor of not having an airline lose your bags, even after 20 years of regularly entrusting your bags to the airline.
> Writing in the first century, Seneca was startled by how little people seemed to value their lives as they were living them—how busy, terribly busy, everyone seemed to be, mortal in their fears, immortal in their desires and wasteful of their time. He noticed how even wealthy people hustled their lives along, ruing their fortune, anticipating a time in the future when they would rest.

Living fully in this moment now feels way underrated.
Okay so how about inflation coupled with basic human nature: 'greed'?
OpenAdmin, free Dashboard template
So perhaps we should fix the problem at the root, rather than needing disposable email address or phone number services.
I'm not sure what question you are asking. But I'm fine with the idea that materialism is wrong, if there exists physical world which is contained in someone's imagination. That's basically "if God exists, then materialism is wrong." In other words Chalmers has no psychic powers to verify that the world he conceived satisfy ~Q, unless this world exists in his imagination.
Ask HN: Best shoes for sysadmins?
PR stunts also produce value, indirectly
Storage not memory
No they're not because of multitude of reasons but they now use a open XML format that does way better interchange with openOffice etc. and don't actively try to shut down those products.
Ask professionals; I had an idea for some real estate listing thing, and just went to a local real estate agent to inquire how stuff works, I asked if there were issues they face which related to what I was thinking of.

Most folks are willing in giving you some basic insight into what they do. Maybe if the field is under trade secrets or one other development field would be a different story, or if you are looking to "disrupt their industry". If disruption is the goal then might be best to inquire in another far away town and say you want to do X in my town of Y... Less threatening if you are not competing in someone's competitive market.

As you learn more you will engage the people you talk to with your knowledge and as you progress you will get more help. Trying to get in depth knowledge cold-turkey would seem like a waste of time for most professionals.
Ignoring timescale, modeling a single tumor as a parasite of humans seems the same as modeling humanity as parasites of nature/world/universe.
No, no, nooo! No way for EU candidate? When I've seen "Signal" I've almost jumped on my chair. Please, say there may be an exception!
I had the exact same issue and solution. I don't think I am celiac and I ate gluten for over 20+ years. I used to get 3+ major sinus infections a year and doctors wanted to perform nasal surgery on me.

After having cut out dairy a few years earlier due to realizing I was lactose intolerant, I then experimented with cutting out wheat. All my sinus issues went away, my headaches went away, my depression went away, my brain fog went away.

I suggested this to a few family members, and it had the same affect when they cut the things out.

It is crazy that I did not have any doctors ever suggest this to me, and it was just a result of the food I was eating.

I wish there was more research and education that went into this, as I imagine it might be affecting quite a few people.
I haven't used chrome with the controls on the bottom, but it sounds like a good idea to me. What's dumb about it?