skysight-inc/HackerNews huggingface dataset:
Why value efficiency and not quality? Remeber Deming (1)?

Result of work effort
quality = -----------------------
Total cost

When focus is on quality, quality rises and costs fall. When focus is cost, costs rise and quality falls.

(1) https://en.wikipedia.org/wiki/W._Edwards_Deming
Tech Days: A Developer's Guide to AI
> Why anyone trusts him with their data

You could always read the client side encryption in the MegaNZ page source?
I suspect that a lot of the inconvenience of modelling non-linear problems in Rust actually doesn’t come down to ownership semantics alone, but the combination of ownership semantics and the low-level memory model. However, I don’t have any solid evidence to support this, because ownership semantics have only really been implemented with the low-level memory model, because the low-level memory model strongly benefits from it (memory safety; it more closely matches how computers work internally at that low level) and GC languages don’t need ownership semantics, and people don’t generally restrict things without cause (and ownership semantics are definitely a restriction).

My thesis here is that Rc<RefCell<_>> and similar are an effective escape hatch to ownership semantics, but they’re much less convenient than a garbage-collected type in a scripting language specifically because of the language’s low-level memory model. A GC language with ownership semantics might be able to obviate RefCell, which is the cause of Rc<RefCell<_>>’s inconvenience.

I’d be interested to see experimentation with ownership semantics in languages with higher-level memory models (which broadly means GC languages). My thesis could turn out to be quite wrong, and I haven’t worked out all the details of how the combination would work (especially I’m hazy on parts of removing RefCell, which is pretty critical), but I think it could be worth some research—ownership semantics for its own sake, rather than ownership semantics for memory safety.

> 10. Getting used bypassing the borrow checker to reduce fighting implies people have just found a way to cope with the constraints it imposes.

Here’s the thing, though: it’s not just about finding a way to cope with the constraints it imposes; it’s also about thriving within the constraints it imposes, because it stops you from doing problematic things and guides you in the path of better designs much of the time (though non-linearity can definitely be a problem; it’s not all buttercups and daisies). When I work in JavaScript, I spend half the time missing ownership semantics, occasionally feeling downright miserable because ownership semantics would have made a problem far easier or less dangerous. Remember what I said about ownership semantics for its own sake rather than ownership semantics for memory safety? Yeah, most of the time I love Rust’s ownership semantics for the modelling rather than the memory safety.
I just don't understand why rich people would need to share their resources with poor people at all if we live in a world that does not value labor.

Guy says "post-scarcity" but what does that really mean? Even if we have cheap energy and cheap raw goods, there will still be things that are limited, perhaps open space, nature preserves, beach property.

Or maybe even in a land of plenty, there will still be those who live in poverty (some would argue that poverty is a choice today).

I'm not sure what will be valuable in the future, but I am sure the rich will hoard it.
Fascinated to hear that you're using Rust in any capacity, from your comment history I assumed you were mostly Go. What domain, can I ask? Security research, cryptography?
Not a US ruling but in the EU courts in 2012 upheld that copyright exhaustion happens even if a piece of software is "licensed not sold". Though many questions still remain and the ruling is pretty old now. [1]

Seems there was also some movement on this in France in 2019[2], though a french ruling I don't see why the same implementation wouldn't be applicable to all EU states based on the above.

[1]https://en.wikipedia.org/wiki/Software_license#Ownership_vs....
[2]https://www.engadget.com/2019-09-19-french-court-valve-steam...
pioneer.app's Daniel Gross' How to Win is a good complement to this lecture: https://www.youtube-nocookie.com/embed/LH1bewTg-P4
The polls were just off about Latinos. Trump gained among Puerto Ricans too, though by less than for Cubans. And border county Texan Hispanics for another demographic.
Previous poster may be talking about https://twitter.com/jonmasters/status/1323675123724013568 from Nat's "Tweets & replies" (the IRC screenshot from the linked retweet)
The whole thread is about a harsh court sentence, so yes - it is very appropriate here.

> And that's about right. If I'm wrong about Ulbricht, no particular harm comes to him; if more information comes to light and I change my mind, there's no damage to undo.

Would you not agree that what you said is equally true for one who judges people at roughly the same high standard as courts?
YouTube had to make Content ID because they were facing a multi-billion dollar lawsuit from Viacom. Had YouTube not been proactive, the court could have ruled that YouTube was widely used for piracy, and they’d be liable.

GitHub seems to be acting without a backbone. They’re owned by Microsoft, and can definitely stand up to legal challenges like this. Look at BitTorrent: The protocol and it’s code are legal despite being used for piracy. I don’t see why GitHub caves to every request to take down code that is clearly not violating any copyrighted material.

Also, the code itself does not break any copy protection and even if it did.. the code itself needs a user to execute it. Isn’t this how LAME was able to exist without violating mp3 patent laws?
I do not consider dysfunction something other than the course describes. What I take issue with is that the course offers an outcome but no approach. Read it again.
When someone invents a more reasonable abstraction I'm sure its days are numbered.

We still use removable disk packs to represent databases

Ultimately symbols are arbitrary which is why we have hundreds of languages. As long as they're unique and distinct it works
Yes, I think you're onto something. Essentially what if we modeled linearity like in Rust, but then did GC over the maximally linear data graph we can find. I've been wanting to play with some ideas in this direction, but haven't had the time.
Lots of interesting thoughts, and a good outline of ownership's limitations, but I think some big leaps were made. "Fatal flaw" is quite a hyperbole, and the comparison to OOP, while interesting, is much too hand-wavy to be used as evidence for that assertion.

But they were spot-on about what is arguably Rust's biggest weakness, and the things people do to work around it, and I think there's kind of an open question whether that status-quo can be improved upon. I.e. Rust right now is excellent at certain things ("linear things"), and okay at non-linear things. But could it be made to be really good for the latter too? Or will it remain somewhat confined to its specialization? The language occupies uncharted territory either way, so these kinds of questions are not surprising, and I for one am excited to see where things go.
Why do some have horizontal bars, and some vertical? And if it is meaningless, why is it part of the icon?
Reasons to use a VPN app on your iPhone 12
Even if it did circumvent copy protection (I don’t think it does?).. the code itself needs a user to execute it. Isn’t this how LAME was able to exist without violating mp3 patent laws?
software is made of decisions - someone said.

so is life, but it's waaaaay less obvious, too many of the decisions are materialized into something and do not appear as such.

that table can grow big. Enormous. And then one day choosing between alternatives for X becomes a problem on itself. But that still allows flexibility, and one can learn to control it, and so is still better than the other possibility, one-and-only hardcoded solution for everything. No new stuff, only rigid traditions.

so.. keep changing it. growing it. like a garden. of your thoughts
Not sure how you're counting, but by my calculations

Wisconsin: 53.7/45.4 -> 49.6/48.9 (3.8 diff)

Michigan: 53.5/45.5 -> 50.5/48 (2.7 diff)

PA: 52.0/47.3 -> 48.1/50.7 (3.7 diff), though will shift quite a lot as you mention

So even then it's still closer to 3-4 point, not 4-8 as you mention.
A crowd sourced cash out. I would never expect to get the full 1 billion dollars, so I'm basically going to offer the bitcoin at half price to whoever wants it, payment being in monero. I'd possibly set the price lower if demand is low, but adjust depending on how demand and monero value fluctuations go. I think people would buy the coins, especially if there's decent publicity and marketing. Frame it as free money for whoever wants it, and I would walk away happy with anything more than $100 million and my anonymity.
Or you can use a coupon: https://www.udemy.com/course/gbarkhatov-react-basics-complet...
Learnings from Two Years of Kubernetes in Production
It is showing actual historical recorded deaths and predicted future ones.
Not really tech related, but the most memorable for me is "Tense Present"[1] by David Foster Wallace in the April 2001 issue of Harper's Magazine. It's a beautiful exploration of language and dialect. It taught me at a young age to appreciate the way others speak and the socioeconomic implications of the way we listen to others. I'm still a SNOOT at heart, but I learned to temper it thanks to this piece and years of study in linguistics.

[1]: https://harpers.org/wp-content/uploads/HarpersMagazine-2001-...
> My issue with 538’s models is how wide their margins are. I believe they use “results are within the 80% bounds of our model” to gauge whether or not it reasonably “worked.”

They also assess their models in aggregate, but that obviously isn't applicable to the Presidential model in isolation, since it has so few runs; OTOH, it does validate their broad approach while leaving open the possibility that there is something especially wacky with the Presidential model. But without lots of runs of that model, you can't really clearly single that out from chance errors, and if there are isolated instances of unusual effects that show up only in the Presidential election and only, say, for one or two cycles (e.g., if there is an effect around Trump which is atypical but not new normal) that aren't accounted for but also aren't long-term features, you probably can't even reliably detect them once there are large numbers of runs of the Presidential model. Unfortunately, validating a statistical predictive model isn't itself a a probabilistic exercise subject to small-N problems.
Complying with DMCA notices covers the rear-end of service providers.

Therefore there is only risk and no benefit for a service provider not to comply with any notices they might receive.
Best web design trends for 2020 Updated
I don’t see how that follows logically. Feeling particularly protective of someone under your care doesn’t imply you think of them as property.

A more logical conclusion is that you feel protective because you recognize a threat (either real or perceived) to their safety and you have accepted responsibility for protecting them.
Confusing Grep Mistakes I've Made
What 4chan thinks of HN (2014)
Tariffs have been good for China. In fact their economy is booming. Polluting your own soil is never a good thing and spills over on other aspects of society makes it more expensive.
aka "let's play God and see what happens"
Yes, definitely in the current format, smart contracts don't obviate trust issues. It is proposed that a 3rd party oracle will be used to verify the criteria is met for execution. Oracles can be incentivized to build credibility.

For example, in the case of insurance contracts, the oracle can be sensors on the car which can make decisions about who's at-fault and accurately assess damage.
It's not implemented as part of systemd...
Detroit 2020 election officials cover windows to hide counting process
A pipe cleaner seems reason enough not to be baffled.
Best iPhone 12 camera tricks to take better pictures
It's up there with buying a restaurant as poor business decisions go.
Ethereum Playing an Important Role in the US Elections
I’ve reached the bit about Aristotelian metaphysics (why??) and I still can’t tell what is the author’s point.

EDIT: Alright, I’ve skimmed to the end and it seems to me it is a very r/iamverysmart way of saying “I prefer to use RefCell”.

Honestly, I have trouble trusting someone’s judgement in programming language semantics when they can’t seem to be a good judge of their own written language semantics.

Why define an agent at the beginning, but leave “agency” undefined? What does even “capability to act in a certain environment” mean? Is a function/method something with “capability to act in a certain environment”? Is a C++ class that??

Also:

> It is also a category error to treat them as “real objects” since “real objects” and “programming objects” have little connection with each other ontologically.

Mate, you link to the Wikipedia article about categorical errors, where it says that a CE is defined as comparing things that are ontologically different, thus showing your whole sentence as a tautology. What’s the value added for the reader??
Over decades, I had developed an almost not-invented-here attitude exact because dependencies are always such a pita (oh Python hell) and drag in a lot of bloat. Rust is the first language I have used where external dependencies (from crates.io) Just Works(TM). However they can still drag in bloat :)
Yet the safest escape hatches are decidedly limited. Take Rc<RefCell<_>> nodes in a graph (struct Node { edges: Vec<Rc<RefCell<Node>>> }), for example: mutable cyclic traversal is somewhere between difficult (requiring some typically-significant convolution of your algorithm) and impossible. Meanwhile, a GC language can model the same thing trivially. So you start reaching for more dangerous escape hatches, or modelling the problem in some completely different way that lets you skip the problems of ownership semantics for the given domain.
Brooks Range brand of jackets. Their logo was a BR then.

https://www.themanual.com/outdoors/best-down-jackets-2017/

(Second one down.)
> So long as minorities, particularly latino and asian, make some minimal progress--and with a growing share of the population that's inevitable--the GOP can continue to coast on their fear, uncertainty, and doubt strategy.

This perception is mistaken: https://academic.oup.com/qje/article/135/2/711/5687353

> White and Hispanic children have fairly similar rates of intergenerational mobility.

As a result, incomes for Hispanic and Asian immigrants rapidly converge with those of whites. Cubans and Vietnamese who came here in the 1960s and 1970s as refugees are already fully converged economically with whites.

Economic convergence within a generation or two is not universal. Muslim immigrants to France suffer from multi-generational poverty. Asians and Hispanics have very real incentives to be wary of changing the current economic system. At least to the specific aspect of reaching economic parity with whites, it works extremely well. (There is a fair debate to be had about income inequality and social mobility writ large. I’m focused here on race.)

Also, unions are bad for immigrants, who tend to be excluded from the seniority system.
There were over 450 US domestic terror attacks in 1970. It's relevant today because the context it provides shows how we have been historically safe from attacks on US soil for over 40 years.

The last 20 years of terror hysteria created a false mindset that Americans are at meaningful risk of dying in a terror attack. Trillions have been wasted on infrastructure - that can only be responsibly explained as a tool to nurture and reinforce that mindset.

And of course there are the ever increasing loss of civil liberties, each loss shifting power toward Gov and away from us.
This was a long time ago, maybe 20 years or so. I don’t remember if I actually found any.
I'm part of the development team at Fly.io. Actually, most of what I've been writing lately has been C, with the BPF verifier. But the rest of it has largely been Rust, and Rust is the language our proxies are written in.
This. Either GH EE server’s readme says it’s GitHub.com, or Nat bent the truth, or I missed something.
How do you trust the sensors are delivering good data to the oracle?
Listen to Megyn Kelly’s podcast. Other than being extremely smart, she’s got her finger on the pulse of the average white suburban mom.
So few people sign their commits that the default is to assume commits are from where they say they are, even if they're not verified.
> That would make sense if some parts of the country had errors one way, and others another way. i.e. random error.

As Silver pointed out in 2016 (and why his model then gave Trump a much better chance than the NYTimes model), historically, when election outcomes differ from polls in either direction, the polling error between states is correlated, not independent. That is, it is, to all evidence, a historical fact that poll-based predictions must account for that within election cycles, there is systematic polling error, even if the direction and magnitude of that error is not consistent between cycles.
It's true - less than two weeks. Also true: less than one week ;)
https://www.nature.com/articles/s41598-020-62398-w

The Editors are issuing an Editorial Expression of Concern for this Article.

Shortly after publication of this Article in September 2019, the Editors were alerted to concerns regarding the interpretation of the data and some of the conclusions. Specific concerns include:

- the title does not make it clear that the authors only examined genomes of specimens that lacked the transgenes and sampled during the release period;

- the Abstract and Introduction use language which is not justified given the evidence present in the peer reviewed literature and the data presented in this Article. No sampling for this study was conducted more than a few weeks after the release program, and as such there is no evidence in the Article to establish whether the non-transgenic, introgressed sequences from the released strain remained in the population over time. Furthermore, previous work from some of the authors (Reference 6 in the Article) showed that over time, the transgene is lost from the population, but the Article does not disclose this information;

- in the Discussion, the authors claim that because of the distinct genetic backgrounds of different mosquito populations (two used to create OX513A mosquitoes, and one local population), the existing population in Jakobina is more robust than the original wild population due to hybrid vigour. There are no data in the Article to support this point; furthermore, data included in the Article indicate that a number of hybrid individuals rapidly declined post-release;

- the conclusion of the Article highlighting “the importance of having in place a genetic monitoring program during such releases” could be misunderstood to mean that such program was not in place. The Mosquito release program in Jakobina is monitored by the Brazilian regulator, the National Technical Commission of Biosafety (CTNBio).

When contacted about these issues, some of the authors indicated that they had not approved the final version that was submitted for publication.

The Editors received a response to the concerns from the corresponding author, and sought further advice from expert peer reviewers regarding both the issues raised and the response received. The reviewers confirmed that the scientific concerns are valid and should be addressed.
Why would Microsoft stand up to a DMCA takedown from any organization to a random github repo that they can't immediately tell is being wrongly taken down? Unless you pay GitHub the legal fees, no organization would lift a finger.
Ask HN: What do you prefer web-based SQL client or desktop SQL client?
I am trying to build a SQL client for Postgres and was curious to know what does everyone prefer?
I think the main concern would be the intellectual property around the large-scale distributed system which is storing billions of lines of code in a single system. Implementing git object storage is still hard (e.g. https://en.wikipedia.org/wiki/Virtual_File_System_for_Git).
Though, that's probably not what they use in the enterprise edition, so maybe they aren't as worried.
Certainly it is a lot of work - bu if you're growing food for yourself and spend your days outside, why do you need to make much money?
It’s because liberals started calling all Republicans racist around that time.
I'd lay the blame on Kai's power tools and their silly opaque discoverable interfaces. That's the start point of usability taking a back seat to designer bs.
Read up on how political polling works. It’s very hard to get a representative sample or even to know what a representative sample looks like.
> Thousands of sightings have been reported in Washington

Not just in Washington. Oregon and Montana, too, at least. It is probably correct to consider them established and in need of sustained control, than just to be kept out.
Consider that I can pull a branch from someone else's repo (even if that repo is not on GitHub), merge it into my own fork of something, and then push all of that to GitHub.

All of the commits in that branch I pulled, regardless of who committed them (not me, presumably) should still be attributed to their original authors, and that's what will happen on the fork I push to GH.

This is fundamentally necessary to how the distributed nature of git works. If you want to assure others that commits really came from you, you need to sign your commits. But so few people do that, so the default is just to trust that commits are from who they say they are.

Perhaps GitHub could have a feature whereby you could toggle a setting so they won't link a commit to your GH user account unless it's signed by you. That still comes with its own problems (like say you submit a PR to some project, but the maintainer rebases master onto your branch before merging, which will kill the signatures).

But still, signing every commit is not really necessary. I personally only sign release tags, which implicitly cover all commits leading up to those releases.
> It's really, really, really stupid, because it presumes guilt before innocence, standing in opposition to most general legal principles.

So shouldn't the next US-American recipient of one of these notices refuse to comply on the grounds that the law is unconstitutional?
The Zephyr ASDL schema language, which gives you sum types, originally had a binary encoding. I think it was ASN.1.

And a few years ago, I experimented with a different binary encoding to move data described by such schemas between processes. I'm not currently using it, but it may come back in the future.

Analogies for ASDL https://www.oilshell.org/blog/2016/12/16.html (making the analogy to protobufs and JSON)

https://www.oilshell.org/blog/tags.html?tag=ASDL#ASDL
Yeah, the Democratic overoptimization for targeting the intelligentsia and (petit and haut) bourgeoisie and failure to adequately speak to the working class (in 2016, the pundits made this about the white working class, but the problem is broader) probably ought to be the stratefic lesson of both the 2016 and 2020 elections.
On the flipside, it's more plausible for an actor to get malicious code into a project in order to infect a target. Sure it has to be obscure enough to pass any code reviews during PR and/or involves compromising a contributor but it is possible and something I see happening in the next 10 years.

I'm also genuinely curious how many people actively review all the code they actually run. I doubt anybody but the very largest tech companies and high-end government would actually be able to afford and resources such a feat, and even then they would have DMZ-type areas to detonate unaudited software.