skysight-inc/HackerNews huggingface dataset:
Aliasing is a big one. One of the main reasons Rust’s borrow checker can be painful is that it doesn’t want you to have two mutable references to the same thing, anywhere in your code. In C++, on the other hand, mutable references are the norm, and it’s common to have a multitude of different references to the same object, handed out to any other object that wants to know about it. (And traditionally they wouldn’t even be ref-counted. “Modern C++” encourages the use of shared_ptr, which at least prevents the references themselves from going stale, but that doesn’t help if you have a temporary pointer into a sub-object derived from one reference, e.g. an element of a vector, and then someone invalidates the sub-object through another reference.)

Well, this lifetime checker, to quote the paper, “aims for low false positives in ‘good’ code that follows modern C++ convention”. And for better or worse, that “modern C++ convention” doesn’t include a drastic rework towards Rust-style pervasive immutability and explicit locking (`RefCell`) if you want to mutate something shared. Nor does it do anything magical to work around the reasons Rust needs that. Indeed, there’s not much that can be done as long as you want to stick with a purely function-local analysis (which, for the record, Rust’s borrow checker is as well) – at least, not without using an even more elaborate system of manual annotations.

So instead it gives up on dealing with those cases. Which is perfectly reasonable – it’s still going to do a lot of good by catching many common types of mistakes. On the other hand, it’s important to recognize that its limitations aren’t a matter of a few missing pieces or legacy constraints, things that can be easily patched up in the future. As it stands, the design fundamentally sacrifices the ability to make the kind of complete guarantees Rust’s borrow checker can, and that can’t change unless it’s willing to cause significantly more disruption for codebases and programmers.
...Failed? It's just getting started.
Isn't information theory a new way of thinking about time? Time, as change, is entropy, which, under certain formulations, is equal to uncomputability. In this way we could think of the flow of time as the march of some arbitrary computation which cannot be computed in advance, that is, ignoring time.
They danced like your awkward dad does.
Linear Logical Voting Protocols (2011) [pdf]
Los Angeles is unfortunate that due to the surrounding geography, thermal inversions are common where air close to the surface is trapped and doesn't circulate. That amplifies the air quality problems compared to say SF where the off-shore breeze keeps the air relatively clean.
How to Upgrade to React-Native 0.57 (RN 0.57)
Public transportation between hotels and tourist destinations is usually pretty good, even when a city’s transit system is a complete mess. Spending big on prestige transit projects just for tourists is such a common pathology, it’s become cliche. A tourism experience tells you nothing about what public transit is like for people who live in middle class neighborhoods and work in normal offices.
FoundationDB could probably do better than CockroachDB in multi datacenter configuration, because of the different trade offs they made, but I still wouldn't expect any of them do that well enough for most applications.
Right, but a lot of the times the information required for the manual process is also compromised. This just lowers the security level down to whatever the manual process is.
Thanks. Admittedly, I've been giving positive re-enforcement to his questions by answering them immediately. Which I realize is doing us both a disservice. It's now easier for him to ask me than to spend time investigating, and it's easier for me to answer quickly to get back to my work. But it's just making the problem worse. It's become programming by proxy.
I mean it's nothing short of shrewd. Hosts are a critical resource to Airbnb - so how do you bind that asset to your platform so that it doesn't leave? You put it on a vesting schedule.
Farmer Lobbying Group Sells Out Farmers, Helps Enshrine Repair Monopoly
> a specialized hardware solution that uses both GPS and atomic clocks to ensure a minimal clock skew across servers

Maybe I'm wrong, but pretty much anyone with a DC is going to use Microsemi (previously Symmetricom) grandmaster clocks with all the bells-and-whistles including the internal Rubidium atomic oscillator along with PTP to keep everything in sync with multiple layers of redundancy. A specialized hardware solution that uses "both GPS and atomic clocks" to guarantee ~15ns RMS to UTC are just a shopping cart away.
Amazing how modern corporate "catch the cheaters and slackers" management structures are designed exactly the opposite of this.
Where I live has elevated levels of both thanks to wildfires. It was so bad last summer that at one point, I could barely see the house across the street. Something's got to give.
Nobody would find that interesting though. Just like the Dota not, and Deep Mind's Quake bot, accuracy and APM would of course be capped to human levels.
Twitter says bug may have exposed some direct messages to third-party developers
Neither. Just use a function. You don't need a dedicated operator in the language's syntax to composite functions.

const foo = pipeline(
bar,
baz,
x => x + 1,
)
foo(42)
For sure. Caps will either make or break 5G-as-home-broadband
That fiasco earlier this year with James Damore comes to mind.
Some at Microsoft, especially foreigners working in China, had some issues about it, but Microsoft has always been really consistent about how it operates in China, which, for better or worse, has always been close to the desires of the Chinese government.
FaaStRuby – serverless platform built for Ruby
Hey wmf. The post and home page cover a lot of the general details, while the whitepaper has some additional stuff about sample implementations of the protocol. We're not creating a token, our emphasis at this point is build the infrastructure around re-using network ASICs for proofs of work, and enabling other teams to build their blockchains on top of this. We're more OpenCL than Ethereum, for lack of a better analogy.

I appreciate your comment though, and we'll have the whitepaper content directly on the website (instead of as a download) in the next few days.
There is a full course on the subject at http://www.pgbovine.net/cpython-internals.htm.
> Open source has won

Chrome is proprietary, Edge is proprietary, Safari is proprietary, even Opera is proprietary.

You might say Chromium is free, and that's technically true, but Google makes it intentionally difficult to install and it almost certainly has practically no market share compared to Chrome itself.

Firefox is the only browser with a meaningful market share that is free software.
Smart Speaker Industrial designer/manufacturer experience or recommendations?
Any recommendation of a good Smart Speaker Industrial designer and manufacturer?

This is gonna the best Smart Speaker I promise, in design and usability.

Please if you have someone or any good company that you know we will do the research.

It doesn't matter where are they!

Attention: This is for a mobile application that is located based. With this in mind the service of the device will work only on available cities. Also you'll have one year free subscription of the service.
First of all, BGP routing doesn't work that well at all. There's thousands of BGP hijacks per year [1]; the ones you read about in the news are just the most noteworthy. There are tons of smaller and larger outages because of fat fingering and misconfigurations RPKI can help protect against.

Secondly, the RIRs also have the ability to revoke IP address allocations and AS numbers, as well as whois database objects and IRR route objects. An RPKI resource certificate is just a different representation of an RIR resource registration, it's not going to make the difference you claim.

Then, it would also be fairly stupid of a government to abuse a system that is designed to protect the internet from hijacking of critical infrastructure for censorship purposes. The RIRs have done extensive outreach to make this clear to their respective governments. Still, as soon as a government would try a stunt like this, the networking community would simply walk away from this technology in an instant.

Most importantly though, a revoked or expired certificate would result in a BGP announcement with the status 'unknown', as if the operator doesn't participate in the system and the route were never signed in the first place. The route would never become invalid, and thus unreachable.

[1] https://www.internetsociety.org/blog/2018/01/14000-incidents...
Depends what you are programming, but I have to say linux. Mac is not bad either.
> could be much more readable as vec.map([](int i){
return i*i;
});

That, however, violates the separation of concerns principle by mangling together data structures and algorithms.
Is moving in back with your parents/family not an option. Maybe take that time to develop a skillset and then start a job again.
>Blacklisted search terms on a prototype of the search engine include “human rights”

If there was any remaining debate about Google being something like a “good company,” I hope this will settle it. I’m sure there are many thoughtful and ethical individual employees (such as those who circulated and leaked this memo), but that isn’t represented in executive decision making or the company’s general direction.
If you have kids, you might want to freeze their credit too. I listen to "The Perfect Scam" podcast, and they said that thief now prefers to steal kid or teenager identities since they can milk their account longer.
Just shot you an email to ask you to do that! Thanks for this resource. Good work :)
That section needs a diagram. It's longwinded, but not pseudointellectual. He's describing the interaction between components of a system and how their individual motions impact each other.
The regular people in countries with repressive regimes are still just regular people.

The fact that this was a discovery to you is what surprises me.
It's a common problem because it is so tempting. Exposing the compiler/runtime internals allows very powerful things at minimal compiler developer effort.
Now try writing the type declaration for your pipeline function...
What is the benefit of freezing your credit?
Cancer was pretty much a death sentence back then. I would have made the same call.
Would just note that it depends on the mask. They often have a large amount of leakage, and can give a false sense of security.

https://www.reuters.com/article/us-health-airpollution-masks...
One thing the Linux kernel has going for it is that there are a lot of books that describe how the various parts work and how to use the various internal interfaces. I can't think of any other open source project that has multiple books on how to contribute.

(Sadly, most of those good kernel books were written in the 90's and early 2000's. I don't know if there are any recent kernel hacking books.)
… and then LuaJIT converts started saying “don't ever use the traditional C API, it's so slow and indirect, and the FFI is so easy”, and then anyone not running LuaJIT lost access to a bunch of libraries who stopped caring about the old ways.
Jolly good, the whole rail-road mania with their cum tempore timetables never full-filled their fantasy of a unified time-zone for Old Blighty.
> You don't need sugar, salt, and fat for food to taste good.

I'll believe it when I see (taste) it. In a context where I'm not socially forced to pretend.
Computational Geometry Course
Also interesting to note that Joseph Jimenez joined the board (former CEO of Novartis).
Mac. Jamf provides the device management enterprises typically require and Brew is a good package manager. Enterprises also like the regular cadence of OS security fixes. Linux desktops struggle in the enterprise (they're setup for Linux being on the server) and Windows, well, I don't like the Windows toolset for programming and the Windows Subsystem for Linux doesn't make things much better - though that of course is subject to change. So I'd go with Mac.
What happened to the bind operator (::)? I do miss threading macros from Clojure but I don't see them as solving a real problem in the javascript language. A shortcut for binding `this`, on the other hand, would have saved me a lot of time wondering why my React component methods weren't working correctly.
I think one of the things that makes Go library code so easy to read is the lack of generics. Everything you need to understand the code is right in front of you, without the barrier of having to learn new sets of complicated abstractions or worrying that some obscure code in some other file impacts/is invisibly called by the function. With large code bases written in other programming languages, I have to spend an inordinate amount of time studying the code base and object relations before making changes.

For me, code readability is such a high value that, on these grounds alone, I oppose the introduction of generics and hope the current proposals ultimately fail.
Ya, fair enough. I'm wondering if you found any isolated layout relationships that are working really well that could be applied in most layouts? For example, "we wanted the dishwasher behind the sink instead of beside it for XYZ".

I'll share one relationship that I've found I like... in my last two kitchens, I've had everything coffee/tea related in one section. All the coffee/tea kettle/espresso machines are next to each other. All of the coffee supplies and mugs are in the cupboards directly above them and all of this is either next to the sink for using the faucet wand to refill the Keurig or Espresso machine, or next to the fridge to split the water line and divert one water line into the Keurig machine (direct water line doesn't seem to be as big a need for the espresso machine since I'm the only person who uses that one).

One of the problems I'm struggling with though is that I'm thinking about doing two dishwashers in my next kitchen. It sounds straightforward enough, although I'm having trouble thinking through how to design it so it won't be confusing during those times when you only have enough dish volume for one dishwasher, yet still make it convenient for those times when you do need two dishwashers. Maybe there's also a desire to cycle the two dishwashers so one of them doesn't wear out much faster than the other.
5 reasons you shouldn’t be using GraphQL – LogRocket
It seems unfortunate that JavaScript is evolving so quickly these days. There is more syntax than anyone who isn't a full-time web developer will be able to remember.
> This is ripe for a horror game. (snip) Just imagine an oozing slime that turns ordinary crap into creepy robots intent on eating you.

(minor spoilers) That's pretty close to what https://somagame.com/gallery.html is about
You can get used to anything. Good on you for getting used to healthy food!

Don't expect to win a taste contest, though.
Could you elaborate a little further in this context? I don't want to ostracize because, in the end, we're both working towards the same goals. It's just our methods are becoming unhealthy. I'm looking to make them more healthy.
Have you had a chance to look at systemd-timesyncd? I'm curious how it stacks up as a NTP client. Was thinking about switching my systems to it (from chrony) as I don't need the NTP server functionality.
Side note: anyone have their HAProxy die at configuration read time due to warnings about ignored statements in the config?

Just started happening in our containers earlier this week.
Glad you liked it! Thanks for the kind words
Well, it's pretty hard to even find applications that require strong global consistency and are willing to sacrifice latency for that. Typically apps don't need much consistency at all and can sacrifice some data instead, like with most RDBMS setups in the wild. Beyond that SEC (strong eventual consistency) covers pretty much all consistency needs there are.
To be fair, you keep using words like “measure” and “compare” which implies an interval or something more than space right there. Without time how can you take a measurement or make a comparison? If I throw a ball to you and we both nite a change in distance occurring, over what is that change occurring? It’s baked right into something as basic as the formula for velocity = d/t. Time is difficult to define without reference to space, and measurements of the evolution of a system, which may be the problem I guess? What would time be in a purely static, closed system? What would time be after the complete heat death of the universe?

The article seems to suggest But as the balloon blows up, the curvature of its surface grows shallower and shallower. “The changing geometry,” explains Kucha, “allows you to see that you are at one instant of time rather than another.” In other words, it can function as a clock. Then goes on to point out that any given clock has limitations when applied to different regimes.

I’m a little concerned though, because the author seems to be under the somewhat common misapprehension that the Planck scale is some kind of limit on quantization, so the whole article might be... well... not fantastic. It is theorized thst below that you might get a spacetime foam, but the truth is that may or may not be the case, and spacetime may not even be quantized. As in the case of so much regarding the base nature of spacetime, and the union of QM and GTR, we just don’t know.
How Puberty Kills Girls’ Confidence
Prices can only drop so far, though. (Warning: completely hypothetical numbers inbound... they're just being used to illustrate the point, not for gauging real costs)

If a 2x4 costs $20 and you need 2000 of them to build a house, the house has to cost at least $40,000. And if pieces of siding cost $20 and you need 1000 of them, then that house has to cost $60,000. That's going to be hard to afford out of pocket. You can save the same amount of a mortgage payment every month, but you still need a place to live in the meantime so you're doubling your cost of living until you fork over the $60,000 in cash.

And you might say the cost of a 2x4 would come down too, but if a lumberjack is making $15/hr and makes one 2x4 every hour, then the cost of that 2x4 can only be $5 cheaper before that lumberjack is getting paid more than the value of his work. And you might say the lumberjack could get paid less, but at $15/hr he already needs to work 4,000 hours before he can afford to buy that $60,000 house (assuming no other expenses).

That's two years of savings before he can buy a house, with no money for food, no money for an apartment, no money for a car. If you cut his wages to make the house cheaper, now he has to work longer before he can buy a house. And since no one can afford the house anyway, he'll likely be laid off before he saves enough money because no one can buy the lumber because no one can buy the house built from it.

And of course, this is all ignoring that none of these businesses are making any money in this entire hypothetical situation. If we didn't have home loans, the cost of housing would go down, but it would still be completely unaffordable without a loan even if the builder was losing money.
"The company said that the bug affected less than 1 percent of users on Twitter. The company had 335 million users as of its latest earnings release."

So the bug affected roughly 3.3 million Twitter accounts. And it also affected everyone who may be impacted by the contents of the messages which were not protected, whether you're a Twitter user or not, which could be many millions more.
I'm not sure I follow. A brute force attack generates a key which can then be tested against the target. This isn't magic, in fact, the more detailed answer above made the same argument essentially. Thought they provide a different argument suggesting that it may be possible to increase the ability to guess keys correctly.
> These days I distrust almost every move Google makes by default, and I imagine there is a growing number of people like me.

Google has lost its way, not just with this, but with AMP/Chrome/URLs, and their impending destruction of one of the great achievements of modern technology -- the decentralized, open WWW. The Web was always under attack but to see the fatal blows delivered by Google is very depressing.

I've already removed Facebook's companies entirely from my life. This year, I'm working on moving away from Google as much as possible.
> If you lose the paper, you have to go through a manual process to get a new one, the same as you would if you lost the PIN they give you now.

If an attacker has your identity then he might have access to that unlocking process. Thus, how does this strategy changes anything?
Two examples off the top of my head:
1. Instantaneous stock transactions from anywhere in the world. (quantum communication/entanglement) Offers a substantial RTT improvement on current trading systems.

2. High frequency trading based on quantum prediction algorithms. (Quantum information theory) May provide for HFT algorithms capable of producing predictions based on an exponential number of information streams. E.g. imagine making future investment decisions based on _all_ trades that happen in a span of time.

@ me if you decide make a company to do either of these things.
LOL my best ideas come in the shower too, but it's never occurred to me to take _extra_ showers in order to solve more problems. :-D
Well argued.

(which point is wrong?)
He's close to how I think about it, but not quite there.

On regularity:

Take the handling of what is false-y. In Ruby only nil and false are false-y. If you use an && the only way it can come out false is if one of the two sides is nil or false. Python, on the other hand, tries to treat emptiness as false-y. It leads to irregularities because assumptions are broken. The clearest example was that the exact second of midnight was considered false-y. Fixed in 3.5 if memory serves.

On restrictiveness:

I agree with PG that a pro working on a project with a small set of other pros prizes unrestrictive languages. On large projects it is usually the opposite. This is why Go is great for Google, but Ruby is great for startups.

On conciseness vs readability:

Regex is concise, but it is shit at readability. The reason conciseness is less important than readability is that conciseness is about the character count while readability is about the time it takes to understand. They're related, but only to a point. Ruby is much more concise than assembly, and that helps its readability, but further gains in conciseness don't really impact speed to understanding.

Regex is fine for a grep of your own filesystem because you're the one writing it so you know you understand it. But for complex form validation it's usually not the first tool I reach for because I tend to assume that the person that comes in behind me might not know more than the basics. Even when I do use them, I break them up as strings into variables that name what they do before concatenating them.
Now lenders almost have a hybrid model -- they use the credit scoring to allow them to write the loan well over the recoverable value of the asset.

When I was buying my new house, I found a lender who was willing to write me an interest-only, 105% LTV loan for the new house while I simultaneously had a mortgage on the old property. The premium was only like 1.5%, and I re-financed in a few months after the house sold.