skysight-inc/HackerNews huggingface dataset:
Elad Gil: How to make career decisions
Arizona doesn't observe daylight savings.
Even if the seats don't have ashtrays, there's usually (always?) one in each bathroom
Program correctness (safety) is way more than just the memory access guarantees Rust gives you.
> We worry he won't be around in an year or so, when things start to break.

I don't understand what this has to do with anything. It's more like you want someone to blame when (and if) shit hits the fan. I get that office politics are equally important and we have to learn to successfully navigate through them, but seriously it is NOT cool to think and act like this... If you don't like the PR/MR don't merge it, stand your ground for the greater good.
The Signal protocol (https://en.wikipedia.org/wiki/Signal_Protocol) has been vetted, and the code is online available to be audited:

- Signal code: https://github.com/whispersystems/

Telegram has had known flaws, which have been discussed in part here:

- Telegram protocol defeated. Authors are going to modify crypto-algorithm https://news.ycombinator.com/item?id=6948742

- A Crypto Challenge For The Telegram Developers https://news.ycombinator.com/item?id=6936539

- Telegram (initial discussion) https://news.ycombinator.com/item?id=6913456

https://hn.algolia.com/?query=telegram&sort=byPopularity&pre...
you have to admit those are things with very minor effect on users. Sure, it will be nice to use APFS in the future, but it doesn't bring anything new.

OSX releases before Lion had much more innovative stuff, e.g.

* 10.4: spotlight, dashboard, automator, CoreImage, CoreAudio

* 10.5: time machine, spaces, cover flow, quick look, boot camp

Those are user-level improvements.
Regarding the points in the beginning of the article: So in this case, as in every other one, the answer seems to be "balance" :).

People tend to go for extremes as solutions to their problems... I'm guessing because extremes make for easy, clear answers. The thing is, the answer depends on where you are. For some people, adding discipline to their day is a good thing, for others, cutting themselves some slack is what's necessary. For some projects, adding some structure to the process would be a benefit, other projects may need to be more agile. And I'm not talking about different types of people and projects, just that depending on where you are, the correct advice is different, and not applicable to a person or project currently on the other end of the scale.

This happens in every field: "train harder", "train less hard", "eat more carbs", "eat less carbs"... The tricky thing is that the optimal route is generally not at either extreme, but somewhere in the middle. I guess you learn to recognise the correct balance with experience (or guidance).
Domains – Purchase Bulk Domains Package – EASY
An excellent question, but one the article makes no serious attempt to answer.
You are right about agda. Idris however is not total by default.
How much of the wtf-grade is due to media hype vs. reality? The US is a large country.

I'm sure you could find a lot of wtf-grade police stories across the entire EU.
The basic first step in any attempt is simply... become aware of the problem. As you say, yelling at yourself is the opposite of figuring things out.
Yes it is stable, inflation is a small steady largely predictable thing, that's what stability is, predictability. By contrast, Bitcoin is highly unstable, no one has any idea what it's value will be in a week, let alone 30 years down the road, but due to the dollars stability you'll have no problem finding 30 years loans denominated in USD. The USD is the very definition of a stable currency. Stable doesn't mean never losing value, it means being predictable enough to plan for the future.
When you mentioned "3D printed guns", it brought to mind the yeast strain in the novel "Rule 34" modified to synthesize spider silk for use in garden shed weapon factories. :)
I opened up 16 unique top level domain URL's. Process explorer indicated that there were 21 processes of chrome.exe.

edit: as noted below it's one process per domain.
I couldn't help noticing the difference you made between "your own stuff" and "the whole laptop", which is still your own stuff. You probably meant what's owned by your user id and what's owned by system user ids. Still that made me think.

I think there are two forces at work here. One is the increasing lack of trust in any piece of software downloaded on phones and computers. This because advertising, spyware, spies, etc. The other one is the habit of renting vs owning. People is used not to really own music, books, apps, etc and even files to some extent. They are in the cloud and we can lose access to them if the owner of the cloud terminates our account. So we're growing accustomed with the idea that less and less of what we use and produce is really ours. Pieces of the hw, sw and data we paid for are somebody's else property. That's bad IMHO.

I'm not on a Mac and I'm backing up all my laptop, included configuration files owned by root and other system users. I understand that non technical users are fine with appliance like laptops that can be returned to the manufacturer and replaced with a new one as I do with a refrigerator. As a developer I prefer to keep control over my stuff. If I were in the refrigerator industry I would probably like to service my fridge myself.
That strikes me as a cry for help, if the only time you ever feel like you can be "on vacation" is when you're divorced from reality. Take acid all you like, but if you need it to feel relaxed... you're already in some very deep trouble and should seek help.
The trouble begins when you have something like 30-40 tabs open, I think.

Firefox is among the first programs I open after logging in, and I usually leave it running until I either shutdown/reboot or a browser update makes me restart it. And I tend to only reboot my computers (both at home and at work) when system updates make it necessary. Often I will open a page and then just leave the tab open for "later" (which might be hours or days later).

It's not uncommon for Firefox to grow to 1-1.5 GB in size. Personally, I consider that an acceptable tradeoff, given its usefulness, but it is a rather heavyweight program.

(On lower-end machines I prefer either dillo or w3m. Pages with layouts that can be even remotely considered "fancy" will look kind of strange in dillo, but it is incredibly fast, and I have never seen it use more than 150MB of RAM.)
It's actually called "Daylight Saving Time", but it's a common mistake.
that's literally the point
At least on Ubuntu 16.04, the "Ubuntu integration" add-on that is auto-installed prevents e10s from running, so you get a choppy, single-threaded UI.

I'm sure a fair amount of the plugins people install are actually what lead to the large memory consumption. That, and the hundreds of tabs they leave open. I feel like tabs have become the new bookmark. Maybe what we really need is some sort of ephemeral bookmark system?
I assume you're thinking of Kevin Egan's paper from 2009 [1]? There have been some follow ups since, but the basic idea is "you can filter the hell out of it, kind of". Sadly, while these look okay, such filtering is still prone to over blurring. The frames described actually focus on hair which is a perfect example of what wouldn't work well in the filtering systems, and requires enough samples for anti-aliasing that motion blur comes "for free".

[1] http://www.cs.columbia.edu/cg/mb/
Honestly, I can't make that switch too quickly if I'm just reading a book for very long. When I focus I go deep, and my emotions are sort of distant and my conscious "voice" is slowed down. I think I come off as very wooden in those times, and pretty much everyone I know who I care about, and cares about me gets and respect that.

It would be rough if I had a wife who didn't...
> it gets in the hands of more people, so there's a higher potential for word-of-mouth advertising

Also, those are customers that will not buy your competitors' product.
UndecidableInstances is used in more libraries than you would think. In general, it doesn't inpact safety although certain programs may fail to compile because the compiler gives up after a while. However, this won't result in the acceptance of ill typed programs. Ultimately, the compiler is just acting like any other language run time -- at some point, your Python interpreter will give up (run time type error), your browser will give up (that annoying stop script pop up), and your operating system will give up (out of memory exception).

Also, your link indicates idris's type system is Turing complete.
See the Cobra Effect:

https://en.m.wikipedia.org/wiki/Cobra_effect

Perverse incentives of rewarding information or activities.
A glance of the paper seems to suggest that they are going back to the traditional RL methods. It would be interesting for the paper to compare with them explicitly.
Bruno, still guilty of murder but bafflingly welcome to walk back into football
> Uber is the MOST likely to push it too fast

Sure, I think that's a plausible scenario. It's also plausible that Uber will succeed (they've succeeded a lot!) and this will light a fire under everyone's butt and create amazing competition, pushing all car makers into this space earlier than they would have otherwise.

Of course we don't know, but that doesn't mean we shouldn't guess. My scenario above seems most likely to me, and therefore stopping Uber lets car makers rest of their laurels a bit longer.

And by the way I would take this further: I'd like to government to provide immunity to self-driving car manufacturers for the next few years while they develop their technology, the same way that vaccine makers are immune to health damages from their products.

Remember that we should be willing to kill hundreds of people with self-driving cars just to push the technology forward even one week. (600 people per week die in the U.S. in cars.) Of course I agree with you that this is politically untenable, but it's still what should be done.
Time to start using gmail lite without JavaScript
https://www.saastr.com/a-little-less-about-pricing-a-little-...
Yes a Turing complete language should have a Turing complete type system. Systems level work has the most to gain from this. Application code can crash with relatively little consequence. System code usually needs to be stable, so enforcing as much as possible at compile time is nice.

Do you believe in unit tests? Ultimately, this is using he taget language to type check itself. If you had a well integrated Turing complete type system (c++ does not), then you could start enforcing some of these at the compilation stage
Browsing the web without an adblocker is kind of like driving a car without wearing a seat belt or riding a bicycle without wearing a helmet. At least it feels like that to me.
Unallocated space doesn't have filesystem entries, hence, no file change, access, or modification times.

Worse: many filesystems don't note creation time but change time. I'd have to check what the status is for NTFS (the most likely consumer FS), but that's the case for virtually all Unix-and-similar filesystems: ext3/4, HFS, etc.
Thanks for the clarification as I had always assumed it was one process per tab. Since it's one process per domain if one tab crashes does it also bring down the other tabs in the same domain?
The way I see it here is that your personal life revolves around two things, yourself and other people that you care about deeply. If you're single, this could mean your best friends.

Obviously you want a working marriage. But marriages, just like startups and side projects, take work. You need to hack on the marriage just like you might hack on the business. But you should never take the business more seriously than the marriage. The business exists to serve your needs, not the other way around.

How to hack your marriage is outside the scope of the discussion. But I believe they can be worked on so that they get better. Heck, I think a lot of the problems in marriages can be boiled down to the wife believing, with good reason, that the husband considers his job to be more important to him than she is. So this reprioritization alone can fix a lot of personal problems.
Is this a setting or experiment or something? It doesn't happen for me.
When I consider how much time, resources and effort humans have wasted on stupid / harmful shit in the name of currency, I just want to cry.
This post is grey, and I'm not quite sure why. It's a bit on the "pessimistic" side, but... that philosophy is actually spot on IMO when it comes to security. So why downvote this? I'm honestly a bit new to this community but to me this sceptic perspective as it pertains to software security is ... well, actually it isn't even enough. Is this a weakness w/HN where even justified pessimism is eschewed?
Calligraphr does support something similar. You can create multiple variants of a glyph and Calligraphr then creates OpenType CALT features which select a variant depending on the character which comes before or after.
The price of gold doesn't come from it's practical applications, so that's hardly relevant. If gold were no longer hoarded by speculators as a store of value, its price would plummet massively as the practical application demands simply couldn't maintain its current speculative value.

Bitcoin has practical applications as well, on the Internet as peer to peer cash. But like gold, it's value comes largely from speculators, not its practical applications.
Another thing is important: trust. As a naive user I have no idea what's going on on my phone, hardware or software wise
We are essentially trusting these companies with everything. Encryption is no good if Apple and Google provide backdoors to their systems to the CIA or NSA.
I owned a small mobile app public co a while ago for a few years. The things I witnessed ran deep and with most listed companies on most exchanges up and down the food chain. The fraud can go many levels deep and begins to look like a giant complex game, and for crazies out there, Sith Lords https://en.wikipedia.org/wiki/Patrick_M._Byrne#Campaign_agai...

One fun fact I remember is that your share price is not calculated based on shares outstanding. Sure, perceived supply and perceived demand account for a lot but many traders and armchair investors are not aware of this larger detail:

The bedrock of your share price is based on available tradeable DTCC-deposited http://www.dtcc.com/ "unchilled" float. It's all in the float and that includes a few private companies out there that determine your float number, including the DTCC and CapitalIQ https://capitaliq.com, which can mean a manipulated or highly inaccurate market cap via your share price which is calculated by your float. And, if a crook has any spies or moles working there, that crook can get a lot done with his buddies which can include stock transfer agents who play a big role here. I got offers like this from time to time.

Market makers and institutions will eventually dial your price in based on your float as it's one of the few solid factors they have for determining price. Shorts are all over this too. Large caps have arsenals of CFO's, attorney's and connections that fighting for an accurate unmanipulated float is trivial. "Bigger Stuff" is happening for them although NFLX was known as a "short incinerator" due to their essentially well-engineered low float which helped them maintain a high but volatile share price historically.

For mid size and small public co's if you're market cap is manipulated, you can see this when you ask for NOBO reports provided by the DTCC combined with reports from CapitalIQ who control how and when the main DB gets updated with the number of shares used to calculate your float aka number of tradable shares any given day, week or month. Try and get them to make corrections if you can, sometimes you won't be able to, depending on who you know or how well your engineering plan for your float is from the start of structuring your public co.
Eeeeeeh ... you know .... iOS is just a mobile version of MacOS ... to be specific it's macOS code plus some code to make it mobile friend. Thus there is zero need for a merge.
> they're using the keys they declare

I'm not sure what you mean here. It's easy to identify where the key comes from and whether the ciphertext is what you'd expect it to be in that case.

> they aren't sending other data over unannounced side-channels.

It's not straightforward to determine that even if you do have the source - you could imagine an implementation that deliberately leaks information through timing details without that being obvious from the code. At some point you have to trust that authors aren't doing something awful.

> So you have to start from first-principles and step through decompiled code.

Well no, because the first thing you can do there is just disable certificate pinning. But really, the difficulty of stepping through decompiled code is vastly overrated.
Unannounced side channels seems like by far the easiest thing to deal with there; send a 2mb file, observe network patterns, raise an eyebrow if 2mb gets sent over a channel that you didn't expect.

As for using the correct key, dismantle the signal message envelope until you get your blob of encrypted message. Then see if the same blob appears on the target device. Multiple keys? I imagine either correlating message size and network traffic (encrypting stuff twice could well show up), or going at it with a debugger.

Which is really the answer to all of these questions instead of any network shenanigans. You root your phone and attach a debugger, then step through what signal is doing.

Not a security researcher, never reverse engineered anything for security reasons in my life.
>It is the brainchild of a particularly mischievous fan who created a park that's home to just one attraction: a massive maze - and let 16 AI guests inside to see if they could find their way to the exit.

I wonder if the author is aware he's created what amounts to a huge Westworld joke? (No spoilers, please.)
GHC Haskell (not standard Haskell) supports this and it's heavily used. Look for "Rewrite rules".
I'm starring this to read every single comment once I get home cause this is a huge stumbling block for me. My current strategy is to take my right thumb and suck a number out of it and due to my nature I tend to undercut myself quite badly.
I'm leaning strongly to the view that modern "free-market capitalism" is really a variant on mercantilism, in which liquidity has replaced gold and silver.

The end results are rather similar.
I'm disappointed in the "open rack" designs. For a really minor improvement in density they have broken compatibility with standard 19" gear.

One could argue that at FB scale it's worth it, but then MS seems to manage just fine with 19".
Update: I've been reading every post.
Machine Learning – One Truly Serious Philosophical Problem
If the container for those papers (computer net of storage and access systems) fails, what recourse does the individual have?

Best Buy here are pretty much shooting their own trusted basis straight through the heart here.

Paper records don't have a strong tendency to suddenly become unreadable, requiring expert technical assistance. Computerised record storage systems somewhat moreso.
Enough people clearly do -- they think that all email addresses end in @gmail.com, even if they check their email at yahoo.com. Because we have an email monoculture.
The fun one is Indiana. Most of Indiana is in the Eastern time zone, the rest is in Central. The portion in the Eastern time zone (well, most of it) used to not observe DST, while that in the Central did. In 2006, it was changed so that everybody observed DST, although there's still quite a bit of unhappiness with the status quo and it could yet change again.
I do get what you are saying, and what you state is all the more reason why I continue to be motivated to keep working on side projects and getting my business going.

Unfortunately, they chose a guy who was there for 15 years with no experience over anyone else. I had to train him. I had no say in that matter. He has been buddy-buddy with the Vice President of the company for that long as well. Again: There was nothing I could do about it. Other than his attention to detail, he has no coding skills. He doesn't have any management or leadership skills, either.

I have another boss who is above him who has me work on some side projects too, steals those ideas, presents them to the company as if they came up with it, and completely takes all the credit. What do I do about that? Say no and get fired? Suffer losing a job that I do actually enjoy doing that pays me enough to pay my bills? If you are a manager, you know that corporate world very well, don't you? Everyone is out for themselves. Everyone is just a number and is expendable. I know this -- my company has a high turnover rate.

I have bills to pay so I have to put up with this for now. The difference between me and other people (except for the ones on Hacker News :P): I'm doing something about it. I could go get hired by another company and make double what I am making now, but I run into the same situation over and over again: I am working for someone and putting up with the same exact bullshit. Every job. Every time.

I am comfortable with my current job so I see no reason to leave. I am working on improving my situation to get out of it. If I can do both: I would happily continue working for my company while running my side business and making a ton of money doing it.

So you are absolutely correct: I'm not trying to be a code monkey. I'm trying to run a business on my own that will help me escape the corporate slavery that I find myself stuck in at this time.
Yes, Chrome uses 1 process per domain. So I'm still not sure what would happen if Firefox is configured to use 4 content processes and 20 unique domain tabs are opened. Would the domains be distributed to these content processes? And what happens if 1 content process crashes? Would it also bring down all of the domains associated to it?
Argument by analogy is a worthless pursuit every time you think of doing it please take a deep breath and think of a more honest useful argument.

Your car doesn't contain a full copy of most of the pertinent private information about your life and a copy of every private conversation for the last decade. Everything from your taxes to what kind of sex you enjoy.

Furthermore the blood would be evident just by casual examination whereas this suggests a fishing expedition.

Furthermore the mechanic would just be a good Samaritan rather than a paid agent of the government.

The relationship herein creates legal issues and a perverse incentive. Your repair tech shouldn't be acting as a government agent, shouldn't be paid for finding dirt on you, shouldn't be fishing, and shouldn't be the judge of what constitutes illegality especially when guessing wrong ruins someone's life.
Frankly, yes. The presumption that any website should be able to access location information should be taboo.

If it's necessary to determine a location for the purposes of a query (e.g., "where is a pizza restaurant (and personal information feed front-end to personal data tracking, FWIW) near <address> or <postal code>?"), then allow the user to state where they're interested in this.

I've got precisely the same gripes against Google (Maps, etc., Android), Apple, and any given mobile phone provider.
Forex Reviews – Find Forex Broker or Forex Service
I am against any form of sand boxing and crippling my control of a system as a developer. Which is one of many reason I hate web developing with a vengeance. Even more than I hate Windows ( though win 10 seems to have potential ).

I am a big , not huge, but big fan of Apple but in this case of me surrendering control.

Μολων λαβέ
You rely on a net of diverse independent reviewers instead of a single entity with a particular interest.

A peer reviewed distributed trust net is much more trustworthy.
Why is that? Any IMAP client should work fine.
Frankly, I'd hope that this extends to financially and legally.