skysight-inc/HackerNews huggingface dataset:
Sure they are different: OOP/Pascal-like vs. multi-paradigm/C-like language, etc., but the point of the spoke and hub analogy is that coming from different sides (spokes), but directing towards something like safe, secure programming is what they have in common (the hub), and has instigated the ADA/SPARK community to take notice, and vice versa for Rust. Look at these two discussions for a bit of where I am going with it:

https://www.reddit.com/r/ada/comments/7wzrqi/why_rust_was_th...

https://www.reddit.com/r/rust/comments/7ibea3/safe_pointers_...

I like Rust (and I like Zig too). I like ADA/SPARK 2014. I am currently interested in safe, secure, verifiable and validated software development, and these PLs are on my radar. I have also considered a duo of F*/F#, but they are not ticking as many boxes as ADA/SPARK 2014.

I'd love to see the cross pollination or competition between Rust and SPARK 2014 lead to them both improving, and borrowing concepts from each other. Rust is being touted more and more for embedded, and SPARK 2014 is already there. Now if I could get SPARK/Rust in a Lisp!
Komiser: Detect potential cost savings on GCP
Sell it and bought iphone instead
The basic error checking comes with incremental parsing.
A lot of semantic error checking is also not that bad to make incremental (though some languages are just really really bad here).

Incremental compilation depends on the constraints on environment (IE are you trying to incrementally produce normal object files or what)

The more you relax the environmental constraints the easier it gets.

It also depends on just how non-local an effect the programming language allows.
For most programming language, general incremental compilation requires either strongly overestimating possibly-modified sets, or global interprocedural dataflow + pointer analysis.

Most choose the former, or don't do general incremental, but instead something like "edits to functions are incremental, edits to global data/types/etc are not"

(This is even without compiler optimization on).
let me know what you guys think
Dang, I was 6 when my brother, after beating scorpio tells me "forward, down, forward high punch".

Taking scorpio's head and spine with sub-zero is one of my most cherished childhood memories and bonding with my brother.
Damn, I was actually planning on applying to Comma for an internship because George Hotz was there, just to see if I could learn anything from him.
I'm skeptical. This article makes huge claims about what they've done, but looking at BlueNalu's website, there are no pictures of the lab or actual fish that they've made. This seems like a submarine article (http://www.paulgraham.com/submarine.html) no pun intended.
Oh really? Endorsed by a guy who is working for Putin? cool.
Because Moxie doesn't want it to be[1]. It should be noted though than you can download just the APK from their website[2] and it supports auto-updating.

[1]: https://github.com/signalapp/Signal-Android/issues/127
[2]: https://signal.org/android/apk/
I see that but upstream means bleeding edge which is not exactly what CentOS users are looking for and if there was something like RH "community edition" which is essentially CentOS (with RH logo) that gets released with a fixed schedule after RHEL (instead of after somewhat random moment for CentOS), it can make people more comfortable instead of relying on the current community to make sure to get their debranding and releasing of CentOS right. And also it may be easier for people to upgrade to RHEL if RH provides an official way from such "community edition".

People like and want the stability of RHEL and relying on the community to get started with RHEL-like distro could be a concern.

If you embrace the existance of CentOS, why not do that fully as part of RH family?
The hunger gaps: how flowering times affect farmland bees
Spam. How on earth would a spam filter determine if such an auto-generated text is spam or ham? Since it doesn't have a human brain it can't. So we get into an arms race again. Right now, spam filters seem to have the upper hand but that can change very quickly.

You can also use this text generation for less nefarious purposes such as for submitting journal articles (https://pdos.csail.mit.edu/archive/scigen/), creating fake facebook campaigns, creating fake github profiles, phishing on dating sites, fool Google's page ranking algorithms and so on.
I can see your argument... But would you agree that if the tether folks tomorrow say "Sorry, we're bankrupt, your tethers are worthless now LOLZ" that a max of 2.8 billion dollars would be lost by tether holders, i.e. equivalent to the market cap of tether? (I mean, you can go down the road of arguing that losses could be greater than that due exotic leverage and/or derivatives trading techniques that enter into this and allow for greater losses, but that seems a bit specious)
"Monster and Beats ended their partnership in 2012, and Apple didn't acquire Beats till 2014.

"

Oh well, did you remove everything on the list that Google shut down post-acquisition?
No?
Okay then.

"Yes, Ping got the axe, and my heart goes out to both of Ping's active users."

Would you change your tune if you discovered the canceled google products had less users than Ping?

Google isn't cancelling majority-user products either.
If the whole point is not to hurt the minority, you are just showing you aren't willing to apply the same standards.

This whole comment feels that way - a strong inability to apply the same standards to two companies.
All the check boxes in the world still can't obtain consent from a child. And make no mistake - someone about to graduate high school, herded by their parents and other authorities their entire life, is a child.

It's time to admit the failure of this particular financial engineering scheme, and close it down. Rather than complaining about the money that has already been lost, be diligent in preventing whatever government-handout the industry scammers are cooking up next.
That is a despicable, and dishonest thing to do, and there are people who are more than happy to act as repeaters to make sure people know Boeing's NewPlane (TM) is just a rebrand of the MAX, with a healthy dose of "this is how stupid Boeing thought you were."

Such a move would be ill-advised.
By "we", I mean most people, as evidenced by all democratic governments censoring various things, presumably because their voters want to prevent the rest of their country from seeing them. Same goes for restrictions on drugs, alcohol, cigarettes, etc. People who're concerned about their health won't be doing those things themselves and don't need a law to stop them, but they want to protect what they see as irresponsible other people. That might be a fair judgement but it's still a judgement about other people being somehow weaker and needing to be protected from themselves.
Well, I think you should be willing to give a little weight to the fact that this is a QC. But still, fair I suppose.
The best I've ever been able to do is a James Bond shower--wash hot and then rinse cold. The main benefits of the cold rinse seem to be psychological rather than physical: you've done something very uncomfortable, which makes you feel like a badass, and it wakes you up a little bit, too.
Rails is a dependency: https://github.com/tongueroo/jets/blob/master/jets.gemspec#L...
Hmm.. never heard of Chariot Solutions yet they have a lot of technical presentation videos for my consumption, thanks.
Looks like moderator fixed this a while ago.

The submitted title was "Notes from an emergency", which I think was a crossed wire with a different article.
Here's an example[1] of multi-person pose estimation, in browser with webcam, using PoseNet[2] and TensorFlow.js.

[1] https://storage.googleapis.com/tfjs-models/demos/posenet/cam... [2] https://github.com/tensorflow/tfjs-models/tree/master/posene...
SQS could be interesting too.
Xoogler from a few years ago. I'm not saying they have nothing cutting edge, just that the rest of the industry eventually reached parity with a lot of their everyday platforms. If you come in knowing HDFS and Cassandra and Spark and k8s, moving to CFS and BigTable and Flume and Borg involves learning a whole lot of minor differences that don't make you much more capable but screw up code reuse.

I was pleased to see Cloud Spanner hit the market, and trying to nudge the industry towards hermetic builds with Bazel.
It can also be just mindless entertainment. Media is going to range the spectrum from quality to schlock. Meaningful to mindless. Not everything has to be appropriate or entertaining to all audiences.

> For example, there are various scenes (for which I've read descriptions, not watched) in Game of Thrones that make me seriously question the state of a culture where this is extremely popular entertainment

> But I strongly dislike violence more realistic than, say, the Avengers, so I'm biased here.

Yes, I would say you have a much stronger than average aversion to violence, and that's ok! Just so long as you recognize that same freedom of choice in others.
Matrix just about replaces my need for other services like IRC and XMPP too, helped in part by the various bridges available. Plus Matrix doesn’t suffer from problems with client state like IRC and XMPP do, which is very beneficial on mobile devices or unreliable networks.
"Even on very large C++ project like Chrome, there's no reason why incremental updates should take more than 1-2ms. If all you're doing is changing a single function in the binary file, why do our linkers rewrite the whole thing"

Because it requires N^3+ dataflow problems to track what is possibly changed with significant accuracy.
The community is not static, and new people join every day. Also, lots of people never heard about signal and would be interested to learn about it.
Violent crime statistics are at historic lows. I don't think it's possible to attribute 100% of that to violent video games giving people a chance to vent, but I suspect it plays some role.
Autonomous cars will do more than drive you around
To use microwave inter-satellite links, SpaceX would have needed to file for frequency allocations. As far as I know, they have not done so - they only have frequency allocations requested (and approved) by the FCC for the up and downlinks. I think this largely rules out microwave ISLs on this batch of satellites.
Reality is that Vitalik has less influence over Ethereum than Linus does over Linux.
Law is similar to programming in that you can learn a lot of the principles in a few months, and you can also learn how to do a lot of the day-to-day work in a specialty area.

Learning large volumes of case law is analogous to learning the details of low level programming; both fields require years to master. But those details are not required for a lot of work in either field.
Not mentioned in the article. I can imagine using my self driving car as a new mobile work office with a great view for calls and coding.

That’s something I love about trains too, just coding away as awesome scenery moves along outside the window.
Shame on Smithsonian for publishing those beautiful plans for the ship in such a low resolution! (https://thumbs-prod.si-cdn.com/ByKMeWPL7ACAflt-TkueyIb8ZmI=/...) Can anyone find a readable version of these? I tried google image search to no avail.
With oberonc you can compile the source code at http://www-oldurls.inf.ethz.ch/personal/wirth/CompilerConstr... with minor changes to the I/O library calls. I can push the changes in a repo if you are interested.

Oberon-0 is too limited to easily bootstrap itself. I wrote oberonc first in Java and then I rewrote it in Oberon-07 for the final bootstrap step.
Oberon-0 is a toy subset of the full Oberon-07 language.
Given how much hostility homemakers get in the US, it may not have been as positive as you imagine. I didn't find the article as shockingly positive as your remark led me to expect it to be.

I think of soccer mom in relatively neutral terms, but my feeling tends to be that it means "she's merely someone with no life for well-meaning but misguided ideas and not because she's outright depraved." Like it's an attempt to say "full time moms: not as bad as we usually think they are."
Well, what you mention Tesla does is the disclaimer part, but what Elon boasts about is the headline/first paragraph part...
Sure you're free to structure the exact responses how you like, but the point is that the urls are discoverable through api responses.

> web API clients are required to perform content discovery, which is more complex than simply using hard-coded URLs/URL paths

You mean using Hypermedia As The Engine Of Application State is cumbersome and why people don't do "real rest"? Yes. I agree.
Because it doesn't have free speech. You can't even make nazi jokes or say stuff that could be considered racist, xenophobic or disgusting in general.
It is more important to clone it, so that you have a local copy on your PC

forking is just a gesture, especially for obviously hot repos. a takedown of 1 can takedown all the forks
It wasn't the advertising industry in general that made the decision that person X authorizing Cambridge Analytica granted access to the data of every friend of person X. That sits squarely on the scum at 1 Hacker Way, Menlo Park. The ad industry isn't full of angels by any means, but no reputable companies treated private data so cavalierly.
Also note, Airbus has had issues where pilots are so used to the machine not letting them do something stupid, that direct law has caught them by surprise.

Automation creates complacency, which can be lethal when things go wrong.
He might not believe it, but it may well be true if the alternative is watching TV all day.
I lol'd so much after reading the name. I was just building a test server less app in Ruby with Aws to figure out how it works.

This seems potentially useful though run through server less without Jet to under stand the knitty gritties of the server less architecture
- The Extended Organism, J. Scott Turner
5G Apocalypse: Russia wants you to believe next-gen wireless can kill you
Please explain, what's even remotely ironic about that
This article is investor advice, so the distinction between $1/BTC and $1MM/BTC is, to say the least, material.
I'm unsure if this is willfully ignorant marketing, or naivety. Profitability is a GOOD thing -profit typically means people getting paid, livelihoods supported, lives built, etc. I hope NPM becomes profitable, to support the awesome team that builds useful tools for millions

It's noble that you are building a non-profit, neutral registry, but framing the contrarian view as evil, and pitching this as a sacred good vs evil fight is bad.

Maybe your value-add is that the registry works for the good of more than the parent funding org, and that in itself is valuable. However, not-for-profit is scary because you will refuse to go the extra mile for any one customer, even if they pay you money, and only prioritize whatever YOU deem fit and moral.
> I think OTC NSAIDs are abused every bit as much as opiates, though not as harmful obviously

This is true only in the short term IMHO. Most people discount (or are unaware of) the severity of long term use leading to gastrointestinal issues. NSAID enteropathy is no joke...
And like math, most people are "bad" at coding. By bad I mostly mean they get frustrated and don't see the point or don't get the rewarding feelings of solving something. They could get better, even great at it but they need to work very hard for a long time.
The easiest analogy I can make is, someone COULD rent their room/apartment out through Craigslist and that's what people did before Airbnb. Craigslist was a horizontal platform that had no concept of renting out your room though, whereas Airbnb was specifically designed to do just that and make the process as seamless as possible. Patreon is the same way where it's just a horizontal platform for content creators that has no concept of scheduling games, and if you go there, you have no idea if it actually has that or if it's actually going to get fulfilled, because they don't help you if it doesn't. Whereas Gamerize is this curated experience designed to make that as efficient as possible for both the fan and the gamer, just like Airbnb is for renting a room/apartment/etc.
> Native UI toolkits (with “native” defined as system standard) have system hooks and access to functionality that third party toolkits don’t

what makes you think that ? the time when scrollbars were rendered in-kernel is long gone.
It's interesting that you compare Riot with Conversations as Conversations feels and looks much better to me (native UI) while Riot for Android always gave me the webapp feel. But Riot works consistently on all OSes while Conversations (in my opinion the best free/federated messenger to date) is available only on Android.
that's a fine line between liberal free speech (where you have to stick to facts and are hold accountable by the society if you actively are undermining its foundations) and libertarian free spech (where there is no society)
I am genuinely interested, do you think that the Wright Brothers should not have developed the technology that they did because of the risk that someone would get killed? I am having trouble imagining any way (at least at the time, but probably today as well) of inventing manned flight without anybody dying in the process.
This shouldn't be downvoted because it's spot on. Russia and the US were allies of convenience right up to the moment the tide turned. After that it was a race to be first in Berlin. They were competing militarily before the Germans had surrendered.
But did you build things or work hard to develop some skills or otherwise feel like you're improving something? Or did you scroll through Facebook and drink alcohol all day? Many people don't have an interest in anything fulfilling.
> what was CA good at

I am not really sure we were good at anything. The company had no direction coming from upper management, so we weren't really able to become experts at anything. The salespeople used the psychographic nonsense to sell to clients, which everyone internal knew was nonsense, so we were sometimes forced to use nonsense to solve problems. We were also forced to tackle impossible challenges because of salespeople's promises. There was very high turnover.

The technical teams were nice and had a lot of smart people. Most were fresh out of uni; first job.

> except the marketing part

I don't think we were particularly good at marketing, unless you mean marketing ourselves as evil geniuses. In which case we were too good for our own good.
Matrix is not a reasonable Signal alternative. If you want something in the vicinity of the security model of Signal, but with more UX polish (and less privacy), Wire is your best bet.
I think the phrase you’re looking for is “violence porn”
What? Wasn't this the New Green Goblin? There's another one?

I thought the point of Peter Parker was that he was a friendless loner.

PD: My only source are the Raimi films.
Wire uses a protocol derived from and related to Signal Protocol, but does not implement Signal Protocol.
The problem is that the largest QCs that we know of in the public are so ridiculously weak that I find it incredibly improbable that any government is anywhere close to having large enough QCs to break anything.

The largest QCs are on the order of tens of qubits, but in order to run Shor's algorithm (to break RSA, or the discrete-log equivalent to break Diffie-Hellman) you need hundreds or thousands of stable qubits -- and the current generation of qubits are unstable. You can make stable qubits out of unstable ones by using error correction, but that requires you to have ~1000 unstable qubits to make one stable qubit. So there's at least 5-6 orders of magnitude separating the current state-of-the-art and when classic public-key crypto will be broken.

> Does signal use the quantum-proof variety of encryption?

No, there is currently no trusted post-quantum encryption (though the real issue is finding a replacement for public-key crypto because that seems to be the weakest link where quantum computers appear to have the most power). It's being worked on but is a very new field. In addition most post-quantum systems require keys that are kilobytes or even gigabytes in size (elliptic curve keys are tens of bytes). djb (a very well-known cryptographer) and his colleagues give quite a few talks about this[1].

Funnily enough it appears that elliptic curves (which are harder for classic computers to break, and can be easier for classic computers to compute safely) are actually easier for QCs to break because the key sizes are so much smaller (meaning that fewer qubits are required).

[1]: https://www.youtube.com/watch?v=ZCmnQR3_qWg
The book of the new sun - Gene Wolfe.
IMO the problem is that Dart is pretty much JS and really not challenging the status quo - My light experience with Dart is JS < Dart < TS. So if there's an opportunity to simply use TS, I don't see the benefits of Dart.
Whatever K12 math education is aimed at, I don't think it can possibly be "producing mathematicians." Producing human computers, maybe.
I think you are jumping to conclusions here. There are plenty of respectful reasons why a candidate would want to look at the code. After all, the code is what he/she is going to work with. So doing this is as logical as getting to know your future colleagues, workplace and corporate benefits.
I see two main reasons that may prevent the company from sharing the code. First: their security is below standards: e.g. hard coded passwords to the production database in code. Second: their business is extremely sensitive to security(e.g. they are an anti-malware software company or a financial institution), so they must run a deep background check on candidates, which is time consuming, so they only do it right before offering the job and not earlier in the hiring process.
In any other case, an simple NDA would be enough.
Some do care about people left behind but they usually don't care about a big social media boost to their ego so you don't really hear about their work
The problem with a metric akin to football wins is that you can be cut from the football team. Required high school math classes don't have the option to remove poor performers. Worse, they seldom can remove disruptive students.
For those who want to know why it still should be federated: https://gultsch.de/objection.html
> The neighborhood mail carrier was the one who’d called the police. Every day, Brown would wait for her in a chair by his door, and the two would exchange pleasantries. But for the past five days, there’d been no sign of him. Police did a welfare check and discovered his body in a pool of dried blood by the toilet. Members of the coroner’s office who were dispatched to the house determined that he died of a stroke, but not before breaking his nose in a nasty fall.

Another example of how elder falling is responsible for an astounding amount of morbidity & mortality.
>except it isn't invalidated using HTTP logic.

You should be doing this. It helps a lot, actually.
> If it’s prohibited then how was it certified?

Without the active MCAS the plane would have not been certified because the behavior of controls is then not inside of the prescribed limits.
Is this a slant reference to the Frank Zappa album?
https://en.wikipedia.org/wiki/Cruising_with_Ruben_%26_the_Je...
Because their site is relevant to the question asked?
Why don't you take literally 5 seconds to google that basic question? That question is answered on every flutter article, including OP.
"...As long as men the nations are
suspicious of each other instruments of
war will be constructed
and brave men will die as these men have
died in the service of their country.
Today we honor these six men
there shipmates and all men who give
their lives in patriotic service.
May the day quickly come when men will beat
their swords into plowshares
and spears into pruning hooks. Nation
shall not rise up against nation - neither
shall it be war anymore."
Free speech is an absolute. Germany doesn't have it. That's all there is to it.
SoftBank Vision Fund to Invest in Greensill