skysight-inc/HackerNews huggingface dataset:
> It's not clear to me how this is possible without breaking backwards compatibility.

What do you mean? Presumably most existing sizable codebases will not satisfy the requirements of the (eventual completed) lifetime checker, even if the code is actually safe.

> > You don't need to completely eliminate the aliasing issue to achieve (efficient) memory safety, you just need to address it "enough"

> Safe Rust isn't "enough" safe, it is 100% (proofs pending, of course) safe. A "safe enough" system is not equivalent.

I'm asserting (perhaps mistakenly) that you don't need to address the aliasing issue as completely as (Safe) Rust does in order to achieve the same memory safety that (Safe) Rust does. Or maybe "completely" is not exactly the right word. I'm saying that the universal imposition of the "mutable references are exclusive" restriction is not a necessary prerequisite to (fully) achieving the same type of ("zero overhead") memory safety that (Safe) Rust does.

I'm not that familiar with Rust, but for example, if you have a reference to an element in a dynamic container, like a vector, (Safe) Rust ensures that that element is not prematurely deallocated by ensuring that there is no simultaneously existing mutable reference to the container. I.e. the container is immutable while an (immutable) reference to one of its elements exists. Right? (I mean, assuming you didn't "split" it first.) And if the reference to the element is a mutable reference, then the container cannot be referenced at all, right?

From a memory safety perspective, this is overkill. The container does not have to be immutable (or inaccessible) while a reference to an element exists, only its structure needs to be immutable. The C++ lifetime checker imposes this lesser restriction.

And for simple objects that do not have dynamic structure (or any indirect references), then the "mutable references are exclusive" restriction provides no memory safety benefit at all, right?

As I said, even this lesser restriction will presumably break most existing C++ codebases, and you could (I think legitimately) argue that that makes this new "Safe" C++ a substantially different language than traditional C++. But the fact that the restrictions are much less severe than Rust's means that a lot fewer code modifications will be required than if a Rust-style universal "mutable references are exclusive" restriction had been adopted.

Am I making sense here? Maybe I'm mistaken and these "lesser" restrictions are somehow inadequate, but I don't see it.
Plus Equifax and TransUnion reports are rarely used, during credit applications Experian gets pulled ~75% of the time (I churn credit cards).
Seems like my sleeping patterns are a lot different than those of most other people.

Also, I felt depressed to see that people spend most of their lives sleeping and working or in some transition thereof.
Anyone remember the NFC mobile payments platform from 2011
that was called Isis Wallet?

It was a pretty big deal (huge backing by carriers, phone manufacturers, and credit card companies). They changed the name to Softcard.

https://en.wikipedia.org/wiki/Softcard
We set our server 4 hours ahead!
If you're answering the question, I think it would be good to answer it directly.
Why would you run your own Postgres instance on EC2 within AWS? That kind of defeats the purpose of paying for AWS. Why not use Postgres RDS or Aurora?

It makes some sense with Sql Server and Oracle in a few cases because of licensing but hosting your own Postgres instance on AWS is the worse of both worlds -- you're paying more than with a cheaper VPS and you have to do all of the maintenance yourself and not taking advantage of all of things that AWS provides -- point in time restores, easy cross region read replicas, faster disk io (Aurora), etc.
I am so saddened by how much we trust Google. I wish we regarded Google software with more suspicion. Would people have been nearly as upset if it had been Google that acquired GitHub?

I miss the days of being suspicious of Microsoft. But Microsoft isn't nearly as diabolical as Google, nor are they as competent.
I'm jealous. Did students pester him all the time about his musical career?
Looks like you cross-posted this comment here and on my blog, so I'll also cross-post in my response.

I am quite confused by your statement that YugaByte does not claim linearizability. The C of CAP is linearizability (see the original CAP theorem https://users.ece.cmu.edu/~adrian/731-sp04/readings/GL-cap.p...). By claiming to be CP from CAP, you are claiming linearizability.

CockroachDB also makes the same CP claim. However, they explicitly walk back from this claim (https://www.cockroachlabs.com/blog/living-without-atomic-clo...). In contrast, YugaByte documentation makes no effort to walk back from this claim. Rather, the documentation seems to indicate that YugaByte is linearizable at: https://blog.yugabyte.com/jepsen-testing-on-yugabyte-db-data... and https://docs.yugabyte.com/latest/develop/learn/acid-transact....

Also, I would encourage you to read the Herlihy-Wing paper on linearizability published in 1990. You seem to be confusing linearizability with ACID isolation levels, which are actually a different concept. Peter Bailis has a good blog post on the difference: http://www.bailis.org/blog/linearizability-versus-serializab....

On your third point, we agree. However, the point of my post is that relying on max clock skew without hardware support is dangerous. I’m going so far as to say that it’s so dangerous that it is incorrect to claim consistency guarantees when you make such assumptions.

I would really encourage YugaByte to consider using global consensus instead of partitioned consensus. I believe you will find it much easier to support serializability (which as you said, is on your road map) and linearizability.
or make the name fit: I'd like to navigate my chrome tabs in a zoomable+scrollable grid view like this
Indeed there is: http://www.giis.co.in/Zfs_ondiskformat.pdf

It glosses over and assumes knowledge of XDR from an external source. That is documented here: https://tools.ietf.org/html/rfc1014.html
There is significant scepticism[0][1] surrounding this, and many, many submissions:

https://news.ycombinator.com/item?id=18042513

https://news.ycombinator.com/item?id=18042116

https://news.ycombinator.com/item?id=18041616

https://news.ycombinator.com/item?id=18039613

https://news.ycombinator.com/item?id=18038790

https://news.ycombinator.com/item?id=18036367

https://news.ycombinator.com/item?id=18032207

https://news.ycombinator.com/item?id=18029551

https://news.ycombinator.com/item?id=18029459

=============================================

[0] https://old.reddit.com/r/math/comments/9hl35w/sir_michael_at...

[1] https://mathoverflow.net/questions/311062/sir-michael-atiyah...
Court Rules FCC Must Release Records That Could Explain Fraudulent NN Comments
> Gasoline in California is still about 1/2 the price in Europe.

And already the highest priced in the US
> the problem is due to the assumption that cooking with salt, fat, and sugar is unheathly

I agree: it's not. Eating healthy is about getting enough of each micronutrient (not typically a problem) and not too much macronutrient(s).

The problem is that people use questionable proxies for this. "McDonald's is bad," "Whole Foods is good," "home cooking is angelic mana straight from the heavens!" -- when in fact Grandma's potato salad with ranch dressing, cheese, and croutons probably has a substantially worse macronutrient profile than a BigMac, the pizza at Whole Foods probably isn't significantly better for you than the pizza at Domino's, and the seared + oil drizzled + salted veggies in a restaurant probably have about the same nutritional content as the equivalent you make at home.

I also agree about tomatoes: it is in fact possible to fix them with salt and fat instead of fixing them with sugar. You can definitely get a more intense tomato taste than the store if you water them less than a commercial outfit would. I'm not nearly as crazy for this as most people seem to be, though. Good for salads, bad for sandwiches, but not to a degree that ignites my passions either way. "Heirloom" status is completely beside the point, except as advertising, for which it is solid psychological gold.

> I LOVE microwaved/steamed/boiled corn on the cob with or without salt or butter.

Yeah, because it's a sugary vegge-grain-fruit and sugar is good even without salt and butter. Of course, put some salt and butter on there and you have the holy trinity, which is downright delicious!
Prompted by this discussion:

https://news.ycombinator.com/item?id=18041337
Cognitive Diversity: AI and the Future of Work [pdf]
I find this to be a bit of a cop out, there's still less syntax than something like C# or Java, and plenty of developers are ok with those.. JavaScript went through years of nothing and then sudden change.. if you were only casually interested in it (say, a backend developer who just puts some js together) then criticizing seems unfair.. you can continue to write the exact same code, but expect those who write it as their primary language care a hell of a lot more about it being succinct and powerful.
I believe programming is one of those things where 1) a lot of knowledge/ability can be transferred in a tutoring setting, and 2) the worth of this is high (considering the cost/benefit of good programmers).

While I find it hard to properly explain this, my experience is that this is not as 'obvious' for many kinds of jobs. Off the cuff I'd say it has something to do with the relatively insular/individualistic nature of programming (although I'd say this applies even to larger entities like a company), as well as the general 'craftsman' feeling I get from how my job actually feels.

Perhaps tooling also plays a big role. I'd say a sizeable chunk of my improvement when it comes to doing my job fast and well consists of using the right tools. When I sit down with other programmers, I'm often amazed by how much time they waste (and I used to waste) using suboptimal 'tooling'. These are things that are often difficult to learn from tutorials or classes.

Regardless, if I were to have junior programmers under my wing, I'd probably try to make sure there's some degree of tutoring going on, not just for the benefit of the juniors, but because I think it can really make a huge difference in their value to me.
I wish there was a way we could roll back some of the interior safety requirements that do more harm than good due to visiblity and weight, but I'm not sure how to word in a way that wouldn't cause the crazies to come out of the woodwork and insist that every car absolutely need two sets of upper B-pillar curtain airbags in order to survive.
I've heard that sound before.

Compare: Jaguar "designed sound"[1] with a U.S. Army M1A2 turbine powered tank starting up.[2]

(I once considered using that sound as a boot-up sound, but decided it would get annoying after a while.)

[1] https://youtu.be/1tbHA7smkjU
[2] https://www.youtube.com/watch?v=2ZfVP19mDm4
This also works, and still has SSL: https://archive.is/7zVmu#selection-1533.0-1536.0
This reminds me the case of Firefox: extensions could access almost everything internally which made them very powerful but ultimately made refactoring very hard, hence the switch to web extensions.
"Oh, what a tangled web we weave, when first we practice to deceive..."
Thank you! :)

It's not directly about current "finance" (as the title says it's about "economy", but of course which will affect finance), and it's a bit "heavy" (almost 2hrs of speech) and I basically skipped the first 10 minutes but the rest is for sure very interesting as e.g. it forces to rethink about all what happened in the remote past and during recent years and shows that a possible "nice" future is possible.

I'm not as optimistic specifically about the availability of IOT-data (in my opinion going to be mostly compartmentalized/proprietary), but in an ideal world it has for sure a huge potential.

Very funny the statement about IBM & the 7 computers, and towards the end the question in Trump-style :)

Summarized, for sure a good input/thoughts/inspiration about the big ongoing changes and all what they might affect.

Cheers
> That report doesn't say that Apple no longer retains control of the keys.

Even if it does (which is unclear), do you think Apple will be able to refuse if the Chinese government asks for them? I wouldn't be surprised of "the laws and regulations of China" say that Apple is required to turn them over.
A guide to proper use of animation in UX
100% agree with knowing your audience and purpose. But you are a technical writer, so these tips might be obvious. Audience and Purpose could be Part 3?

But for people that don't do technical writing day to day, it can be a little daunting when you are initially tasked with writing some docs. This is usually the case at smaller companies where people have to wear multiple hats.
My brother adopted a dog a few years back named Isis (after the Egyptian god). Even though Isis now had a very different connotation, they felt bad to change the dog's name. They recently adopted another dog which I jokingly recommended they name Al Qaeda.
Great perspective. Yes, maybe you're right. I hate the -ist (and I'm not sure why, so you're on to something there), but I do like the causes (when they make sense).
> Note that the 100ns mentioned above is largely due to the fact that my Linux box doesn’t support the RDTSCP instruction, so to get reasonably accurate timings it’s also necessary to issue a CPUID instruction prior to RDTSC to serialize its execution.

Huh? That’s definitely not true now, and I don’t think it ever was. Linux uses LFENCE or MFENCE, depending on CPU.
Simple, to help prevent “bit rot”. The problem is exacerbated further in that many of us treat cloud sync services as backup, which they arguably aren’t - they can inconveniently just spread the decay.

I’d also hoped that a next generation file system from Apple would have had more to say on this topic, but it seems like features that promote their iOS device agenda took front seat over less “sexy” features like data integrity.

In the days before iOS devices dominated OS level decision making at Apple there was an assumption that Apple might adopt ZFS as their next generation file system, which is apparently much better in this regard. There’s various evidence of a cancelled MacOS ZFS project scattered throughout past MacOS releases.

> https://en.wikipedia.org/wiki/Data_degradation

> https://arstechnica.com/gadgets/2016/06/zfs-the-other-new-ap...
White House Touts Release of National Cyber Strategy
That is so intended.
A lot of people don't use the Internet that much. $50-$100 is expensive for receiving e-mail, looking at news and some videos. Fiber deployment might very well stall in a lot of countries because of this.
i learned to surf as an adult

it can be a supernatural feeling.. paddling hard until the moment the wave picks you up and says, 'i got you from here' and just carries you off

when picking a board you should know the bigger the board the more stable it will be and the more forgiving it will be as you stand up, ~40-60cm taller than yourself is a good rough metric for a medium sized board, you can start bigger and as you get better try smaller and smaller boards

i have been body surfing and boogie boarding since i was a kid so, unfortunately, i am unable to give you any good tips on picking a good wave and figuring out the timing, but i think this may be a skill that can develop on its own with time

as for the surf.. the best advice i can give:

1) when waiting for a wave: stay on your board; the more time you spend on the board the more intimately you will get to know it and the more you will develop your stabilizing muscles and core

2) when paddling for a wave: arch your back as much as you can to lift your chest off the board; it will look like the 'bhujangasana'(o), or 'cobra', yoga pose and this helps to keep the board level in the water and allows for more strength in your paddles

3) when standing up: look down at the board to ensure you place your feet in the center; early on i had the tendency to look up at the shoreline and would place a foot a bit off center and the board would flip

4) when standing up: bend your knee and plant your back foot first; early on it was more natural for me to plant my front foot first but bending your knee and planting your back first ensures your center of mass is directly above your foot

5) once stood up: keep your knees bent; this keeps your leg muscles activated allowing for better balance and control

of course, most important: have fun!

(o) https://en.wikipedia.org/wiki/Bhujangasana
My computer (macOS Sierra, HFS (Journaled)) has 2x spinning drives of 3TB, and operations are noticeably quicker after an overnight defragmentation run, which I do twice a year or so. Anecdata, granted - but it works for my situation.
It turns out that most upstream providers have route filters, so you can't just announce whatever you want...

I do remember those days in the 90's, though. I worked at a small ISP, and a coworker blackholed a few spammers by just announcing their route and sending all traffic to Null0. This was back in the Cisco 4000 days, when a full routing table could fit in 32 megs. If I recall, our upstream was Sprintlink and they didn't do any filtering at the time.
OK, but then what?
RWE has undertaken measures to mitigate the mining’s impact

Mitigate the impact of clearcutting an entire forest? What a laugh.
“Don’t be evil unless it’s scalable”
I don't defragment SSDs at all. I should've made that clear in my comment.

I have a multi-HDD system running to 6TB of storage, I can't run to the £ of an all-SSD system at the moment, but that's on the cards for the future, so it's spinning rust for me, for now.
Sure makes decommissioning nuclear (and bringing coal back online to replace it) look better and better. Good job, environmentalists.
What nonsense! Congrats engineers who have nothing else better to do.
You keep making these arguments using hyperbolic examples that have little or nothing to do with what Google might (depending on how the internal politics work out) end up launching.

Predicting the future is tricky, particularly when it involves the decisions of complicated political processes where the decision-makers (most likely) disagree. Plans often change. We can't possibly know what they're going to do. Maybe nothing; plenty of large corporate projects never launch.
Becoming a Googler
The vast majority of people will spend less time as this is a rare occurrence.

Freezing a credit report is not going to prevent someone from getting ahold of your information. It will prevent someone who already has your information from running your credit and opening new lines of credit -- which doesn't matter much. It is completely ineffective for the vast majority (90%+) of identity theft.

It will not protect you from someone stealing your cards or checks.
True but that's not particularly impressive, most non-sandboxed scripting languages have a straightforward way to call C. It's just a lot simpler that way: C doesn't have much of a runtime, you don't have to worry about corrupting C's state too much. There's no garbage collector in C for instance.
Imagine you need to check if an email address meets RFC822. You can:

a) read the 47 page standard and implement every single requirement, one if statement at a time, and end up writing 10s of thousands of lines of code that are nearly unverifiable.

b) copy that one regex from the standard, put it in a nice function with a comment on where to find the standard, and move on with your life.

Option b will not only save you a week, but also make it much less likely that you screwed up.
> The new version of Chrome signs you into the browser even if you don't want to sign into the software itself. You can't really use Google's browsing device (Google Chrome) without providing your identity, if you ever want to sign into a Google website.

It doesn't sounds like you've actually tried this.

It doesn't sign you into anything but the google website, just like before. You have to turn on browser sync to sign into the browser. Seriously, try it. Your passwords, history, etc aren't there, and nothing shows up in your history from that session. Signing out of gmail still signs you out.

The new system is annoying because it makes it more difficult (impossible?) to sync to one Google account while having another one be the primary signed in one, but it doesn't sign the browser into anything on its own.
People avoid calling themselves -ist-s because when you identify yourself with a group you're bringing on to yourself a series of judgments spanning the other person's entire experience with that group. To abuse the saying, "you don't know where that's been."
I can see where you're coming from in any other language. But in Julia it's important to realise that this "premature abstraction" isn't actually any extra work, it's just the default. If we write `f(x) = x+x` then `f` takes anything that can be added, which can be any custom number or matrix type, or really anything else. Adding type restrictions to make it work with only a limited set of types is completely doable, but actually more work than just leaving it generic.

We didn't at any point decide "it's worth the extra effort/complexity to make Flux work with custom number types"; it's just inadvertently been that way from day one, and I didn't even know anyone one was making use of it until today.
The Pentagon didn't start calling it the Islamic State of Iraq and Syria (ISIS) until 2017. Prior to then, it was the Islamic State of Iraq and the Levant (ISIL).

Worth noting that the Islamic State has preferred being called ISIS. I think calling them ISIL was being done in part to annoy them.
Well, we spend a third of our lives sleeping by design (which, you should rest reassured, improves the quality of your waking hours).

As for the third spent working, for as long as we have liked eating & having a roof over our heads, that has required steady effort.
When will people realize that the whole idea of a "credit score" is insanely bad - just lend to anyone under the same conditions, do personal checks on case by case basis etc. There are parts of the world that have all regular financial tools like mortgages and all without the credit score part. Keeping a "score" is just a means of discrimination and oppression.

Yeah, credit will become more expensive, as it should be! People should only lend money with verified collateral etc. And maybe it's not "fair" to lend anyone at the same rate, just as it's not "fair" to have "universal" health insurance. But you know what? F fairness! Nobody needs "fair", we need systems that work, and do so reliably and in easily understandable ways, making the word a place you would want to live in.

We can afford to de-optimize some aspects of the economy in order to get a better quality of life with low stress and all. Equality and anonymity is what everyone needs more of, not "fairness" and invasion of privacy (aka "transparency"), with the former usually used to justify the latter.
Shouldn't that be the other way around? There seem to be no evidence for life and consciousness being something other than complex states of matter.
I discovered the word "meme" on Usenet discussion groups back in 1992. It was a well-known idea in the Hacker News of that day, and was being applied to things that were being passed around on the Internet. However, since this was before the web had caught on, the memes were all textual. I was not surprised then when I saw the term used in its present, graphical meaning.
It is awful, but keep in mind, this is a system where "eyewitness testimony" was the gold standard.