skysight-inc/HackerNews huggingface dataset:
No, there is no difference. Locks and software implement or abide by control laws. In your analogy, if you give perfect software an input and it behaves as expected, then that is the same as walking up to a locked door, trying to open it and failing. Both systems are susceptible to control bypass.
It is possible to construct counterexamples, but in practice it tends to work out much, much better.

The various tools built around Java stand as an example.
My understanding is that most banks in the US support Zelle. This gets you your money faster. The biggest issue I personally know of is that every bank has it's own name for it.
List of All Vim Tips
Interesting that they do it only on the staff pick videos. I presume this is a way of incrementally rolling out support for the codec.
I don't understand the chart. Typically the X axis is the independent variable, and the Y axis is the dependent variable. Is he saying that as his desire to own his time gets larger, his compensation goes up? Or are the axes flipped?
...is that the title of something on the front page right now? Seriously asking; haven't checked, lol.
If you use FBPurity you can block all kinds of garbage on FB. It can also ensure sk=h_chr is always enabled, if you want.
This is magical thinking, switching language won't solve the problem.

Complexity is the problem, hard-to-read code is the problem, over-engineering is the problem.
I would think such a thing would be more like "compiling" rust to C. As in the C code would have no means to maintain most of the safety guarantees, rather they would be verified at compile time, and the produced C would be meant to be used unchanged. So as long as nobody ever edits the C manually, it would still presumably be safe.
fyi from the website :

Since version 9.0 released in January 2020, SageMath is using Python 3.
I 'inspect-element'd some random pane on Facebook: https://imgur.com/a/qecS7gJ
Best possible preview snippets would be essential when looking for trivial stuff : cant remember exactly how to do sth but knew it once (google does that for the best SO match i think)

Exception messages could be an important thing to focus on. That is the second thing i when search engines matter to me often (support fuzzy search here: abstract away the too concrete stuff but keep the actual message).

It would be great if you would understand versioning of documenations: it always takes me a while to understand if the docs apply to the version i am actually using.
Rust is way too big for systems programming. We're hitting walls here left and right as well. Fatter languages are not the answer no matter how safe they are.

Lessons were learned 60 years ago which were never properly applied across industry.
This post reeks a bit of #firstworldproblems.
I live in New England; in addition to the stay at-home orders, it was also cold and rainy much of the spring, in addition to living in a state with the third most infections and deaths from COVID-19 in the country during March–May.

As of today, we’ve had 8,860 confirmed cases of COVID-19 in my county alone.

I have pre-existing conditions and live with a septuagenarian that clearly made it not worth the risk to be out and about.
> Nearly everybody has a job in modern society that a random person on the street wouldn't understand

That's true, but there's a very distinct difference between private insurance companies and other jobs I don't understand.

Most of the time, if someone has a job I wasn't aware of, after it's explained to me I understand the reason it exists and it largely makes sense.

In addition, most jobs don't have a readily available comparison of "And this other place doesn't have that job, instead does this, and it has these better results."

In the case of private insurance, we have several examples of other countries that have socialized healthcare and have notably better outcomes. We have studies showing that our private insurance industry is flawed as implemented in america.
You’re welcome to visit any other developed country where people don’t live in fear of getting sick and don’t treat massive bills as an inevitability, even after having insurance.

Their health systems are as competent as those in the states, despite the fear mongering by your health industry of years-long wait times, queues, etc.

So yeah, if the job we don’t understand results in massive underserving of your nation’s health needs, perhaps your disgust is misdirected.
Wholesale Internet bandwidth can be had for $0.05 per Mbps per month.

You can transfer about 320 GB in a month.

In other words, what you pay for a GB from the cloud costs about what you'd pay for a Mbps in a well connected datacenter.
Wish I knew :)

My theory is that we only gave them "incomplete" toys, ones that don't come with pre-determined rules of play. Building blocks of different kinds (Geomags, Duplo, Lego, just plain wood blocks etc).
IRC, XMPP, Matrix, Rocket.Chat.
Maybe you'd want to skip IRC if message retention is an important detail. Although, I'd argue the local-logging method is more reliable and faster to search through than what most modern chats give you.
If you're hosting on your own hardware locally, XMPP will be less straining on resources than Matrix, at least the last I heard.
I haven't actually used Rocket.Chat, but I threw it on the list because I think it's aiming more for the Slack crowd than these other more general options.
What do you mean? I have the Rust working in Kbuild; I haven't published the patches. At Linux Plumber's conf for later this year, I've submitted a proposal to discuss the barriers to adoption within the kernel proper. Some very senior kernel devs are supportive.
The problem isn’t people reading too little. It’s that people such as yourself only read a fraction of an informative article and stop because it’s “too long”. They read the headline and skim the article and get whatever their limited comprehension gets from it, and then proclaims they know what the article is saying when they don’t. Pretty much sums exactly what you were saying. I can only imagine the high level of misinformation you must have in your brain by never finishing so many “long” articles in so many different languages. What a mess!
> An employer with math researchers isn't going blink at the $2k for a perpetual license, so anyone doing the work regularly gets Matlab who wants it.

Not all employers can splash for matlab. You might be right about a simple license, but in my experience most matlab developers rely on toolkits which ratchet that price up through the roof.

For one example, somebody I worked with rewrote the parfor functionality as a c extension, because we couldn't justify the expense of that addon for every seat. Not a great use of that math researcher's time, but it got the job done, I guess.

I and a couple others at my company showed that Python / Cython could be meet and beat matlab's performance, and we built up an open source stack that our customers love and contribute to -- good luck doing that with matlab.

Our physicists found that the only feature they needed of matlab was its plotting functionality -- so they rewrote that in their native lisp and moved on with their lives.

Today, we only need a few seats for some researchers with seniority. I can't say how much we're saving, obviously, but we eliminated a significant cost in two departments' budgets and our finance folks are quite pleased.

My regret in this is that I used to be a Sage developer, but I've only got so much sway at the company and GPL'd code is a no-go.
> Reporters and Western diplomats on the scene estimated that at least 300, and perhaps thousands, of the protesters had been killed

I hate to make this point, because it sounds like whataboutism, but perhaps the relative population size of China and the US is worth taking into account.

Let's assume that the 300 figure is the most accurate, since these (Western?) reporters and Western diplomats may have had some incentive in the Cold War to over-estimate the number of deaths. In 1989, China's total population was apparently 1,110,000,000 while the 1990 US census counted 248,709,873 people. That's a scale factor of about 4.5 times.

An interesting comparison then is the 82 people killed by the US government in the 1993 Waco siege, which is equivalent to 366 people if scaled up. Obviously the circumstances are different, but in terms of the magnitude of the number of lives lost, we should probably think of the two tragedies as similar.
you mean protesting local government not being responsive to the fact people are literally being killed by cops? I don't see any issue with that.

its just a building. rebuild it later once you fix the problems.
I don't agree fully with your explanation as I don't think the problem has been posed, in general, in terms of avoiding putting people's lives in danger. The issue is instead that empathy has become the attitude and quality that needs to take precedence over any other, including any amount of skepticism, inquisitive attitude and reason.

We have become a world where the ultimate element of truth are someone's subjective feelings (usually negative) as the person reports them. (Google finds 3710 results for the exact phrase "I was in tears, shaking" which is not a bad number for such a precise description of an extreme state of distress). The problem with this is that of course, when you state a fact, it's possible to debate its truth rationally; but no rational debate is possible about a subjective feeling (short of calling the person reporting it a liar).

For example, the problem that led to the sacking of the NYT's opinion editor over Tim Cotton's piece is not that the piece itself was putting lives in danger- that could have been up for debate; it's that some people objected that they felt it was putting lives in danger. While you could argue that stopping violent demonstrations is meant to preserve lives, the feeling is instead outside of any rational debate- you cannot argue that I'm not feeling what I say I'm feeling.

So now whoever has a grievance or feels to have been wronged or is afraid of something, can claim his or her own feelings as the ultimate proof of the fact. It should be obvious to everyone that feeling something, being totally certain of it, doesn't really prove anything, that the whole point of discussion and rational inquiry is to separate what we feel from what is actually true. But refusing to fully acknowledge someone's negative feeling has become the ultimate sin.

We used to negotiate negative feelings with others; sometimes this would bring acknowledgment, but other times sharing and debating them could actually help seeing a different side and attenuate them, or even change our attitude and make us grow. But when every single negative feeling is invariably received as the ultimate proof of a valid grievance, a positive feedback cycle starts: I only need to say how bad I feel to be comforted and assured that I am in the right and something is owed to me. This cannot but lead to an explosion of grivances. Which is what we're seeing now.
Team Players: How Social Skills Improve Group Performance
Best chance at creating an even more dystopian future where authoritarian governments and corporations control exactly what "your" computing devices can do and you can't "jailbreak" out of?

Yes, I know Rust is not a panacea, but I feel like the whole paranoia around safety/security is just leading us towards that sort of society, technology included. It seems that there was somewhat of a balance before, which allowed for some sort of "civil disobedience" (jailbreaking, rooting, cracking, etc.), and now that freedom is slowly disappearing.
There have been a few of these articles lately, about leaving a high paying job to pursue something more risky but more fulfilling. They've all contained bits about leaving behind hundreds of thousands in RSUs to do so. I wonder though where the cut off is. If it was a couple of million in RSUs, would folks still do it?
I keep thinking I would, but my heart belongs to lines.

I do love the line spacing on the Rhodia, though. Some others are too narrow and it's hard to keep my writing both legible and tiny at the same time. Others flash back to those writing pads they give you in kindergarten.
I quit reading the post after halfway through it. When I saw the headline, I thought, "when you have enough money in your hands, you can walk away from anything", and the article just confirmed that. I don't need any of this dude's life advice.
What's stopping you getting mobile notifications from Matrix while not using the flagship server? Just in case you didn't know, I'll mention that you can sign into other home servers in the Riot app. It may not be obvious at first.
So it's currently GCC 4.6+, with patches queued to bump that to 4.8+. Also, you can use Clang. So I'm not sure how rustc being used for some parts of the kernel has anything to do with developers "restriction?"
Especially if they worked at Amazon, I believe this is the second or third person to "walk away from a lot of money at Amazon" for the same reasons and now needs to tell the world about it.

Maybe there's a I-Left-Amazon-To-Become-An-Influencer-SaaS somewhere that produces these posts.
You can upload it to cocalc.com, then share it publicly, then click the embed link to get a version that is suitable for embedding in an iframe...
Except you can artificially alter the value of x or y via numerous different methods of attack via frameworks that supersede the code which has been written the formal methods against.
Sorry, “for everyone” was intended to mean, “the flaws I’ve identified hurt Apple, some customers, and some developers” not “100% of customers are hurt by the flaws.”

—

I’ve spoken with an Apple SVP about the compatibility issue and it's huge, you’re right. My suggestion to them at the time was to boot apps out of the app store that don’t stay up-to-date.

But there’s a gap I can’t solve, which is Apple doesn’t want users paying more just to keep their apps running on new iPhones.

As a datapoint, though, iOS apps have a LONG shelf-life. I have an iOS app I shipped with iOS 7 and it still runs on iOS 13.

With macOS, yes, we’re all angry because Apple finally made good on its promise to deprecate 32-bit apps after like six years of warning us. And, yah, I lost 60% of my games on Steam and I’m upset about it, but also I like my machine being way more responsive (loading both the entire 32-bit stack and the entire 64-bit stack at once meant a ton of memory pressure and swapping), and I like that Apple doesn’t have to maintain to entirely different codebases and can fix bugs and add features once not twice.

And it’s not like 64-bit apps are a new thing — if you’ve submitted an app to the Mac App Store you’ve been required for YEARS to have it run on 64-bit machines.

It sucks that Steam didn’t enforce this as well — not because they should do Apple’s bidding, but because it would have been a mitzvah to Steam’s customers who just lost a lot of games.

-Wil
If your systems work do not require stable compilers or rely too much on external C++ APIs, then you will be mostly fine.
... I will say that the original goal was performance, but power efficiency was an [accidental] consequence and that because a focus. It had nothing to do with Intel (other than a general strategy of going after your competitions' weak spots).

Soft-modem story is correct.
Here you Can Download the Latest Apps and Games https://kingmodapk.com/ For Android and Ios User
True but even as a interchange file format sqlite is interesting. Through you probably want some hardened against this types of attacks form of sqlite. Like one which had just a subset of features and sqlsupport.
Books: They Ask, You Answer, Inspired, Don't Make Me Think

There is no perfection, only iteration, and the best source of learning is always to talk with users. It also helps to have deep domain experience and insights. Steve Jobs said something about the customerS not seeing leaps in innovation (in UX), so instead look to engineers for these. This is more when you are early in a product and see a large problem that could be solved a very different way than today.
Hitachi SH-4 | 10M transistors | 1997

SPARC64 V | 191M transistors | 2001

DEC Alpha 21364 (EV7) | 152M transistors | 2003

SPARC64 V+ | 400M transistors | 2004

Cell | 250M transistors | 2005

POWER6 | 789M transistors | 2007

SPARC64 VI | 540M transistors | 2007

SPARC64 VIIIfx | 760M transistors | 2009

16-core SPARC T3 | 1B transistors | 2010

8-core POWER7 | 1.2B transistors | 2010

Quad-core z196 | 1.4B transistors | 2010

SPARC64 IXfx | 1.87B transistors | 2011

SPARC64 X | 2.99B transistors | 2012

8-core POWER7+ | 2.1B transistors | 2012

Apple A7 | 1B transistors | 2013

12-core POWER8 | 4.2B transistors | 2013

Apple A8 | 2B transistors | 2014

Apple A8X | 3B transistors | 2014

32-core SPARC M7 | 10B transistors | 2015

[insert a crapton of ARM CPUs here]

AWS Graviton2 | 30B transistors | 2019
That would be a strange notation indeed. But I once met an engineer that called the exponential function the "antilogarithm". It was not a weird mannerism, it was his bona-fide way of calling the function exp(x). Apparently it was the standard name where he came from (somewhere in south america).
Rust doesn't check for numerical over and underflows unless you run in debug mode which almost no one does because it is about two times slower than release mode. I.e. Rust doesn't live up to the safety standards many programmers coming from dynamic languages are used to where over and underflows are checked.

Many people in the Rust community appear to be unaware of this. Which is actually a big deal. Many of the bugs with the most catastrophic consequences are caused by over and underflows. Consider for example a gas pedal indicator kept as an unsigned that underflows causing the indicator to reach its maximum value.

If safety was my primary concern, I wouldn't choose C++ but I wouldn't choose Rust either.
Can somebody explain why anybody would want to put up with PIC in 2020 when ARMs are so cheap and energy efficient and development tools got to a point where you get working toolchain with no time or money expense (for example with stm32cubeide and st-link)?
Indeed, software quality is in decline across the industry.

I think this is more of a "make an idiot-proof system and the world will make a better idiot" type of situation.
You can prove it in your model of the system, but you are limited to the model. If your model of the system is the same as the adversaries' then your security design may work. Of course, the real definition of security is financial. No one cares if your lock can be picked by the 1001th person if the security claim is it takes at least 1000 lockpickers to be sufficiently incentivized.
Ah, yes, I am stupid. Carry on.
> Whereas if I tell you that x is bigger than y if x is y plus 1, that’s definitive.

Most code doesn't check whether incrementing a variable causes an overflow, so in practice the test you're referring to is still vulnerable.
Awesome, thank you. I am always looking for methods with the least friction to win people over to using Linux.
The last two times I flew on a plane I got deathly ill. In fact the second time the sickly mal-air of the cabin was so overwhelming that I remarked to my wife that I was sure to get ill from the flight.

And if you look at how cabin air is handled, there is very little chance that you can sanitize the plane effectively.

Auto travel is out too, unless you camp or have a trailer or RV, think of how deeply embedded the virus is in the pillows, carpeting, and bedding in hotels. And our second wave is just getting started as well.

I give it 2-3 years.
This is almost certainly guaranteed to be either monetization of botnets, or inadvertently installed adware.
My question was about 'oppressed minority race becoming racial oppressors still being subordinate in the power structure' not a few members of said race becoming racial oppressors.

Once a country has weapons and can defend itself, its citizens are not really subordinate in the power structure, is it?

When you write "against such police brutality", what does "such" refer to?

Because most of the people I've seen/heard on the topic are specifically against racist police brutality. (And they aren't arguing that police brutality against whites should increase.)

Where's the long list of white people killed by police brutality that matches what we've seen on video for black people?

> now has a very specific pejorative and derogative meaning

Based on my observation, its most common meaning is simply a derogatory term for progressive.

Are NASCAR officials SJWs by banning the traitor's flag at their events? Are they "politically correct"? ... or simply "correct"?

You do know that "uppity" is traditionally used as a way to put down women and blacks who supposedly didn't know that they were supposed to be lower in the social hierarchy, right?
Is this the supporting submission for the two daily Rust indoctrination threads?
I think its systems thinking. With 40,000 developers, Microsoft is too large to fix the problems you mentioned. They need a broad stroke change to reduce vulnerabilities. The article says they've tried many things and believe moving to rust might work.
I think that inelastic demand and relative difficulty of ability to price compare lead to it pretty naturally Once you have an insurance layer in the system. I mean, if you get shot, and the ambulance rushes you off to a hospital, you (literally) can’t haggle and shop around.

As for it staying like it is, laws in the US radically favor entrenched monied interests because of lobbying, and we have a huge amount of political propaganda convincing uneducated voters to vote against their own interest to the extent that votes even could do anything.
See, my thinking is if enough of us get “special favors” then the special favors will become the norm.
That list has some old and long-running franchises (e.g. Mario), some semi-interactive movie experiences (e.g. CoD), and some games that have in fact been modded to ridiculous extent (Warcraft, StarCraft, The Sims). I wouldn't read too much from it.
This is the strangest critique of writing more secure code I've seen.

Yes, more secure code does reduce the chance of jailbreaks, but insecure code is overwhelmingly used more by criminals and state actors to try and break into your computer.

Secure Code helps all computer users, the 'little guy' most of all.

And you can always vote with your wallet (or, you know, vote) to keep your digital liberties. Blaming a better tool for eroding your liberties seems ... strange.
I'm really confused by your comment because the experience that I have had and in surveys of my coworkers in the Rust community has been uniformly amazing: 1) the technical discussions are always respectful, 2) the in-person conferences have clear code of conducts and the speaker panels represent the best of the engineering and human community, and 3) the community actively encourages people asking newbie questions and goes out of its way to be supportive and non-judgemental when replying.

The only counter example that I can think of is the way that the actix unsafe maintainer's behaviour was handled (brigadiering bands of Reddit evangelists flaming him for his own flaming). However, I chock that up to an anomaly caused by Reddit's toxic community and not representative of the Rust community.
That's a good point, and I think you've hit one of the main issues why we're still stuck with old, unsafe languages.

There is the saying that once you got a Haskell program to compile, it usually just works, and I personally found it to be true a lot. But getting it through the compiler can indeed be much more of a journey than in, say, C. And I realize that the work you have to put in to just even being able to run something can be discouraging, maybe going against a natural (or maybe just common) affinity towards tight, iterative "change-compile-try" approaches.

Still, in cases where it really matters, i.e. system software or common, but often mission-critical software like sqlite, maybe it's worth taking the jump?