skysight-inc/HackerNews huggingface dataset:
Be careful, when you mess with corporate America you're basically going head on with momma bear US government.
Correct, Agda has this notion of reflection. The way to do "tactics" in Agda is simply to manipulate expressions, and there's no meta-language in which to do this: it's just Agda all the way down. It's neat, but not easy.
> On a different note, I found the former sell-side turned buy-side analysts to be the toughest clients to work with. They know exactly how the research game is played, but several seemed to have an especially large chip on their shoulder and wanted to badger the sell-side guys since they had taken that beating for years.

Very, very accurate from what I've seen. Especially from the former aggressive sell side people like the senior analyst I worked with. They somehow get redirected to the most aggressive current sell side people as well (despite stock coverage being assigned however).

My coverage finally didn't have too many contentious names (I took up defensives in fucking 2014 thinking the bull market was ending), but the ones that did had very mellow sell side guys. Whereas the sell side guys handling big tech and consumer discretionary names were aggressive as fuck. For instance, the same senior analyst took like 2-3 hours reading up on my stock before a sell side call, but with the consumer discretionary guy, he used to read up from the night before because (a) the stocks were more complicated, and (b) the sell side guys for these stocks were always super charged dudes with a ton of info directly at their fingertips. You needed to adjust your entire demeanour to deal with them differently.
Timeless Leadership Lessons That Will Matter in 2020
The only actual reason I have heard is that Cybertruck makes it harder to load from the side.

However I have heard why the utility of the frunk, integrated Ramp, the automatic cover, active suspension and so on would not make up for that.
I think carrying out Nixon’s Saturday Night Massacre to cover up his numerous watergate crimes was a bigger factor in the failed nomination.. but he certainly did turn into a focus of a lot of grievance.
Many film recommendation systems suffer from a strong gravitational pull towards mainstream choices with no clear association to the input (”people who enjoyed The Thin Red Line also enjoyed Pulp Fiction..”). But I wonder what better results deep learning could even accomplish given a limited feature space such as user like/dislikes.

A few years ago I made a recommender based on critics’ inferences in reviews. For the right kind of film (indie or festival circuit stuff and the like) it yielded quite interesting results.
Ad for some watch company.

Wikipedia article.[1]

[1] https://en.wikipedia.org/wiki/Railroad_chronometer
It is quite strange how people assume and spread the notion that types are the best or the only place to put propositions. Why ignore the option of specifying propositions as separate invariants or postconditions, verified by proof, model checking, or testing? Why this focus on Curry-Howard, dependent types, and type theory?
> "I’m number three."

Wow, he has a high opinion of himself! That's just terrible. Horrible. Only the humble and the meek are worthy of support when they're persecuted.
maybe HOAs can establish community rules and set up some sort of neighborhood firewall that blocks IOT data exfiltration
I lived in Brooklyn near Robertas and used to work in little Italy (the real one, Arthur st in the Bronx). I’ve tasted the best American pizza you can buy. If I’m just feeding myself I’ll usually opt for dominoes or something. I’m just not really a foodie especially when it comes to greasy food like that.
Correct - I didn't study a STEM subject, but I've done ok for myself despite that.

I think there's a world of difference between "I want to study acting and I'll end up successful like Brad Pitt" and "Hmm, my cousin is in marketing, and seems to have created a great career there, I should talk to them about that."

Anecdotes about people you don't know, and career stories you don't fully understand aren't helpful, but frankly I don't think massive data sets on how much the average graduate earns within two years of graduation (for example) are all that helpful either, except as a broad way to compare yourself. It's such a large number of people, you don't really anything particularly useful at an individual level (even though there are plenty of good uses for data like that).
Most EV owners with at-home or at-work charging appreciate the convenience of not having to go to "gas stations" other than during long trips.

This is an issue that the general public has yet to fully think out... every EV thread on HN has a few folks talking about how it's impossible to take a long trip in an EV because they'd have to spend time charging during it. And these same folks are usually not considering how much time they save during the rest of the year. Good thing EV sales are low enough that everyone doesn't need to be convinced of this immediately.
I found the success rate of this very low and it’s very hard to automate this for all platforms.
The CoC is not what caused this issue. Sure, it was badly worded, but it's responsible for a different set of problems. And any pushing of it came from within the company and – given how bad it was – probably without much consulting of knowledgeable representatives of the affected groups.
Netflix is a bad example. After Netflix Prize they stopped trying to make a better recommendation system. They only used a few of the models from the winning ensemble, and now are using something even weaker instead.

That said, the competition is hardly any better. Most use the same collaborative filtering from the Netflix Prize (Koren et al), which by design never recommends anything new. Most new "big data, machine learning" personalized recommendations just give you most popular plus some random noise. They perform well on some very artificial evaluation functions, but rarely A/B tested on actual users. When they are tested, they barely beat naive models like IMDB top 250.
W.H.O. Model List of Essential Medicines
Almost everyone who has canned food paid cash or equivalent for that canned food (most banks don't accept home-canned) which means they spent money on those cans. Unless you can buy a can for less than the shelter, its always better to give them the money you would have spent on the can, period. Even if you can buy it for less (you probably can't buy food for significantly less than a food shelter considering the discounts and relationships they have with vendors) money is still probably the better choice.

Why is it always better? Cans are all downside compared to cash. They take up space, they deprecate, they may not be what the shelter needs.

Shelters accept food for 2 reasons. 1) Many people see giving food as more "moral" or better than money because they believe the recipient does not deserve anything more than food and getting dented cans of corn is better than nothing. 2) Some people get offended if the shelter will not accept your donation so in interests of keeping donors happy.

TLDR; shelters take ragu sauce and canned creamed corn b/c that's what they can get, but it's about catering to social norms not supporting the needy.
It _is_ possible. Like how you're trying to build the narrative of Wikileaks having built such false narratives - which they haven't, to the best of my knowledge. If you have evidence to suggest otherwise, please link to it.
This is a bit esoteric but Julian did criticize the NY Times UFO story in 12/15 and then deleted the tweet-

https://imgur.com/a/1z3APkC

It’s hard to verify he deleted it because his Twitter account has been deactivated. Just found it interesting because I think his original tweet was accurate but it was strange that he backtracked.
What is the difference between this and RosettaCode? A tip for a feature, when I filter by language and I click in a solution I want to be presented automatically with the solution, an not having to search or scrolldown for it.
I'm not sure what the alternative is. You can pick up a newspaper for 20p,or a "quality" newspaper for 50p (UK rates). Would I pay 50p a day to browse a news site? At the moment, no, because I can get my news for free elsewhere, with similar political alignment. I feel like I would pay something for really, really good curation and aggregation of news I'm interested in. But not all the time.

It seems subscription is the only alternative to free and I don't want endless subscriptions to news (be it tech news or what's going on in the world). Because it all adds up. I want to be able to buy stories/news etc. ad hoc as I do/did a newspaper rather than being committed to a month subscription where I may not take advantage of it all the time.

Spotify is an example of a service I use frequently but probably don't use it every day and as such I sometimes unsubscribe from it. I'd love to be able to subscribe to it when I'm using it. Say 25p/30c a day (or less ideally).

Sure it may end up coming out costing me more than a monthly subscription but some months it wouldn't because I don't use it all the time.

I'm all for paying for content but all these subscriptions add up.

AWS has got it figured out, to a degree - more so than media companies. Charge for usage.
> Other benefits of strong static type systems are compiler-enforced documentation (through types) and ease of refactoring.

I do agree if "compiler-enforced" is your target then by definition you'll choose compiler enforcement.

For me the cost is too high. I'd rather solve my documentation needs through other far less costly means.

> ...ease of refactoring.

This is one of the lies espoused by the strong static typer. The claim here usually is that the compiler will tell you where you're broken through each step of the refactor.

The irony is that the effect is the opposite of what is claimed: requiring a refactor to be formally/machine-verified correct through each iteration is a huge drag on refactoring.

In a non-strongly typed language I can iteratively refactor and execute parts of my program even if a formal verified/strong-type prover would reject the program.

This equates to way better throughput/speed over the formal static verifier/typer.

Formal static verification may give you a host of benefits but in what most of us are doing Time is the most important resource by far. And formal verification/strong-type systems are downright hostile to Time. Which is especially offensive because the claims of stability can be readily achieved through much more efficient and agile techniques than formal verification.
There are some features that aren't available on basic IRC, such as search, history, message emoji responses, message reminders, threading, rich integrations (eg. actionable notifications, polls, etc.) and so on.
How Antimatter Spacecraft Will Work
That should definitely work fine, yeah! I'm assuming it has to do with the network or their server as well. Sorry I can't be of much help.
I always thought this book pretty dull. Different topic, but if you want to read Huxley, Brave new world is great. Alternatively if you want to read about the experiences of early psychedelic users, Leary's psychedelic experience is better.
I think they do keep it engaged, at least while coasting.

I know you said braking but I've seen it in both my 2002 and 2015 automatics when coasting.

If I'm coasting up to a red light I'm pretty sure I can brake lightly and still be coasting with no fuel consumption, and then it will only turn the fuel back on when it needs to creep.

I'll check it on the live MPG display next time I'm driving.
I've done the math on the opportunity cost of how much I would have made if I hadn't gone to university. It was about $120k over 4 years, and raised the opportunity cost to about $160k (I borrowed $60k, but some of that money was for living expenses, that would have been covered by working full time). I was earning about $16/$17 per hour at the time. It increased the jump I needed to make from $.50 per hour to $2 per hour.
I was initially surprised that all the lexers treat "[01]" as four tokens, but it makes sense from the state diagram.

In the past I've encountered JSON lexing that only considers token boundaries on "special" characters i.e. ",}]:" and whitespace. This will return a lexing error when it sees "01" (equivalently "truefalse").
Collaborative filtering cannot recommend new stuff. By the time all your friends have watched and liked the new hotness it's already too late to recommend it to you.
Sure, Apple makes most of their money from the hardware, currently. When times get tough for Apple and they're in a situation where they need to look for more revenue (remember the MS bailout back in '97?), well, we'll see...
Yep, I was giving up about $30k a year ($120k / 4 years). I was working in a supermarket. $2 more an hour needed over the course of my career to make the juice worth the squeeze. Nothing to write home about.
What do you mean "human powered" rather than ML? How are the implicit/explicit judgements of relevance (e.g. likes, clicks, views, star ratings) that are used in rec algorithms any less human than, say, a recommendation from a single trusted expert?

Personally I think it's amazing that even basic recommendation algorithms can instantly select 10 mostly relevant items from corpora of millions of irrelevant items. I think people are too used to receiving excellent recommendations and do not realise what receiving bad recommendations would be like. Hybrid systems such as Spotify's are really amazing when you think about it.
1. the information was doctored. 2. he selectively withholds information that is damaging to Russia, therefore is picking sides.

Wikileaks was a state actor, not a journalism.
But is individual data worth that much? I mean isn’t “my” Facebook data is worth less than $0.20US/year?
Isn’t the wage growth the result of a long period of high employment? Your comment makes it sound like it’s the result of tariffs.
> since Mueller this is cemented.

Mueller did not present evidence of Assange having acted on behalf of the Russian government; so I'm not sure what you mean.

Also, let's suppose Assange is a "Russian agent" (which he isn't). Ok, so what? A lot of journalists are state agents: BBC, RT, France 24 etc. You could say it is underhanded for him not to have declared his being a Russian agent (which, again, he isn't); fair enough. That doesn't legitimize his persecution, effective torture, extradition to the US etc. - in the slightest.
I mean it's really not "already done" if you have to use all this boilerplate to get those features.

> Robust type safety. Again you can set this up with fetch, but why? Its already done.

Not sure what you mean here. Fetch has high-quality TypeScript bindings. For the rest it's mostly YAGNI. The boilerplate confuses new developers (try explaining what NgModule does to a junior dev just trying to build a simple page) and experienced developers know how to do this stuff themselves.
Is there something equivalent for computer parts as in "computer parts specs explained"? Like it should explain how to choose a processor/RAM/(I/O)/battery and other components which make up a computer.
Can we stop calling these things smart. What is smart about devices sharing user data with companies?
What if you just...gave homes to the homeless, and stopped gatekeeping and moralizing?
Key Concepts of Blockchain Technology
Depending on how devious you're prepared to be (Perhaps to prove a point?) it may be possible to be more subtle than that and send them well-formed rubbish? (as in, by modifying the hardware - the reverse engineering probably wouldn't be too bad if you had access to high speed logic analyzers etc.)

Then again, the manufacturer may program them to recognise that by making the device phone home with some kind of authentication.
>For example, the Beyerdynamic DT-880 is sold in three versions: 32 Ohm, 250 Ohm and 600 Ohm.

But which one is better? Should I go for a lower impedance or higher impedance?
Individual cities in California aren't legally allowed to significantly raise taxes. Any major changes would have to be legislated at the state level.
Do you intend to sell your large cap holdings as they accrue in value every year? How do you rebalance your portfolio to account for under performers and handle cap gains?

Sorry for asking so many questions! This is super informative. Thanks! :)
According to the proposal, this has been shipped in V8 in Chrome 66 (from the V8 bug report: The ECMAScript ⊃ JSON proposal shipped in V8 v6.6 and Chrome 66). And yet my Chrome version 79 does not parse "[01]", throws the same error as described in the article. Same error in Node 12.14.0 (which includes V8 7.7.299.13). Something doesn't add up.
I have worked with so maaaany APIs. Could definitely say my least favorite without thinking too hard. Favorite is a bit harder.

1. Github. WHY: They keep is consistent across versions and it is easy to work with.

2. Hubspot. WHY: Each object is it's own endpoint, very clear and concise. Short on mixed objects that should obviously be easily connected.

3. Mailchimp. WHY: The actual work that gets done with the API is complex while the API itself is not.

Good APIs should be clear, work as stated in the docs, there should never be a case where "logically it should work this way" but it does not.
All of these have had important positive contributions, but don't idolize any of them. Some of them have adopted problematic positions (IMHO) on various issues or promoted political causes of state establishments. Some are dismissive or even defamatory of people with more radical political views than theirs. Some aren't and I only have good things to say about them, but the point is - we should always judge stories and commentaries by the merit and never fully trust someone even if their record is positive and impressive.
From what I can see from your link, the agreement seems to be that intercept capabilities are useful for outlier adversaries like Iran and North Korea, but not for major adversaries like Russia or China.

Fwiw, I tend to think that linking to a page of Google results rather than a specific article doesn't contribute much to the conversation. A specific link would be a better contribution. You might also make some argument as to why this blog and its authors are credible sources.
I adore 8tracks! Their mixes (and continually surreal and hilarious cover art) was always so much fun. I haven't found anything equivalent. They will be missed!
I hope the team goes on to bigger and better things.
I tried it recently and its pretty random. The different names means different things depending on the os and browser combo and does not take into account user defined theme colors. So while the idea is great, the implementations are broken.
CEOs who afaik are 100% not homeless destroy the environment to such an extent as to make what all the homeless in the US destroy seem insignificant and inconsequential. They too lack empathy and have a destructive mindset. I say we address this much more massive problem first and the homeless problem will likely be solved by our actions.
I've seen "gobble up" and "devour" used in reference to books before.
The Gulag Archipelago by Alexander Solzhenitsyn. Literally destroyed left wing politics in my mind.
Pretty much no one who uses Slack, chooses Slack. The companies we work for do. I despise Slack, yet I use it all day, every week day. It's quite the predicament.
There are legitimate reasons for delayed releases, like fact-checking and cross-referencing, leaker security, Wikileaks operatives' own security, coordinations with establishment press channels and possibly others.

Still, it's certainly better to limit such claims and it does feel a bit sketchy when they don't eventually publish something.
I'm missing the email header issues, unless I'm trusting PGP public keys without any thought. If someone forges an email to me, has a PGP encrypted message in it, it doesn't validly decrypt unless my crypto discipline is already so lax I'm going to have issues with any system.
Less, by Andrew Sean Greer. A really wonderful, light-hearted, hilarious novel about self-worth. The writing reminds me of David Sedaris.
> > SF and state agencies directly house the homeless. http://hsh.sfgov.org/services/housing/

There's conditions required for any housing, including housing one owns.

I do not think the requirements that SF allows its housing partners to impose are excessive (don't destroy the housing; don't deal drugs from the housing; don't continually create noise/waste/smells that adversely impact your neighbors).

SF also requires that nuisance evictions be conducted with plenty of warning and efforts by landlords and caseworkers to cure.. e.g.

> Nuisance evictions should include numerous incident reports, tenant complaints, prompt writeups and a “last ditch” tenant conference meeting with notes or a signed agreement.

And said tenants are entitled to due process after these numerous writeups and conference meetings, and legal assistance.
This seems more flexible to me somehow.

Using the approach in TFA, can the laser handle tokens that are prefixes of other tokens? Or even tokens that share prefixes?

Lexing "truefalse" as two adjacent tokens "true" and "false" seems slightly crazier than just lexing it as one (meaningless) token.
I agree. Often, it's much easier to generate good diagnostic messages by adding failure paths to lexer or parser definitions. i.e. in the 01 case, add a rule for numbers with leading zeroes to the lexer, which generates an error explaining that leading zeroes are prohibited.
Do you mean that you can't throw stuff in the back of the Cybertruck when the bed cover is open? If so, why not?
So... given the Milly Dowler example... why does privacy matter?

Did the family suffer harm through other people listening to their messages?

The false hope is unrelated to a privacy violation; it came from unauthorized message deletion. It would have happened equally if messages had been deleted unheard. And, for related reasons, there are already laws against this type of conduct which do not draw on the privacy concept. ("Ownership" is sufficient.)

Was the family interested in hiding the fact that their daughter was missing? That they were desperate to get her back?

How would more privacy have helped?

The argument that

1. A bad thing happened;

2. Behavior X occurred while it was happening

does not actually show that behavior X is bad or had bad consequences. And a case in which all the relevant parties were intentionally publicizing their affairs seems like an odd vehicle to draw privacy concerns from.
Same idea carried further to include data types and objects that actual programs in the languages use, not just the EBNF grammar constructs of the languages.

Unless I missed that in my quick glance at the link.
They wouldn't be legal to sell in the US for a variety of reasons. Vehicle safety laws are updated pretty regularly.

Off the top of my head, they probably wouldn't meet:

FMVSS 126 (ESC), FMVSS 111 (rear camera), FMVSS 138 (TMPS), FMVSS 226 (occupant ejection mitigation)

Although, like the beetle, you could sell them in countries with lower safety standards. I'm pretty some joint ventures in China are/were actually done with old tooling from western automakers.
They're smart enough to be rebellious...
TomTest – Raku modules blackbox testing service proposal
Are most people not worried that at one point, algorithms will understand us on a subconscious level? Like the existing algorithm that can tell if somebody is depressed by the way they are dancing?

Life will be like entering an evil cult, where advertisers can abuse our deepest vulnerabilities to the benefit of whoever pays the most.
Couple called 911, thinking their Roomba was an intruder
Empowering Unions in the 21st Century Economy
This guy has some weird cognitive dissonance. They seem to be supportive of socialist countries, but also of tulsi gabbard?
Could some of those jobs be lost to automation?