skysight-inc/HackerNews huggingface dataset:
"leak" might be used to denote the release in a more passive / accidental sense, whereas "breach" in its traditional usage denotes a purposeful attack, such as if the release stemmed from a wilful actor.

From the Oxford English Dictionary: Breach. A gap in a wall, barrier, or defence, especially one made by an attacking army.
I think the reason why is two fold.

1) The type system is focused on mathematical types as opposed to compiler tags. Mathematical types are about ensuring that a function will not fail. Compiler tags are about ensuring that you generate the correct asm op codes. Mathematical type systems allow you to have an easier time knowing the code works.

2) Algebraic data types provide both an AND component and an OR component. That is, you can do type X = A of int * int * int; AND you can do type X = A of int | B of char;. C# style languages provide you with the AND component (class A { public int B => ...; public int C => ...; }). However, they don't provide the OR component. You can create it by constructing weird type hierarchies, but this isn't idiomatic AND it also isn't closed. With an algebraic data type you can know that all of the cases are handled in a match. This isn't something you can ensure in C# (at least not naturally or easily).

Ultimately, I don't think functional programming provides anything that has to be better than object oriented programming. It's just that there are two facilities that tend to go with functional programming that allows a better way to model the problems that we encounter.
Ah, I forgot...the most welcoming environments are ones where things are banned.
Of course, in real life, this makes sense. In real life, you only get one life, and fighting is not generally for fun. But in a game, which needs to be fun, this type of construction is only going to appeal to a narrow slice of the populace. Which is fine! CCP has created something magical for the small subset of gamers who are interested in this kind of experience. But it's not for everyone. In fact, it's not for many people at all.
To your point, a lot of the traditional appeal that working at a startup has for engineers has been the options.

When you take that (significant) compensation away it should make the job much less appealing. I think a lot of younger (by which I mean years of experience in the industry rather than age) talent has forgotten or is not aware that this is why a startup job became the "done thing".

For many, they'd be better served by working at an established company (even temporarily if they have ambitions of their own startup in the future) as the package will be much better, and because the traditional upside of working for a startup largely doesn't exist anymore.
In my experience there is little to no alcohol at the conference itself but "the real networking happens at the bar" down the street.
Just to answer one question...

There definitely are companies that are on the stock market without a growth mindset. One way to identify them is to look for companies that return a significant amount of money to their stock holders in the form of a dividend.

Many REITS fit this description as utilities and telecom companies.

I'm always surprised this answer doesn't come up more, but I guess these companies aren't particularly sexy.

Note: These companies still feel market pressure. No one is staring at Duke Energy expecting them to grow 15% a year, but people would be pretty frustrated if DUK broke its 13 year 4.5% dividend streak.
On average, events X and Y are positively correlated if they usually occur together even though occasionally they do not. This lack of perfect correlation is due to A) the natural variation of other (less important) causal factors, or B) imprecise measurement of their values. A and B are also known as 'noise'.

All causation implies temporal separation -- causal event X occurs before caused event Y. The trick is to identify which occurred first AND changed the frequency of the second.

An example is the assertion: "The presence of rain causes people to carry an umbrella". Of course, people carry umbrellas even when it doesn't rain, or don't carry umbrellas when it does rain, but on average, on a day when more people carry umbrellas than usual, it's usually a rainy day. The scientific question is: does people carrying umbrellas cause rain? Or does rain cause people to carry umbrellas?

If the natural variation of rain occurs in some detectable manner (e.g. light rain vs heavy rain) and you see direct variation in how people carry umbrellas (less rain thus fewer umbrellas), then it's more likely that rain causes umbrellas because rain variation correlates positively with umbrella variation. This is effectively confirmed if on several days you see that more people are carrying umbrellas than usual but it's NOT raining harder, then probably carrying of umbrellas does not cause it to rain. (Maybe umbrellas were being given away for free on that day, or the weather forecast threatened more rain than actually arrived, causing more umbrellas to be carried.)

Thus when rain amount rises or falls (due to natural variation or noise), you should see the amount of umbrella carrying follow accordingly. However if the reverse relationship occurs less often or not at all, this implies that rain does indeed cause umbrellas, and not the reverse.
> Not entitled to life? We owe someone else and the only form of payment for most is to produce wealth for others? There's no other way to organize an over-abundance of basic, life-sustaining resources for the common good?

You have a right to life, you are not entitled to be taken care of, these are entirely different things. He's not saying you owe anyone anything. Basic life sustaining resources require labor to be made useful, shelter doesn't just appear out of nowhere, someone has to labor to make it: you do not have a right to someone else's labor, you must do your own labor to take care of yourself, it is not owed to you. Being required to labor for yourself does not imply you owe anyone anything.

> The idea of wealth you're referencing is also rooted in the current system.

It really isn't, wealth just means stuff. All systems will have it, it has nothing remotely to do with just the current system. Stuff doesn't just exist, someone has to create it, that someone by natural right owns what they create; no one is entitled to another mans efforts.
> Have they opened up the game to any significant automation? Does trading still require manually entering orders or can it (is it allowed via EULA to) be automated? Does travelling through systems still require ~1 minute minimum (assuming no scouting) per jump? Do they still prohibit any external app attempts at automation?

Automation remains prohibited at least as of the last time I played (~1 y ago). It's hard to picture that ever changing.
> "hope to make 400k"

Even with 10-20 years of experience in the bay area at small, medium, large size software companies, I've never ever made anything close to that amount.
And that's important. I'd rather just Google (which isn't great) have that information than literally anyone willing to pay $0.50 for it (which is infinitely worse).
> terminating branching only at uniformly labeled leaves

Also called Perfect Decision Tree.
I think weight loss is less of the issue - you're right, that is solved.

Long term weight loss is the big issue.

Let's be honest, anything that you have to maintain indefinitely - relationship, business, health/weight/muscle mass, finances - will eventually fail at some point.

And food does have that unique component of that it can't be totally avoided. You can't just cut it out of your life to become healthier (unlike say alcohol).

They're all hamster wheels. And then we die.
Thanks. Added above.
Millions on prescription sleeping pills would sleep through a fire alarm
Seems to be useful for representing and trading assets. See all the ERC20 tokens and all the Decentralized Finance applications built around them.

Or the ERC721 token interface for representing in-game assets that can move across gaming worlds.

Adoption of these open standards means a large number of applications can be accessed from the same wallets.
Couple of others:
1) www.pramp.com
2) www.interviewbit.com
3) www.gainlo.co << this is paid service.
4) www.interviewkickstart.com << this is also paid

In 1 & 2, are free where you are paired with another candidate who's also preparing for interviews. But you are not sure if it's simulating "real" interviews.

3 is paid and quite close to real interview, but costs can add up.

4 I participated in this and highly recommend. But probably you are not looking for this as this is a full blown interview bootcamp.
Isn't it a little odd that such a large number of SSL certificates expired near the same time for these government-run web sites? Every time I've ever paid for an SSL certificate I bought at least a year in advance. I guess the US government prefers monthly subscriptions
Except when that answer is 5 years old and is as wrong as the ExpertsExchange post from 2001.
If you haven't gone before, you must visit!
And I'm pointing out that scores of people are calling this analysis naive, whithout sources to back up such a claim, in the face of multiple sources that say that incomes adjusted to purchasing power are at least the same if not improving. I don't doubt the veracity of your personal experiences with rising rents and education costs, but the plural of anecdote isn't data.
Oh, I'm completely on board with being explicit about any assumptions you're making, and for thinking deeply about the causal relations, and for thinking about the reliability of the analysis. I've been critical of economists for not thinking things through. And I'm definitely on board with teaching using toy problems.

The problem is that, as far as I can tell, Pearl doesn't go beyond making points with toy problems. He hasn't done much empirical work (has he published a single empirical paper?) or even read much of the empirical literature he's criticizing as worthless. Ultimately, the question is whether policy and other decisions will be better using a particular framework. The fact that Pearl writes with the aggressive confidence of a Hacker News commenter does not mean he's right.
A bill board also lets advertisers target me by location.
Someone risked their job to leak it to the press. The average Google employee joining a protest isn't risking anything since Google has a tradition of internal debate.
Google is not only worried about the competition, they are more likely more concerned with potential legislation. There is now bipartisan support for legislation to stop this practice. It could soon be next that there is regulation not allowing sale of this info or advertising based on it.

Consumers don't expect to be GPS tracked everywhere and have companies profit on that data. Granting location permission to us here means that because we know, but most people would consider giving weather.com access to your location just helpful to get your forecast. Even if it is nestled in the privacy policy. What is next? You download a camera app and then every photo is sent to someone who turns AI on it to learn about you? (could already be happening) Oh but it was in the privacy policy that we may share data with third parties.
there are 2 kinds of engineers,

one kind sent rockets and recollected them, made robots run and jump. The other kind, shrank blog posts to 140 characters, or added a timeout to short messages, removed the thumb down button, and called them a new feature.

Today, we still remember the names of da Vinci, Tesla, Turing, not because they had a successful family ...

I just want to keep the dream I had as a kid.
How people's sentiments change here based on who tries to protect their privacy. If it's Apple, "wow, they are god's own people with purest intentions of protecting users' privacy". When Google does it : "Yeah, because they want to sell it themselves so obviously they don't want any competition".
Saudi Women, Tired of Restraints, Find Ways to Flee
That kind of matters
Why Millennials Engineers Hate Baby Boomer Manager
5/6 is the distinction between:

apt get update && apt get upgrade

vs:

curl https://rust-lang.com | grep "new version" && curl "https://rust-lang.com/installer.sh" | sh

I have very high confidence that debian/apt is "immutably available and consistently managed", but many of the non-free pieces of software (corporate-source or "not yet standardized, maintained, and included in debian") can/could require special attention, especially regarding updates.

build-env.sh - the operating system, apt-only, "just a linux box", download and install the heroku tooling b/c I often need it, but it's not in the main debian package pool.

bake-env.sh - "geeze I hate waiting for heroku, rust, and random vim plugins to download... let me freeze this moment in time" ... apt-get update still works and will keep O.S. up to date, but heroku, rust, vim plugins, etc won't "auto-install / auto-update" b/c they don't have properly managed versions or an install/update cycle like the rest of the o.s.
A second repeating fast radio burst has been detected in space
Tangentially related: I see that the board in question use an array of push buttons to implement the resemblance of a keyboard... Does anybody know of a better way to get a kinda-full keyboard (for example: https://www.tuexperto.com/wp-content/uploads/2013/01/Samsung...) in a custom embedded project ?
No Starch Press prints a solid and deep Metasploit guide: https://nostarch.com/metasploit

As with lots of technology books, it's a little out of date but you can certainly get a handle on how to use Metasploit with it.
This is textbook scientific clickbait. Catchy title, then an article that says nothing other than affirming the status quo, while then making a claim that demonstrates the title was a clickbait title.

"mathematicians show that the longer the input, the less likely it is that input can be factored" is the literal reason we use longer and longer keys as time goes on.

Shame on this author. These mathematicians did some nice work, and yet the author felt the need to sell snake oil based on it.
When the product involves selling my data to anyone, including bounty hunters, how does having multiple competitors benefit me? Unless I’m the one buying data on someone else?
It's not open source, it's source-available, which is almost irrelevant in terms of openness and freedom
Love that this message is getting out and resonating with so many people. If you're interested in seeing some more talks from companies in this realm, we have videos at http://inflectionconf.com/blog
When disagreeing, please reply to the argument instead of calling names. "This is bullshit. 1 + 1 is 2, not 3" can be shortened to "1 + 1 is 2, not 3.

https://news.ycombinator.com/newsguidelines.html
The Shutdown Reveals Just How Automated Our Government Already Is
There are a couple of resources on indiehacker. A couple are:

https://www.indiehackers.com/@ibrakadabra/779b8f66ed
https://www.indiehackers.com/@businessfreak/d51577f9d8

Also check out stripe atlas(https://stripe.com/atlas)
They died from obesity related pathology
The Green Bay Packers are valued at $2.35B...not bad for a non-profit.

How is the Packers model a scam? Because people support it and don’t get profits? Does that make the 90% of VC funded startups that fail scams? Are other NFL teams that are privately owned scams, because as I said the NFL publicly acknowledges the Packers community ownership is a competitive advantage over the other teams.

Sure maybe people won’t directly support your b2b software application marketed at Fortune 500 companies, but as a counter example many of the next fourtune 500 companies could easily adopt a community ownership model in a similar fashion as the Packers (only for profit).

People like community ownership and governance...there are many examples beyond the Packers to establish that. People don’t necessarily like the VC model and having to take money from wealthy people who take a chunk of your company just to compete on a level playing field.
>However, a spokesman for the Polish security services told Reuters the allegations related to individual actions, and were not linked directly to Huawei.

Well that's plausible, in the same way that we are all given training to avoid violating laws in other counties, and if we do the company may not be liable if they did not give you direction for your actions and in fact did provide training that contradicted it.
How about smoking a cigarrette?
Sprint announces Greenville, SC as First Smart City with Curiousity IoT 5G
I'm not sure there's an app version of Emacs that works on recent versions of Android, but certainly Emacs can be installed in (the Android terminal app) Termux [`pkg install emacs`].
I tried to listen to the audiobook of this. Terrible idea. One of the few audiobooks I’ve abandoned.
Of course. That's part of raising capital, is funding employee salary. Of course it's not a "they're set", it's a market rate salary given the size of the company and the role you do for the company.

What's to stop VC fraud? Generally when you accept VC money, you're giving a board seat to said VC, who is there to yes guide with experience, but is also there to protect their investment.
Your solution is to give Reddit Karma to people for reading so that the equality is maintained between the groups.

That's what you propose for wealth inequality.
> In other words, we only hear and watch stories from those people who chose storytelling as their career, and if you assume we are inevitably influenced by their views then we're effectively taking advice from them. This means entertainment shapes the viewer-listener's interpretation of reality to better fit the model of reality to which storytellers subscribe, but I'm pretty sure that's not a desirable outcome in the long run.

This thought often crosses my mind in particular when I consume media that is more 'psychological' in nature. Much of the time I can't shake the feeling that no matter how convincing the characters and their 'inner life' is presented, we're still ultimately seeing a projection of the writer themselves.

Sometimes I notice how certain characters seem richer than others, and usually these characters are obviously closer to the writer's own life. Perhaps this is why slice-of-life shows seem to do well (Atlanta, Better Things, Louie), because they're just the writers writing about themselves.

Or when I read a Dostoevski novel, I can't help but wonder how much of these character's inner lives are really just thinly-veiled versions of Dostoevski's (and, considering my love for his novels, probably my thoughts are 'compatible' with his).

What makes all this worse or more complicated though is that especially for television as a media, there are all sorts of pretty serious constraints. A show needs cliffhangers, ideally every episode, and at least every season, and unless you're on Netflix, you need mini-cliffhangers before every ad block. I imagine that's got to have some significant effect on the story.

I rather like this article by David Foster Wallace that sort-of goes into all of this: https://jsomers.net/DFW_TV.pdf (E Unibus Pluram: Television and U.S. Fiction).
Somewhat related. I find it frustrating that in this day and age, if I come across a list of "best short stories" or something along those lines, I can't just buy them online for $1 each or something like that. I pretty much have no choice but to buy a whole book--which possibly isn't available digitally--for a single story. Or I have to go searching around often dodgy sites to download a PDF.
Related: A Common LISP for embedded systems. Prof. Rod Brooks (MIT)
https://www.researchgate.net/publication/2949173_L_--_A_Comm...

developed for building robots using the Moto68332 with 32K of memory, but will work down to about 10K.
I feel like you're still missing the point. Your argument is that consoles have "dumpster quality" games simply because their hardware is outdated compared to state-of-the-art PC hardware, which is such a non-sequitur that I'm not even going to touch it.

Pre-crash there were tons of high quality artistic masterpieces on consoles too. But it was swimming in absolute garbage [1], turning a lot of customers off [2], losing their trust [3], and threatening the entire platform [4]. If you haven't followed any of these links yet, PC gaming still has that problem.

The argument isn't that PCs have more powerful hardware (the reality of which is debatable [5]). The argument is "do console makers guarantee quality better post-crash than they did pre-crash" and the answer is unequivocally yes. The question you then raised was "do console makers guarantee quality better than PC games" and I would still argue unequivocally yes. And then I would point out that PC gaming benefits from this, because if Activision wants Call of Duty to sell on consoles, they're going to make sure it passes Sony and Microsoft's quality standards, which then the PC game most likely will pass as well.

This isn't always true, of course, because there are plenty of times a game runs better on consoles than it does on PC [6]. That's probably what you refer to as "consolization", but again that's just missing the point. People buy consoles these days because they work and they work consistently. That's directly the result of the post-crash quality control that console makers implemented.

[1] https://kotaku.com/unfinished-steam-game-abandoned-after-tho...

[2] https://www.theverge.com/2017/4/4/15172908/valve-steam-explo...

[3] https://www.greenmangaming.com/newsroom/2017/09/27/valve-rem...

[4] https://kotaku.com/the-people-fighting-to-keep-crappy-games-...

[5] https://store.steampowered.com/hwsurvey/Steam-Hardware-Softw...

[6] http://www.escapistmagazine.com/forums/read/9.937131-Let-me-...
I think the video rental privacy law came into being because of the rental records of a politician were leaked and he had been watching [clutches pearls] porn.
I've spent a fair bit of time with both. Personally, I don't find the two to be all that comparable -- they're fairly distant cousins.

F# tends to stick much more closely to its ML roots, and fairly scrupulously retains a more ML flavor except when necessary to achieve good interop with the .NET ecosystem.

Scala, on the other hand feels less to me like a dialect of ML and more like an ML-flavored object-oriented language, because it mixes in OOP-style features much more freely. Its algebraic data types, for example, are explicitly implemented as class clusters. A lot of people like this, others see it as an anti-feature. Where you fall probably depends on how you feel about the relative merits of OOP and FP.

It's also, for better or worse, less concerned with maintaining good interop with the rest of the ecosystem. Consuming F# modules from C# isn't always pretty, but it's always possible. There will be C#-friendly wrappers, but creating them is a matter of aesthetics rather than necessity. Consuming Scala modules from Java, though, frequently requires creating wrapper libraries. On the upside, this does mean that Scala gets to have things like typeclasses, which the F# team has kept out of the language due to concern about how they would impact interoperability with the rest of .NET.

Last but not least: F# has type providers. Scala has implicits. F# has quotations. Scala has more stuff that's also called implicits.
Maybe the world needs a language that is like clasp is to lisp and c++, but for c++ and ml?

Curious about your deployment happiness - are you bundling the runtime with your program? Last I checked, such a bundle was large (compared to a static c++ binary), and didn't have a nice single/few file(s) "container"?
Because its hard to believe Google is protecting our privacy instead of protecting its own turf. Google does that, Apple doesn't. The interesting case would be if Microsoft still had a horse in the game. Given Windows 10 you might see the same reaction.
Modern x86s may be Harvard architecture internally (with separate code and data L1 caches), but they still present themselves to the developer as classic Von Neuman, which is easier to program.