skysight-inc/HackerNews huggingface dataset:
Your tl;dr is wrong.

> Code in an unsafe block may generate undefined behavior if it is used incorrectly, but, if used correctly, will not.

The point of this was that code in an unsafe block should not be able to generate undefined behavior no matter how it is used from safe code, otherwise that unsafe block is unsafe, not safe.

> Rust code which is not in an unsafe block cannot generate undefined behavior

That's false, code outside of an unsafe block can generate undefined behavior by calling unsafe code that was not written safely.

> tl;dr

Please don't post misleading summaries on nuanced topics.. especially when the original post is short.
I Got Paid $0 from the Uber Security Bug Bounty
Can you clarify that comment? What aspects of React's development are you concerned with?
One less topic to argue about at holiday dinners.
He's re-inventing UUCP.[1]

[1] https://en.wikipedia.org/wiki/UUCP
As I mention in my other comment, take a look at Delphi/Lazarus for the VB heir!
Collaborating with xiaomi makes it rather fishy.
The bulk of research funding in the departments I studied in went to development of technology to support identification and attribution of rogue nuclear weapons attacks, over any other peaceful or constructive use of nuclear technology.

Nuclear weapons states and their force commanders are well aware of this capability. It’s been publicly advertised for decades for deterrence.
I'd do this if I wasn't supporting kid/wife. Most problem I hear when trying to hire people from outside the valley is when they have a family: the salary in tech allows a confortable appartement, but not easily a house in a good school district.
Repairing a 1960s mainframe: Fixing the IBM 1401's core memory and power supply
But isn't the point of this to be able to hack it and add things that you need for your use case? Nobody said the arduino or raspi was meant to replace your day to day compute. This is targeted as a hackable base system to learn about the technology and stimulate innovation. Right now hacking cameras requires insanely niche knowledge and reverse engineering skills.
Physicists Have Discovered a Way to Track Unobserved Quantum Particles
34th Chaos Communication Congress (34C3) Tuwat
If you detect a massive ICBM launch from Russia, you know what to do - nuke Russia. You have half an hour to launch before Russian missiles take out all silos.

Now what do you do if you detect SLBM launch from somewhere in the Pacific Ocean? Who do you nuke?
Import Contacts from SIM to Nokia Asha 501
Since October (I think) vue single file components work flawlessly with typescript. Can't speak for jsx though.
remember that 'someone is wrong in the Internet' cartoon? come on, just forget it, you can't fix every idiot in the world, trying to do so will be the worst way to waste years of your life.
Like many people here, I've been through a long period of suffering from insomnia and tried a large number of approaches to cure it. From what I can tell, there are essentially two main causes, which can be interrelated:

1) Physiological. Things like low levels of magnesium, muscle pain, noise, temperature, light, circadian disruption, etc.

2) Psychological. Anything that leads to being anxious about not sleeping.

Both can manifest either as sleep onset insomnia (getting to sleep) or sleep maintenance insomnia (waking up in the night).

But here's the thing: sleep anxiety trumps all other causes of insomnia in terms of its power to prevent you going to sleep. Nobody ever felt a quiet nap coming on while running away from a lion.

Not everyone who suffers from insomnia also experiences sleep anxiety (at least at first). Those people are probably only one step from a cure because they can usually find a physiological cause (hence the number of comments here about magnesium or regular sleep/rise times, for example).

But grasping this fundamental point about sleep anxiety is extremely important. Regardless of whether you need more magnesium, less clocks in the bedroom, or to sleep naked etc., if you're anxious when you're trying to go to sleep then it's instantly game over.

So it follows that anything that increases anxiety about getting or maintaining sleep should be avoided, even if the underlying cause is something else. For example, CBT-I's prescription of getting out of bed after 15-20 minutes of wakefulness was counter-productive for me. It made me even more anxious about going to sleep after that. So too was sleep restriction. Waiting for what seemed like an eternity every night before being allowed to get into bed at 1:00am left me a nervous wreck. Better instead to go to bed at 11:00, stay in bed and work on something that alleviates any anxiety (I used mindfulness meditation).

So, if you suffer from sleep anxiety, prioritising strategies to reduce anxiety at night should be your number one aim. Everyone seems to find their own way in this. Mine was to follow the principles of ACT-I, but others may need different methods.

https://contextualscience.org/acceptance_and_commitment_ther...
AVG Internet Security 2018 Crack and Serial Key
China closes more than 13,000 websites in past three years
What exactly is .Net's niche, given front-end wars are over?

.NET works as an awesome back-end for Angular 2+
I'm probably the wrong person to discuss this question with. I don't know more than I've written above. All I know about this is from conversations with Christian Urban, who implemented Nominal Isabelle. It was a while back, maybe the problem of implementing nominal techniques in constructive type theory in an effective way (i.e. doesn't put additional burden on automation) has been solved by now.

The problem as I understand it is this.
Let's say you have a theory T in the formal	language given by
signature S.

- In HOL you extend T to T' and S to S', but the deltas between T and
T', and S and S' are small, and largely generic. This is possible
because almost everything handling nominal can be done using double
negation.

- In CoC you extend T to T' and S to S', but the deltas between T and
T', and S and S' are huge, and largely non generic.
So currently most money gets created when a back offers a loan, how and much is decided by the central bank. The thinking behind the current system is that easier access to credit will increase productive investments and grow the economy, hopefully to offset the inflation incurred by the increase in the money supply.

I agree its a quite blunt instrument, things like mortgages for houses doesn't really tend to grow the economy.

But its a hard problem, personally I would like to see some tinkering with helicopter drops
If you are wondering who the target audience this cine camera is for then you are not the target audience.

To those asking why it doesn't have AF: no cine camera has AF.

In regards to lens selection; the camera seems to be modular so there shouldn't be much stopping Axiom or yourself from getting a different lens mounting plate.
Not that I'm aware of. It would be nice to have one. The number of people who understand nominal, HOL, CoC and implementations of provers is vanishingly small.
The period lasted 90 million years, so an equilibrium was reached, or all plants would have died due to a lack of carbon in the atmosphere. The equilibrium was just very different from today
Maybe because it hasn’t been the most popular tech among open source developers .net is now a very effective tool for almost any kind of work. The choice of libraries and frameworks is smaller than in Java but quality is better and purpose more clear. You can pick a few core libraries and build on that instead of sifting through millions of half-done or incompatible frameworks. And if you don’t demand that Windows is like Linux then it’s quite decent OS. The only thing missing is good desktop UI framework, but nobody has a better solution now
Its reprogrammable so it most likely could be patched to support encryption between the sensor and storage module in the FPGA firmware.

Though, I have to say, that sounds like an anti-feature -- instead of just taking a few shots they'll just take all your photos and throw you in jail for espionage because "if you have nothing to fear you have nothing to hide."
Swagger-codegen 2.3.0
Hostel TIPS and Tricks: All You NEED to Know
Can you provide a specific example or playground link?

It seems like you'd still have to dereference it, which is unsafe, yes?
Yes. And the ones I did encounter had zero "testing" done to see if they corresponded to the real world.

Hence why we need more incremental tools, that allow us to encode more rules into the (type) systems we already use.
When it comes to UI need to start thinking past Framework A vs Framework B.

There is already a browser-native compatibility layer known as the Web Components API that allow components rendered by different frameworks to work together, so we won't ever have to be stuck in Framework A or Framework B and can migrate in agile manner (one component at a time) from one to the other or whatever new framework may come next year. I agree Web Components have some major warts and DX issues but libraries like SkateJS and others help smooth those out.

Copying from Readme my WIP project that uses Skate:

"SkateJS allows us to export components rendered by React, Angular 2, 4, Vue, and other modern composition-oriented frameworks as W3C Custom Elements and compose those Custom Elements into higher order Custom Elements with data flowing from parent to descendants and so on.

With SkateJS we can have an Angular 4-rendered Form custom element composing Angular 2-rendered input and selection custom elements, or the other way around with Angular 2-rendered Form custom element composing Angular 5 --and Angular 4-- rendered input and selection custom elements.

SkateJS also provides a Router that is framework agnostic. Only the rendering part of any framework (Angular, React, Preact, Vue, et al) is ever used.

This way we can build SkateJS-based reusable component libraries using any version of Angular (> 2), React, Vue et al and be able to use those components in our SkateJs-based site together, including via composition, and be able to upgrade our app (when a new version of React, Angular or Vue et al comes out) one component at a time, in piecemeal fashion as in iterative agile development, as opposed to having to do it all at once, as in waterfall development, which is almost always an unrealistic approach. This works because our components are essentially all custom elements regardless of rendering library we use (different versions of Angular, React, Preact, Vue, et al)"
Fair enough. The moment you have a kid, the 20/30% figure goes out the window if you live in San Francisco or any other expensive part of the Valley.
No doubt a good line. The entire article is very well done.
I directly manage one team, and oversee another, both use gerrit (the code review from Google, used on Android).

I 100% agree that the shorter the changes, the better the reviews.

I am 100% sold on code reviews, because of:

1. the number of bugs found before they were pushed,

2. everyone writes code for other people now, whereas before we wrote the code for ourselves, and

3. improvement to APIs before they hit the code base and documentation.

Every single one of these things was a surprise to me, and I've been doing this a very long time. I never would have believed how happy I would be with the result.

Regarding other comments on annoying, small comments on style, etc: this is a problem with your people and your team leader. If this happened with my people, I'd have a conversation offline with them and tell this to not use code reviews in this petty way (to push their own styles). One thing it made me realize, every organization needs a style guide, but you need to make sure it doesn't go too far. Give people some latitude, just put the important stuff in it.
I agree JSX is the best part of React. The second best part is dom diffing and incremental screen update. Obviously this second part is only useful if your application needs to update screens it previously rendered. In fact I'd argue that React is only useful if you need to incrementally update complex screens, because simple screens can be re-rendered completely and no one will know the difference. Very few applications need to incrementally update complex screens. If your application doesn't have this need you can use simpler technologies that don't have the same "Care and feed" requirements of React, such as UIBuilder: https://github.com/wisercoder/uibuilder
But can they reproduce in the soil at the same range of air pressure found in habitats, with the same gravity / gas mixture? Can they still reproduce after 50 years?
To be clear: unsafe Rust is a superset Of safe Rust. Every single safety check is still turned on in an unsafe block.

However, that superset contains things that are not checked. This has no effect on any other code though; safe code with a superfluous unsafe block acts 100% exactly the same.
I can't be be sure that a developer doesn't go behind the scenes and change Sql server either.

But programmatically, i do ensure only one microservice (out of process) or module (in process) is writing to a collection. When I'm using an RDMS and developing a system, I also ensure that only one module is writing to a subset of tables that make up an aggregate root. I would never have a system where a bunch of programs are writing to the same tables willy nilly without going through a common interface.
My question would be... what programs do you have that don't work with UAC? To give you some idea, I work in an environment with public safety software written in the Windows XP era. While occasionally a burden to troubleshoot, once you figure out which settings work... pretty much everything works fine with UAC. You just may need to use compatibility mode and/or grant permissions to certain folders on your system.
Hmm, Vue is the one that reminds me of Angular, since it seems to emphasize the ease of constructing views, by its two-way data binding and custom directive syntax inside html.

I enjoyed the "Why Vue.js" video. It communicated to me that Vue is really trying to design an easy path (even for non-programmers) to use React's patterns, by mixing in some old ideas that people are familiar and comfortable with.
actively managed funds mostly don't outperform the S&P 500 anyway, so not sure why you'd want an actively managed fund anyway
And the implied corollary: Don't you worry your pretty little heads about climate change, fossil fuel pollution, or your societies being dangerously dependent on a volatile part of the world with autocratic leaders with a medieval mindset. Mankind will always invent its way out of whatever problem it finds itself in. In the mean time, fill up your tank, enjoy life and stop worrying!
Is the video available?
The only thing new is that the child pornography pictures are being fed to an ML model. The police have been keeping and distribute photos of icky things for as long as pictures of murdered people has been useful as courtroom evidence, and Interpol and the FBI have kept a database of child pornography since the early days of microcomputers to track down rings of child pornographers.

As far as generating new kiddie porn, before there were ML models, there was Photoshop, and that first released in the 90's. That there are more advanced methods of generating child pornography is not interesting or new under the law (depending on your jurisdiction).

"Fun" fact: Facebook/Instagram/Snapchat have giant repositories of (tagged!) child pornography however before we get our pitchforks out, it's used to keep child pornography out of the system.

Unfortunately with current technology there's not really a realistic way around having the actual images; hashing only goes so far, and just like (performant) homomorphic encryption, if you were able to come up with a way to do this without actually needing the pictures, the world will beat a path to your door.
MIT Sloan: Intro to Machine Learning (in 360/VR)
Which numbers? ;-) in terms of user deployment, the Facebook Messenger ReasonML codebase is likely the biggest user-facing FP codebase in existence...
This is interesting, however, in my experience it's the lens that makes the camera. It would be pretty cool to have a body that is 100% open source, but the best lenses (which IMO are Leica and Fujinon lenses) tend to have proprietary mounts and autofocus systems.

If they could also produce a high quality set of prime lenses, that'd be nice. I think the real magic (and difficulty) lies in producing great lenses, which is an entirely analogue process.
The US is peculiar with its nuclear policy in trying to guarantee immediate response, by contrast say the UK only has nuclear submarines at sea, and it's expected that there'll be nothing like an immediate response, rather the captains of those submarines will find out who nuked the UK and respond.

So the answer for deterrence purposes is you don't need to nuke anyone right away, immediate response is only one layer of the onion when it comes to nuclear deterrence.
> The starting point is the figures given so for those who cannot or are not able to look up the figures for themselves can do the calculations. It appears that some people are incapable of doing even the easiest of searches for freely available information.

The figures given where? What's this energy equation or calculation you talk about as if it's common knowledge?
That's why independently run 401(k)'s are the best. I'm a trustee of the one for our company, and there's no way I could raid it.
You might like this https://www.amazon.com/dp/0883855453/
North Korea's Unification Drive
"A Short History of Nearly Everything" by Bill Bryson is really fantastic.

https://www.amazon.com/Short-History-Nearly-Everything/dp/07...
OP predicts with absolute certainty vue "will become dominant" next year many times.

Also OP has skin in the game to justify to his team that vue was the correct choice.

Nice as an opinion piece but too many red flags to be considered fair and unbiased.
Apple Lisa source code to be released
Appreciate the comment about high and low bandwidth performance by vue. 80% of the world is low bandwidth and such solutions built with such tools have an opportunity to have a much farther reach.

Have you had any exposure to using vue as a progressive web app that can sync and work offline first?

Have you come across any vue.js offline app experiences?
History presented in this post was very interesting, but the analysis ended up disappointing. The article ends just after they had managed to narrow their sample of robots.txt files to exclude duplicate and derivative files. They don't even present any summary statistics for this filtered sample.
Yeah, yeah everything old is new again.

The one thing I like about faradayrf is they're at least trying. Right now the state of packet radio is either 1200bps bell tones with no FEC or modern modulation and on the other end something like FT8 which is incredible but has almost zero bandwidth and good for only communicating "I heard you".

I'd love to see a more modern packet infrastructure that isn't stuck in the 80s.
I love the Blackmagic gear!
Why would it not!?
It's not a coincidence. The same .1% on 99% class warfare caused retirement age to be raised and life expectancy to be lowered.

The "pension affordability crisis" was patently never actually about pension affordability. If GDP goes up 400% since the 1960s while dependency ratios go up a mere ~15%, there's clearly something else going on.

That thing was a politically directed wealth transfer from poor to rich.
What is a turbolink?
That's not necessarily true anymore. The Russians have deployed the Sineva and the Layner SLBMs which have GLONASS supplemental guidance. This makes no sense in a second strike scenario. The Trident II is also plenty accurate for a counterforce first strike and allows less reaction time than ICBMs.
While I don't disagree with you, I'm not sure what the problem with "I have to constantly settle for IAPs to disable ads" is? It's basically a form of shareware at that point?
.NET core runs on Linux, OSx and Windows. I would say that is about as cross platform as it gets.
The proof is in the pudding.

How many real world production systems have benefited from formal methods, significantly more than if the same resources used to do so had been applied in other ways?

Let’s assume you can name a few, how general in the class of systems this can apply to? Or this just an obscure corner of computer science that applies to NASA and various low level system components?

I don’t count out formal methods, but can you really say none of this reminds you of the AI winter?
I’m an exploration engineer at Saudi Armaco. It will be a long long time (hundreds of years) before we run out of oil; and each year we discover new kinds of crude reservoirs.
Cool ...
The Trouble with Models at 7nm and Beyond
After my last driving trip to the states i resolved to always carry a roll of duct tape in the car. The speaker holes are small and mute considerably while covered. It’s a small contribution we can all make to a better world.
If you need fine control and resolution which form the sounds of it you do you likely want to look at commercial diffuser sheets they cost about $10 per sheet and should be available on amazon, eBay and the likes.

https://dzevsq2emy08i.cloudfront.net/paperclip/technology_at...

These should be readily available and for fairly cheap.
I agree. We still admire Vue.js after using it for more than a year and writing hundreds of lines of Vue.js code every day. No chance I would choose React+Redux in cases when I know I need quick progress on my web project - Vue.js allows you to be very productive, cutting corners in the right places, while still keeping the reasonable code quality, and writing very little of boilerplate.
Unless it's stored in an obfuscated vault. Not saying this is immune from detection etc, but it may offer journalists some form of plausible deniability.
hmm, maybe someone can get a pull request for implementing this optimization :)
In truth, C# was the "top contender" because it was the only contender. Sorry for the misleading way I phrased it.

My main reason for using Java is for the easy cross-platform development. Most of what I code are basic GUI apps that do conversions between spreadsheets and various file formats. Java's "compile once, run everywhere", with its GUI support and many libraries, is exactly what I'm looking for.

When I heard that .NET was open-sourced and getting support for all platforms, I thought that meant it could be an actual competitor to Java for my use-case. As I've learned from the responses here, it's actually not, and my fears of running into major parts of the ecosystem that are still proprietary were well-founded. I don't need to worry about "future" proprietary extensions: they're already here!
How is the development experience with haxe-ui? Is it trully write once then deploy to all without any need for tweaking quirks on each of the target specifics?
Per the long standing tradition in western diplomacy, blame the russians. You might not know why but they will know.
INTJ – An Argument for Transracialism
You could make pressurized greenhouses on mars to simulate earth conditions.