skysight-inc/HackerNews huggingface dataset:
If the precondition states that the pointer is valid (which I expect it does), then this is not incorrect. If it does not state anything about the pointer, then just checking for NULL isn't sufficient. It'd have to explicitly state "the pointer is either valid for the duration of the function, or NULL" for this to be a worthwhile check to perform.
Motorola had something like that, the Xoom phone, sadly failed.

Samsung probably it's the closest thing, but it's still android with a PC shoehorn UI / UX.
Whatever we can say about how MS handled Windows Phone development, the OS itself was designed very well - my mother had no issues navigating and reading information out of it (on small HTC 8S), especially tiles. Now she struggles with Android Go on some cheap no-name device.

I still own Nokia 1320 which - if I'm not mistaken, was one of first "phablet" sized devices and I was quite fond of it up until applications have stopped working. Now it just works as any pre-smartphone device: I only pick up calls, send text messages; battery had to be replaced on 4th year which just confirmed the durability of electronics today and planned obsolescence. Back then I've managed to run some beta of Windows 10 Mobile but in the end, my Nokia didn't get it.
Fusion I suppose.
> chief compliant officer

A very appropriately worded title
"The misery of being exploited by capitalists is nothing compared to the misery of not being exploited at all"

Joan Robinson

Sums up GPL vs BSD succinctly
We majorly focused on NoSQL databases
No one asked you because you already have a degree in CS. But for a non CS graduate things are different I guess
> the sense of purpose and mission died when Emerald Sea started

And when it materialized and they started to shove Google+ down everybody's throats it was a tipping point for many faithful Google users, too - any trust and good faith that was still there was instantly depleted.
What it has to do with dev center? Their work is for global twitter platform.
As someone who is out of the loop on this and only a basic understanding, it seems very peculiar that scientists were so quickly to just jump on the "it must be bats and a wet market" thing so early on despite the Wuhan lab being right there.

It's like when some out-of-control company creates a superfund site through gross negligence of industrial byproduct handling and then goes "idk cancer gonna cancer. you can't link that to us!".
"Air is for birds and gods. Ground is for people." -- unknown person, AD 1000

Why are we so shortsighted? The future is an incredibly long time. If self-sufficient human settlements on, say Mars, are out of the question with our current level of technology and are unlikely in the next few centuries, does that imply they'll be just as unlikely in 10,000 years? Will our descendants be so stupid they won't be able to solve new technology challenges?

Today is not the end of history.
The NYT story cites Tesla court filings about the police's determination — "The police faulted the Tesla driver — not the car — for his inattention and his driving at an unsafe speed," Mr. McCarthy wrote. IANAL, but given no other info about the investigators' conclusions, I wouldn't necessarily assume that the truck driver didn't have some* fault, and California isn't a state where it's either/or when it comes to blame — i.e. both drivers can share partial blame and recover damages.

California has a couple of laws [0] that mandate "reasonable or prudent" speed, e.g.

> No person shall drive a vehicle upon a highway at a speed greater than is reasonable or prudent having due regard for weather, visibility, the traffic on, and the surface and width of, the highway, and in no event at a speed which endangers the safety of persons or property.

The truck met the requirement [1] for signaling a change (100 feet beforehand). Is it "reasonable or prudent" for the Tesla driver to maintain speed (nevermind accelerate at the last second) with the truck slowly entering the lane? Especially with the left lane traffic having slowed down enough that, in the span of the 5 second clip, the Tesla is seen passing 2 cars on their right before hitting the truck?

[0] https://leginfo.legislature.ca.gov/faces/codes_displaySectio...

[1] https://leginfo.legislature.ca.gov/faces/codes_displaySectio...
That was the intention on the GPL? To discourage use and sharing code? Because people still share a lot of code, they just choose a better license. I say better because the GPL is bad, it is the worst part of the Linux ecosystem and the worst part of embedded systems tool chains. I’ve contributed to a few open source project, but never a gpl one. Smug programmers like you are the worst part of open source.
what do you mean "especially FAANG"?

software engineering is the most forgiving middle-class industry when it comes to education credentials and pedigree, and FAANG is even more forgiving than the industry norm.

it's actually kind of amusing that the most desirable SWE jobs are the most lax when it comes to considering your background, while the least desirable SWE jobs are the most strict about requiring specific degrees

you can leetcode your way into most of the major tech companies that people actually want to work for without a degree.

is it unlikely? sure, but the important thing is that it's possible.

think of any other comfortable middle-class career, and how much gatekeeping there is. you can't do some equivalent of leetcode to become a doctor, or a lawyer, or a financial professional. you have to pay up and go to school, and it better be a good one. then maybe you'll get a job, but there's no guarantee
For LGBT people country number 2 Hungary is definitely not safe.

https://en.wikipedia.org/wiki/Viktor_Orb%C3%A1n#Anti-LGBT_po...
Sxmo: Minimalist environment for Linux mobile devices
allaboutberlin.com
If backup is enabled(which I guess it is as things are backed up), then the key is also shared with apple.
As an american, I'm curious how much PTO you guys get. Personally I get 10 vacation days per year and accrue 8 hours PTO per pay period. This ends up being about 34 paid vacation days per year.

Perhaps this is a uniquely american problem, but I doubt very many people at my company actually uses their 30+ vacation days.
The GPL is only as powerful as copyright. GPL relies on copyright to "spread". Copyright is the virus. GPL just uses the virus against itself in a very clever way.
If the code base is large and popular enough, like the Linux kernel or Emacs or FFMPEG, then such “dirty-room reverse engineering” doesn’t really help you much — your product still wouldn’t be compatible without conspicuous amounts of GPL code.
Didn't Schmidt retire as CEO 10 years ago (and 3 years ago as chairman)? Isn't now a Pichai-run company?
Haha, we mostly didn't. I knew, roughly, what I wanted: assembly documentation, and a modem to find and talk to the people who knew. But I didn't have any of those things, and to be honest, it probably wouldn't have helped much if I had. The cracking/demo scene wasn't exactly friendly and accessible. Things are different today, with stars like LFT being very generous with explanations of how the magic is done.
SAFe: Scaled Agile Framework

IP: Innovation and Planning

PI: Program Increment
> Anyways, how is it "petty" to make a version of the software for which there is clear demand?

I don’t think it’s clear that there is any demand for a version that doesn’t collect crash reports or version usage. The outrage was about the vagus clause about information necessary for law enforcement or similar.

I’m perfectly happy to see that code (if it exists) being thrown out, but to remove user confirmed crash reporting?

I’d expect every app I use, OSS or not, to have automated crash reporting (a confirmation dialog is a nice touch) and version usage tracking. It’s possible to maintain software without it, just like it’s possible to maintain software without other feedback like a bug reporting system or a profiler.
Because the design of RSS/Atom put all of the complexity on the client (polling, state management, etc.) it's literally the same as static site generation. And by "the same", I don't mean "an equivalent but separate problem". I actually think having two separate generators—one outputting HTML, the other RSS—seems a bit wasteful. They're both parsing (presumably) the same content hierarchy and outputting it as SGML/XML-ish documents served over HTTP. One app should probably just do both (and it's easy to make your own that does)
I've tried this out but the difference was almost immeasurable. Probably depends on the type of project.
> much like you can overstrain your car engine for a while if you let it cool a bit after

But that overstraining will result in small damages that are not directly noticeable but will hurt performance and durability in the long run. Especially if you don't keep to a proper maintenance schedule.
Agreed. One of the best movies I've seen is "Tokyo Story" (1953, Yasujirō Ozu). I'd never seen anything else with cinematography like it (almost entirely static cameras, with actors looking directly at them), and the storytelling fits the Kishōtenketsu structure rather than the standard Western three-act structure.

It's slow paced, with no action, but the novelty was enough to hold my attention until I engaged with the story, and then I wasn't bored at all. Film critics rate it very highly, and I can see why.
If you paste your password on my bank's website they ask you to retype it in
GPL 'spreads' via linking because copyright spreads via linking. If you write a program and I link to it, we both own the resulting work. Your copyright has 'infected' the work. The license in this case can be anything, even a proprietary one, so it isn't the GPL that's special here.

License incompatibilities are certainly possible with proprietary licenses, there's nothing special about the GPL (or copyleft) from other copyright licenses that grants it magical incompatibility properties. Someone could license you software only to use in industry A while somebody else forbids you from using their software in that industry. There are also plenty of non-free licenses that require use to be non-commercial that could face a similar problem.
> But drill isn’t popular. It’s widely seen as boring. Worse, there’s a body of opinion, especially in education, that considers it an ineffective way to practice. That’s a shame, because it’s the most effective way to build your skills.

When you sign up to become a snowboard instructor in Canada they basically say "You should already be able to snowboard. We're not going to teach you that. We're going to teach you how to teach".

As you move up the levels, you spend more and more time on pedagogy (teaching other teachers).

Virtually all of it is drills - breaking down a small skill into an exercise or challenge or "do this 100 times before you get to the bottom" - then you "put it all back together" and ride.

I can teach someone in half a day what took me a month to teach myself when I learned with no instruction. Drills are an awesome way to teach & learn
> So it looks like the code is terrible, and they only give an example for a simple usecase.

Yes, I'm very skeptical about this being "the future of coding!" (quoting the OP). These tools typically get stuck as soon as one needs to deal with non-trivial loops or recursive code, because it's not clear how to "synthesize" the correct loop invariant or inductive hypothesis; in particular, this cannot be done "compositionally" or "step-by-step" as in the simple case OP demonstrates. Typically, a developer has to step in and provide the right invariant so that the tool can get unstuck.

Proof synthesis has exact the same issue, so generating proof-carrying code is also something that cannot thus far be automated except in very simple cases.

Having said that, separation logic can be a valuable low-level tool and has been used to assess the correctness of, e.g. Rust borrow checking, which aims to provide lightweight, composable guarantees that can scale up to encompass larger programs. Even there though, we're nowhere near an actual proof, and soundness issues have in fact cropped up in the past as new features got added.
I would argue the exact opposite: the lab leak theory is intentionally downplayed to protect China/relations with China.

There are a lot of coincidences that make a lab leak a real possibility. It is possible those are all coincidences and the virus is of natural origin, but it is also possible that those are not coincidences and the virus originates from a lab leak.

Most likely we will never know since virus origin investigations are difficult to begin with, and China has no motivation to fairly cooperate in this investigation. It also is not actually important, since it is extremely unlikely the virus was intentionally released.

For political reasons it is better to go with the natural origin story and avoid stirring things up - there is no gain to be had from pressing the issue.
It's not just your parents.

I've moved everything to the cloud. I have nothing running at home except networking gear, and a small "server" that pulls nightly backups from the clouds to a local USB drive.

In theory i could probably do without the local server if looking at Apple/Microsoft/Google data redundancy (Microsoft is multi geo, i can't figure out what Apple is).

Sadly i need to guarantee that some random account closure doesn't remove all my data, so the backup server stays for now. The way cloud prices are going, it will only be a question of months/years before it's cheaper/easier to just utilize two cloud services, one for main storage and one for backup storage, and with projects like the data transfer project [1], you don't even need to download them first.

[1] https://github.com/google/data-transfer-project
I think one of the reasons for why the GPL as once more popular than other licenses has to do with the fact that it was created for the GNU operating system, basically a collection of simple command line utilities. No one would think of using these in other ways than to run them on the command line (or in a batch file), which is explicitly excluded from the “derivative work” concept of the GPL.

Things got complicated once people put libraries under the GPL, which is when all the legal uncertainties cropped up about what constitutes derivative work.
Show HN: SimpleR State v1.0.3 just released–STILL the simplest React state mgmt
User Stories 101 [with Examples]
Along the same lines, Alfred North Whitehead had a very similar approach to education and learning as a whole saying it is cyclic with one important stage being precision analogous to the idea of practice with a later stage of generalization analogous to the idea of performance.

> Whitehead conceives of the student’s educational process of self-development as an organic and cyclic process in which each cycle consists of three stages: first the stage of romance, then the stage of precision, and finally, the stage of generalization. The first stage is all about “free exploration, initiated by wonder”, the second about the disciplined “acquirement of technique and detailed knowledge”, and the third about “the free application of what has been learned” [0]

[0] https://plato.stanford.edu/entries/whitehead/#PhilEduc
> a port that I can connect to a USB-C Dock with keyboard, mouse and display to get a fully fledged high-speed open Desktop...

My Huawei P20 pro would do this for android. It had a sort of desktop mode, you could attach keyboard and mouse via bluetooth (probably USB as well), the phone screen would become a touchpad.

Not an open platform so much as a skin on android, but still pretty neat.
True, but when moving stuff away from the Sun, perhaps you could use solar sails. Pressure of solar radiation is significantly higher at Mercury's orbit than in proximity of the Earth, so solar sails should be more efficient there.

Cargo, unlike humans, can take its time on the way. In case of minerals, it likely won't be damaged by vacuum or radiation exposure. The only thing that really interests you is that it arrives on schedule.
I wonder if they can figure out what's wrong with people who can't keep a beat.
> That was the intention on the GPL? To discourage use and sharing code?

Yes, the intention was very explicitly to discourage use and sharing to people who didn't intend to share alike.

> Smug programmers like you are the worst part of open source.

I'm smug because I want you to share your changes to my code back? Good to know, I guess.
It boggles the mind that companies such as twitter would even own offices in corrupt countries such as india. Its a question of time until the government will want to grab some of the sweet sweet money from them, and such measures are only the beginning: bully them a bit until they "sponsor" the right politicians.
No more so than at a plain non-profit - the profits can't be paid out to shareholders, since the non-profit is the shareholder.

Of course, people can still pay themselves fat checks, but that's possible at a regular non-profit too.
The reason people jump to the worst possible conclusion is the same reason that people often do: because abuse is rampant. And sometimes that's why we can't have nice things, because too many people have misbehaved while using them.

Assuming integrity, I think the people complaining about it would indeed do unto others as they would have others do unto themselves. That is to say: not include telemetry.
Sincerely held opinions are by definition not "trolling". I just fail to see that as relevant, just as I fail to see the number of Big Macs being sold globally as being relevant to food choice criteria.
Do the eyes count?
Sadly the easiest answer is just to get your Mom an iphone. Not the best but it will solve 99% of the issues and will last five years+ if you get a new model.
That’s only if their project hasn’t been tainted by other gpl poison contributions. Cause I’d then have to find that person and get a license and so on.
The potential trick for dealing with this is sundiving with a solar sail.

That is, you set out of earth orbit for Venus, and while there, do a gravity assist to drop your perihelion very low. Then, you use the sail to brake (lower aphelion) the whole way in, and as the thrust you get from the sail goes up the closer you get to the sun, by the time you reach your perihelion you have sufficient thrust to be in complete control of your orbit, with infinite Δv. Then you can match your aphelion to Mercury at your leisure, and arrive with a slow constant raise of your perihelion to make entering low orbit very cheap.

The math works out so far as thrust is concerned, even with relatively conservative solar sail designs. The bigger question is how much risk does unpredicted solar activity cause. (On the other hand, you might have the ability to just dodge any you encounter... Solar sails very close to the sun operate more like cartoon spaceships than any other real spacecraft.)
> Their mission: to make sure the cameras capture no rude words, no insults, and no political slogans.

That is a very interesting problem. Most events with high attendance happen in controller environments.

> The words “SOS réfugiés” – a call for action on the Mediterranean migrant crisis – are turned into an enigmatic 888.

That is an interesting strategy. Even that I can also see it backfiring by creating "messages" that can be read by niche cultures as significant.

I guess that the future of this job is to have it done digitally by deleting messages in real time thru some AI filter. That would be very practical, but it is also a scary future were changing reality becomes a commodity.
Can they afford it, though? The most important feature of DNN models is that they're orders of magnitude smaller and cheaper to run than training data; checking each output against the training set will make the model orders of magnitude more expensive to run.
Location:
Еhe EU, GMT+3 time zone (willing to adjust to different time zones)
Remote:
Yes
Technologies:
Core competencies: JavaScript, React, Vue, Angular, React Native, Nodejs, Bootstrap;
Good at: Java, Node, Laravel, Python, .Net.
Résumé/CV:
https://flatlogic.com/case-studies
https://flatlogic.com/templates
https://clutch.co/profile/flatlogic
Email:
e.gvozd@flatlogic.com
About:
We are a team of JavaScript-savvy engineers that develops cool web/mobile templates and does custom software development. We partner with creators of libraries and frameworks like Vue and Vuetify. Our templates and dashboards were used by such giants as Samsung, Apple, Walmart, Cisco, etc. We have 7+ years of experience and we would love to help you with your projects. Drop me a line-- a won't bite.
P.S. Competitive rates.
Interviewing people without formal education to SWe/MLe roles has always been a disaster for me.
And in 3D! A dying fad, but I enjoyed seeing how filmmakers utilized it. I thought it worked great for the long take.
I really know very little about this, but I sometimes imagine my body as a society of microbic life, with my mind being a pseudo-democratic governing body. It's an interesting perspective, were you essentially are responsible for the well-being and perseverance of your billions of law abiding micro-citizens.

There are plenty of pop-sci articles about how the microbiome seems to be influencing our nervous system in a multitude of ways. So the microbes may actually have a way to "vote" in my analogy.
Same for video games !

And that’s the reason I’m all in for remakes : if we fail to create new interesting games (although we are not yet where the movie industry is), at least we can make the old marvels of some decades ago bearable again for the new kids.

Well crafted remakes like the Spyro’s one are a breeze to share with nowadays kids and I truly hope we get more of them alongside new games.
Given how effective natural selection is for selecting surviving traits, why are you so sure that a parasite can't have some level of behaviour altering effects? Sure, it's probably not an inner monologue telling the hyena where to go, but it does appear that infected animals are either more reckless in general, or less cautious when faced with lions specifically - a behaviour which helps the parasite reproduce.

Do you have any sources for your claim that that toxoplasmosis doesn't have any behaviour altering effects?
> Somehow the industry got by for decades without intimately knowing what version every single user of the software was running

This is the same argument that was used about seatbelts and the internet. You might have survived without it before, but that doesn't mean it isn't going to be better with it in the future.
This comes back to your (or my) definition of science. To me it's just about furthering knowledge through provable explanations.

Is it more efficient if you collaborate with other people with the same goal (e.g. Academia)? Yes.

Is it a necessity to conduct science? Absolutely not; how do you think it was done in the past? Almost all of the early scientists were self-taught individuals.
Aneutronic Fusion Reactor Demo
Bad impression of announcer voice: Will humanity survive long enough to find out the answers to these questions and more? Tune in next time to find out! Same Bat-Time, Same Bat-Channel!
Shoyu and miso etc. are fermented, and the end result is all the consumer sees - the mould isn't there. My Japanese wife love all fermented Japanese food, but has an extreme aversion for mould of any kind, even in minuscule amounts. Her nose is hyper sensitive about the stuff. So no blue cheese here..
(she likes a lot of other types of cheese. She's not lactose intolerant, but in any case hard cheeses tend to be very low in lactose).
Disclaimer: Pettheory

The mind in the gut,might in its own way be a behavior controlling parasite.

Think about it, it has full biochemistry diagnostics. It feels poisons and might detect cancer long before the game is over.

Its answer? Accelerate making a copy, aka a kid.

So if you start a family get a colonoscopy..