skysight-inc/HackerNews huggingface dataset:
It's almost always done to argue for testing, too. But the point of verification as an engineering tool was never to replace testing, but to focus it. (Just like the point of a mathematical proof is not to offer 100% proof of the truth of a statement, but to reduce its truth to the truth of some other statement---usually "ZF holds".)

So you do some formal verification, good. But you still need to:
- validate your model; and
- validate your assumptions.
This would always have to be done, but the fact that GP did not think about it means that, in the case of testing, it's not done. It's just "extensive testing", perhaps with some metric if we're lucky. Never "what are we testing for, and under what circumstances". (Except in places---aerospace, hardware---that welcome formal verification.)

Now, why does the above rant matter? Because GP is advocating the use of testing for a security property. Writing that test means you suspect there's something iffy that can happen with speculation. And if you know something iffy can happen, you can figure out what's not iffy and make that your spec for formal verification. You then get a proof that only the good (secure) behaviour takes place under clear assumptions, instead of getting the guarantee that none of the bad behaviours are exercised by your test suite.
I've used both Scrum and Kanban. Kanban, for me, is by far the superior method. There are no artificial sprint deadlines, no ticket sizing, far fewer ceremonies, gives a lot of flexibility, but still provides enough structure to place emphasis on tracking and completing work.

If you've never worked in a Kanban environment, I highly suggest you research it and encourage your employer to experiment with it.
Yes, but the compiler should know if there is any pointer arithmetic present in the code, and whether any such pointer arithmetic could, possibly, result in a pointer pointing to the const data.
>As of this writing, I see three listings, and one appears to have been by someone hired by the Nazi Propaganda Ministry to do an English translation:

I'm not sure what distinction you are trying to show here. All three listing on eBay are annotated versions. That includes the one you mention that was originally commissioned by the Nazi Propaganda Ministry but the Wikipedia link says wasn't actually endorsed by anyone in the German government.

>Also, all the copies for sale appear to be from just before or just after the start of WWII, which means they'd likely have annotations of little modern scholarly value.

I'm not sure their age makes the annotations worthless. One can even argue that contemporaneous annotations are more valuable as they serve as their own historical documents.

Either way, like I said before you can always reach out to eBay support if you feel like these should also be banned.
I still don't see how stopping the sale of an item on a private company's platform equates to denying freedom of speech. If we were talking about a government banning the sale of a specific book, author, or topic, then I absolutely agree. If we are talking about that same government banning specific books from schools, then I absolutely agree. But I don't agree that eBay's move here is denying freedom of speech. They're just deciding what they do and don't want on their platform.
Would the bug Linus is describing still bite you if your swap is in a separate LVM partition? (That's how Ubuntu 20.04 sets things up by default.)
> There are actually very few _dangerous_ functions in C

I think you mean there are very few functions that cannot possibly be used correctly (namely gets). Most C functions are dangerous - can lead to crashes and security vulnerabilties if used incorrectly - but that's just a expected consequence of using a language with no provisions for memory-safety.

> The reality of C is that if we deprecated every objectionable function in the stdlib we wouldn't have anything left.

Somewhat ironically, malloc is actually perfectly safe[0] - using the return value has some issues, but calling it is always[0] fine.

0: Assuming the OS-level memory allocator is sanely configured WRT overcommit, anyway.
Tenex – Solid State Volumetric OLED Display [video]
I apologise if my analogy made you feel uncomfortable, and I'd be happy to learn a different analogy which expresses the same idea just as clearly. If there isn't an effective alternative analogy, though, then it might appear as if you are using claims of discomfort to limit legitimate criticism of your ideas, which I trust isn't the intention.
I've always considered Nempnett Thrubwell to be setting a pretty high standard on the bizarre English place names index.

The Wallops (Nether Wallop, Middle Wallop, and Over Wallop) are good too
Except that cultures change over time. And, typically, when cultures evolve they tend to promote less children. For example, population growth in India
is declining as the economic situation is improving (source: https://datacommons.org/place/country/IND?topic=Demographics)
Mr. Bright, I just want to thank you for creating D.

It is by far my favorite language, because it is filled with elegant solutions to hard language problems.

As a perfectionist, there are very few things I would change about it. People rave about Rust these days, but I rave about D in return.

Just wanted to say thanks (and that I bought a D hoodie).
Yea, it’s useful for when you don’t trust someone to not edit history. These days I’ve seen it as a vaccination record.
Office hours are work. Soliciting feedback is work. Having a chat about your project is work. Rhetorical jujitsu to make that work sound like not work is at best a failing of empathy.

The tautology that if you want feedback then you want feedback is true. The rest is bullshit.
I wonder if the people who named the browser know what a honeypot is xD
Modi regime intention is to preserve RSS/BRAHMIN/BANIA hegemony/corruption in India as evident from https://www.quora.com/Which-caste-is-looting-India/answers/2... and https://www.quora.com/Is-Rajput-a-more-powerful-caste-since-...
Qualys caught up in Accellion FTA breach
Censorship is censorship is censorship. The distinction of whether it is done by Ebay, government, bank, w/e is a distinction without meaning to the individual. US is maybe few steps away from China's social credit ( right now mildly distributed, but still with ridiculously big players able to effectively ban you from the market ).
Timing is everything :) Would appreciate feedback!
What's the point? If you have enough money to buy a brand new Apple M1 laptop, you can afford a training rig or cloud credits. Any modern discrete GPU will blow away any M1 laptop for training.

Is anyone training ML models on their ultra-thin laptop?
Bear in mind I was speaking specifically about following scrum. While agile is flexible and open ended, scrum is a specific way to implement agile, and it has a process.

If, for instance, you’re not doing time-bounded sprints, you are objectively not doing scrum. Scrum has an implementation guide that outlines this.

https://scrumguides.org/scrum-guide.html

> While implementing only parts of Scrum is possible, the result is not Scrum. Scrum exists only in its entirety and functions well as a container for other techniques, methodologies, and practices.

Many people borrow ideas from scrum for use in their homegrown agile solution, and that’s ok. But it’s not scrum.
I don't think this is about obligations. I feel the developer had a hugely positive experience in inviting interested strangers for 20 minute chats and wanted to spread the positivity. Seems like a nice person, with a nice project, and clearly some extra time available.
As if the tesla would not be surrounded by the most ridiculous marketing attempts.
Ads are fine, it's the all-encompassing privacy-stripping tracking that is done to squeeze every bit of money possible.

All of the listed services will still be there, they just won't be making excess profits for their owners.
Wait until people realise that x looks like/refers in some cases to a cross and we get into religion
That email was many things, but concise is definitely not one of them.
All: Indian politics has recently been overtaking even U.S. politics for flamewar and unsubstantive comments in HN threads. India is an important, amazing country. Developments there are of interest and on-topic for HN. But ideological, nationalistic, racial, and (god forbid) religious battle is definitely not on topic for HN.

Therefore, if you plan to comment in threads like this, make sure you're up to date on the site guidelines, that you have something thoughtful to say, and are coming from a place of curiosity. That's the core value of this site.

Extra tip: if you're hot under the collar, wait to cool down before posting. These issues are intense. It's easy and all too human to get activated, so we each need to do some internal processing before taking to the comments for discussion.

https://news.ycombinator.com/newsguidelines.html
Likely something else, cloudflarestatus.com isn't hosted by CF and doesn't use their authorative DNS servers (for obvious reasons).
I get it, looking at the cultural assumptions of an academic discipline is deeply uncomfortable, especially when you're so deeply immersed in them. When people politicize the discussion and start shaming others for not agreeing with them, it gets a whole lot worse.

Does that mean this work is not a valid or worthwhile activity? Is there something special about Mathematics which means it's been free from the influence of culture in its development?

This article doesn't engage with the topic of decolonization at all but instead attacks a clearly problematic educational philosophy that is shared by people who also question the cultural assumption made in Mathematics.

A knee-jerk reactions away from any mention of "Social Science" isn't a healthy reaction for the intellectually curious. There's value in self-reflection into our institutional and cultural biases so dismissing the idea of engaging with them is a dubious position to take.
You may have gotten this in reverse direction: it's rather that users of open-source software often desire support, and sometimes speak about it, and developers then tend to have hard time managing psychological boundaries with regards to answering that desire/expectation. Which is generally a nontrivial thing between people in any relation.
I mean if a message goes across a distributed network and all the different nodes of the network independently decide to change their operation then there is no centralized power structure saying do this, even though it is effectively the same.
All the church charities that I’ve ever seen have given for the sake of giving.
It’s a good look for their cause for sure, but this used to be handled far more efficiently than it is now.
Perhaps the modern system is a form of money laundering.
People can’t be THAT wasteful, right?
In other news, a number of people who stubbed their toes developed ass cancer.
Unobvious (cultural) consequence of cloud's pay-as-you-go model
Left Internet Ideology and the Academics Who Perpetuate It – Michael Rectenwald
cloudflarestatus.com works just fine for me (also in Norway). According to that page:

* Users in Tokyo may experience disconnects, high latency, and other connectivity failures.
Mar 5, 00:48 UTC

* The issue has been identified and a fix is being implemented.
Mar 5, 00:57 UTC

* A fix has been implemented and we are monitoring the results.
Mar 5, 01:02 UTC

* We are continuing to monitor for any further issues.
Mar 5, 06:51 UTC
Lets not pretend there are hordes of people on Twitter ready to doxx, harass, publicly shame and do god knows what other things if you’re against the woke mob.
> It's most annoying when this keeps happening after the user has bought a fridge, and is unlikely to buy another just yet

On the contrary, the most likely moment any random person online is to buy a fridge is just after they bought one: we know they had a need + awareness of the desired specs + intent to buy, so it's really just a question of convincing them that fridge B is better than the one they bought.

Buyer's Remorse is basically free in many countries, ex 14 days to return item in the EU.
> But .NET isn't?

Indeed.

.NET runtime takes about 30 MB, or 50 MB if you're on Windows and need desktop components. Links there: https://dotnet.microsoft.com/download/dotnet/5.0

clang+llvm package takes 300-400 MB, that's almost an order of magnitude difference: https://github.com/llvm/llvm-project/releases/tag/llvmorg-11...
Umm no. Here's how it works

me: "you have the controls"

co-pilot: "I have the controls"

me: "you have the controls"

I am no longer flying the aircraft or even paying much attention to it. I could even get up and walk away from the controls. That's why co-pilots exist
The second quote seems to insinuate that you should remain in a state where you can drive and can use the context of your surroundings. For example, if you see flashing lights, you will likely get a handoff request because there are emergency vehicles which suggests an unpredictable situation.

To me, it appears to mean "don't sleep or 'drive' intoxicated." The car can presumably predict when it needs to handoff with enough notice to allow you to regain the full focus needed to drive.
This looks off to me, because the table lists VEA as low quality, yet the single best looking model (taming transformers) is using quantized VAEs.
It’s worse....

It’s Linux only so no Mac, Windows or WSL.

No support what so ever for APUs which means if you have a laptop without a dedicated GPU you’re out of luck (tho discrete mobile GPUs aren’t officially supported either and often do not work).

They’ve not only haven’t been supporting any of their consumer based R“we promise it’s not GCN this time”DNA GPUs, but since December last year (2020) they’ve dropped support for all pre-Vega GCN cards which means that Polaris (400/500 series) which is not only the most prolific of AMD GPUs that have been released in the past 5 years or so but also the most affordable ones are no longer supported.

That’s on top of all the technical and architectural software issues that plague the framework.
Freedom House report has many factual inaccuracies on key points such as CAA, NRC. The report seems to be extremely biased and based on heresay instead of factual evidence.

> Many observers believe the register’s purpose is to disenfranchise Muslim voters by effectively classifying them as illegal immigrants. Importantly, Muslims disproportionately lack documentation attesting to their place of birth. Undocumented non-Muslims, meanwhile, would be eligible for citizenship through a fast-track process under the CAA.

Who are these observers? What is their standing? Have Indian muslims been denied citizenship rights? Factually, more Indian Hindu residents have been left off of NRC due to lack of documentation than Muslims. FreedomHouse doesn't represent a balanced opinion here. People, irrespective of their religion, are allowed to acquire Indian citizenship after 12 years. CAA makes special provisions for some religious minorities. Thats all.

More importantly on the topic of NRC, the current government did not invent it. This had been in the works for years before the BJP became the ruling party. Critics of India even criticized the government for Aadhar as "infringing "upon civil liberties. The same critics have failed to mention the benefits that these systems have yielded Indian citizens irrespective of religion.

That said, given the shit show that the US "democracy" has seen for the past 4 years, I am surprised to see FreedomHouse listing the US as a "free" democracy where the president and the ruling Republican party were not only responsible for spreading voter misinformation, opposing a free and fair election, causing an insurrection and failed to hold anybody accountable for it.
Ok, fair point about miscarriages / abortions.

> I'm sure if it becomes politically advantageous to remove the kill command, a community organiser or developer advocate somewhere will immediately start lobbying for it.

Politically advantageous? I’m not sure why social change is assumed to have ulterior motives. If one of my employees said a violent personification of a programming process was distracting or disturbing to them and made their job harder, why not change it? It’s not like these are technical terms. These are words that relate to human interaction that we’ve embedded into a non-human field.

There are tons of words throughout history that were accepted by previous generations that aren’t accepted by subsequent ones and vice versa. Language and social norms are always changing.

If you can’t speak the truth freely, that’s a huge problem. If you can’t program with others using your preferred personified analogy for a variable name when another variable name will communicate the intent just as well, that doesn’t strike me as quite the same existential threat to society and public discourse.
traditional racist caricatures of Chinese people

Is it racist to depict a citizen of a country in that country’s traditional national garb? Simplified to cartoon form for children?

I guarantee no actual Chinese are offended by this.
Exactly. I am suspecting that all these attacks are part of George Soros fake propaganda, which he does with every other country which doesnt listen to him.

George Soros is a blood sucking leech.
Of course for now the US's political system is much better. Of course China's political system is worse. But my focus is on the US: A great civilization is not conquered from without until it has destroyed itself from within. So, yeah, the culture war in the US is worse in a sense that the US is destroying itself from bottom-up, while elites try to ride the wave. A Berlin Wall will be torn down. A nation that believes the necessity of Berlin Wall? Well, they will make wall taller. And if you're against building up the wall? You're a racist.
It has nothing to do with the difference between strong and weak typing and also has nothing to do with the difference between weak and strong typing. It is about Python not disambiguating between variable shadowing and variable reassignment.

Here's a comment of mine that explains why Python is weakly typed: https://news.ycombinator.com/item?id=26354039.
Here is a human driving into 36 cars: https://m.youtube.com/watch?v=u5KgLVh-4Mg

Here is another doing a burnout and crashing into a store, a month ago: https://m.youtube.com/watch?v=tJu5TZ6rwXg

Human-driven truck runs straight into a 100-car pile up, 1 month ago: https://m.youtube.com/watch?v=VqNy7v5YekM

Beat that, Tesla!
Your point is exactly the things a lot of my Hindu friends say. Freedom and prosperity are two different things. China has/had a booming economy but look at the way they are treating Muslims or dissent.

Yes, for mainstream Hindu nationalists, this is a great time, the government is fully for them. But with all due respect spare a thought for the minorities, journalists and even comedians who are sent to jail for no reason. What about CAA etc.?
You are correct in terms about application of current laws. The issue is more complex though. We tend to associate books with ideas and exchange thereof. Explicit ban of an idea raises all sorts of issues regardless of any other issues that may have been related to it.

In simple terms, is it a good idea to ban algebra if a vocal enough community of anti-algebra people convince ebay to not list it?
I referred specifically to the title in my comment.
Man, that sounds hard. I wish you the best.
I see the industry moving away from ad based services.
We’ve known for awhile it’s a terrible transfer of value.
You trust Google?!
The depiction is of a man with slanted slit eyes running with chopsticks in a bowl of rice, wearing a pointed hat and what appears to be Japanese geta.

(The original image also had him with a queue and with yellow skin, and referred to him as "Chinaman" instead of "Chinese man".)

This was part of the negative racist depictions common in that era.

You can see other places where Seuss used slanted slit eyes, like his WWII cartoons depicting Japanese-Americans as 5th columnists - https://apjjf.org/2017/16/Minear.html .
Github / Gitlab / etc. are not free software universities where maintainers are professors enjoying their tenure. In my opinion, if you don't pay a maintainer for their time you are not entitled to it.
I thought it was Slashdot that had the X-Bender header?
Free speech is also an ideal that some people find value in outside of a legal context. People obviously care about being told what they can say and think, indepenant of the law.

What we are seeing is not an inevitable consequence of capitalism and reducing it to a profit motive misses much of the picture. It may benefit eBay's bottom line, but there other other factors at play.

For example, the public expectations of private companies are changing, as more people want them to act as arbiters of morality. Similarly, corporations are increasingly adding social ideals to their objectives. While there is clearly a PR aspect at play, corporate leaders and shareholders can and do balance moral objectives against their bottom line.

I think what people are reacting to is the feeling that they are loosing control to corporations over the direction of social change. Just as individuals can feel disempowered in the face of corporate influence in political arena, individuals feel disempowered by corporate influence in field of morality and social change.
Thanks for linking to good source material.

> When the feature requests, you must drive

Is there some kind of expected delay from the system requesting driver attention to the driver assuming control? Ie something like 3 seconds?
Note that Microsoft’s approach to taming the C language is a bit different from Git’s approach (https://github.com/git/git/blob/master/banned.h). Microsoft’s approach involves replacing the relevant functions with their Annex K variants, which is why the list is so long!

For example, you see memcpy() on Microsoft’s list. That doesn't mean that Microsoft simply “banned memcpy”, it means that Microsoft wants their developers to use an alternative function called memcpy_s(). The _s suffix means “secure”. These functions are defined in Annex K of the C standard, which is an optional part of the C standard. If you look at memcpy_s(), it may seem a bit weird:

errno_t memcpy_s( void *restrict dest, rsize_t destsz,
const void *restrict src, rsize_t count );

Note that this is more than plain bounds checking, and I believe it’s also intended to be used with static analysis tools to ensure that it’s being called correctly—and the API is designed to make static analysis tools easier to write!

As far as I can tell, Microsoft is really the only major user of Annex K. There may be a couple other users, but Microsoft is the big one. Microsoft reportedly pushed for the inclusion of Annex K into the C standard, implemented it in their own C toolchain, and wrote a bunch of tooling to work with the Annex K functions inside their massive legacy C codebase.

You see, sometimes you have to do things a bit different if you have tons of legacy code and aren’t willing to spend the (prohibitively expensive) effort to rewrite it all with newer, safer techniques (use your imagination—like C++ or Rust). The _s Annex K functions are designed to replace the unsafe variants in a somewhat predictable, mechanical fashion so you can send a bunch of programmers into your legacy code base to fix security holes. And it does work.

Git is a much newer C code base, is much smaller than Microsoft’s C code, not as old, and doesn’t run in the kernel. In Git, you’d be expected to manipulate strings with strbuf (https://github.com/git/git/blob/master/strbuf.h) which is generally much safer and easier to use than the C stdlib. It’s just so much easier to make decisions like this in a new codebase like Git’s.
Ubuntu uses a swap file by default since 17.04 Zesty:
https://blog.surgut.co.uk/2016/12/swapfiles-by-default-in-ub...

But as otherwise discussed this only made it into a release candidate and not an actual release. So the impact is minimal.
That's exactly what self driving cars do, silly.