skysight-inc/HackerNews huggingface dataset:
I found this article a little annoying to follow. Congruence is already a bit of an overloaded term in mathematics and this didn’t help. I’ve worked out some of the maths here.

An integer n is congruent if it is the area of a right triangle with rational sides, ie n = ab/2 where a^2 + b^2 = c^2 and a,b,c are positive rational numbers.

The article then talks about another meaning of congruum: an arithmetic progression of square natural numbers, x^2,y^2,z^2. In such a case y is the hypotenuse of a right rational triangle. This is easy to prove:

x^2 = y^2 - k
z^2 = y^2 + k
=>
((x+z)/2)^2 + ((z-x)/2)^2
= x^2/2 + z^2/2
= y^2

And the area of this triangle is:

(x+z)(x-z)/8 = (x^2-z^2)/8 = k/4

- - - -

There’s a lot of order and theorems about congruent numbers but it is hard (or rather it is unknown whether it is hard) to determine if a number is congruent. I don’t have much of a reason for there being lots of order other than that there is a lot of order in the integers and rational numbers. I think a reason for this problem being hard is the important word rational above. I think if it said integer then the problem is only how to do better than the trivial linear time solution of trying all sufficiently small right angle triangles. Rationals mean that one needs to try larger (integer) triangles as well as smaller ones as one can always divide by a rational squared.
can you give an example of such a predator? how many sectors does Amazon operate in? 2? retail and cloud services. they don't make cars, they don't farm, they don't provide Telecom services, they don't develop real estate. which revenue flows have fallen prey to them? note digital distribution of media (Amazon video and music) is an extension of retail not a different sector. their independent production of said media does count as a wholly new venture but as far as I can tradicional media conglomerates have not fallen prey either.
Those are staggeringly enormous claims. Got any scientific evidence?
Try https://fastbmk.com/

It's a free alternative :)
Dopamine is a necessary neurotransmitter, there is nothing sinister about it. Even addiction is necessary , but we ascribe negative value to it when the repetitive behavior (not just any enjoyable behavior) becomes destructive to society. Addiction as pathology is not a strictly defined term - homosexuals in the past or sexually liberated women were believed to be addicted. So, it is largely left society to decide which addictions are "good" and bad, which generally politicizes the issue.
This piece verges on daft or disingenuous. The major problems are major cities (SF, NYC, Seattle, LA, and so on) that have artificially restricted housing since the '70s (https://jakeseliger.com/2015/12/27/why-did-cities-freeze-in-...) and yet we've also seen increasing economic returns since then to those superstar cluster cities (The Triumph of the City is a good and readable description: https://www.nytimes.com/2011/02/13/books/review/Silver-t.htm...).

So yeah, there's no housing crisis in Eastern Oregon, but there are also no jobs and none of the economic clustering and spillover effects that one gets from superstar cities. So you can try to live in cities and first-tier suburbs where the jobs are, but where exclusionary zoning has made housing ungodly expensive (https://www.vox.com/cards/affordable-housing-explained/exclu...), or you can live in the boonies where there are no jobs but (relatively) cheap housing.

Those of you who are going to reply about remote work: remote work is lovely, but it doesn't generate knowledge spillovers and has a bunch of other problems as well. See again the Glaeser book. It is not a practical, mass solution, although I'm glad it works well for you.

Part of this problem can and should be solved at the state level, but DC should also tell states and municipalities that, if they don't end exclusionary zoning, they're also not getting federal highway funding and other federal transit funding. That's the stick DC has.
UC authors can put their author's final versions in https://escholarship.org
"Macaroons: Cookies with Contextual Caveats for Decentralized Authorization in the Cloud" (2014)

Abstract

> Controlled sharing is fundamental to distributed systems; yet, on the Web, and in the Cloud, sharing is still based on rudimentary mechanisms. More flexible, decentralized cryptographic authorization credentials have not been adopted, largely because their mechanisms have not been incrementally deployable, simple enough, or efficient enough to implement across the relevant systems and devices.

> This paper introduces macaroons: flexible authorization credentials for Cloud services that support decentralized delegation between principals. Macaroons are based on a construction that uses nested, chained MACs (e.g., HMACs) in a manner that is highly efficient, easy to deploy, and widely applicable.

> Although macaroons are bearer credentials, like Web cookies, macaroons embed caveats that attenuate and contextually confine when, where, by who, and for what purpose a target service should authorize requests. This paper describes macaroons and motivates their design, compares them to other credential systems, such as cookies and SPKI/SDSI, evaluates and measures a prototype implementation, and discusses practical security and application considerations. In particular, it is considered how macaroons can enable more fine-grained authorization in the Cloud, e.g., by strengthening mechanisms like OAuth2, and a formalization of macaroons is given in authorization logic.

https://ai.google/research/pubs/pub41892
> Post-Columbia, cables were made that allowed the shuttles to be re-wired to allow these events to occur under the control of the computer, to allow a damaged shuttle to attempt a return without crew, or to dispose of itself safely.

As grisly of a question as this is, are there launch failure scenarios that involve complete loss of crew but successful orbit?

IANARC, but it seems if something goes bad in the launch sequence, it's normally catastrophic.
How about storming some those Alien child detentions center at the border as a joke?
Just tell the truth. Maybe leave out a few details like "The founder went full retard and psycho and bought loads of drugs". How you say something is probably more important than the fact themselves.

I would say something like:

> They (the startup) had problems with raising capital and expanded too fast and our founder seem to lack the dedication to run the the business and things fell apart despite my best efforts.

That is perfectly acceptable.
Einstein described quantum mechanics as "spooky" because of the __instantaneousness__ of the apparent remote interaction...
It's PubSub with dynamic message routing, but where each AWS account will also now be able to make themselves a consumer of events published by 3rd party SaaS. Say you want to start a Lambda whenever a Zendesk ticket is opened, you can now do that without having to setup any hosts or write any code.
That's a great question. I don't have that analysis handy, but it would definitely be worth doing.
May I know for what purposes do you do that?

I'm doing something quite similar at the moment
Formal Verification of Scala Programs with Stainless – Romain Ruetschi
The problem with that is if you optimize the design of the game to focus on the social and pare away content not applicable to social, the game rapidly flows thru a farmville like state on the way to simply being facebook-tindr-with-a-joystick. Meanwhile the players who wanted experiences and sandboxes and escapism are horribly disappointed. Instagram with an outerspace background theme? No thanks.
You could also host your website or application's images by creating a facebook account and programmatically uploading the images there, and then linking to the CDN image URL from Facebook. It would work, but there are better ways to handle it.

I would just use Postgres as a database, personally.
https://www.tandfonline.com/doi/full/10.1080/15426432.2016.1...
Why should an author not have rights to their own work, just because it’s scientific in nature?

You’re also opening the door to unintended consequences - are scientific textbooks not copyrightable also? If not, why not?
https://epfl-lara.github.io/smart/purescala.html

https://github.com/epfl-lara/inox

https://stainless.epfl.ch/
Author of the blog post here.

I'd recommend doing a performance-per-dollar comparison before drawing this conclusion.
Engineer flees to China after stealing source code of US train firm
This shows median rents and income moving roughly together, and claims that therefore rents haven't gotten more expensive. But people choose places to live that are affordable for them, say around 40% of income. When rents rise, people move to smaller and crappier places they can afford.

So rents could rise 10x per square foot, and when the dust settled people would end up paying about 40% of their income for a place 1/10th the size.

The rent crisis manifests in people living in small, crappy places far from their work, not in any of the statistics presented here.
There are a lot of games like that -- I wrote a permutation program that pretty much solved Alphabears, whereupon it wasn't fun any more.

Now I just make sure not to look up any tips or hints for games, because discovering them for myself is the fun I'm looking to have.
Copyright as an idea is fine - as in, how it was described in the Constitution: "securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries", emphasis on "limited times". It's our current batarnak of an implementation that's causing all the problems.

Getting rid of copyright and instituting a copy-anarchy would mean that creatives would have no real incentive to publish (no matter how much you do for passion, you still need to keep the lights on and put food on the table) - but our current system, with lifetimes tied to the time since Walt Disney's death, is a bit of a mess too.

Can there ever be a happy medium?
The latest well-replicated scientific experiments and research findings show strong evidence for what you’re saying here about firmware differences between the two sexes.

Perhaps a further question, though, is: SHOULD it be this way? Should we actively try to rein in this tendency of our firmware, just as we try to rein in other tendencies like our quickness to anger?

The meat still matters, for sure, but I wonder if we should be trying harder to transcend its less helpful qualities.

Then again, perhaps the competitiveness you’re referring to could be viewed as a net positive...
Maybe it's like the cluster in India, in Bihar?

https://thewire.in/health/what-is-encephalitis-whats-happeni...
My group at UC provides https://escholarship.org -- a 20+ year old open platform for publishing
This isn't some Oracle or SAP product your boss bought and forced you to use it...
Author of the blog post here.

As mentioned in other comments, I'd recommend doing a performance-per-dollar comparison in addition to looking at this pure performance comparison at maximum scale.
Notice, this isn’t just June to Late November, it’s also occurring every 2 years, not every year. This has me wearing tinfoil hats.
As a meta-point the "fog of war" applied to communications seems blindingly obvious and as an Elite Dangerous player (mobius PvE only) I always wondered why E:D never had that obvious gameplay mechanic; seems the article implies EveO probably copyright/trademark/trade secreted that obvious idea so no other game can have it.

That sucks. Nothing impedes technological and economic progress quite like IP laws.
Inox: Solver for higher-order functional programs
I'm the author of Sidekiq, which supports first-class scheduled jobs. It's designed for Ruby apps.

https://sidekiq.org

I'm also the author of Faktory, which supports first-class scheduled jobs and is designed for applications in any language.

https://github.com/contribsys/faktory

Both are open source and both have commercial support so they will be maintained for years to come.
> We know we can provide access to everything through one mechanism or another

Translation: let’s see how scihub works out for people. Good luck getting them back after they became used to it.
Normalizing strings for comparison, but storing the original source version of the substring that matched or was extracted from the normalized version, useful for search boxes and such. Not sure what their specific use case is, but it's something I've implemented before, so I know it has use cases.
The guy talks about millionaire country, dismissing these areas.

It takes a lot of poor people to support a millionaire's lifestyle and business.
You're making a big assumption that the author of a scientific paper gets to have any rights whatsoever. But that aside - these journals keep valuable research locked up from plenty of long-dead researchers. Their estates aren't getting the money when a grad student is grifted for $90 to view the paper.
Deepfakes Pose Increasing Legal and Ethical Issues for Hollywood
Power free, kinda. Still needs light though. Begs the question whether this would be more efficient or a solar powered tpu with the same amount of light.
Qualified Small-Business Stock rule helps Silicon Valley workers save millions
> top-line performance comparisons independent of system size

Then do that, just don't do it all in one chart with the systems only specified in the fine print.
A depressing lack of details in the article.
For those who haven't used it previously, you can use https://sci-hub.tw/ to bypass paywalls on almost any scientific paper
The issue of using children's Google search queries for optimizing
Google recommendations is a weird place to play your ethics flag.
> equates to what the DOM _should_ look like is must easier to grep then defining them as literal code, imo

It's a common view but really quite a funny form of path dependence / mental fixedness. The fact that html elements have been defined with angle brackets is essentially historical accident. It's just a simple hierarchical structure that can be in any notation and any given programming language can happily support this already without new syntax. Yet because of the history, we feel more comfortable with some angle brackets and so we have all this redundant syntactic complexity in jsx/tsx which we would never design without the history.

I'd encourage you to be open minded for going to all code because although there will be an acclimatisation period as you break the historical connection, those familiar angle brackets are totally superfluous.
My basic point is that you don't get access to the thing at all to begin with if:

A. No one bothers to create it because "Fuck you, pay me! I'm not your bitch."

B. No one bothers to distribute it because "Fuck you, pay me! I'm not your bitch."

We quibble a whole lot about where to draw the line, but if you outright make it impossible for the creators and the distributors to make a comfortable living themselves, then you don't have the thing at all to argue about "DRM or no DRM. That is the question."

If we want good things, we need to design a system that facilitates and rewards actions that add value to the system so people have reason to do so.
incels on hackernews. that’s a new one
but without noise! My significant other is allergic to noise. Either I install a fan that is too big and run it on the lowest setting, or I do it passively. I don't like moving parts, so passively it is :D

I just got my rock pi 4. It is undocumented and is probably full of hacks (someone mentioned 5 different partitions just to get it to boot), but it has an official huge heatsink for $8 that can be combined with a poe hat. My rpi4+poe hat now has a heat sink consisting of 5 cent euro coins and one of those very very small heat sinks that does nothing :D
Unless your company uses GSuite, then this can be a great tool to quickly put together small internal tools.
This paper already assumes that success is a social construct, and so it is not evidence of the kind you’d need to substantiate your initial enormous claims.

From the very first part of the abstract: “[...] the literature has not fully explored distinctions between the ways leaders of these organizations socially construct success, [...]”
He took people’s books! That would drive me crazy.
Yes, Cloud TPU Pods are designed to train much larger models on much larger datasets. And, as you mention, if you are willing to adjust your model architectures and training algorithms to take full advantage of the hardware, you can sometimes achieve substantial gains.
If the link above doesn’t work, try this:
https://www.osapublishing.org/prj/fulltext.cfm?uri=prj-7-8-8...
Crispr/Cas9 Genome Edits Using Bioreducible Lipid AndMessenger RNA Nanoparticles
I don't like how the article implies that if these systems passed some "cybersecurity verification", they'd be safe against a nation-state attacker, or internal sabotage.
2018 Global Fashion Industry Index – Fashion Week Vitality Index Unveiled
For everything prices per unit are decreasing in time, from cars to computers, while housing costs the same percentage of income and that is considered a good thing? Not in my world, there is no productivity increase reflected in cost reductions? Are houses increasing the cost due to increases in features?

For this year or this century, housing prices are economically absurd, unless they are seen as a "pay as much as you can afford" type of product and this indicates a supplier market that can be fixed by drastically increasing supply.

In a country that deregulated as USA, housing regulations are among the most strict in the world. Is it a surprise costs are very high?
This is interesting. I've tried Clojure, and heard about the idea of avoiding mutable data and using pure functions plenty of times, but imperative/OOP have still always made the most sense to me. When reading this though, something clicked because I've encountered the problem of getting a stable state to read/write without blocking other operations, and dealt with it in C++ in a similar way to Clojure without realizing it at the time.

I have this little lightly-tested library: https://github.com/tne-lab/rw-synchronizer. I'm not using it much currently but have played with it a lot while building extensions to Open Ephys. The idea being that as a reader, you get a "snapshot" of the last thing that was written, but it's really just one of several copies, and subsequent writes can happen on the other copies. So you never really modify the current data, just push newer versions of it. The cool thing is, if you know how many simultaneous readers you'll need ahead of time, all the allocation can be done upfront, so then if you have a real-time loop or something, all it needs to do is exchange pointers.

If I ever get around to it, the next thing I would do is allow any writer to also read the latest value, so it can use a transformation to create a new one. Maybe even do it automatically with copy-on-write semantics? On the other hand, I'm probably reinventing the wheel here...
The AI generates the solutions. The solutions are not AI.
We all know as soon as content is presented to a user it can be copied, and I think with photos in particular users know how to do this easily (via screenshot, if nothing else). I could see the argument could be made that doing anything that makes it appear like you can revoke access in the future would be somewhere between misleading and pointless. Not saying the Google Photos sharing UX can't be improved, but doing much more than improving wording is probably not worthwhile.

I'm personally happy with URLs and text like "anyone with this url (including anyone they share it with) can view, download and copy the photo(s) you've selected".
Machine learning used to reveal knowledge hidden in old research papers
> Not impressive. My $10,500 KTM 790 Duke does 3.1s 0-60mph. Nowhere close to the fastest bike, at only 100ish horsepower. Literbikes with 200+ horsepower do low 2's, all at around $20k.

Not a fair comparison. You're talking about motorcycles.

> If you can afford a GT-R, why's fuel economy a sticking point?

Environment. Also, getting such low economy simply feels bad. I admit it doesn't make logical sense.

> Performance EV? Soooo, a Tesla S/X P100D?

I consider the Model 3 Performance to be a performance EV, and not just because it has the name "Performance" in it. As mentioned previously, 0-60 in 3.2 seconds puts it into the realm of supercars. Top speed is low for sure, but I don't really plan on taking it to a track, so I can't use top speed, but I can use the acceleration.

> There aren't even any other worthwhile EV competitors. Audi e-Tron isn't fast. Jaguar i-Pace isn't fast. Chevy Bolt and Hyundia Kona - Same slow story.

I know, and it saddens me. I'd feel much better buying a performance EV from a manufacturer with a long track record for build quality and reliability like Toyota or Honda, but none of them have announced plans.

I'd be open to the idea of a plug-in hybrid sports car, but those don't exist at a reasonable price, AFAIK.
It's used in OpenBSD primarily. But it's a good tool and should get wider adoption.
I'd argue we'd be much better off if textbooks weren't eligible for copyright.
That was my first thought "What? Cairo has GC?".
I wonder if it is the other way around, with the elimination of polio making a disease that has similar impacts on many fewer people more visible.
For people with more questions: https://www.sciencealert.com/scientists-just-unveiled-the-fi...

> This particular photo shows entanglement between two photons - two particles of light. They're interacting and for a brief moment sharing physical states.

Here’s the research paper: https://advances.sciencemag.org/content/5/7/eaaw2563.full
Are you guys sure? Per that wikipedia page, there were 233 cases known as of last year. Total. It sorta strains reason that people close to two of those cases just happen to arrive at a thread in a niche forum site and report infections at the same time. Maybe there's a confusion of which diagnosis is which?

It's extremely rare, just barely at the level where epidemiology can inform decisions, which is the point of the linked article. Reporting is spotty and they're trying to get doctors educated.
Intelligence/smart is the default condition of all children at the time of birth. It’s the non-intelligent parents who drive the intelligence out of them by their own behavior and ignorance
>We are not antelopes

On the internet, nobody knows you're a gnu.
AI identifies human emotion based on walking style
Nonequispaced FFT: An Indispensable Algorithm for Applied Science (2008)
Why performance per dollar over performance per watt?

Performance per watt doesn't care where the systems are (on-prem vs cloud) and should track perf/$ (unless perf/$ is mostly determined by subsidies).
Slate Star Codex: Is Everything a Religion?
https://slatestarcodex.com/2015/03/25/is-everything-a-religi...

People sometimes anthropomorphize pets, cars, and computers by reacting to them the way we do to people, but that doesn't make them people. We religiomorphize by interacting with communities or ideas the same way we participate in religion, but that doesn't make them religions.
Yep, I just upgraded my RN app and their official upgrade strategy is to go line by line and update your project with the changes they made between versions.

https://react-native-community.github.io/upgrade-helper/?fro...
This is normal. All you need to say is the startup experienced financial difficulty due to poor sales. You are concerned about job stability. No further explanation is needed.
My pithy summary in interviews is “i worked for a startup that didn’t.”