skysight-inc/HackerNews huggingface dataset:
Flatpak is not a walled garden. Flathub totally messed up the decentralised aspect of flatpak but in theory flatpak can be totally decentralised and you would add software source like you add .debs PPA

Flatpak doesn't impose closed-source, we have distros which only use open source flatpak repos.

Models like Flatpak have the advantage of "download from website & install" i.e you get the apps directly from the producer (which is better for security) while having no walled garden app store but having the advantage of auto updates & permission systems

I do not like Flatpak for technical reasons but Flatpak itself is in no way a walled garden solution, the problem is Flathub.

> I don't care one bit about Linux being a mainstream desktop distro

If you still want to be able to run Linux at all (not even on new hardware) on a consumer hardware, then you should care.

- Linux doesn't run (decently) on Microsoft latest surfaces
- Linux won't run on new Apple hardware
- Linux doesn't run on Android phones (with a few exceptions)
- once Google switch to Fushia no more Linux kernel on mobile hardware
- on the long term Huawei will ditch Android and other OS for their own thing.

Linux will die on consumer hardware (except on servers) if it does not become more popular. According to Apple's keynote the future of Linux is in its cage, in a VM running on walled garden MacOS. According to Microsoft the future of Linux is WSL, running on top Windows.

If you do not like walled garden then you should definitively care about Linux getting more mainstream before no comsumer hardwares support it anymore
KDE on the other hand, is real nice these days
I doubt, the people from the "Nouvelle-France" have diverged a lot from their France counterpart integrating the culture of the native within their own. Most likely France would have lost control like England.
The other benefit of top-level/function annotations is that they ensure that your mental model of the code is consistent with what the code actually does.

So many times I will accidentally return 42 or Result<Result<42>> when I mean to return Result<42>. With annotations, my error is instantly obvious. Otherwise I accidentally have a function that returns Result<Result<number>> and it may lead to a very weird error message when I use `foo().map(_ + 100)` somewhere else.

That's letting the computer doing more work, not less of it. Relying too much on inference can bow back into the human doing more of the work to figure out what the types actually are in a given spot.
Is it written into Ukraine's laws (and then quietly ignored) that they should respect those groups' territories and negotiate treaties to resolve issues? Fun fact: British Columbia barely has any treaties because people have ignored the issue for decades. This is incredibly slow going: http://www.bctreaty.ca/negotiation-update.

Edit: Read about Nogais and Tatars instead of spewing nonsense :)
Then something is really up and I’d not be concerned about the cam cover on my computer so much as whatever malware is allowing remote control of the camera.
Social Media and the End of Discourse
> > This isn’t speculation.
> He didn't say it was.

They didn’t need to use the word to imply it. I did however assume they’re weren’t so self-centeredly solipsistic as to think that their personal choices were the universal general case, or advisable for a typical participant on this forum.
But then:

> Besides, if the NSA really wants you, they'll just fabricate the evidence. It's way cheaper.

Again, no. That’s another of those “surely this doesn’t happen” comments, and once again, it is flat wrong. Even setting aside that discrediting/compromising someone is likely to be different agency; just as with bugging them, there are still plenty more reasons besides eavesdropping or coercion,
such as industrial espionage, or sabotage, and the main point is that this isn’t theoretical. It happens. Deal with it, don’t deal, up to you, but never assume you can’t be a target.

This is why I only take a disposable laptop and phone across US or Chinese borders. Both have intelligence services with the resources, ability, and inclination toward systematically documenting anyone even remotely interesting.

> As long as some bureaucrat has to put their signature on a piece of paper and get budget to get my stuff, I'm safe against random trawling

If this level of willingness to disregard the entire history of bureaucracy and covert action helps you feel safe, and if you have no direct or indirect ties to any other human being, body of data, or corporate entity that could ever be at any kind of risk, then why not I guess.
I really don't think airport security has enough time to open an Apple laptop and rewire the camera.
>that's thrown at their face is that they have to give up law of excluded middle, non-constructive logic and what not

This is just outright false. You can introduce it as an Axiom. In Coq this is literally just

Axiom classic : forall P:Prop, P \/ ~ P.

I wouldn't make such patronizing statements without being very sure that I know what I was talking about.

Also, mathematicians aren't the be-all and end-all. Theorem proving is also very relevant for CS, so it's not the end of the world if mathematicians keep using pen and paper for all eternity.
In Santa Barbara you can find the Church of Skatan. A skateboard shop built in a church building.
Of popular intellectual topics, nothing is simpler to explain:

* If you want to gamble, go to Las Vegas.

* If you want to make money, invest in index funds.

Further reading: https://arachnoid.com/equities_myths/

Yes ... it really is that simple.
>mathematicians have been fighting about non-constructive proofs and the law of excluded middle far longer than they've been writing proof assistants

Yes, and Brouwer lost that fight. Classical logic is an implicit assumption for professional mathematicians. LEM is simply taught as the truth in university courses. My SO who is a math phd student hadn't even heard of intuitionistic logic before.

If you want working mathematicians to use theorem provers, they need LEM. But this isn't actually all that much of an issue, since you can just introduce LEM as an axiom. It breaks computationality, but it's not like proof assistants using classical logic would have this either.
It's probably worth noting that the majority of the development on that library was done on April 1st 2019.
Thanks!

Also, we're focused on SMB omni-channel product based businesses, we're not as focused on super-high volume DTC brands -- Skubana is a good option if that's your business profile.
I feel far more unsafe around the woke left than I do around supporters of a bumbling idiot.
I’m sure it’s different for many other people who use a second, larger monitor.
Installing Unity or Godot and having something move around on the screen is significantly faster, more intuitive and therefore cheaper than dealing with all the processes around racing the beam.
I use a small strip of black electrical tape and it works out great. It has virtually no profile and disappears into the black margin of my laptop screen.
It's a disgrace honestly and upends narratives...if California's really had excellent handling, and masks work: why are the case numbers rising so much (or rather how does this harmonize with the media narrative)?
> I'm pretty sure if I were to submit an app that does all this, it'll be rejected right away.

I suspect you’re right and would be very interested in the results of this experiment if you (or anyone else) happen to undertake it.
Not a great comparison since outside of rural Mississippi and similar, the cost of barebones living is much higher, so people on minimum wage have much less discretionary income today.
You are taking huge liberties in forming equivocations which mislead your conclusion.

The tacit knowledge description only talks about the acquisition process of the knowledge, not that the knowledge itself is outside bounds of rationality or the physical world. By the same token when you claim "humans have intelligence that is impossible to express through reason or codification" the entire argument hinges on the actual meaning of impossible. Is it impossible in itself, or ever, because human intelligence is non-reason based or are we using a meaning of impossible that at this day and age the process of doing that is still intractable for all intents and purposes. If you're claiming the former, that itself is such a strong claim it requires its own strong proof. If it's the latter, well we have been developing psychotechnologies for several millennia to be able to express ourselves and our cognitive processes and getting better at it, you just need to be patient.

If you found a working x86 chip in the wild, but all documentation and knowledgeable people were wiped out for some reason, I bet the process of finding out how that x86 worked would look quite similar. It wouldn't make x86 otherworldly or in need of a soul.
> Since 2018, as part of a program called Defending Democracy, Benaloh has been working on voting software that attempts to solve the problem of trust in secret-ballot elections.

No. Stop. Listen, it's possible to write secure voting software that a domain-expert software engineer understands, and a general software engineer can understand. That's not the problem.

But for voting, that is not enough. The entire voting system has to be easily understandable by everyone in society, in order for society to trust the system.

Where I'm from, all voting is done with papers and envelopes and urns and seals, and with people having eyes on the process at all times. And the most important thing to realize is that this process is infinitely parallellizable, so getting election-night preliminary results isn't hard, even though every single vote is manually counted. You just need enough people to count the votes.
Clearly this is just the particular phrasing in this edition for "whenever this becomes blocked," which has been phrased many different ways across editions.
Whatever happened to the Mozilla that made FirefoxOS. Just to soon I guess.
I used to play on consoles, typically would have 2-3 of them each generation and buy up the biggest AAA titles. God I can't imagine how much money I spent during those years. These days I spend most of my gaming on the PC, where I don't feel this constant urge to keep up. The games are reasonably priced and there's plenty of free-to-play options that actually end up being the more fun games anyways. If I feel like spending money on in game items I will, but generally I spend a small fraction of what I used to. There's no way I'm spending $70 on a video game unless it's something I see myself playing for years on end. Think Elder Scrolls. Suspect the vast majority of games don't fit into this category though.
I’m not against a gay only school. It doesn’t sound too dissimilar to male or female only schools, which only seek to employ teachers of the same gender.
Cameras and mics need hardware off-switches on all mobile devices. Not a digital switch that sends a signal to a CPU - I mean a slider switch that physically disconnects wires.
Of course! I meant my comment to be tongue in cheek, but saying that some numbers are uncomputable is not incompatible with symbolic math on a computer. Note that for example Pi is computable, despite having an infinite decimal expansion.
It goes both ways. People have just as much right to post "cancel" posts as they do to post the kinds of posts that get "cancelled".

Society chooses how to react. No one is losing their job because they got caught calling someone out for being racist or sexist. If people actually go too far, or lie about their allegations, they're at just as much risk of having the tide turn against them. This is already built into the system.
Valerie: Rethinking Web Apps in Rust
Overleaf has been the most positive day-to-day change in academic science I can think of in the last five years!
Where did privacy come in this discussion?

If you are going to be fear-mongering based on vague assertions and appeals to business models, it would be wise to mention the 30% fee on all digital transactions that Apple extorts from all its apps. It is very clear that Apple doesn't want to lose that control (and revenue) to the Web, which despite the attempts of all corporations (including at times Google), still manages to be a little more open than our corporate overlords would like.
Sounds something like Gartner -- the folks that are supposed to help recommend solutions and vendors to you, without going directly do the vendors first.
The Supreme Court has merely ruled that Congress must first tear up the paper before violating the promise written on it.
Netflix promoted its new Charlize Theron movie with a girls-only esports tourney
Without some way of releasing or absorbing energy, the system would oscillate forever.
Ask HN: How can I quickly trim my AWS bill?
Hi HN,

I work with a company that has a few GPU-intensive ML models. Over the past few weeks, growth has accelerated, and with that costs have skyrocketed. AWS cost is about 80% of revenue, and the company is now almost out of runway.

There is likely a lot of low hanging cost-saving-fruit to be reaped, just not enough people to do it. We would love any pointers to anyone who specializes in the area of cost optimization. Blogs, individuals, consultants, or magicians are all welcome.

Thank you!
>Anyone can look and see the path of arson, robbery & destruction that is not a part of any normal crime pattern. When dozens of people rob & destroy a Wal-Mart, Target, etc. that's "looting" not mere robbery or such.

Once again more context you are expecting your reader to look up rather than have explained by an unbiased news source.

The question isn't whether looting happened. Of course it did. However there are also hundreds of thousands of robberies and millions of larcenies. Those don't just go away during times of civil unrest. How do you decide what is considered looting connected to the protests versus traditional robbery or larceny?

>I only said that Dorn was a cop,

Here is what you actually said:

>>David Dorn, a black cop murdered by looters

There was no past tense on being a cop there.
Not just food. Let's "localize" all of our needs. Every single one of them. Note that is "needs", not wants.

There will always be room for trade in things that you cannot produce locally such as coffee, but for almost every other thing, there are local solutions.

Open Source Ecology [1] attempts to go the high-tech route and they may get somewhere, but they are only one of many approaches to localizing. With the internet we can have many groups working on localizing their own needs and sharing their successes and failures with the world. Add some gamification and wholla we have people competing to actully figure out how to live on this planet while leaving the place better afterwards.

Note that a completely local system would probably not have much need at all for state backed currency except for trade.
[1] http://www.opensourceecology.org
Does anyone know if VS Code has the ability to built MSIs?

Or any addons that can do so?
Note that there's some more recent research that bridges the HM-subtyping gap:

http://stedolan.net/research/mlsub.pdf

So this can be done, though afaik there's still some theory work to be done to combine it with some of the more advanced features in modern FP languages (e.g. higher rank types)
I am sure MySQL is a great fit for your use case.

For others reading your comment though, I did want to list some things I have used with Postgres that relate to connection pooling and data partitioning:

* PGBouncer for connection pooling/sharing.

* Postgres Table Inheritance for table partitioning (https://www.postgresql.org/docs/12/ddl-inherit.html)

* PGPartman for automating the creation of partitions (https://github.com/pgpartman/pg_partman)

* Citus for low-barrier data sharding (it's a Postgres Extension like PostGIS) (https://www.citusdata.com/)
We are essentially on the same page. I was specifically responding to 'darwinwhy' . Infact I want employees to break non-compete agreements if they can get away with it because of it's somewhat inherent unfairness.
Tongue in cheek reference to WebAssembly?
>> Is it different for other people?

Yes. Many people leave the laptop on, and wander off to pee. Or they're jerking off with their eyes closed. Or they are using a different computer at the same time in a data-center. Or all of the above at once.
Where is the "respectable" part of the internet? It's not like this guy is posting on silk road ...
This covers a lot of the issues in question:

https://www.cato.org/sites/cato.org/files/pubs/pdf/bp102.pdf
From the FAQ:

> What happens if I lose all of my security keys?
> If you still have access to a computer that is signed into your account, you can visit account.google.com and register replacement keys in place of the lost keys.
> Steam became a success because of the games Valve developed.

So what? That was years ago, and that says nothing about the present state of affairs.

> This is causing a rather large loss in revenue for Valve.

No it isn't, because you are missing the fact that the gaming market is not a zero-sum game, fix-cake that you can only get a share of. It's constantly growing, and new games create new public the whole time.
(a) This is a fantastic argument for why they should not be able to collectively bargain and strike. They are civil servants, not labor working for capital owners.

(b) You grossly overstate the danger of being a police officer. According to the Department of Labor, being a police officer is not in the top 10 most dangerous jobs in the US. It is, in fact, slightly more dangerous than being an electrician, and significantly safer than driving a cab. (https://www.bls.gov/iif/oshwc/cfar0020.pdf)

(c) I think you are being hyperbolic. The intense criticism they are facing today is earned. Not because all, or even most officers are bad, but because they consistently protect the ones that are, and aggressively defend the worst among them.

They can have advocacy, but their ability to collectively bargain with us (our government is us) and constantly circle the wagons and protect their own is net harmful to our society.
What I'm saying is true -- if the initial state is chosen to be a superposition of states, then the time-dependent Schrodinger equation enables one to simulate the time evolution of the electron density.

> thus, the "change" in the simulation posted here would be uninteresting since it would just correspond to clicking a different eigenstate in the top right!

That is a drastic oversimplification of reality. Spontaneous emission of a photon is not instantaneous. It is still possible to simulate the time-evolution of this process.
So what you're trying to say that the dislocation and genocide of people of indigenous nations by colonial nations was morally fine because you assert that the indigenous people probably did something similar in the past? Good grief.

Settlers knew what they were doing and their actions against indigenous people were not moral. They do not need defending.
You may be interested in his brand new course on HoTT in Agda

https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes...
Covid-19 Dashboard (asking for feedback)
> I like to point out that the AAA game developers have never turned higher profits than they are right now. Activision Blizzard is reporting over 4 billion (yes, ‘B’ billion) dollars in profits.

In 2019 ATVI made $1.5B profit on $6.5B revenue, down YoY from the previous year. During the same year Google made $34B on $161B of revenue, up YoY from 2018. Apple similarly had a gross margin of about 38% on $89B of revenue.

Relative to companies that actually are making profits hand over fist, I find it hard to muster any outrage toward labor-intensive entertainment businesses.
That's assuming there is a monopoly. The cost of providing a chat service is low and dropping. If Microsoft or Google can provide it for free on top of the communications services companies are already buying, why would anyone pay an additional $8 per user per month for chat?
Show HN: Covid Comply (my coronavirus lockdown side project)
So let's say you make 10 bazillions dollars per day just by running your store, and releasing a new game that takes a lot of efforts and 3 years of work would only result in 0.001 bazillion dollar in 3 years of sales, does it make sense to sweat making games anymore? The maths speak for themselves.
Sure, but no Indian has been here longer than, for example, Hester Ford. That their ancestors were here before hers is not particularly important.
Wow! Very cool!
Thank you for your comment and those videos. They were extremely enriching.
Totally agreed. When the tools of government and law enforcement can be weaponized to produce fake evidence that is then used to acquire warrants, it is truly blatant corruption.
They already did. It's called WebAssembly
So what do you do exactly as a ham? Like what does a typical ham session look like for you?
Maybe better to just read the arxiv article, linked in OP. It's quite readable for a lay-person such as myself, and the meat is quite short. There are pictures starting page 23. https://arxiv.org/abs/2006.14805
The difference with Zoom is it was created by a person with decades of experience engineering video conferencing at scale.
You are spot on here: the heat equation and the Schrodinger equation are both special cases of the wave equation. A major difference between the two is that the Schrodinger equation deals with complex numbers, as you state. Transition between states is not instantaneous, though it is very fast, on the scale of attoseconds (10^-18 seconds).
> All of them the result of US interference, both directly and indirectly via The War on Drugs™.

It's a little easy to blame everything on the US. You can also factor in the fact they had weak central governments to begin with. A country that has a strong executive power is usually not overrun by cartels.
If you have access to Gaffer tape it's up to the task of covering when you need, and electrical tape cut down will do in a pinch.
Or maybe you were never a shark, never progressed beyond the bottom levels and were never really in charge of anything substantial?

My kids sometimes feel like they've made life changing and important decisions when in reality I just gave them a choice between two pairs of shoes to go to the park.

The tech equivalent is owning a small product at a big company, feels like you're the man but the CEO doesn't give a toss and you're not strategic.
Thank you for the wonderful work you do, cynicalloner!