skysight-inc/HackerNews huggingface dataset:
I believe that as an employee of a company charged with setting up relationships to support the delivery of revenue you have a duty to fairly and openly select the offers that are in the best interest of your employers without considerations for yourself.

If you accept considerations for your own interest - like payments or offers of subsequent employment and so on, then you are defrauding your employers. Since the payments mean that effectively there is a transfer of money from your employer to the contractor and then to you I believe that this is also a kind of theft.

At the least, it's dishonest - unless your employer understood you were doing it - in which case it's a kind of hidden remuneration I guess.
But it's still amazon, the left hand doesn't get a free pass because the right hand pulled the trigger. Amazon has shown willingness to utilise privileged information in the past why wouldn't they go snooping around?
Dogecoin Is “Blowing Up”
In the US legal system individual states and the federal governments both have enforceable laws. This case was federal and it boils down to “fraud” of a few types which comes down to lying for financial gain and “money laundering” which involves hiding the source of money.

California though (but it doesn’t seem this was charged by the state) explicitly has a law criminalizing commercial bribery where if you take money secretly and privately to make a decision at your job, you have committed a felony.
Worth noting: the pseudoinverse of a matrix is exactly the same as the direct solution to a linear least-squares regression. So if you have a linear system you want to "best effort" solve, for example in the case where you have the "wrong" number of data points and this makes things overdetermined or underdetermined, you can just swap out matrix inverses for matrix pseudoinverses and you'll get the least-squares solution!

Bet they didn't teach that in your linear algebra class. (Okay, maybe they did. But they didn't in mine... all three of them.)

(Obligatory note: Performance will probably be poor, even worse than taking the regular matrix inverse, so definitely don't do this in performance-sensitive applications. For small matrices, of course, computers are fast so it's fine.)
archive.org archives any digital content; including larger (media) files. archive.org also has several other active archive projects than just the Wayback Machine. It also respects robots.txt. archive.org is a non-profit based in SF.

archive.is archives webpages by stripping it off of any dynamic content, but it tries its best to capture a dynamic (multi) page (spa) anyway (for example, twitter threads, linkedin profiles). It limits file-sizes up to 50MB (I think?), and works best with text-heavy webpages (news and blogs, for example). archive.is is ran by a for-profit company based in NY, but it isn't clear who is in fact behind it. Ref: https://en.wikipedia.org/wiki/wp:archive.is
Not the same guy, but perhaps you can help me understand if this event is related?

https://www.nytimes.com/2019/11/13/world/asia/plague-china-p...

Date: November 13 2019

>Li Jifeng, a doctor at Beijing Chaoyang Hospital where the two people sought treatment, wrote on WeChat, a social media platform, that the patients sought treatment on Nov. 3

>“After so many years of specialist training, I’m familiar with the diagnosis and treatment of most respiratory diseases,” wrote Dr. Li. “But this time, I looked and looked at it. I couldn’t guess what pathogen caused this pneumonia. I only knew it was rare.”
This is probably similar to the posts that regularly do the rounds claiming Facebook are asserting ownership of any photos or text you post to Facebook, when if you read the terms what they're actually saying is that by posting your giving them license to publish that content (because without that license any time they showed your photo to another user they'd be breaching your copyright).
This was implemented as per discussion with AdGuard's people[1].

For now I know of two lists from prominent maintainers which purpose is to remove unneeded URL parameters:

- https://filters.adtidy.org/android/filters/17.txt

- https://raw.githubusercontent.com/DandelionSprout/adfilt/mas...

There are ongoing discussions to include the first one as a stock list (i.e. present in "Filter lists"), though not enabled by default for now.

Addendum: to be clear, this is not a replacement for ClearURLs. ClearURLs has more capabilities then just removing query parameters from the URLs of outgoing network requests.

---

[1] https://github.com/uBlockOrigin/uBlock-issues/issues/1356#is...
I think that's the broker that does that
> how can you tell programs and texts apart?

By opening them either with a text editor or a compiler/interpreter.

Homoiconic languages have no problem being edited and run.
I found this fascinating page on threaded interpreters and Forth:

http://www.complang.tuwien.ac.at/forth/threaded-code.html
Kerala (IN) vaccinetes more people per vile than India
I might be wrong, but isn't their approach similar to what another team did some years back?

https://www.researchgate.net/publication/262367164_Machine_c...
Maths has techniques for dealing with infinite regress - limits as N tends to infinity, fixed points, etc. Intuitively these all seem to rely on a fixed external structure of some sort (e.g. the eigenvectors of M depend on fixed M) but I wonder if there's some formulation of these techniques that doesn't?
Sure sitting alone is not, but what about listening and taking notes?
https://www.google.com/search?q=suspicious+cases+of+pneumoni...

This URL searches Google for your phrase "suspicious cases of pneumonia in china" filtered for results between Oct 1 and Nov 30 2019
> In CompCert's case though, the register allocation verifier itself is verified.

I don't think so, I think moonchild's account of it is accurate. At least, it was accurate in 2012. From a 2012 blog post: [0]

> In CompCert, this algorithm is not proven correct. Instead, after generating the graph, the compiler calls an OCaml implementation of IRC and then checks that the coloring is valid. If the checker confirms that the coloring is valid, the compiler uses it and proceeds along. If it does not confirm that it's valid, compilation is aborted. This checker is proven correct, and because it is simpler, its proof of correctness is easier.

[0] http://gallium.inria.fr/blog/register-allocation/
In california at least, private sector bribery is explicitly a felony.

On the federal level you get charged for using mail or telecommunications to lie for financial gain or for hiding the source of the money.
Raasay Road (Calum’s Road)
Free forever?
So often these things happen with the best of intentions. We use OS level geofencing support in our mobile apps at work to provide some functionality to customers, and have been looking at providers of better support for that recently to try and work round some problems.

During a call someone mentioned they were looking at a provider who provides a full location history for debugging purposes, which was being looked on favourably (who doesn't want better debugging?) until I stepped in and pointed out we don't want to be anywhere near a full precise location history for our users. It provides basically no benefit to us other than debugging being a bit easier, and the massive risk that if someone's account for this service is compromised they've potentially facilitated stalking our users.
I would suggest that just as we shouldn’t consider Twitter or Facebook as representative of the real world, the same should be applied to dating apps.
remark 3 - I am not trying to convince anyone, I am trying to form an opinion.
"once we find a first hit that produces X in less than 42 seconds we are done" yes this is what I tried to convey. Start with the shortest program e.g. print(""). Complexify it (span the tree of all valid programs), discard all programs running longer than 42 secs. First program to produce the string signals that we are done.
Its so easy to take things for granted when they just work with many nines of availability and integrity.
I work for MongoDB. The writer is referring to CosmosDB, the Microsoft clone of MongoDB. You can runa real MongoDB cluster on Azure with MongoDB Atlas. The pricing model for Atlas is per Node size + disk + memory + data transfer. It's generally easier to predict your costs using this model. Users tend to over-provision with this model so we recommend using auto-scaling. This will allow your cluster to scale up or down based on load (price will adjust as well).
Is that something you generally miss in your life, "really dense stuff"? Seems unlikely someone would justify "one of the best purchases I ever made" with "it's really dense".

Or maybe I just don't see how something really dense could be useful except if you need something heavy but don't have a lot of space available.
Tangent about self checkout -- the versions I've found in supermarkets are uniformly terrible. But Home Depot, has a version I don't detest, for two reasons.

1. You get a hand-held scanner (at the checkout register, not walking around the store) instead of having to run everything over the counter.

2. You don't have to put the items on a certain platform (scale) after you scan; you can stick them back on your cart.

3. Although there is a webcam mounted (boo!), there is no screen showing yourself.

They're really three variations on the same reason: it doesn't treat me like a thief who's going to shoplift at the first opportunity.

I don't really mind doing self-checkout, as I'm nearly as fast at it as the cashiers (unless I have a lot of produce), and it lets me bag my food in exactly the order I want (bag for the fridge, bag for the pantry, etc). But the anti-theft measures (especially when the thing scans wrong and seizes up instead of letting me abort and try again) make it an absolute train wreck, and so I petty much only do self-checkout when I have under 5 items or the line is incredibly shorter.
A guide to home row mods (alt, shift, ctrl, super)
Facebook and Google contribute heavily to the Linux kernel. Much of the security work in the kernel is a direct result of them paying people to work on it. Good code should not be rejected because evil companies happened to be one of the financial backers.

To be clear, I hate both companies and avoid their proprietary offerings at almost all costs but when they happen to do something not evil, even for selfish reasons like good PR, I take it. I will also still be sure and remind everyone they are still evil every chance I get.

I hate Microsoft too but if I was in a poor country with malaria I would be thankful for the help from their founder.
Because this exec received cash and stocks to approve contracts and purchasing of licenses.

It's okay for a business to purchase services from another business and for both businesses to be run by the same person or family. What's not okay is for someone in one business to receive cash and stocks from another business, completely separate from any contract or employment agreement, in order to approve a contract between both businesses especially if this is not disclosed to the person's employer
I don't really know how I feel about having the browser mess with URLs without the user engaging it deliberately. It feels to me something that should perhaps be approached with caution. On the other hand, it does make sense. It's a tricky one.
Every time any kind of measure to improve people's browsing experience is posted here someone comes along and explains how this one is too much. But they are always wrong. There is no "going too far" in optimizing the browser for the people who are using it.
The "problems with the machines" are almost exclusively anti-theft "features".
Figment: A Synthetic data generation tool
I am still building this tool and I welcome any feedback or suggestions.
You have editorialized the link title rather flagrantly. HN isn’t the place for this sort of post.
What do you think they did wrong and might they have done better?
> Maybe they don't have the will

nothing is documented in facebook. There are no advantages to doing documentation in your career.
That's not the same though. Flying someone out and putting them in swanky accommodations for a product pitch is fine, though I think the line is gray here. Like flying out to the office makes sense. Flying you out to the Bahamas at an all inclusive resort for 7 days with your family for a product pitch? Maybe that's getting on the disallowed side.
Thanks for pointing this out. I just had a look at the settings and found that you can turn it back on, though it does come with the warning. Personally I think the risk to me of it learning being a detectable event vs. the tracking it blocks to be less, so I turned it back on.
As someone who is (sometimes militantly) pro-customer, I don't think tracking parameters are "war" - they are just a tool used to understand visitor flow, and ideally improve the visitor experience.

They are fundamentally first-party analytics - they show up in the server logs of the site visited, and that site needed to craft the link in order to place the parameters in the first place. There's a big difference between URL parameters and e.g. cookies attached to third-party javascript.

I definitely support the freedom of people to remove these URL parameters if they want. But it's not fair to classify them as a "war" - they are a tool used by scrupulous marketers, too.
Pencil Project – open-source GUI prototyping tool
Those addons are very basic, just what I'd have done in 2010 --- before Snowden!

Since you have Firefox, you could sync with a community-developed user.js like Arkenfox (previously GHacks) [1], which seems to go much farther and still not break much! At least the settings privacy.resistFingerprinting and privacy.firstparty.isolate looked indispensable as soon as I learned what they do.

And without FPI (first party isolation), not getting LocalCDN [2] (Decentraleyes successor) and Temporary Containers [3] seems like a gross oversight. They have a great discussion on add-ons at the Arkenfox wiki [4].

[1] https://github.com/arkenfox/user.js

[2] https://addons.mozilla.org/en-US/firefox/addon/localcdn-fork...

[3] https://addons.mozilla.org/en-US/firefox/addon/temporary-con...

[4] https://github.com/arkenfox/user.js/wiki/4.1-Extensions
The fact that they are in the URL serves an additional purpose for these sites - to identify who is sharing exactly what, and with whom.

(I've noticed that TikTok does this explicitly, providing a different short URL for each share request - it's clean, which makes them easier to share without blocking out a whole chat, but still not wanted)

It's not that I don't mind the parameters, it's that I also mind the URL tracking. And I can do something directly about the URL tracking.
This is present in any sufficiently large organization. I have seen people getting fired over it multiple times.
This is one of those things that either few use and it works, or if many start using it, the tracking will just get obfuscated.

I already see many sites use something like ?arg={BASE64 STRING OF ALL THE THINGS} and no automatic tool can decypher that as it's a custom list of bytes.
Yes, a little low pass will make a square wave much more pleasant to the ear.

But a proper LP/HP/BP resonant filter is almost a musical instrument in itself.
To understand unification I recommend Robinson's seminal paper on resolution, "A machine-oriented logic based on the resolution principle", which is also referenced in your first link. It's a widely influential paper and most modern work on unification, theorem proving, logic programming etc derives from it to some extent.

It's an old paper and it might look scary on first sight but it's actually pretty readable. As an aside, I'm told that Robinson's paper was in review for well over a year in a constant back-and-forth between him and referees who kept demanding improvements. Which of course was very frustrating for Robinson, but it seems to have done the job and resulted in a very readable, very clear paper. Give it a try!

Btw, I'm a bit put off by the terminology chosen in your first link that treats predicates as functions. Robinson of course describes unification in first-order logic. Propositional logic doesn't have functions so it doesn't make a lot of sense to speak of unification without predicates, but with functions.
How is campaign tracking a "war on consumers"
Zed Shaw talked about "steak & strippers" during his ACL talk https://vimeo.com/2723800

I guess this executive decided to go a bit beyond the normal practices.
Tracking data in URLs doesn't make your browsing experience less decent.
That the subject matter is too complex to comprehend should be an additional reason to ban this practice entirely, not to accept it under the guise of "fairness".
I was involved in GNU MediaGoblin at the time (circa 2011), and both krustad and paultag spanned those communities. I have fond memories of the time.

I also remember your name!
it looks like the crime is not so much that he accepted bribes but how he did it.

For example if a company came and gave him §10000 in hand and he reported in on his taxes he would probably be alright but reading the article I can see he was found guilty of multiple cases of money laundering - like you indicated that is against the law not the 'bribe' per se, furthermore he got convicted of fraud - I think because as it says

"To facilitate kickback payments, the evidence at trial showed that Kail created and controlled a limited liability corporation called Unix Mercenary, LLC," the DOJ said. "Established on February 7, 2012, Unix Mercenary had no employees and no business location. Kail was the sole signatory to its bank accounts."

So basically the company he created was involved in fraudulent activities.

There may be other forms of fraud involved here - for example if he said to Netflix I think we should use X because it is the best but he actually wants to use X because he is getting 10000 for it - I could envision a law being written in such a way that it could be interpreted as him defrauding Netflix of 10000 worth of value.

on edit: I can also see in the article it says "When an inquiry from the Netflix CEO ensued, Kail falsely denied that he was formally working with Platfora. Kail resigned from his advisory position at Platfora the next week." so he explicitly stated he was not doing something while getting value for doing that thing - that would generally be considered fraudulent.
Prions terrify me as well because it seems like there's no stopping them..

> In 2015, researchers at The University of Texas Health Science Center at Houston found that plants can be a vector for prions. When researchers fed hamsters grass that grew on ground where a deer that died with chronic wasting disease (CWD) was buried, the hamsters became ill with CWD, suggesting that prions can bind to plants, which then take them up into the leaf and stem structure, where they can be eaten by herbivores, thus completing the cycle. It is thus possible that there is a progressively accumulating number of prions in the environment
There are other ways. Just ask people with the right skillset and experience. There are entire industries built around this in certain countries.
ProjectLibre – open-source replacement of Microsoft Project
Thanks gorhill! Testing these lists as replacement to ClearURLs now. Hope they make their way into the easy-to-enable default/stock lists.

One by-the-way question: how can I "discover" such 3rd-party lists? Is there a place doing lists centralization / aggregation / recommendation?
Netskope has an awfully big list of customers (https://www.netskope.com/customers) despite having a product that is absolute crap for the end users. I cannot imagine why any executive worth their salt would decide to purchase it without some form of incentive.
> threaded code ("bytecode") can be much denser than machine code

Is there somewhere with hard numbers on this? I couldn't find anything with a quick google.
What about the print or return statement?
This is effectively how 100% of medical deals got made.
Yeah this entire thing just reeks of low effort clickbait.

Classing OkHttp as "Medium Risk" is ridiculous (especially since under the hood it's been the default HTTP library on Android since something like 5.0). That alone signals that the authors don't have the the skills or expertise to carry out this study.

It's a shame - since I bet there is definitely data being leaked places it shouldn't be in apps like these, and a proper investigation would be interesting.
To expound upon my point, consider that we currently believe that our own solar system is rotating around a supermassive black hole, and in fact all large galaxies are believed to contain supermassive black holes at their center. Our solar system is subject to gravitational time dilation from those black holes, and so while our world lines may never meet with a galaxy far away with its own supermassive black hole, objective time differences will absolutely be present.
> not the concept that humans from different parts of the world are genetically different enough to be called different races.

This definition was invented by Nazi Germany and led to countless horrors, are you sure you want to continue to use it?
Cryptol – domain-specific language for specifying cryptographic algorithms
He was defrauding his own company by rigging the selection process. The kickbacks are explicitly stated as the core of the case on the DoJ site.
With all the weird structures of stock lending and synthetics going around, I believe it's been extremely valuable for Buffet to keep it as it is for all these years.
Yes, I also turned it back on when I realized. I just noticed that I'm actually still using it, I just had the icon hidden. It's not as useful without the learning, though.
I expect normal people with ethics to reject employers that lack them.

I for one would sooner give up on technology and be a poor farmer than work for Facebook or Google.

They are undoubtedly a net negative in the world and I don't see how any ethical person could die with pride having made them bigger for money.
And why's that?
Please source the MSG claim. Asians eat huge amounts of MSG and as far as i know there isn't any pandemic like mystery diseases floating around over there.

Highly advanced surveillance systems in South Korea, Japan etc. would be more than able to pick up such things.
Frankly, being convicted of wire fraud, mail fraud and money laundering might as well be an acquittal.

The wire fraud and mail fraud statutes are written to be vague enough that basically existing is a violation, money laundering is existing with money.

If they had real crimes they would have charged them, this is just some "because I don't like you" political bullshit.
What should I do to make it better? Remove the last part?
By "register allocation verifier", I meant the checker as mentioned in the post you quote.
> This checker is proven correct, and because it is simpler, its proof of correctness is easier.

Still correct ;)

What I belief GP (fuklief) meant was: The SMT solver might still be incorrect. Like the register allocator itself in CompCert. But for CompCert, the result is checked by a formally verified checker. I do not know if that's true or not for the result of the SMT solver.
It's a level of negativity bias which seems to be overwhelmingly widespread nowadays. Things are either pure or else evil.

I think it comes from taking the upsides for granted. So the downsides are seen as seen as unnecessary and resulting from some kind of conspiracy or luck (e.g., network effects), rather than a trade-off where a company earned its success by providing benefits people wanted in return.
> “ We are free to use any ideas, concepts, techniques, know-how in your Communications for any purpose, including, but not limited to, the development and use of products and services based on the Communications.”

https://www.zdnet.com/article/turnitin-if-youre-a-student-al...