skysight-inc/HackerNews huggingface dataset:
> Do you think allowing programs to be specified in plain English is a good idea?

The difference is that one is expected to consent and be beholden to something they could not reasonably understand without paying a large amount of money to a specialist.

That I write my code in brainfuck is of no consequence to someone, unless that brainfuck is potentially going to incarcerate them.
See, you're not complaining about the food stamps.
The really scary part is that any form of democracy itself rests on a similar assumption. Time, human attention, and learning capacity are all finite and no longer map well at all to an abstract, unbound ideal of civic responsibility or awareness. Other countries seem to interpret contract law differently as well. https://europa.eu/youreurope/citizens/consumers/unfair-treat...
>As an easy example, the commerce clause in the US constitution has come to mean something that no layman would ascribe to it.

Another easy example in the opposite direction is how case law has substantially diluted the meaning of words like "infringe", "unreasonable" and "excessive" in amendments 2^1, 2^2 and 2^3.
> There are no instances, only peers. (Pubs are sort of easy to connect to peers and there is work being done on peer discovery to outdate most pubs; they could still be used to connect communits around topics, hobbies, etc as a way to reduce the distance between peers)

Why do you draw this distinction between "instances" and "peers"? A conventional understanding of the word "instance" would suggest it means "a running instance of the software system in question", which would suggest the word has no meaning distinct from what "peer" would mean in this context. Am I missing a critical and non-obvious distinction?

> There is no retweeting/sharing

My experience is that users really like these features.
> Have you spent any time at all using them?

Sure I have used both.

Default arguments and implicits both have the same key idea: you can
omit arguments to functions, and the compiler, guided by type
information, synthesises the missing arguments during compilation. In
order to understand the difference between both, it is crucial to
realise that this compile-time synthesis of missing arguments has two
related but different dimensions.

- Declaration that an argument is allowed to be omitted (and hence
synthesised automatically).

- Declaration of the missing argument that is used in this synthesis.

Default arguments merge these two into one, e.g. with

def f ( int x ) ( bool b = false ) = ...
f (2)
f (2)

all calls f(2) become f(2)(false). The problem with this is that the
devault value to be used in synthesis cannot be context dependent.

Implicit arguments separate these two, enabling the programmer to
make default context dependent, e. g.

def f ( int x ) ( implicit bool b ) = ...
implicit val c = true
f (2)
implicit val c = false
f (2)

Now the first call f(2)
is rewritten to f(2)(true), while the second becomes f(2)(false).

> Would you claim that HKT isn't anything new or novel because constructors have been around forever?

I'm not sure I see the connection: constructors are program constructs, while HKTs are "types for types".
Time as a measurement is an abstraction.
The "see my other options" link at the end leads to a page that explains that there's no way to use Facebook without consenting to the requests on the last page, gives you a button to download all your data and one to delete your account.

Overall, I found the UI pretty good, the buttons for the alternatives (non-consent) were clearly labeled, and they explained well what they were going to do with the data.
I try to equally tag my face and my wife's face (50/50).

That way (even though she's still tied to me), their system can't determine which is hers vs mine - thus it probably has some really funky results. I no longer appear in auto-tags for reference.
>we don't need yet another tax on the most value-bearing (and typically philanthropic) people in society

If we assume for a moment that this is true, then why would this state of affairs be okay? Society cannot run on the philanthopy of billionaires.

Further, there's not very much evidence that this is actually true. In terms of largest individual contributions, yes, many billionaires make impressive donations and pay for valuable things, but that's the all-too-common fallacy of looking at absolute figures when it's relative figures that matter.

Ignoring that a lot of charity and philantropic work wouldn't even be _necessary_ in a world with less extreme wealth inequality, the idea that non-billionaires aren't proportionally charitable doesn't really hold much water.
I picked up the "save" muscle memory from word processing on a Commodore 64.

Compute!'s SpeedScript, and later Paperback Writer both used C= S to save a document. And back in eight bit days, computers had more crashes than a wet NASCAR track. You learned strategies to keep from losing an entire afternoon's work.
An interesting idea, but complicated by the fact that as often as not the terms expressed are affected by the domain and locale.

For example, for every employment contract that contains a non-compete in California, there is relevant California state law that means it's probably unenforceable. What do you show for that?

Additionally, new case law is being made all the time. Laws aren't static, they are added to, amended or removed through legislature and case law. To my understanding, the case law changes are also more about the specific circumstances of the case as well, so may apply narrowly or widely, depending on ruling. And may be appealed.
I don't follow the logic here. How are you getting the equation nV >= 0.01^1000000? Shouldn't there be a packing efficiency constant in there? It almost looks like you're trying to pour the spheres like a liquid.
I would make a few points:

- I don't think legalese is the issue. Even if you wrote terms in plain English they would still be at a similar length if you wanted to capture the same content of the base terms, and people would still not read them. I don't think there is a high proportion of people who are put off by legalese but would read terms if they were in plain English

- the article has a GDPR bent. Certainly when it comes to uses of personal data, that should form a bigger part of the sign-up experience and be separated out from the main terms.

- when you are looking at general terms & conditions outside of privacy, European consumer law and I imagine most consumer law protects customers from unreasonable actions by corporations toward consumers. It allows the user to assume the company will behave reasonably towards the consumer, and is arguably the appropriate remedy to cure the issue of over-long terms & conditions.

- There is of course limited scope to this and there will be a range of transactions where you are not acting as a consumer and are expected to thoroughly understand the full implications of the transaction you enter into.

- the reckoning in the article is already one partially addressed by the above steps at least in the European Union around consumer law protections, and requirements on the data protection side to call out data uses in the sign-up process rather than bury them in the terms.
FWIW, xz is also a memory hog with the default settings. I inherited an embedded system that attempts to compress and send some logs, using xz, and if they're big enough, it blows up because of memory exhaustion.
YT link without a time point: https://www.youtube.com/watch?v=saCdvAp5cow
and that they are only doing this to provide even more meaningful value for the Facebook community
I don't think Trump ever claimed to have done anything fraudulent (whether he did or not is another matter). I'm not trying to get into a political debate or argue over Trump's flaws or merits, but there's a big difference between using legal loopholes that are available to you and deliberately not reporting things to pay fewer taxes.
Mildly pedantic complaint: Esperanto is actually easier to learn than many other languages so the analogy doesn't work.

But I get what you mean.
It actually can do both. It depends on the specifics of the person and the strain. In particular, I think Indica strains are supposed to be less likely to create or exacerbate anxiety.
If literally everyone you know is cheating on their taxes, you need better friends.
So, are you still afraid of math?
Out of curiosity, is the benefits (I assume cost/efficiency) of having only two engines significant? Or with the significant conversation about engine failure of late, it make sense to lean back towards the four engine design of a 747, which presumably, doesn't tax the remaining engines as hard during a failure?

(ETOPS, apparently, stands for "Extended-range Twin-engine Operational Performance Standards", and refers to how far you allow a plane with only two engines to fly from an airport it can land at, in case one fails and a single engine has to do all of the work.)
> If it is only for crypto

I'm no expert, but from what I understand, you can't deduct losses from regular currency deposits, either.

Here is a decision from the Supreme Administrative Court in a case where someone had converted 460 000 EUR to USD and later converted them back to EUR with a loss of 30 000 EUR and wanted to deduct the loss from their capital gains tax (Finnish):
http://www.kho.fi/fi/index/paatoksia/vuosikirjapaatokset/vuo...

It was denied as there is no clause in the Income Tax Act allowing such a deduction.

Tax Administration guidance (Finnish): https://www.vero.fi/syventavat-vero-ohjeet/ohje-hakusivu/489...

Income Tax Act (Finnish): https://www.finlex.fi/fi/laki/ajantasa/1992/1992153
Author Here: I know there are a lot of React / Typescript dev's around here and I thought some of you might be interested to see how you can bring the tools & frameworks you're used to into Salesforce.

Hopefully, this shows that you don't have to learn salesforce's proprietary languages (Apex/Lightning/Visualforce) to start building on their platform.
on macOS i just drag link to Finder. Or drag "+" in the left of address in Safari. In chrome drag https lock icon.

It is .webloc format.

I sort it, move folders/subfolders. You can easily preview it with space button in Finder.

The whole folder is repo stored on github. Also there are many markdown files, screenshots, interesting files.

I use symlinks (softlinks) which points to large binary files outside repo.

Often i want to put bookmark in markdown file. For this i use this bookmarklet:

javascript:var%20text='-%20%5B'+document.title+'%5D('+location.href+')';window.prompt(%22Copy%20to%20clipboard:%20Ctrl+C,%20Enter%22,text);void(0);

it is 5th bookmark in my Safari's favorites. I just hit ⌘⌥5 then ⌘C - and then paste it in markdown.

--------------------------------

If you're interested in this system there are PRO-TIPS:

* if you drag "+" in safari or "https-lock" in chrome - the .webloc is binary.

- name of .webloc is page <title></title>

* if you drag link on page - then .webloc is plain text. And name is na

- name of .webloc is what inside <a></a> html - tag

* there'is plain text .url format, which you can also open in both macOS and windows. But macOS's Quick Look is not works. Thats the reason why I decided to keep using bad-for-git binary .webloc

* .webloc is actually plist which is actually xml. You can easily parse binary plists with python's plist module
You just gave me another way of thinking about it, thanks. Although I also think the benefits of social media might be overstated.
Ask HN: Anyone here using Karabiner on macOS to remap keyboard?
I found Karabiner tool to be really life changing with how I approach working on macOS now.

I have made every key on my keyboard into a modifier key, to the point that I never even use cmd/opt/ctrl keys any more as I use my `a` key as ctrl key instead or `e` key as cmd.

I wrote about how I use Karabiner in more detail here:
https://wiki.nikitavoloboev.xyz/macOS/apps/karabiner/karabiner.html

I am curious, if anyone here uses Karabiner tool too in this way? Or if anyone here uses some other keyboard customisation tool.
If I understand correctly (and I am very much not an expert), deep neural nets can't be purely linear. The "adding inputs to produce an output" part has to have a nonlinearity in it, or the nets don't work well.

Source: Attended a couple of hours of lecture on neural nets for speech recognition. (Yeah, that gives you a pretty accurate picture of the depth of my knowledge here. But if the lecturer was right, the neural net part of AI can't be linear algebra. It's linear-ish, but not linear.)
Does GDPR consider data in training sets and trained deep learning models as your data? It's kind of a small snapshot of your expected responses to some stimulus right, it's arguably more your data than anything...
Consider that the distance between opposite corners of a square is √2 meters, but for a cube it's √3 meters. In general, for an n-dimensional hypercube of diameter 1m, the exactly-opposite corners are √n meters apart.

Meaning, in a million-dimensional meter-diameter hypercube, exactly-opposite corners will be a kilometer apart. There's a lot more diagonal wiggle room than you think.
Yes, one must be able to discern between technical debt and taste.
Lyft Delivers Carbon-Neutral Rides
“Below our lowest expectations” – why Eve devs CCP pulled out of VR
Driver Toolkit 8.4 License Key and Email Crack Full Version Download
Firefox bookmarks, under "Other Bookmarks".
I don't actually comment in reddit threads with more than 15 comments for this reason: there's no point, no one will read it. And if they do, they won't care.

The vote thing is true. If I'm the first to comment I'm usually at the top, or near the top, of the thread.
It's been a while since I lurked Haskell forums/haunts (was into it way back when), but at that time Lens was a big deal...if that's not a highfalutin library made for the most entrenched monad geeks (and for the purpose of making setters and getters, no less), I don't know what is. I guess I'm really shocked to hear that Haskell is all pragmatic and simple now with slim abstractions...but I'd love to be corrected.
> Does anyone really believe that a nation where 99% of people shit in simple holes in the ground could build a competitive cyber army?

If you replace "cyber army" with "nuclear program" do you feel the same way?
Are these concerns, about error recovery, outdated? If I want to recover a corrupted file, I find another copy. I don't fiddle with the internal length field to fix framing issues. Certainly, if I want to detect corruption, I use a sha256 of the entire file. If that fails, I don't waste time trying to find the bad bit.

To add to that, if you need parity to recover from errors, you need to calculate how much based on your storage medium durability and projected life span. It's not the file format's concern. The xz crc should be irrelevant.
After being censored, Kaspersky to donate 2018's Twitter Adv. budget to EFF
This is exactly what I was looking for. I was getting tired of passing user data around manually since I was using Firebase auth.

Now I want to switch from Vue back to React 16.
Differences Between React and Angular
Your artwork is great, the ink wash is amazing
We know with at least some degree of certainty they are fostering a rocketry program. I'm not sure why this would be any different.
Welcome to the world of software I guess. Non idiotic things are rare here.
> You never hear anyone saying I'm going to cancel my 'Search' account.

Today I saw a fellow DuckDuckGoer in the wild. That's effectively someone who, like me, cancelled their Search account.

To be clear, I agree with the sentiment that search and "social networks" are fundamentally different. I just don't agree that search is immune from blowback from hightened privacy awareness.
Our land loan had similar interest to a mortgage, but was interest only with a balloon payment after 24 months. The bank's intent was to issue the loan and roll it into a construction loan with similar terms (which is what we did). This was all through a small local bank where the loan officer inspected the house himself prior to each construction draw.

The biggest challenge we had with the loans for land, construction and the eventual end-loan was "Why are you building a 1900 sq-ft house? You really shouldn't be building a house under 3k sq-ft."
Sometimes it's hard to believe that Google's course of action and decision making to messaging isn't satire.
I can't imagine what a dumpster fire must be going on somewhere within, eventually I hope we get to hear the stories behind their calamity of multifarious messaging products.

I'm not even being facetious when I say that they should include an estimated date of when they expect to cease supporting said product (2 years seems to be about right)
When more than 50% of seats are reserved under quotas, what is there left to compete, unless you are the brightest of the bright. It is irrational to put efforts to study for exams for both open category candidates and those under reservation categories.
Haunted by history (on epigenetic trauma)
> Shouldn't our laws, in general, be written to be as precise and narrowly defined as possible?

But they aren't that either.

There will always be more diversity in real life than on paper. You can't predict everything that will ever happen.

The real problem is structural.

We have a set of laws and if they're overly broad and prohibit lots of things they shouldn't, nobody really notices because prosecutorial discretion is a thing. As long as prosecutors mostly don't charge honest people with the overly broad laws, nobody gets up in arms to fix them even though everyone is in violation.

On the other hand, if someone does something unpopular and there is no law against it -- or there is a law against it but there isn't a law specifically against it and Something Must Be Done -- then we get a new overly broad law.

Laws get added but never removed, and each one prohibits more than it should. Over a hundred years of this and you get Three Felonies A Day, the only reason everyone isn't in prison is prosecutorial discretion, and lawyering is an exercise in figuring out which parts of which laws you actually have to follow to avoid being prosecuted without ever admitting that that's what's happening.
He also screwed over his friend Steve Wozniak for money before Apple was formed. He has a history of being a terrible person. No reason to pretend this was the only thing.
Atoms are not mostly empty space, because electrons are not little balls spinning around like planets.

Electrons are more like continuous clouds surrounding the atom.

> The picture of an atom being mostly empty stems from the childhood of atomic structure analysis, where most of the atom's extension was found to be transparent for alpha rays, and the early models explained that by pointlike nuclei and electrons.
Similarly the picture of a proton or neutron being essentially empty apart from three quarks embedded in it arises because deep inelastic scattering shows that protons are essentially transparent for very energetic electrons, except when the latter meet an almost pointlike quark.
But both pictures are quite limited: We don't think glass doesn't occupy space because it is transparent for light.

https://www.mat.univie.ac.at/~neum/physfaq/topics/touch.html
Likely they didn't do this because of concern that a person could update their agreement to the T&C, then do something fraudulent, then claim the updated agreement was coerced because the person's livelihood was somehow attached to the PayPal account.
The reality is that a language lives or dies by its ecosystem - particularly when it comes to a language like Scala that's in a tightly symbiotic relationship with its IDEs (the next time someone tries to sell you a "visual programming language", look at Scala for a language that makes really effective use of the GUI for programming without compromising the things that make textual programming languages good - see e.g. https://blog.jetbrains.com/scala/2018/03/27/intellij-scala-p... ). Only a few big players can afford the kind of investment it takes to make something like that. So much as I wish it were otherwise, I can't just sit on my island and use Scala because I think it's the best - if the language is to live, I have to convince other people it's the best. I don't begrudge other people feeling the same way about the languages they do like (provided that doesn't fall into dishonesty, as some of the claims from Kotlin advocates about e.g. null and Scala have).
This is a very well written post, in the sense that much of what he mentions is central to programming. But there's also a Zadeh's principle to mathematics -- when you have measure theory suddenly everything is a change of measure.

And I mean, this is great. "Diversity in tech" should be more like "people who are into analysis, topology" versus "people who are into algebra and cat theory" etc. There are many different ways to skin problem spaces into mental models and coding styles.
https://twitter.com/graalvm/status/986587968667291648
I'm confused, didn't you opt in when you clicked the checkbox to agree to Facebook's T&C?
Google messaging must have some of the worst project managers in the industry. Not only did they let their lead disappear, when they decided to start competing with Facebook and WhatsApp they released Allo! A crappy MVP in a crowded market hugely dependent on the network effect.

And now they've decided to involve the carriers, using a technology that's not made to be cross platform but instead be dependent on phones. I can see RCS being a good solution for companies to send out rich boarding passes and similarly, but nobody around here uses SMS or MMS for person to person contact. Chat shouldn't be locked to or even routed through phones, and using a telephone number as an ID is impractical.
France to ban use of meat terms to describe vegetable-based products
I read this, had the hope someone could explain this a bit simpler :/
'Our mission is to give people the power to build community and bring the world closer together. People use Facebook to stay connected with friends and family, to discover what's going on in the world, and to share and express what matters to them.'

We believe these changes further our goal of creating a product that is used and loved by the world, and that the best way to do that is for a price everyone can afford -- free.
DNC lawsuit against Trump
Honestly, I'd probably get out. Some things just aren't fixable. I'm in a similar situation now and really weighing just finding a better place, but of course there are some complications.
The Scala compiler has to be cleaned up. Maybe rewritten, maybe not. Dotty started as a fork of Scala, and now Odersky decided/announced that it'll be merged back eventually. (And it should conform to whatever the Scala language is/will be after the SIP processes for 3.0.)
Red Hat Developer Toolset 7.1 BETA
The problem with Allo and Duo and other "chat" tools google provided never felt feature complete. If I'm on my mobile phone, I want one app to get messages regardless if it comes from the carrier or my peeps on google. Hangouts is the closest thing we have to this. Even hangouts doesnt fully integrate. I'm a Fi user and when use apps that send text to verify, the autoverify doesnt work with Hangouts as my default messaging app. It only seems to work with Android Messaging app. These kind of half baked reasons are why none of the google messaging apps really have taken off. I agree with the past comment that Google had the opp to just improve on Google Talk and build on it rather than create 6 different messaging apps.
Teen Who Hacked Ex-CIA Director John Brennan Gets Sentenced to 2 Years of Prison