skysight-inc/HackerNews huggingface dataset:
If you re-read my post, you'll see, that we are not contradicting each-other.

If you have the time/money/infrastructure/knowledge/trusted_personnel to design/make/test/etc entire processors, then now with RISC-V you can in theory make secure systems.

Also remember, that your effort needs to already start at the level of tool-chain, and other tooling, all the way down to the transistor. Otherwise you'll have a trust problem with regards to your compilers/synthesizers/etc.

But that is quite a high barrier for entry for anybody smaller than a decent sized country.
Presumably because a ballot filled out in pencil is not immutable — the pencil marks could be erased!
https://www.sqlite.org/releaselog/3_33_0.html
Although I personally prefer Guix, I too would like to be able to quickly and transparently replicate an environment on a remote machine and run a program there. But then there is still the problem of the input and output files, so the FUSE filesystem is still a really great idea. I think we could use outrun as a basis for such a tool, since it solves most of the problem already.
I use mutt a lot, and that's what I do when some HTML content is not viewable in the terminal but unless I'm missing something it's one of the areas where HTML-aware clients actually fare better, both in convenience and privacy/security.

For instance if I open some marketing email I got in the ProtonMail web client I
get a warning that "This message contains remote content" with the option to
allow it. Before that my browser makes no query to any third-party website so
nobody can track it.

If I open the same email in firefox from mutt, firefox immediately fetches the remote
content normally and unconditionally.

You could probably script something to start a browser in offline mode but I
haven't seen most people do it (see the replies in this thread that just tell
people to "open HTML with Firefox"). So paradoxically mutt users might be easier
to track than ProtonMail, GMail and other HTML-aware webmail users.
This is really nice. I experimented converting natural language to git log commands this week (https://twitter.com/danielbigham/status/1294461750251839489), but mapping natural language to git sql might be better and more flexible in some cases.
I prefer the option of financial penalties. Amazon is a useful logistical system; you don't want to kill it (nor disproportionally punish employees with no real influence on the immoral actions), just make it not profitable unless it's moral.

The system should also be holding anyone in the decision tree accountable for fraud: something like "if test purchases show fraud in >1:20 cases then CEO fine := last month's income from all sources".
I'd things are beyond you, you should look harder. To understand why might make you more afraid though.
I had that happen and the agent advised me to do a chargeback!
> Our entire field is bad at what we do.

Our entire field is bad at what we do, because it's full of coders instead of engineers.

Think about it. Building airplanes reliably has been figured out by aircraft engineers, building elevators safely has been figured out by building engineers, and building software reliably has been figured out by software _engineers_ (the NASA kind, who landed a spacecraft on the moon).

However, this isn't the experience you have on your regular job. "Oh, oops, everything failed because I forgot to do X". Can you imagine if the moon lander crashed because some guy forgot to do that manual thing he's always supposed to do? Of course you can't imagine, because they put actual engineers in charge of that, not coders.
You might also check out Guix. It has a mechanism for inspecting a third-party package archive like PyPi and generating a Guix package definition from it.
Actually at that time MIPS suddenly came back to life and had a big push with improved designs and a few deals resulting in pretty decent MIPS socs. Performance was okay, battery life was good, and they were first to market with the latest Android release (I think it was 4.0 or 4.4).

But then everything suddenly stopped and they left the market altogether.

Edit: Regarding this:

> Want to work with an IP vendor whose sales are not part time lawyers? Go for ARM

One of the founders of OpenCores (RIP) told me that ARM lawyers contact him _within hours_ of someone pushing a design they dont like. While MIPS has a bad rep, ARM is probably more aggressive.
Something I feel isn't being acknowledged with online education is that brick and mortar schools are the worst people to be doing it. Traditional colleges have staffing levels geared around physical limitations after all. Assuming you can make online-only work even kind've well, won't it mean that staff who share course modules are suddenly redundant as a concept? I get that that's not bad in the efficiency sense but if you can run a college without the brick, mortar, and seating requirements, then why would anyone ever hire the same number of master and phd level academics when you could have people specialized in communicating the material following modules designed by a subset of the people in the mid and upper echelons of academia? It seems like if we ever get online-only working what we're going to see is a mass consolodation of high level programs.
I can't imagine any actual web designer wanting to trade flexbox/grid for tables.
And just to expand a smidgen on that, the maths expression:

A ⊂ ℕ is such that Σ_{n ∈ A} 1/n diverges

is one way of saying that the set A of integers is not too sparse.

The set of powers of 2 does not satisfy this condition ... it's too sparse.

The set of primes does satisfy this condition ... it's not too sparse, primes turn up "reasonably often".
Bridging the Digital Divide in Kenya
Yes, their own gathering around raiding a military installation.

Pretty clear this is going nowhere. Have a good weekend!
Hmm, not sure that would work though.

What happens when an ID is stolen? If there is nothing mapping "John Smith" to "ID #12345", then you have no way to revoke IDs because you cannot know if the person claiming the ID is the true owner.

Wouldn't that mean stealing IDs will be virtually un punishable, and reselling them very lucrative?
Telegram messenger team makes an election poll in Belarus
Telegram sent a poll from the service bot to all users having a Belarusian phone number. So far, according to Telegram, the incumbent president has %3 out of around two million poll results already collected.

They also set up a https://t.me/telegrambelarus which will be their official communication channel.
> It is useless to argue on HN. I have literally 5 or 6 accounts banned for attacking a textbook ideas.

Then don’t.

> I have background in philosophy,

I have an A-Level in philosophy, but it’s a terrible grade and I don’t get to make up for that in philosophical discussions by waving around my Software Engineering degree.

> and down to earth physics way above that of downvoters.

That choice of phrase alone will make you look like a nut. Would you care to rephrase that, with specifics? Do you work professionally with aerodynamic simulations, for example? Or perhaps you want tell us about the video game engine whose physics model you coded?
Cool, who's making the comparison website that shows which products are the same price in California, vs all the others that Amazon knows are mixed in with counterfeits and low-grade and defective items.
Which Markdown? There are so many to choose from....

In seriousness: Most Markdowns are 1) fairly similar and 2) sufficient for the vast majority of documents. If the goal is a stable, mature, and complete markup language, I'd be inclined to give LaTeX top billing. Markdown can of course generate LaTeX.
Just because the blockchain is public doesn't mean that the identity of voters is public. You know which one your vote is; that information isn't otherwise public.

When you vote right now, your vote is (theoretically) tied to your identity, because every ballot has an id tied to it, so it's not like you'd be giving up any more anonymity than you had. I don't know of any practical fully anonymous election systems that are post-hoc verifiable, but maybe somebody does.
> The conjecture by Erdős is the following: if A ⊂ ℕ is such that Σ_{n ∈ A} 1/n diverges, then A contains arbitrarily long arithmetic progressions

This is quite hard to understand for people who don't already know what it means (including me). I started trying to translate it but there were a few parts I didn't understand, starting with:

1.) Is ℕ integers >0 or >=0? Wikipedia says it can be either. Maybe it doesn't matter? Maybe it must be >0 otherwise 1/n makes no sense?

2.) When you ask whether the sum of 1/n for all n in A diverges, how do you know what order to sum them in? Does it diverge regardless of the order? Since A only contains positive integers doesn't sum of 1/n for all n in A always tend towards infinity?

EDIT: I see now that sum of positive integers doesn't always tend towards infinity, thanks to ColinWright's comment about powers of 2 (for which the sum of 1/n tends towards 1).

Also, since the numbers are all positive, it doesn't matter what order you sum them in, you're basically just asking whether the sum of 1/n for all the numbers in A is finite or not.
Fwiw, I also have Containers on my Firefox, and I'm 99% sure I didn't install it. I've never used them, but I suppose it's not out of the realm of possibility that I installed them while hacking on a side project at 4am and forgot about it.
The GitHub code vault – humanity's safeguard against devastation
Yeah, no, you got lucky with that - I found out Amazon can't be trusted with high-ticket items by getting a $1200 lens that turned out to be gray market. Works fine, but I better hope I never need warranty service.

Amazon can't be trusted with high-ticket items, including but not limited to camera equipment. Go to B&H or Adorama, or Newegg or Micro Center for high-ticket computer parts (cf. the recent spate of GPU scams), or the like. And - preferably to any of those options - support your local small retailer, if any.
It’s the only language I’ve used where just going step by step through the official docs was enough to pick up the language. Took me maybe a day and a half.
Exactly so. The problem with submodules isn't the concept itself, it's the lack of transparency. The submodule state should always be kept up to date with the state of the working tree, so that you never end up in a situation where it is stale and out of sync with everything else.

Git LFS has a similar problem, but there it does at least check out the content by default. But even there there have been too many times I've had to manually fetch things, or push things manually to different remotes.
> building software reliably has been figured out by software _engineers_

This is patently untrue when it comes to security. OpenBSD is the closest thing I'm aware of to a "secure" widely used system, and I'm sure that OpenBSD machines are compromised every day.

The day that a network exploit is treated with the same seriousness as a commercial jetliner crash is the day I'll believe software security has grown up.
Receive by mail? At that point I already know that the system is fundamentally broken...
Web by Google (TM)
I don’t see the lack of the vacuum discussed in the paper apart from your meta-comment about it, therefore I will not take it as being necessarily true.
You can definitely report items as "inauthentic" and they will be escalated to the seller. Amazon gates sellers by category and ASIN and will remove selling privileges based on complaints.

I don't think most people here have any idea 3P/FBA selling works. It takes a lot of work to get listed and move into new categories, and you can be removed very quickly for the slightest of reasons. This goes to show the scale of the problem in policing logistics at this scale (not to say that Amazon shouldn't be responsible for it).
> but maybe the scale of the problem is too big

They control the scale of the problem, and can raise the barrier to entry for new 3rd party vendors at any time.
Ask HN: Please suggest some good books you have read recently
Hi,
Looking for book recommendations. I generally prefer fiction, but any Good contemporary non-fiction would also do.
Thanks.
Trump poised to look into pardon for Edward Snowden
UK, complicating things since 19... wait... 18... 1700s?
It’s Time for Apple to Change the App Store Sales Model
What rapid urbanization looks like in the Ethiopian capital
Terrible landing page. I have no idea how this works exactly even after browsing through the site for a while and clicking around.

All the explanations just look like superficial rambling and don't really tell you how the product itself looks or works.

Is it a wordpress competitor? Is it a subscription tool? I have no idea. Even the one screenshot it has on the site is useless because nobody can really make sense of what's going on in that picture.
Having done some chidokai, first thought on seeing the site is "wow, that's a poor stance". YMMV
No, you are in good company. There are those that believe technology would eventually be the solution for any problem, and those that have lived through this phase already and sobered up, eventually coming to the conclusion that technology is not some magic dust able to solve any problem you throw it on, but just a tool like other tools, each of which has its purposes. All of them, not just modern technology, are fascinating, but none of them is magic.
Meh another shit-post for some clout.
That doesn't necessarily surprise me, actually. I suspect a decent chunk of people here a) consider themselves to have autistic behavioural traits, b) don't see the value of a diagnosis.

The term "diagnosis", to me at least, implies a disorder. Deciding what is a behavioural trait and what is a disorder is, at a guess, not robustly decidable.
You are saying I'm a shill for wanting 1 instead of 3 Facebook apps to communicate with my network? Check my comment history, my website and my open source work. I'm clearly a real person who never liked Facebook.

In fact I'm fairly anti-facebook but not enough to move my friends to a different chat app (or a different 3). The network effect is strong.
Or coercion. If at any point your vote can be known, there is very high risk that someone forces you to vote like they want.
Only way to prevent this is total anonymity of which vote was by which person.
Your comment sounds a bit like obscurantism ? The classic "You shouldn't do this, it's bad because you're biased. Besides, it's impossible to not be biased, so don't bother". Even though there are documented descriptions of the physical aspect of these people.

https://medium.com/@voshart/appearance-of-the-principate-pt-...
More Americans Go Hungry Amid Coronavirus Pandemic, Census Shows
Is it not seen as societally acceptable in the States to wear colorful clothes as a male teenager/adolescent? I know I grew up in the ‘90s (in Europe) and as a kid I knew I liked colorful shirts (red, yellow) well into my mid-teens, I didn’t see them as male or non-male. The only comment I received about the color of a thing I own happened relatively recently (I’m almost 40 now), as one of my aunts remarked that my car is “girlish” because of its color (red). I found that strange and an interesting sociological input, but nothing more.
I was thinking about breaking it down to just make a fun sandbox VM with some APIs for network, local storage and interacting with the user. No document format or anything, you get a screen to draw on and get events. And then I thought: "hmmm, everybody's going to be disappointed that the VM isn't for their pet language", so I came up with the idea of just using QEMU. Literally just give every site a bare machine it can load any image on. Make a virtual IO device for the system services (like exposing the path and query part of the URL, clipboard and linking to other machines). UI, storage and network get normal VirtIO devices.

Let's keep HTTP for metadata and cache control (don't want to download big images unnecessarily), with a bunch of headers for negotiating preferred CPU architecture and other hardware stuff.

It's different enough from the web that it might actually work, for some value of "working".
A layman's guide to understanding the Cloud
I despise DRM as much as the next guy, but its existence makes perfect sense. The moment someone explains to a C level at a studio how easily the content could "leak" from a site without it, it's out of the question to not have it. As the parent poster implied, yes it's security theatre to a large extent, but it does block the very easiest forms of content sharing (i.e. just sharing the video manifest or simply saving segments).

Regarding purchases and licensing, those are still stuck in the same business model and pricing as in the analogue days, this is true. But saying overall consumer prices are the same is ridiculous, since all-you-can-eat content subscriptions is a massive transition with no comparable offerings in the analogue past.

If you want to culturally enrich people, there has never been a better time to consume huge amounts of quality stuff for barely any money.
For a physicist, taking a mixed solution isn't "game theoretic", it's an "ensemble average" solution.

(... and, thinking of time-averaging, you all have forgotten "on at least one side, at least once during their lifetime." If programming has taught me anything, it's that variables won't yet constants aren't.)
Here's an example for anybody who doubts this; go search for:

a) an Oximeter

b) a medical thermometer

c) a blood pressure cuff

These are all fairly relevant devices. Spend 10 minutes really researching the categories, and actually read the reviews (in particular the 5* and the 1* reviews). Can you find a combination fo devices that you're actually confident buying? It shouldn't be this hard.
Magnetic levitation can be used to separate the living from the dead
My understanding of the original point is that ML models are trained on a data set. If you train the model on a data set that is only made up of white faces, the results will be whiter than if you train it on a data set that is made up solely of black faces. They said they'd like to know the makeup of the data set that the model is trained on to more fully understand how the results were produced.
2 years younger (1985) Atari 520ST (1), upgraded to 3MB ram.

Here (2) with proper NE2000 compatible Realtek 8019 ISA network card (3) connected to cartridge port with super simple converter board, one 74LS245 chip.

1/ https://www.youtube.com/watch?v=dqSZQzCMZSU

2/ https://www.youtube.com/watch?v=LvKXWkyyYhc

large jpgs https://www.youtube.com/watch?v=5_UqkQ3QbWQ

animated gifs https://www.youtube.com/watch?v=CPaBQijrWAQ

3/ https://sites.google.com/site/probehouse/networking-the-atar...
Q: Python 3.9 is better ?

https://docs.python.org/3.9/whatsnew/3.9.html
Yep, HN hug of death is still real.
I feel like with the current political climate in the UK this solution is fairly unlikely to happen.
> I do dislike the idea of a power plant surrounded by salt water

We've had nuclear powered subs for decades now.
nVidia already owns Mellanox which today seems very monopolistic for any HPC-interconnect. Them buying ARM means, they could just stop supporting everything else someday.
I really liked the article, but I wonder how many people can read it and think: "hmm, indeed, I don't seem to have that capacity" rather than "hmm, indeed, I've seen others not be able to do this"? I know I certainly felt more of the latter, with the possible exception of indeed sometimes still ascribing nefarious intentions rather than a different world view to people I disagree with - but even then, I only do so with the caveat of "well, at least I'm aware of and trying to combat those thoughts".
Finally we are being honest. Amzn is a flea market.
That, and the magnification. Sagittarius A* is 26,000 light years away (https://en.m.wikipedia.org/wiki/Sagittarius_A*).

That’s one and a half billion astronomical units. The star in question is twice the sun’s mass, and, I guess, not too dissimilar in size. If so, if you had a camera that could take a 1,000,000,000 by 1,000,000,000 pixel photo of our sun from the earth and pointed it at this star, that star would fill a single pixel (Likely a few more more due to imaging imperfections, but those would mean the light gets smeared out)

It typically takes multiple ‘photos’ to even get a single of those CD observations in a frequency range (https://en.wikipedia.org/wiki/S2_(star)#S0–102: “At one-sixteenth the brightness of S0–2, S0–102 was not initially recognized because it required many more years of observations to distinguish it from its local infrared background”
PHP also had ordered maps from the start.
For me ecto was a breath of fresh air. When I look at an ecto query, I'm never guessing about the output sql. It doesn't try to make relational queries look like objects. Often times I think, "how would I do this in sql" and there's usually a matching Ecto.Query operator that handles that.
A Fierce Workout Routine Comes from a Day on Her Farm
Understanding and Inferring Units in Spreadsheets [pdf]
Here is a library with lots of types: https://github.com/avk959/LGenerics
Not die through picking up the wrong nuts and berries and eating them. Small kids try to eat literally anything they can get their hands on.
Yups. Couple of items are “$thing got fixed. It was wrong. Im sad” and then state how their own project did it right. Cool story bro
Indeed. And Crystal (https://crystal-lang.org/)
This author consistently omits important context from their posts. When this is pointed out there is always a rebuttal (however unconvincing), never a change of perspective. When new insight is gained, it always confirms or elucidates an opinion that the author already held (as in this post). Introspection and reflection seem absent from this blog. Maybe that's intentional, I don't know.

Resources are one obvious constraint. The stage a company is at in its lifecycle is another. There was a time when Google had security issues so egregious that if you bring them up to current employees you will be accused of lying. Company growth rate is a constraint. Why solve a problem perfectly now if you know you'll have to solve it again in a year when the company outgrows the current solution? Employee workload and performance assessment is another constraint. Employees will only give the company so much time, and if the company doesn't allocate enough of that time towards keeping the house in order then the house will not be kept in order. Cultural stigma is another constraint. Sometimes people are not willing to say why they are doing (or not doing) something in a certain way.

If you file an internal bug, come away dissatisfied with the fix, and conclude that the fixer is some lesser-than-engineer who is lazy and doesn't care about doing things the right way you might be ignoring any of the above constraints or many more. Or they could be bad at their job. There are plenty of people like that in this industry, too.
There is some valid criticism but, as pointed out, fixing language inconsistencies when there is a corpus of programs already running is not trivial.

Maybe when we decide to make Python 4.

/me ducks
For those commenting, I suggest looking into ElectionGuard.