skysight-inc/HackerNews huggingface dataset:
Driver code has a lot of concurrency and is very unforgiving for any mishandling of memory. If you want to write good kernel code in C you need to have a strong mental model of who owns what, who does what on whom, what can interrupt, what can be interrupted, what shouldn't be interrupted etc...

Having the compiler enforce some of these invariants for you might well end up making writing the code easier, not harder. Rust has a steep learning curve, that's absolutely true, but in my experience I feel a lot more at ease writing complicated parallel code with complicated ownership models in Rust than in C.

C is a trickster: in practice if you want to write correct C code you have to use a memory model very similar to that of Rust, the main difference being that Rust forces you to do it (mostly) right whereas C will gladly let you write completely broken code.
Hardware deserves your care. If you're gonna put it down, the least you can do is feel the pain, whatever means to you.
Using AI to scale up human rights research: a case study on Darfur
> European countries have looked for it for 40 years now.

They really haven't. Classical liberalism, while perhaps more popular than in the U.S., is still a niche political stance in Europe. The 1980s saw a wave in liberalization and deregulation, and that's when stuff like NIT or UBI reached its peak in popularity.
> for one because the government mandates every business over a certain size (IIRC 50 employees or so) to vote on unionization which is then binding.

To me, this sound like a guarantee of greater worker freedom than anything else. Somehow economic “freedom” in the US seems to equate to corporate structures where CEOs and other managers have immense power over the lives of hundreds or thousands of workers (including their ability to get healthcare), with almost no counterbalancing force.

Implementing this kind of rule seems a pretty sane check on that level of authoritarianism, no? Beyond a certain level, the workers actually have to be given a say themselves?
Wouldn't a law against using flammable building materials always be considered "regulation"?
Because in America, public sector unions are the dominant unions, or at least the most visible, and those are very different. Agree strongly for private sector unions.
One must first outline what “beef” is before you can assign fraud. Outlining what makes something “beef” is textbook regulation.
The quest to find signs of ancient life on Mars
It doesn't mean that trend investors make greater returns over the long term than informed investors. The NYT has a piece right now about the trading platform Robinhood and how the platform has attracted lay investors who know squat about the markets and lose more money than investors with other, more established brokers.

There's a guy who took equity on his house and opened multiple lines of credit to invest with margin, made over a million, and then lost it all.

Meanwhile passive investors making a cool annualized 5% above inflation will retire rich.
How would you do it? Would it work to just connect the mains charger to the battery and have it kick in once the battery has reached 70% charge?
The reason I don't think that it's "far more descriptive" is because we had a pair of words that meant exactly what they meant. You can't get more descriptive that what they meant. And if you say the actual words have in them the description, I don't think that's relevant because most words aren't like that unless you account for etymology but you don't do you.
they implemented a successful recovery on the account.

funnily enough this account forwarded all email to my 'primary' account so for the next week or so I received a copy of all emails inbound for the account I suppose they eventually noticed. they also signed in with an iphone of which I have never owned/used (outside of employer provided for work)
That's not the difficult part. The hard part is compiling a program that doesn't depend on Glibc 2.X when your users only have 2.6 or use Musl or whatever.
On the other hand, as the manufacturing infrastructure continues to grow aggressively, we can expect to see more stability. Short sellers would do well to keep that in mind.
It’s hard to imagine this wholly unremarkable speech was posted here to encourage earnest discussion about the defunct TerraMar Project and not to encourage discussion about Ghislaine Maxwell. Hacker News hardly feels like the right platform for either.
Chromium and Selenium in AWS Lambda
I attended a meetup with a presentation from the engineers at https://www.charityvest.org/ you might find their product interesting for your question
I generally give away pcs to friends and family and resell Macs as the value tends to hold and be easier to eBay off. My friends swap pc parts based on what each person does (i had a pc box with a good Video card for gaming and i don’t game so a friend took it out and replaced it with something less suited for that and installed more memory for me to code).

But Macs always sell easily on basically any platform
The problem is this is a slippery slope. Where does it end? Today it's "master", tomorrow someone will be offended by something else. Do we need to accomodate every offended person? I don't think so. This is insanity.
The answer to question 1 is a combination of the DTCC and his broker, or the relevant company registry for non-traded shares.

https://en.wikipedia.org/wiki/Depository_Trust_%26_Clearing_...
In most of the world, the political compass is described in 2 dimensions. So, "liberaltarian" would just be lib left
Here's my deck on this @quinnypig is a great resource elsewhere in this thread.
https://docs.google.com/presentation/d/1sNtFugQp_Mcq62gf4F1n...
Last year I cut 75 million in spend, so you could say I have a track record there.

Are you sure you are using the right type for what you need to generate? Can you have your model generator self kill (stop) the instance when it finishes the model?

100% If it doesnt need JIT go spot and build models off queue

Put in for the activate program. They can give you up to 100k of credits.
It doesn't "use `toString` for hashing", it just converts the key to a string. That is not the same (e.g. you can't recover the original key).
What about service? [0] (related: to serve, to be a servant)

(In case you don't see the Google box: Old English (denoting religious devotion or a form of liturgy), from Old French servise or Latin servitium ‘slavery’, from servus ‘slave’. The early sense of the verb (mid 19th century) was ‘be of service to, provide with a service’.)

[0] https://www.google.com/search?q=service+etymology
The orthodox theory is that the stock price reflects the expected value of future cash flow discounted to the present.

Ie buybacks, dividends and liquidation are important. Stock prices don't exist in a vacuum.
By 2025, CO2 levels will be higher than any time in last 3.3M years
> caucasian!

There is no evidence Native Americans originated from the Caucasus regions. We have remains that have been dated to as far back as 12,707–12,556 years BP. Accordingly:

> Paleogenomic analysis of the remains revealed Siberian ancestry and a close genetic relationship to modern Native Americans, including those of Central and South America.[1][3] These findings support the hypothesis that modern Native Americans are descended from Asian populations who crossed Beringia between 32,000 and 18,000 years ago.

https://en.m.wikipedia.org/wiki/Anzick-1
Basically this. It's changing the labels, at worst it doesn't help anything, but maybe it does, and it costs little to nothing in practice (imo by the time you're in workflows where the terminology matters, you've waded through enough semantic BS that it's just a drop in the bucket). And just maybe using manager/worker instead of master/slave makes someone's day better, or (getting personal) is one less reminder that "hey, don't forget, you're the only black person in the room, get ready for an awkward look". same as not getting called a guy when you're not is usually a good thing.
Muji's U.S. business seeks bankruptcy protection over coronavirus
Where do you draw the line between SpaceX and companies like it, and the rest?
Raspberry Pi-Based Laptop
People are rescued from slavery all the time. Bring mindful of casually using a term which they know to describe their years to decades of abuse and torture doesn't seem like a particularly difficult ask.
> Value investing is out. Trend investing is in.

Aren't you missing some possibilities?
C++ can do an excellent job of catching unit mismatches at compile time. We have developed classes that support this:

cInches in1, in2, in3; // basically 'floats'
cCm cm1; // floats
void foo(cInches);

in1 = in2 + in3; // OK
in1 = in2 + cm1; // compile error
in1 = in2 * in3; // compile error: square inches are not inches
in1 = in2 / in3; // compile error
float x = in2 / in3; // OK
foo(in1); // OK
foo(cm1); // compile error

Classes like these have made the code much more readable, maintainable and reduce errors.
Normally I'd call reductio ad absurdum but we're pretty much already there.

This idea that dark is negative is kind of silly. Things that are done in the shadows tend to be referred to as black, such as a black market. You want to call it a shadow market? (And don't get me wrong that sounds cool as hell, but also, wtf)

Look at the positives instead, unless the color is the problem in which case your accountants I'm sure will be overjoyed to hear that they should no longer say the company is "in the black" either.

I don't mean this to sound combative but rather simply make you think about what it is that time is being spent on.

Remember that whenever this particular change is brought up, whenever people talk about it, all the energy being expended on it etc. It all draws away from much more important business such as the George Floyd protests.

Black lives matter. This doesn't.
I disagree, you can have your IDE display the types if you so wish.

Even then, would you say that python for example is hard mode?
Imagine you have a single majority party that controls all the branches of the government. For them paper voting is a solved problem:

- restrict the rights of observers
- on every polling station where there are no observers, stuff the ballot boxes or just write the "right" tallies
- on polling stations with observers get rid of them using the police or just use at-home voting with mobile ballot boxes to commit fraud
- if any single instance of fraud is uncovered and goes to court, use every nitpick possible to dismiss the case
- finally, a single polling station results overturned do not change the result of the election

The problem is solved all right. Of course, letting them implement e-voting doesn't solve anything. But if the Evil Party is ousted from power by the Good Party via, I don't know, a revolution, there's nothing in the system preventing the Good Party from using the same well-tested vote manipulation processes to start winning every election.

But if the Good Party for some reason is forced to implement an end-to-end auditable e-voting system they will have a much harder time manipulating the results.
In preschool calling something "very bad" is a good point that can even win the whole discussion. It's the same thing you are doing with curse words like "corporatist" and "social". Or using "free market" as an ultimate blessing.

By itself, it just doesn't look convincing on this site. Maybe dig a level deeper?
That assumes that the the cost of troubleshooting this, replacing cards etc is zero, which it isn't.
Similar things happen all the time [0]

An interesting thinking angle to this often “why was it fine before ?”

Was it because nobody knew about that name/word in the first place ?

Was there always incoming requests for change but those were just ignored as baseless, and as the social context changed discarding them is not as easy anymore ?

Was it because the majority of users weren’t offended, but the user base changed enough that offended people’s voices go louder ?

I find a lot of seemingly frivolous or petty word changes have a wider context that are not as simple as it looks on the surface.
[0] https://github.com/thoughtbot/factory_bot/issues/1053
You could even still have a counting machine: stick the papers in it, it scans the vote, it spits out the paper and humans do their own manual count. Compare the numbers of the unbiased but hackable machine and the biased but unhackable humans.

Not sure it's a step in the good direction, too easy to remove the humans some time later, but if we want to use technology to make counting more secure there's definitely easy ways
Plus, it's a theorem in Lean: https://github.com/leanprover/lean/blob/master/library/init/...

(Lean has a somewhat different type theory from Coq, where propositions in Prop have the property that all proofs of a property are defined to be equal. It turns out this along with functional extensionality (that two functions are equal iff their evaluations are all equal) is enough to get LEM, but only in Prop. Outside Prop there's a stronger commitment to constructibility. Still, every definition and lemma has some program backing it.)
Leverage and passive investing are perfectly compatible.
This may be how most money is made in trading, but it's not exclusively how the value of a stock is determined. The stock for a company that never grows isn't worthless. You still have dividends.
somehow these global corps need to be held to a unified standard with regatds to environmental and human impact as these vary country by country.
I'm reminded of something a moderator of a Twitch channel said recently: they had a policy of banning people for complaining about "pronouns".

For the first few weeks this resulted in a lot of fights, but after that the moderation load as a whole was much lower. In effect, they'd found a means for flushing out those who liked provoking others and a clear rule to ban them with. There isn't a large number of such people, they're a tiny but very loud minority.

Codes of conduct have a similar effect. Someone who complains about the mere existence of a code of conduct is pre-announcing that they like annoying or upsetting other people.
I think the issue is not that the changes don't matter but that they end up being a substitute for addressing the real problem of structural racism.

A CS analogy: Using a linter is good, but it doesn't fix bugs in your code. Pretending it does keeps you from fixing them.
fyi youtube video of why these simplistic comparisons of "net worth" based on shares-times-stockprice is meaningless...

- The Ranks of Global Billionaires: Not All Billionaires Are Made Equal: https://www.youtube.com/watch?v=0MeRN7LE1LQ

E.g. Theranos owner Elizabeth Holmes once had a "net worth" of 4.5 billion (as calculated by Forbes Magazine[1] for attention-grabbing headlines) ... but that doesn't really mean she was actually 2x richer than Dropbox's Drew Houston who's worth ~2 billion. That said, Elon Musk is a bonafide billionaire but the comparison to Buffett via a volatile Tesla stock price is meaningless.

[1] https://www.google.com/search?q=forbes+elizabeth+holmes+4.5+...
Did you put in the effort to look at all angles? How can you prove it? Can anyone else prove that he looked at more angles?

Just asking those question contributes nothing and looks to me like virtue signalling.
AI finds 250 foreign stars that migrated to our galaxy
Heavy reading of LWN.net articles.
That Clojure is keyword heavy is true, but it's so important to note that objects are essentially never checked for reference equality in Clojure, even when e.g. looking up keys in a hash map (see demo).

With this is mind, you could stop interning keywords and damn near every Clojure program would continue to work just fine - but with a noticeable slowdown.

Or, more sensibly and to bring it back to the theme of the thread, for adding a second non-interning Keyword type which can safely be generated while deserializing user input in a long running process, that you can use interchangeably with standard keywords, but will be garbage collected away with the reset of the deserialized data when you're done.

You do pay a hefty penalty here because you're hiding everything behind interfaces and abstractions. It's totally fine to not like the system, or believe it's not worth the performance hit.

But it does mean that a potentially equal but not identical symbol isn't some off brand low quality replacement as GP suggests, it's just... a symbol.

Pastebin demo: https://pastebin.com/cbWiNyEL
An issue with closed systems like youtube/reddit/facebook/HN etc. is that when you read something that you don't agree with the only way to directly have an effect (whether you actually do or not) is by joining the system and further perpetuating what it entails. Yes you can affect it from the outside by writing articles/blogposts and hope that they get enough visibility to be shown in those areas but that takes much more effort (not a bad thing).
Yes, engineers are ill equipped to judge such topics, obviously well beyond they capabilities. They should touch bits not English semantics. Others, more prepared and versed in 'inclusivity' topics will make value judgements in their place and decide what's best for them and for us.

Or maybe not.
>now we've fully embraced cancel culture

Is this cancel culture? No. No one is being canceled here.

> Oh, and I find subordinate offensive, just because.

Not good enough.

> Congratulations to the Linux kernel for fixing a systemic issue by changing some words,

No one claimed that.

> you can't post anything controversial anymore.

This isn't "controversial." It's snide and deliberately obtuse.
Yes but good luck with that.

Especially since western companies/countries have profited from the exact same exploitation for so many years already.
ThreeDWorld: High-Fidelity Platform for Interactive Physical Simulation
You're saying they "probably had enough security" in an article where a reused token was sufficient to fully compromise the account and disable 2fa.
Twizzler: A Data-Centric OS for Non-Volatile Memory [pdf]
Sorry if that sounded mean but he just dismissed everything the parent said based on him thinking his professional life hasn't presented common challenges. I'm saying that if he has never dealt with competitive behaviours then maybe he's not really competing, even if he thinks he is.

I've been through that revelation myself and used it as motivation to up my game. The fact you jumpes up my arse just because I said something that you consider unkind really highlights the lack of diversity in thought in your life. Maybe you're surrounded by yes men and you yourself cannot handle competitive behaviours either.
Finding people willing to review rust must be much easier than finding someone willing to review c.
Yes, that seems like a reasonable summary. (3) is the kind of thing that exploit developers will have "off the shelf"; (1) is probably available in a dump of private information somewhere.
They aren't gods, just normal programmers with specific interests. The knowledge and skill base involves details that are close to the machine. It is less of a "deep CS" thing and more just being patient and interested in details of old things, rather than new things. That is why they self-deprecatingly refer to themselves as plumbers.

The big difference between eg product dev and kernel dev is mindset, not skill. Product dev is about novelty, building new features, inventing new tools. Kernel dev is about making old stuff work better.

Very few kernel devs would succeed in a conventional product dev job, instead of creating value they would be tinkering with some superfluous detail.

If one has the mindset, getting into kernel programming is probably a six month to 2-year initial investment, depending on prior background. Most "operating system" CS grad courses introduce kernel programming as a teaching tool, but a whole CS undergrad isn't required, just an understanding of C and some other basics around low level machine operation.

(Edit: side note- for emphasis- kernel programming is highly specific, extremely empirical and experimental. Not abstract or theoretical. Academic CS tends toward the abstract/theoretical. One can be a poor academic but an excellent kernel programmer.)

The best standalone resource is a book by a fellow named Robert Love called Linux Kernel Development. One of the best technical books I have read and a good indicator of the presence of the mindset.

Cheers!
No amount of tech or trust beats a black sticky tape.
Thin enough to not damage anything; Removed and re-applied in a second without leaving residu; Zero discussion whether it will work or not
It seems like America has evolved into the STASI and is dragging everybody down with it. This isn't even a superficial fix, but pure symbolism that they are giving in to unspoken blackmail: access our terms or we'll cancel you.

People now have to really watch out what they say publicly because otherwise somebody will doxx them for the mob to inflict their "justice" upon them. It's quite ironic that the SJWs are repeating all the mistakes "the other side" made. They're introducing their own version of thought crimes.

I remember reading screenshots of 4chan imagining and ridiculing a world, where actions, words and symbols that had no offensive connotation, were forcefully given one and the repercussions thereof. Looks like they weren't too far off.
Seems like most/all ppl in this thread are also missing the bit where MacBooks are just too thin; so much so, that it's hard to even protect the fragile coating on the screen from damage without something as thin as printer paper in between it and the keyboard. It's hard for me to remember to put that piece of paper in there every time, but if I forget, I risk oils from the keyboard getting on the screen and permanently erodong the anti-reflective coating.
How to Debug AWS Lambda Performance Issues
>I'm still trying to develop the intuition for why minimizing E_2 implies taking the mean.

Maybe geometric motivation helps.

Consider two vectors

X = [x2,x2,...xN],

S = [(x1 - s), (x2 - s), ... , (xN - s)]

How is finding the shortest euclidean distance between X and S related to mean?
> People show up with their superficially plausible arguments like this one to try and retcon what "open source" means, but there are a few pesky problems.

It's the OSI who are trying to retcon what open source means!

Why do they think they have the right to tell anyone what 'open source' means? They should have used a new term, not taken an existing one.
The latter is a bit meaningless by itself. Eg Google's employs janitors and baristas only indirectly via other companies, so they don't bring down the minimum or average salary.

In any case, customer surplus is the thing to watch out for.

Amazon has a good track record with that. Indirect evidence: a while ago the moment they announced that they were getting into the health insurance business, healthcare companies' stocks dropped.

See eg https://www.bloomberg.com/news/articles/2018-01-30/health-st...
You clicked
Here’s a really nice picture of Comet C/2020 F3 (NEOWISE) from the RDU airport parking deck.

https://imgur.com/njJvFwc

Taken at 4:50 am on July 10th by reddit user enlightened_prince (not me).

6 second exposure using a 100mm lens. Not sure of the camera.

https://old.reddit.com/r/raleigh/comments/hon6ee/comet_neowi...
That's my stance as well. I thought the "master/slave" thing made some sense, it was very loaded vocabulary in what should be purely technical lingo. The whitelist/blacklist thing seems a lot less meaningful to me and a bit overzealous but... meh, who cares. The churn is fairly minimal anyway and fighting it would turn it into an even bigger deal which is not what I want.

At best it'll help some people feel respected and included, at worse it'll do... nothing at all.

I'm also happy to see some somewhat level-headed discussion on these topics on HN, lately every time that stuff was brought up the thread would descend into 4chan-lite immediately. Very embarrassing. Maybe it's because we're on a weekend and people are better rested.