skysight-inc/HackerNews huggingface dataset:
>I think that real journalism can happen under profit seeking organizations, because people find value in real journalism. However, real journalists don't do original research, they compile insights from experts. Journalists have a tendency to get it wrong when they try to add original insight in an article. Just about every person who is an expert in a field has a story about when their field made it into the news cycle and the journalists butchered some important concept.

It's much much worse than this. I was once interviewed about my research by an NPR reporter. He had already decided what his story was about and tried a variety of tricks get me to say some pithy quote he had devised so he could use it on air. The problem was that my research actually debunked, rather that supported, the story he wanted to run, and the pithy quote was scientifically unsupportable.

I often wonder whether some of the quotes I hear on NPR are edited versions of the interviewees saying "no it wouldn't be accurate to say x" cut down to "x".
> industry cryptographers doing implementation work need to understand the research even if they're not making novel academic contributions to the field.

Having implemented Monocypher, I can only concur: merely implementing the algorithm from spec required a solid understanding of some of the mathematical concepts involved. For instance:

http://loup-vaillant.fr/tutorials/poly1305-design
The claim seems to be that the tool will always tell you absolutely whether a null-dereference will happen, and never say “maybe.” The Halting Problem is trivially reducible to this (just put an intentional null-deref in front of each halt).
It's time for the Hurd to gain more developers. It is a very elegant and flexible system, which de-emphasizes super users and gives more power to regular users.

Thanks to NetBSD/rump kernel and the POSIX persona of the Hurd, it can get a whole bunch of device drivers with relatively little effort.
This was me about 4 years ago. Now I have 3 children ages 2-6 years, and I'm definitely back into the "I feel like I don't exist" territory again. I can share a lot with all three of them, but if they weren't there I wouldn't volunteer 5 hours every day for free at the local daycare to develop relationships with children and cook them food they don't want to eat.
As a side note, it always bothered me how terribly inefficient it is to be sending data in circles around the world just to message someone two streets down or, worse, my house mate in the other room......

The decentralized future is going to be a lot more efficient, a lot more reliable, and even faster.
It might be that he cycles and has more time to notice the areas? I know from my own cycling I'll often chose routes that Ive not been before just to see whats there?
Alternatively go get a pile of money and prepare to set fire to it.

Source: did this for 10 years.
That's a mouthful. There should be an acronym...
> The Damore memo was anti-diversity

How so? I've read it; but maybe my own biases prevent me from seeing an "anti-diversity" theme.

I've have read the mischaracterizations of it online, for example:

> "circulating a memo discussing the biological inferiority of his female colleagues" [1]

Yet, reading it, I see absolutely no claim in the memo that supports that idea.

1. https://www.theguardian.com/commentisfree/2017/aug/08/google...
I'd say Starbucks business model is coffee distribution, their product is coffee, unless I have to pay an entrance fee for Starbucks. It's a good example, and the article flawed as it might be does highlight the concerns of content creators. Platforms tend to drive down the share of revenue passed on to providers and reduce their bargaining power, this is not specific to Spotify but an unfortunate reality.
I'm haven't done any electronics stuff before, so I didn't know that.
> I don't quite get the problem as stated in the article.

> Here foo is defined as nullable, hence the problem.

How do you know it's "the problem"? The answer is that you don't until it blows up in your face, because this is a Java interop call.

And of course the local could come from an other call into Java which returns a nullable reference, or it could make complete sense for it to be nullable.
Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Names
Assume that there is a valid reason for the "foo" to be allowed as null, but that you wanted to guard against allowing calls to Observable.just to take in a null.

For example, "foo" is a variable at your boundary between the user and the main logic of the system, and the Observable is in the heart of your code and you expect that it should never be passed nulls.

Now, to your point, you could just make sure that you filter the "nullable" foo through a non-nullable "bar." Which is ultimately what you will do.

The article's point is that if the Observable part had been written in Kotlin, this would have likely been the default. Adding a marker to say "nullable" is how you have to do it in Kotlin. In Java, it is the opposite. You have to add a marker saying non-nullable.

At least, that is my reading.
Isn't the fact that there exists so many different ones proof that none of them are "just right".

The issue is that yours won't be just right either. Except maybe for you, and hopefully enough others to keep it afloat.
Indian here too. We do drink masala chai in India (Gujarat).
Waymo's Self-Driving Chrysler Pacifica Begins Testing in San Francisco
This would be the second-greatest antiprivacy device ever. Just behind the mobile phone.
It would have been interesting to apply the model to -

https://pages.rapha.cc/feature/the-ride-of-a-thousand-cols
Note for 2:

"According to an agreed statement of facts, Philippon had $5,000, two phones and traces of cocaine on his bags when he arrived in Halifax."
At this point, if you put Dogecoin and Bitcoin next to each other, Bitcoin looks like the joke. It's slow, the fees are too high, and its developers won't address these problems.
For the urban, and dense suburban areas fiber is a great option and has much higher potential. But there will always be a large portion of the US that is not profitable to run fiber, and already has phone service. We already have multitenant access in the US for all phone service. Just extending the current regulation to cover DSL is all that is needed to allow for competition and improved internet speed. You can get up to 76mbps with VDSL2 over copper wire, just modern modems and provider side equipment. And there is newer technology that provides even better speeds over the same copper wire.
Only the experimental Coverity Hypercomputing branch ;-)
Stocks are an investment in productive assets.

Somewhere down the chain stocks invest in actual production value, which creates goods or services that people use, and increases the sum total of wealth in the world.

Buying the stock is buying the rights to a stream of income based on that productivity.

These "investments" in cryptocurrency don't have that aspect whatsoever. There is no claim on productive enterprise involved, and for the more niche offerings that have some element of that the economics are so wildly divorced from the fundamentals of productivity to make the link meaningless.
The links on the site are usually the "most trending" ones, so it's good for that, but I wish it had as much discussion as HN. For some reason I much prefer HN to reddit for discussion.
I don't think you deserve to get downvoted for this. You're speaking very honestly about your own motivations.
> First, you really have no idea what you are getting into when you have a kid, no one can prepare you for it, all of what you think you know about having a baby is probably wrong (unless you’ve had one).

I guess this is the result of having so few children nowadays. But not so long ago, many people got a very real and practical first experience by helping in raising their siblings. And depending on how large the family was, I assure you it could prepare you very well.
I think you may be conflating the Halting Problem. The problem simply states whether it can be determined that a program, given a set of inputs, will eventually halt. Attempting to use a null pointer can be deterministic at compile time but it's not telling you that your program would halt or not.
Scala's lambda style in JavaScript
(author here) That's the intention! Protocol development, protocol testing. Think - leap seconds. While we don't support having different timer for each process yet, this is easy to imagine.

Also - this is somewhat similar to golang race detector in spirit - looking for explicit synchronizations.

The general idea is that you should be able to run multiple processes within the thing, and that they should be able to just talk to each other freely.

There are a number of "protocol simulators" out there, but I always found them academic. I wanted to build a tool that will allow me run and test and do code coverage of my code, without having to wait forever for timeouts and timers to kick in to test rare branches.
New York City to Exxon: Pay up for climate change costs
Real minimum wage is chattel slavery. You get paid in bare minimum living expenses.
If any Stanford students are reading this wondering if they should take this class:

Engler was one of my favorite professors at Stanford. He's kind, sharp, well-prepared, and consistently delivered great lectures.

One of the things that made him stand out to me are the insights he provided beyond what's in the papers we read in CS240. You can read the papers yourself, but the papers won't tell you things like "I think the reason this paper was accepted is different from the reason the author likely thinks it was accepted."

He's awesome, take his class. Find a good team, and, um, don't underestimate how much time CS140 takes. :)
I’m not so sure. The point was to stand up for my principles and integrity by refusing to give up my password.

If you do that then whether the phone is empty makes no difference. You’d be detained or deported.

Show them a completely empty phone and an empty Facebook account and you’ll be asked tough questions too.

You basically need to fabricate a whole new persona on social media.
> No. They're not useful. They were a disaster, and EFF should stop doing them (I think they have?)

> https://news.ycombinator.com/item?id=10525266

Seems like most of the critiqued stuff has changed. By the time i got to EFF recomendations Signal was the winner and use of telegram and cryptocat was discouraged.
Datadog's agent v6 was rewritten in Go recently:

https://www.youtube.com/watch?v=egSvw7xYw9s

The Datadog agent is well built for K8s, amongst many other things.

If you think the Datadog agent is old I have bad news: Sysdig and Netsil rely on v5.x of it.
I understand your points, I'm just skeptical it means we end up with less total confusion. Particularly since I don't think most of the confused texts will be corrected, lying in wait to confuse others.
easy countermeasure: CBR video compression
Which is why we should be scrambling to get it done now. Free and non-centrally-controllable access to connectivity is going to be a powerful aide in all the other battles.

Priorities priorities priorities.

Andre Staltz gives[1] an approximate deadline of 5-10 years, or we're doomed.

[1] https://staltz.com/a-plan-to-rescue-the-web-from-the-interne...
They could have gone hardcore and said any non-primitive, unanotated platform type is nullable but that would have made interop really ugly. And all of the null checks would have muddied up code and added (admittedly minimal) runtime costs.

I want something in between Kotlin and Scala. I want option as a real type that is treated as a max-single-element collection that can be flattened with the same APIs as other collections. But I want no runtime penalty. People in Rust are so lucky to have zero cost abstractions for these things. I suppose I'll need better compile time support (even more than Scala macros) and whole program optimizations (i.e. cross JAR) to get zero cost optional on the JVM. Things like Scala Native use LLVM and surely Option things are inlined or otherwise optimized out.
I understand your sentiment, but I would argue that this is a flaw. Vendors need to account for users' ability to notice and assess these sorts of details. While it's true that most/all defenses eventually fail to a determined attacker with unrestricted physical access, most users wouldn't suspect it'd be so easy for someone to orchestrate the attack in their presence without attracting notice.

Leaving AMT enabled with a default local password when it hasn't been explicitly provisioned is an oversight by the system manufacturers. Expecting users (particularly outside the enterprise environment) to discover the necessary security precautions (without any notable cues) is a problem.

Education may be a short-term solution, but it's no substitute for repairing the user experience, e.g., by disabling unused AMT features (and preventing them from being reenabled without authenticated access to a pre-boot or other system management environment). Save AMT security for the subset of system owners that need to take advantage of the feature.
Leaving an apparently loveless marriage and getting a divorce doesn't mean abandoning your family. Most people who get divorced are still involved in their kids lives. My parents got divorced when I was 10 and my family was much happier for it. I don't feel any particular way about this man or his situation, but this idea that couples need to stay together for the kids or because that's what they promised 25 years ago is crazy. Not to mention that if this guy is 50 some years old his kids are likely adults by now or close enough.
Not necessarily the same point being made. At least, they are subtly different, to my understanding.

It can tell you that, "if this line is reached, and it was called from this path (with evidence on how this could happen), it will dereference a null." It is not saying that "running this program will guarantee give you a null dereference."

The halting problem is more in line with "this program will terminate on any possible inputs", which is more expansive. It is trivial to say that you can prove some programs won't terminate on a particular input. Question is if you can do it for all inputs, no?
Not only that, but the people who "stole" from him are so separated in time, space, and purpose from the people who operate the Bing rewards program that there's no way you could reasonably hold them responsible -- even if you accept that he was robbed.
Any idea how many dirty diapers a baby produces? We don't use cloth diapers with our daughter, so those go to the landfill.

She drinks milk. That comes from cows. Cows are bad for the environment. By having another person on the planet, we need that much more milk.
Isn't this an expected outcome of variable-rate compression? Switch to a constant-rate compression or pad with random data to reach that constant rate.
What do you feel is lacking in "Christian teachings"?
This is an issue in Myanmar too. There are businesses in Yangon that provide ship-to locations for a fee (and usually place the orders on behalf of their customers as well since most don't have access to electronic payments). I've never seen the pulse.codes system in real life, but it looks like a very elegant solution.

Also, on the subject of online forms, a major source of annoyance/confusion is the ubiquitous first name/last name fields (most people in Myanmar have just one name since family names aren't a thing). Some split their name in half to fill the two fields, which as you can imagine doesn't work very well when formatted as "last name, first name" or Mr. Last Name, etc.. :-)
Spot on about the allnighters ability in our 20s, I'm convinced that was our bioligical optimum for progenerating. Peak attraction, peak energy levels, peak libido, minimum sleep requirements.
Your point on the the longer you grow more accustomed is spot on too. There some some interesting talk I watched somewhere by Charles Murray that made the distinction between a startup marriage vs a merger marriage. A startup was one that begun early in life while attitudes and worldviews of the couple were still green and flexible. A merger marriage was said to be one where both had long established reigns of adulthood where tastes and preferences fixed onto whatever they did and one has to deal with the complexity of reconciling compatibility rather than growing in unison in a commonly forged compatibility. Something to that extent.
So MGRS[0] with hexagons? Pretty interesting.

[0] https://en.wikipedia.org/wiki/Military_Grid_Reference_System
Any real data to back all these assertions up? Say, a price/minimum wage chart?

One Subway does not a correlation make. Neither does a price hike that can be caused by a myriad of causes not necessarily related to minimum wage.
I don't think it works at scale. That said, I there are many examples that paying for social sites (often handsomely) is a thing.

Two simple examples:

- Dynamite Circle

- Mastermind Talks

Note that these are not open networks, and they are focused on creating opportunities for members to generate lots of value (both monetary and otherwise).
Political posts get flagged because they are explicitly against the purpose of the site. From the guidelines, for the benefit of the readers who haven't read them:

"Off-Topic: Most stories about politics, or crime, or sports, unless they're evidence of some interesting new phenomenon."

Given that political stories get flagged fairly consistently, I would guess that the majority of readers here agree with that guideline.
Haiku is just a rebranded BeOS, no?

Minoca is for embedded devices... not really GP

SPIN looks... very rough/early-stage

Fuchsia looks... interesting, I guess, even if it's going to be subject to the same exact mutation-related bugs and security holes that have plagued C-based OS'es for years
See Buckminster Fuller's Dymaxion map also
[0](https://en.wikipedia.org/wiki/Dymaxion_map)
The issue on the Java side is more one of compatibility than technical feasibility. IDEA and Eclipse have been able to infer potential null issues for a while now, but it's difficult to retrofit those features into a compiler that must also accept code written 15 years ago.
it doesn't work if everybody's doing it. your pin's flashing will get drowned out in the noise of everyone else's pin.
My tl;dr understanding: Drones send video back to operator. Video is typically compressed so that it only updates part of the picture that have changed. Even if the video is encrypted, the researchers are able to measure the bitrate. Thus when the researchers make a significant change like putting a board against a window, and seeing if the traffic increases, the researchers can determine whether the drone is looking at that window.
Huh, cool; you learn something new every day!

Jeez, when it comes to electricity, it is just like peeling an onion with layers of ignorance...
Very helpful. It definitely would be worth developing an addon that would apply these settings for you.
https://www.terraform.io/ supports various providers for DNS.
Would you say the same of the citizenry of other states in similar positions, like Russia or Iran?
This is not practically true. Imagine if the same could be said for romantic relationships:

"You can definitely be prepared for what cohabitation/marriage is like before your first relationship. It may be a lot of work, but it is not beyond comprehension."

Yes, the brain is capable of comprehending life in cohabitation, as proven by the current mental state of all who are currently in the situation. Getting to that mental state without experiencing cohabitation is practically impossible.

Now swap out "romantic partner" with "small person completely dependent upon you for survival for the next 18+ years".
Another Way to Find Max Partitions
I built http://www.pseudoglossa.gr/ (you need flash) a web interpreter, ide, debugger with cloud support around 10 years ago when such software was a rare commodity.

It contributed a lot in getting the students and the teachers in the lab to get some hands on experience with programming.

It also spawned the creation of other applications that embedded it and provided classroom management and automatic correction.

Although I am not a teacher anymore I keep it online and a lot of people still use it regularly. Even if you don't know english you can start programming in your native language at a young age.

Never got support from everyone though but it was fun and challenging to make it.

Everything from the editing component until the interpreter and the execution environment had to be made from scratch.

The code is in github https://github.com/sstergou/pseudoglossa.gr
Ask HN: How do you deal with burnout?
Reminds me c compilers will bitch if a variable is unused. That's basically the same problem. And sometimes the compiler will flag something that won't happen because the code path is a phantom[1].

[1] Recent headline 'Phantom Code Paths Found Harmful'
Will not deny that. But there are not many plots involving superhuman intelligence at all.
One major difference is that Kotlin can tell you about nullability problems from simply analysing the method body, without going any further down the execution tree. this is a lot more reliable, and fast enough for real time IDE error reporting, than doing symbolic execution and diving into every method call to figure out all the possible paths.

Same with Rust: it can determine multi threading issues from the surface layer, whereas in other languages in order to detect data races and contention you need some serious tracing analysis as well as doing a lot of runtime profiling.
WebAssembly: Swift, C#, Java and Oxygene in the Browser
Not to nitpick too much, but the article describes 15-19 liters (4-5 US gallons/day average):

> each plant gets about four 5-gallon buckets of water every four or five days

Nitpicking aside, the plant that article describes and pictures is very, very large (i.e., an artifact of the 6 plants per farmer limit imposed by that particular state law).

I don't believe those plants are typical for farmers who do not have to follow six-plants-per-person laws. It seems misleading to suggest that the typical plant requires 20L/day based only on the data point of these huge plants.
How to Interview Entry Level Software Engineers
Everybody now paying taxes once was a child. Without children no one would be paying taxes.
I'm surprised too. Since I am running it and it dies every few days.
Well, the null issues in Java libraries have always been there, I don't really think it's a fault of Kotlin and its tooling that those bugs are not caught at all by the compiler, as all object types in Java are Kotlin optionals if not annotated.

Maybe in time most of the necessary open source projects will be pure Kotlin ones, but for now I believe annotating Java code with null constraints is certainly a boon for everyone and should be encouraged.