skysight-inc/HackerNews huggingface dataset:
Google Uses Reinforcement Learning to Train AI Agents in Football
Doesn't matter. The design itself was unsafe. The reason the FAA has historically been so highly regarded is that it has fostered a design environment of generally implicit design safety.

Ironically, however, Europe has called the FAA to task before on several models of Boeing aircraft that weren't implicitly design safe. See the D.P. Davies Interview w.r.t the Boeing 727 certification process.

They cut corners, and did not inform pilots of the inherent risk that existed in a manner concomitant with the severity of the result. This originated in a desire to submit an aerodynamically deviant aircraft, yet attain type airworthyness certification with minimal friction.

Lion Air may be last in safely operating aircraft, but the design standards were generally written in such a way where even the worst operators stood a good chance of going up, and getting back down free of harm.

Obviously, that is no longer the case.
Slicer: Auto-Sharding for Datacenter Applications
>Even today in the latest CSS draft the color “dark-gray” produces a lighter shade than the color “gray”, and just to prove naming things is hard both grey and gray are valid color names.

Now if we can just make both color and colour into valid colour names, I'll be happy.
I’m referring to those with no money to pay for anything, no wifi at home, no computer, their mobile phone is the first chance to access the web, so they are 100% on Android which already comes with Chrome.

Chances are very small they will download a new browser (they don’t have much data to download stuff) even if it’s free. But once the word gets out that you have to pay for Firefox, it won’t matter if the free version is still there or if it’s as good as the paid one, Google broadcasts a louder message that it’s definitely free.
> until I discovered Emacs has no support for tabs (ui tabs, not the character ;)

It may not be built-in, but saying Emacs "has no support" for tabs when there are at least three (if not more) plugins which provide them is a stretch. Personally, I use elscreen, but forked and changed so that tabs are displayed in a reserved window instead of on the header line.

There are some lacking features in terms of GUI display, especially compared to newer editors, but other than that Emacs supports the widest array of features and sometimes even a couple competing implementations for them.
They are literal for me. Happens infrequently and only certain types of songs.
A Little English Discipline Would Be ‘Noice’
I had a similar experience with my 2012 rMBP last year. Out of warranty: screen, logic board, keyboard and battery replaced.

Charge? £0.
> Another thing is org-mode. [...] Can someone recommend a good "light" tutorial for it? What are you using it for?

I would recommend starting using Org just for note taking, using its outline capabilities. It's simple and avoid being overwhelmed and buried in features. One tutorial for this is [1], but even then it has advanced parts you can ignore at first. There are many Org tutorials, at some point it's best to just pick one and dive in instead of looking for the best one and ending up paralyzed by choice (a problem sometimes with Org and Emacs...).

Then once familiar with this you can extend your usage in various directions: add TODO and agenda for GTD, use it to export to nice web pages with a "read the doc" theme [2], etc.

[1] https://sachachua.com/blog/2008/01/outlining-your-notes-with...

[2] https://github.com/fniessen/org-html-themes
I have yet to see any proof of this. Granted, it's true that Telegram's backend is closed-source and that part of the infrastructure is completely opaque, but at least they're sincere about it, unlike Signal's open-but-not-quite[1] approach.

[1] https://signal.org/blog/the-ecosystem-is-moving/
It’s a risky play. At my enterprise company, we’re not allowed to use a single vendor for everything, we explicitly must use different companies if a favoured vendor hits a certain spend threshold.

This is to prevent cost overruns and solution capture, where every solution to your company’s problems becomes “give it to X vendor” and then X vendor kills a product line and you’re toast.

Salesforce needs to be careful or else they’ll hit that threshold where companies don’t want to use them because you as a client are too small. Google is facing this problem right now.
Well, the answer is “yes”.
So more or less the same as redash ?
4.3 seconds seems great. I remember when it felt like a minute or two.
Guis. Pictures. A picture is worth 1000 words. Why use 1000 words to express something when one or two will do?
https://github.com/tpoechtrager/osxcross/

It may not be a viable solution for every project, but it does work for many.
I would say its a big, fat, maybe.

If you are hoping for some panacea of developer efficiency, you will probably be disappointed. At best, they are just another way to do most of the same things you can already do, with vscode. For some tasks, they will undoubtedly be more efficient or easier. For others, they will make your life more difficult.

If they interest you, sure give them a shot. Maybe check out some screencasts, and see if you like what they do/how they work:

- http://vimcasts.org/

- http://emacsrocks.com/
In-Depth Look at Dependency Injection in Swift
Ask HN: What certifications/courses do you think are worth it?
I've been looking into what certifications and courses I might be able to do to enhance my career and thought some people here would have some experience or advice.

Personally I'd be interested in doing more Linux kernel development and have been looking into whether it's worth paying for a course or just trying to dive in.

If you have done any course/certification what was your experience? did it help your career noticeably? It could be anything doesn't have to be programming related.
They operate under a different brand: https://www.remotasks.com/.
NixOS makes this nearly trivial. Any system configuration can be turned into an ISO by requesting the 'iso' attribute instead of the 'system' one.
How to tame an ornithopter
JavaScript Template Attacks
I think the site author comes from an interactive fiction background, so I suppose there were text adventures that did switchable playable characters and time travel before DotT [1], but I don't know of a graphic adventure that beat DotT to it. I found the interaction between the 3 timezones pretty innovative as a kid too and think he does the game a disservice here.

It also opens the game up in terms of how many puzzles you can be thinking about at once; if you're stuck in a traditional 1-protagonist game you might only have one or two things you think you need to do next, at least in a pretty linear game, but now you always have at least 3 things to work out at once...

[1] I'm not a big IF buff, but I guess Infocom's "Suspended" (1983) is a classic game where you can control different "characters" at once, and I really loved "T-Zero" (1991), where you also open up 3 different timezones you can travel between at will, and changes in the past affect the present/future in a slightly DOTT-esque manner - although it's a very different game.

Suspended: https://en.wikipedia.org/wiki/Suspended_(video_game)

T-Zero: https://ifdb.tads.org/viewgame?id=u8qqrwutdugkexpr or reviewed on filfre.net here: https://www.filfre.net/2017/12/the-text-adventures-of-1991/
Life is a risk. I strongly feel opposite to you, that everyone is going to die from a (slim risk of) catastrophic climate change.

Because, as I see it, our efforts at renewable growth will compound over time. It's not like just because the US pulled out of the Paris climate accord that all of a sudden the coal industry will take over US power production. The opposite seems to be happening [1].

This hand wringing seems alarmist to me.

1. https://climatenexus.org/climate-issues/energy/whats-driving...
Interesting! I haven't seen that requirement before, but it does make sense.
It is smart. It works the other way too. Tableau customers will see more reasons to switch to Salesforce.
No, you can't make those assumptions.

People graduate from high school who are functionally illiterate. Similarly, people graduate from CS programs who are functionally incompetent.

I've interviewed many people who can talk the talk, have an impressive resume, can talk details about their projects... But fail a simple coding question. My go-to phone screen question is to find the common elements from two lists of integers, and half the candidates can't do it in better than O(n^2). I'm not even looking for the perfect solution, just something that is better than brute-force.

It's the "do original work" that is the hardest for many people. They can modify existing systems, plumb together interfaces, etc. without a problem, but given a fresh problem and a blank sheet of paper they are stuck.

I've found the same people are also weak in their fundamentals...
Wow, Looker last week and now Tableau. I’m only 90 days in to running the open source equivalent inside GitLab, and these big revenue multiples are telling a fascinating story. I would’ve loved to be a fly on the wall for this negotiation, what a great outcome for Tableau shareholders!

With all that’s happening we’re definitely looking to pick up the pace, and would love to work with more contributors on the free open source alternative at Meltano (www.meltano.com)

Edit: just wrote a quick post with some open questions I'd like to explore around this deal https://meltano.com/blog/2019/06/10/salesforce-is-acquiring-...
Funny, I always get that reading HN comments, but then again, I can't really compare, I've cut down on reading reddit comments years ago, maybe it's time I follow suit for HN.
Q: if you trust us with the very personal data about your health and medical conditions you'll get free healthcare !

A:. It's already free (at the point of use). Thanks anyway.
>Roughly estimating from conversations I have had about this with people over the years, I'd say most people do.

Literal goosebumps or figure of speech? I don't think most people get literal goosebumps from music...
Last week Looker, today Tableau, next week Qlik or Alteryx?

I wonder how this will integrate with Einstein and other AI products salesforce already has. Pardot is the first to come to mind. They already own Heroku, Mulesoft, and Quip.

Exciting times to be a data geek. Hopefully this adds more money to the AI race.
> Since when did cloud hosted solutions announce version number changes?

It would be great if cloud solutions actually allowed customers to upgrade to new versions when it suits them, not when it suits the provider. And with security fixes properly backported.
I'm a happy ProtonMail user. I've never had an issue with the system and the web app is very pleasant to use.

However, I wonder when (if at all) they plan on encrypting more metadata...? Any of you users actually look at the network log of ProtonMail web app? Almost all effort goes in to encrypting just the body of the emails, while just about everything else is seemingly stored in plaintext (headers, subjects, senders, recipients, etc etc)
> while the source code in their publicly available repositories lags far behind

I don't think this violates GPL. GPL requires you to be able to receive the source if you want to, not that it be on an online repository. You might have to request it and have it sent to you.
Yes, I couldn't agree more. I'm a Firefox user, never switched to chrome because I always had concerned with it.
If this an attempt to switch the business model and become independent from search engines, it needs to do it properly. If it's the case, I would be a happily paying as, as much as I'm not fond of some of the decisions made by Mozilla like pocket or labs as you mentioned, it's the only browser I feel I can use without spitting on my beliefs.
My bad, was confusing it. Still, there is not much you can do with 8 but not with 6.
They never did. Releasing the source contributed creating the developers ecosystem we have today.
What Google fears more than the Armageddon would be someone making a truly FOSS operating system capable of running on Android devices, and they prevent that by keeping device drivers and firmware tightly locked.
Of course everyone can use whatever they want. Arguments of taste are irresistible, that's all. (Did I mention I like proportional fonts?)

The bashing is mostly the other way around though. I regularly get shit from people because I prefer white backgrounds. It's also some kind of meme — just the other day I saw a popular tweet that read "People who use light background IDEs are serial killers." As an edge case GenX-millennial who buys expensive avocados and lets them rot, it's pretty much my glass house for rock-throwing practice anyway...
You can pay and be the product.
Worked on digital identity for government services in a variety of ways (public and private sector) and its applications in broader society some years ago, here were my findings:

- identity requires the ability to bear risk.

- an identity not blessed by government bears very limited risk.

- the use case for government issued identity is only in enforcement (fines, taxes, service eligibility, etc.)

- The private sector does not need "strong," identity for anything other than credit/collections, for which banking IDs are the legitimate portal to govt identity today. There isn't a consumer driven use case for "strong" identity.

- "strong" identity reduces to being sufficient to target that person with court ordered violence. Everyone talks around it, but that's what they mean.

- an alternative strong identity provider is a de-facto state. (looking at you, FB/AAPL/GOOGL)

The attribute based models are technically interesting, but what we are really talking about is equivalent to financial instruments and securitization of identity.

The quality of any given individual identity assertion can bear up to a certain amount of risk. A tranche of identity assertions can bear even more risk, as the failure of some does not significantly impact the rest of them, and the cost/benefit of accepting the tranche is greater than the projected loss.

Futuristically speaking, the most likely identity technology two decades from now will be a set of collateralized attributes tied to securities, and ones that are asserted as bearing risk up to a certain grade. The rehypothecation or leverage on that identity will be a part of its score, which relying parties will assess and request additional collateral on accordingly. It sounds complicated, but it's not.

What such a "securitized," identity (so-called anonymous ID) breaks is the income tax and other individual enforcement use cases, where transaction taxes are viable, but tying them all back to a single state issued identity becomes unfeasible. The trade off is like the one we're encountering with cryptocurrency today, where it's useful for everything except state approved markets.

What's most likely is that innovation in identity will happen in countries where mature public services that require income taxes are not an impediment. e.g. the way that "developing," countries leapfrogged rich countries on wireless telecoms because they didn't have sunk costs in copper infrastructure, similar countries will leapfrog rich countries on digital identity and commerce because they don't have as much of a sunk cost in a strong government identity-based taxation model. When you look at how taxation works in resource-based (oil) and tourist (island) economies vs. services economies ("on shore"), they have more opportunity to facilitate digital identity services.

Identity is not dead, it's just that identity is not about identity.
I'm pretty sure you are right now paying a lot more money to companies doing a lot less efforts Mozilla is currently doing. And now you are asking even more of them, just as a condition for maybe giving them something day.

See, that's one of the weirdest problem in FOSS: the fans hold them to a way too high standard, making it twice as hard to thrive. Once because it's hard to make money as an open source, benevolent product in a world of free for all. And another time because the very people that should be supporting you will always say you don't do enough.
What IDE uses AI for autocomplete??? That would be interesting to read about.

As an aside point taken. I feel the same way, about using VIM+Terminal for coding.
yes literally, sometimes coupled with an overwhelming rush of emotions that makes my eyes well up (doesn't have to be in a sad way, and depends on the situation and music).
Back when recorded music was still nascent, live amateur music was much more commonplace.
>Absolutely. If your customers start choosing you rather than your competitors due to your green credentials, then in can lead to more profit.

Yeah, that's not gonna happen either. That will be the last concern of the majority of consumers...

And of course companies need to sabotage their sales (tell customers "just keep upgrading your existing model, buy less, etc") to get those actual (not ecology-theater) green credentials, which no company and no competitors are gonna do either.
Yes, this perspective is so often missed. Your comment reminded me of a book that just came out, Dignity: Seeing Respect in Back Row America. It’s a compassionate panorama of lower-class America.

“The people he got to know, from Alabama and California to Maine and Nevada, gave Arnade a new respect for the dignity and resilience of what he calls America's Back Row--those who lack the credentials and advantages of the so-called meritocratic upper class. The strivers in the Front Row, with their advanced degrees and upward mobility, see the Back Row's values as worthless. They scorn anyone who stays in a dying town or city as foolish, and mock anyone who clings to religion or tradition as naïve.”
For simulation there is also a library that reimplements the Modelica language in Julia using macros:

https://github.com/ModiaSim/Modia.jl
Yeah SIDH/SIKE are some of the stronger proposals in the NIST competition. But for now I'd consider them to be proposals, not something that should be deployed widely.
Unity Faces Lawsuit – John Riccitiello Accused of Sexual Harassment
> I have yet to see any proof of this.

See https://github.com/overtake/TelegramSwift/issues/163. I don’t know too much about Signal other than the fact that it exists, so I can’t judge it in comparison to Telegram.
Thats why their non-technical user abstraction is a worthwhile investment for businesses who want their devs to be doing real work instead of pandering to the latest whims of a product director / marketing exec
I was wondering if this wasn't the same effect that ASMR exploits, but:

> ASMR aficionados make a distinction between ASMR and frisson, the goosebumps and tingles that can be produced by an amazing piece of music.

TIL! (I've never really tried ASMR, but I have a few songs that semi-reliably trigger this "frisson".)
Name the last time an aircraft carrier won a battle, stopped an attack, etc. Gerald R. Ford class aircraft carriers cost 13~ billion dollars to construct and the bill for operating a carrier group: $2.5 million a day (based on a quick Google query).

13 billion is 325,000 degrees at 40k each or 260,000 at 50k each.

21 B-2 stealth bombers from Northrop Grumman in the 1980s and 1990s at a price of more than $2 billion each. 2 billion in 1990 is equal to 9.8 billion dollars today. That's 4-5 million 4-year degrees for what those 21 aircraft cost!!!

Also if you educate 100 people, the majority of them will provide benefit to the economy via any number of ways. The government already throws tons of money at educational institutions, but as research grants for military/defense research, why not educate the populace? For that matter, why not create government educational institutions that cut out all of the fluff and in upon completion of a program you enter into an income share agreement for 5-10 years at 10-5%.
Intel to AMD: “We Challenge You to Meet Us in Real World Gaming”
$500,000 a mile seems excessive regardless... but fyi urban roads cost more to pave than rural roads.
I've played quite a bit with the Oculus DK1, GearVR, Oculus CV1 and the Oculus Go, and after 2 weeks of usage I can say the Oculus Quest is much better than any of them. Low barriers to putting the headset on and immediately walking around in VR is hard to overstate.

I think it will be a very big hit. The virality levels are very high with people showing their family and friends, who then want to go out and get their own.

The downsides are the games are a bit too expensive, and the headset itself costs $400 which is alright, but it does need to be cheaper if they want to achieve Nintendo Wii type sales figures (which the Quest fully has the potential to do).
Because:

- it's only an experimental additional source of revenue. They already got money covered, they are just trying to find new way to become more financially independent.

- they don't intend to sell the current state of Firefox. It will still be free. They intend to add stuff on top of the already awesome experience.
When I have a big edit I'll just pop open a vim window. I cut the text out of VS Code or whatever wretched web editor I have to use for some online App and paste it into the vim window, edit, then cut and paste back into the original window. When they come up with a variant of a pathetic markdown box that supports :%s//blah/g I might consider the internet ready for prime time.

The best thing about modern GUIs is they let me have a zillion command lines open at the same time.
I use tabs to switch between window configurations.

Say I code in Python, with docs and shell windows on the right. Then I want to quickly take a look at git history. But, if I start magit, it will hijack the window configuration and my carefully placed/resized windows will get messy. So, I open a new tab and start magit there. Now, I can switch between the two tabs - ie. window/buffer layouts - with a single key.

The fact that I mention saving the layout of windows should hint that I know you can do this in vanilla Emacs by saving and restoring window configurations, but it's much less hassle with tabs. Also, you can hide tab bar (as well as menu bar and button bar) when you don't need it, and it's actually quite handy when you do need it.

To each their own of course, just saying there are good uses for tabs in Emacs, unless you want to delegate this to your WM and launch one frame per window config.
I haven't used packer but it seems like operates at a different level? Dockerfiles are mostly about _provisioning_ an existing system but packer was more about getting correct configuration in place for VM providers and allowing you to specify strings to be run for provisioning.

Edit: not an edit, but I realize it's a double standard to think of Dockerfile's as anything but specifying strings for provisioning.
And how am I supposed to know if the attractive, well-educated, contented folks chosen by this company's PR department are actually representative of its workforce?
Also a drafted army tends to have people with a wider range of skills.
I wish I could move desktop back in time to Gnome 1, gkrellm and Linux. So simple, yet so neat.
That’s probably a why the article was written.
I hate to link a sub, but there's a lot of material shared for invoking frisson:

https://www.reddit.com/r/frisson/
http://intactphone.com/
Did I miss something? The whole article goes on like there was a conviction for rape, explicitly calling it rape. I mean I realize it's Buzzfeed, but "safe to assume" seems like a dangerous way to present something of this magnitude.
I think you might be surprised at how many people do know what a join is, they may call it another name, but it's not a hard concept to understand. It's a very common thing I've seen non-technical people do and use.
Remote – A Bad Word?
Tim Schafer Explains Why Microsoft Now Owns Double Fine Productions