skysight-inc/HackerNews huggingface dataset:
Something that I've been trying to learn how to do, but haven't found any information on and that seems missing from this tutorial, is how to write a 3D game in Vulkan. There are many entries in here about using OpenGL but nothing in here, it seems, about Vulkan. This seems like a common pattern online. Does anyone have any recommendations for a tutorial that could also be contributed to the master list?
That sounds a lot like saying that their moat is that their business model is too stupid for anyone else to try it.
Plus they have no moat. If Amazon decided to compete in that space, they could have a service up and running in less than a year that would destroy Blue Apron and similar companies.
I find it already very practical for web frontend work. Editor support is great if you use VSCode.
https://news.ycombinator.com/item?id=17054710
On the upside, no COO means no chance for Tesla to lose one any time soon.
> In other words, what public tech company can engineers work at where you’re not battling for visibility and preference?

There isn't one. Identifying and influencing the people who decide stuff--who does what work, business and technical strategy, your bonus--is always a valuable and necessary skill. A good manager can do some of that for you, but can't take it over entirely.

More practically, variation from group to group within a large company is usually bigger than variation between companies. I doubt a useful answer to your question exists.

If you want a job with less politics, then you're probably better off assessing specific opportunities than assessing massive companies on average. Like, ask "How did you choose the tools for your most recent project?" in the interview, and see what that tells you about their power structure.
I've never heard of this happening and I can't find a single occurrence of it. I mean, I agree with "don't blindly trust everything in the AUR", but this seems wrong.
Universe is Canonical's dumping ground. There are millions of vulnerable Redis instances in production today because Ubuntu doesn't feel inclined to issue an update for a major CVE affecting the redis-server package shipped for 14.04.

There's multiple layers of problems here, because as we see with Ubuntu, just because the code was built and uploaded by a trustworthy person doesn't mean it's automatically safe or secure (especially for more nefarious infections that bury themselves deep in the source tree). Remember the pwnage that brought down kernel.org for a few months? That was only a few years ago, but the infiltration had been quite serious, and if I recall correctly, there was some concern that infected code had made it into officially distributed tarballs.

In practice, I don't know that the distinction between distributing packages that are trivially exploitable and distributing packages that have exploits pre-baked in is really that big of a difference. Automated scanners often pick up and automatically exploit exposed instances within a few days.

What it boils down to is that admins need to take responsibility for their own workload and what they choose to execute, no matter the guarantees of the distributor or the claims that $Sandbox_Y is magically impenetrable (which was silly enough before, but completely farcical in a post-Spectre world).
You could try one of the minischeme implementations floating around github without too much fuss.

Not sure how FPGAs do their thing but a swapping out fgets() with something else and setting up the garbage collector to use one block of memory would probably be necessary I'd imagine.
Interesting. I hear words when reading but not when thinking -- unless specifically walking myself through an impending dialog or how to compose a written communication.
Cool. I've learned to minimize self-talk. And yes, it helps for writing. But during crises, it's there loud and clear. I used to think that it was what I wanted. And that sometimes didn't turn out so well :(

For reading, it depends on the genre, how well I know the topics, and complexity. I don't hear words in reading fiction. I just experience thoughts, feelings and action. If I'm confused, I need to reread and parse. And English isn't my mother tongue, so sometimes I need to diagram stuff. But if it's familiar stuff, it's words -> concepts.
Ask HN: What is something that you wish you don't have to do in your job?
I will start: I hate being on-call when I work as a DevOps, would prefer coding.
Really want to emphasize that the loneliness of “loveless men” is one of the very underestimated sad things of the late 20th and early 21st century. Despite hollywood tropes, men, who have smaller social networks than women, typically benefit
more from relationships and suffer more after their dissolution.

Timothy McVeigh, of the Oklahoma City bombing, the Columbine killers, as well as many of the September 11th hijackers, were all virgins. Many authors and postmodern theorists have made this connection.

This is not an isolated issue. It links together with the lack of economic growth of the last 40 years, the rise of autocracy throughout the world, and the failure of capitalism and secularism to dictate any kind of end goal, purpose, or mission statement other than a kind of bland “do what you want, be you”.

Angela Nagle very effectively even links this to the growth of populism and even the alt-right in her book, Kill All Normies.

https://www.amazon.com/Kill-All-Normies-Culture-Alt-Right/dp...
The Apple butterfly keyboard, sadly, is designed for people who don't type and don't do most of their work via key entry. It's frustrating to use it for software engineering, especially if you use vim or emacs to edit code. And because of other key optimizations I'm used to, it's even worse.

For instance, I have the Vimium plugin installed and I use the home row keys to navigate web pages. It's more efficient but clearly I'm asking for trouble by working this way, given the failure rate of the new keyboard.

Apple needs to go back to the drawing board and create an ergonomic keyboard with lots of focus group feedback from software engineers, writers, and content creators, and stop treating the MBP as if it's a consumption device (that's what the iPad is for).
Yeah, they would build an avatar to represent the persona of a schizophrenic's head-voice and give it a synthesized voice that sounded like what the schizophrenic heard. Then they would puppet the avatar, engaging the patient in dialogue, slowly making it say less and less harmful things, and eventually ceding control to the patient. The patient would come away feeling more in control, and less threatened or coerced by the voices. Fascinating stuff.
I think it's also likely a bit of a problem that, unlike pointy haired boss Elon isn't completely clueless. He knows enough to be very dangerous to his employees. As in he knows and (is correct about) what is physically possible, as well as "big picture business" possible. Whereas, he is not so good at the management aspects...
That's where my mind was headed as well. You'd still want variables for passing around instances (in a general sense; not specifically an OO sense) but everything else could be defined on the type. Sort of a types-as-classes approach.
How does Saudi Arabian government's partnership with Ripple [XRP] affect
Just to add some statistics......

https://www.marketingcharts.com/industries/media-and-enterta...
Their stock is highly shorted.

I'm half tempted to start asking the authors of these pieces to declare any positions they have in the stock.
Magic Leap's original pitch deck (2013) [pdf]
Stephen Hawking’s family invite TIME TRAVELLERS to scientist’s memorial service
I don't know much about this topic, and appreciate sane levels of protection.

But when I use the menu in Snap Firefox (59) to open a file in another partition so I can read it ... and I can't do that because of 'permissions' ... I get irritated.

While I'm on this general topic ... I also don't like the fact that javascript won't let me write to a file. That would be VERY USEFUL.

In short, these long-term accumulation of these 'hardwired' restrictions is severely cramping my use of (and enjoyment of using) computers. If I want it, I have time to change a preference, but not to earn a PhD.
If you did that, in what language would you write the validation code to check if you have a value in the correct domain, or convert between domains?
Sounds vaguely like Sauron. “Will to dominate all life.”
So the citizens move, the city shrinks, housing becomes more affordable and they don't need to raise salaries as the cost of living is lower. It's all an equilibrium, you can't just see one side while ignoring the other. All of those occupations are defined by market forces claiming they aren't is economic ignorance.
Also Jim Keller.
Anything on their involvement in the holocaust?

Or like most IBM histories, are we skipping that part?
When you work for very intelligent and driven people, they tend to be disgusted with incompetence or in my case lack of drive, which is the same thing, I noticed. It is completely counter to what they are. This happened to me when I did not have the same passion as one of my supervisors (as a remote contractor working for other clients as well) and did not want to put the same level of care/hours and extremism as this person had. The intelligence part was debatable but he has his skills etc but I know he was certainly obsessed with moving forward as fast as possible and was a standout in his company because of it. You cannot blame him for his drive as in the end it brings results and its who he is from the core. But of course, I disliked him and still do. Regardless, so what. He still is doing well I'm sure. Elon is probably the most amazing human being to ever have lived in terms of intellect/drive/passion/ability etc that I've heard maybe besides Ghengis Khan so of course he is going to be so much more like that to absolutely repel others not inline with his pace and vision. He could be no other way.
On J({regressive, axiomatic}):

Well, the regular formulation of "Infinitism" is that S is justified to believe P_1 on the basis of P_2 and P_n on the basis of P_n+1.
J({regressive, axiomatic}) just defines a limit i.e. S is justified to believe P_1 on the basis of P_2 and P_n on the basis of P_n+1 such that lim_(k->infinity) P_k = P_x where x is not a natural number.
You have to say x is not a natural number, because if it were, J's output would have been "foundationalism" and P_x then would be a "self-evident" belief - to use Chisolm's terminology.

P.S. If anyone thinks that this is an abuse of mathematics, I agree. But, its usage is compatible with that of philosophers e.g. Goldman's Causal theory of knowledge literally uses a recursive formulation of belief formation where the base case is "self-evident", I just unwrapped the tail call and wrote it as a loop!
If you like that kinda thing you should check out F# as well. The IDE experience/speed is much better for F# IMHO, but I have a lot of respect for the concepts behind both. And of course they ride on completely separate massive ecosystems, so you can't exactly swap them out willy-nilly..

I wish I could figure out why my IDE experience with Scala and IntelliJ(IDEA) was so darn sluggish. Also hoping they jump on the language server protocol bandwagon in the future.
Typing this comment in my MBP 2012, when did this butterfly keyboard started? On what model?
Why did you post a link to the overview of an out-of-print book? That's fairly pointless.
It is not the job of the developer to package software, that is for maintainers. The best you could do is specify dependencies and tell them how to compile. If it is proprietary, then you might have to support a few popular formats(debs and rpms) and make sure they also work on other distributions without much effort. For example Arch User Repository has google-chrome that repackages it into the native package format but since all dependencies are known, the binary packaged for Debian also works in Arch Linux.
Sometimes a small comment in HN makes one think in a whole new way.

I agree with you that useful code review is a tough nut to crack. Professional editors exist for writing, and science has the peer review process (also flawed).

Reading code, is a whole different ball of wax from writing it (and from optimizing it in some cases) - I can think of few people who are great at both. I have to wonder if we will ever get to the point where "review" sits in an outside role/function that isn't already overloaded (team lead, architect, management).

Does the fact that we don't have dedicated code reviewers speak to its immaturity or (in)effectiveness.
Rapper Demands to Know What Government Is Doing with Her Tax Money
My Gmail account got hacked. Google won't help. I need your advice
Hi, someone is sending spam from my gmail address to my contacts.
I found out yesterday when a friend texted me saying he was getting spam from my address.

I logged into my account and found some failed delivery messages of emails I'd never sent myself.

There is no trace of sent emails left in the Sent Mail folder.

I also can't see any suspicious login activity in my gmail login history at the time the spam was sent or any other time.

The thing that's worrying is that they got hold of my contacts. It was an account I was not using directly any more, so I have closed that account now.

I have 2-factor auth enabled on my other accounts and have even changed all the passwords again.

I have reported twice to Google, but haven't heard back anything yet.

Edited to add:

I have looked at the original email message and the header does suggest it came from google. I reported the Message ID to google along with the full email message.

I also suspected it may be some app or service that I gave access to my contacts to, but I didn't see any in my app access list.

That's why I'm turning to you guys to ask if any of you've been in a similar situation, how do I secure my accounts, and trace down the cause of this particular incident?

Thanks
The Boring Company is a sign of someone who doesn't understand the problem.

Hyperloop and Loop both suffer from the same basic problem: high fixed infrastructure costs with very low throughputs. Higher speed naturally comes with a penalty to capacity [1], but since capacity (at high speeds) is generally invariant with respect to the size of the train and the number of people per car, you can recuperate a lot of capacity by stuffing as many people as you can. Except Hyperloop and Loop are envisioned with single-digit loading, which is basically PRT-level--trash tier in terms of capacity, particularly with regards to price of infrastructure.

Okay, let's move to boring. The only suggestions for lowering prices are a) making tunnels smaller (i.e., make it incompatible with repurposing for other infrastructure, particularly if the venture turns out to be a white elephant) and b) maybe making the actual boring costs be lower. But boring the tunnels isn't the predominant cost of a tunnel--it only costs about $50 million or so to bore a mile of tunnel. That's about a third the cost of actually building a subway [2]. The big cost is the large underground stations. Okay, you say, you need smaller stations, so those would cost less--but because your capacity is so bad that you're going to need many more stations to make up for the throughput. Having run the numbers for single-occupant vehicles, you need about 100× the number of stations to match the capacity of a regular subway line, and the rounding there is flattering to Loop.

If The Boring Company were serious about making tunneling cheaper, they should be bidding for the tunneling subcontracts of current public infrastructure projects. The fact that they're pitching a different transit system instead suggests a form of bait-and-switch.

[1] Essentially, your problems grow with the square of velocity, so multiplied by the linear improvement with velocity, you end up with total throughput running proportional to O(1 / v).

[2] The cost of building a subway is generally only about $300 million a mile. Some subways (cough MTA cough) cost up to $1 billion a mile, but making better TBMs isn't going to make a meaningful dent in those high prices.
This work is done in biosafety compliant conditions. The risk is far less than you imply. In any case these are ancient strains whose hosts outcompeted them evolutionarily.
Amazon is already running a restaurant food delivery pilot in Seattle, and they already have amazon fresh plus whole foods in stock.

All the "hard" infrastructure is in place, the last thing left for amazon is to create the app/website and market it.
If you found the overview interesting, you can get the book from the library.
It's a thankless job to try to convince anyone that what Picasso did was appropriation. Notoriously, he himself said (translated) "African art? Never heard of it."

Cultural appropriation hurts when it's done by someone in a position of relative power to amplify their own voice, rather than allow the foreign culture in question to be heard. This idea is not a politically radical form of thought policing, it's just good democratic practice and respect.
I only get my packages from the central repos. I would be very wary of downloading snaps unless I knew exactly who was distributing them.

Repositories are why Linux repos are free of malware. With more snap-based packages being made available then we are going to see a lot more of this sort of thing.
Yeah getting it to work and do something seems to be surprisingly low on the priority list for some people!
Put a stick of butter in the freezer and see what happens.
Most of the calories spent not on muscle movement that consumes oxygen, but on warming up the body. That probably also consumes oxygen, but I'm not sure how much.
> This is not an isolated issue

Of course not. Make sex outside of marriage socially acceptable and of course the bottom 30% of men are the losers.

Historically a huge proportion of men have never had kids. Far higher than the number of women who never had kids.
thank you! - looks interesting. will read.
Scott Wlaschin, of fsharp for fun and profit, has written/presented[1] quite a bit about utilizing the type system to prevent invalid states. Diff lang, but sim concepts. It was an epiphany to me and a concept I have at least tried to bring back to the ALGOL side where possible.

[1]https://fsharpforfunandprofit.com/series/designing-with-type...
Is working for Elon just awful? I heard SpaceX people flock to Virgin Galactic because of this.
I was surprised not to see anything about RAII techniques (http://en.cppreference.com/w/cpp/language/raii). Tightly-managing resources via object lifecycle is probably one of the killer features that C++ brings to embedded.
Napoleon?
What evidence can you provide that Elon is highly intelligent and skilled?

Really appears to have quite mediocre ability to me. Has focused on some quite interesting problems, but mostly his ability seems like PR/marketing.
The post by Paul Graham that inspired this diagram: http://www.paulgraham.com/disagree.html
Celebrity gossip is probably out of scope. But:

- Personal lives aren't really a reflection of how someone runs a business.

- He filed for divorce before starting a new relationship. If he'd done worse, presumably we'd be reading about it. That says a lot about his character.

- For his childrens' sake, it's probably better to live independent and stable lives rather than fighting constantly.

- HN is growing large enough that Elon might want to start posting here (as he does on Twitter), so it's probably not too helpful to incite a crowd into jeering at one side of a story.
Maybe it's pedantic for you, but it's not pedantic for me and others that are precisely the ones who are stuck in the middle of these vague definitions. I'm called both white and colored in different contexts. It often feels like I get many of the disadvantages of being "colored" while also losing out on opportunities due to my supposed "white privilege".
Why do you think Costco won't start doing deliveries? Amazon can target urban, suburban and rural customers. Costco -- with their current model -- only really gets suburban customers.
Kroger is offering these meal kits now. The bonus is no subscription. You go to the nearest one and buy what you like.

I’m sure other large grocery chains are doing the same thing.
> The Boring Company is a sign of someone who doesn't understand the problem.

That rather depends what problem you expect it to tackle. I reframe everything Elon Musk does as testing/developing technologies for interplanetary colonization, which don't forget is SpaceX's very specific vision statement (http://www.spacex.com/about). Back in 2017 he specifically said "I do think getting good at digging tunnels could be really helpful for Mars" and went on to discuss the value of underground colonies in terms of access to ice, radiation protection etc.
This looks a lot like Datomic if you add hashing to the datomic transaction (this would have to be done as a datomic stored procedure). Given that this is hosted I am wondering whether his is using datomic underneath or if it is written from scratch?

Two critiques:

* Given that this is a hosted offering this seems like an odd definition of de-centralized, from my reading a more accurate description would be: allows cross-partition queries. Edit: response below indicates this aspect is missing from the linked whitepaper but available elsewhere.

* The graph database section is hand-wavy. This seems like it could be similar to Datomic where with a small enough dataset you may have amazing performance, but at a large enough scale you will be lacking index-free adjacency.
Cofounded PayPal...started a reusable rocket company in SpaceX. Brought electric cars to the mainstream with Tesla...was in a PhD physics program at Stanford and dropped out.

Like, those results don't qualify to you as someone who is intelligent and skilled?
Seratonin improves posture in crustaceans [1]. I think it probably does in humans as well.

Anecdotally, when I exercise regularly, good posture comes naturally to me.

[1] https://www.ncbi.nlm.nih.gov/pubmed/11800033
What a creep.
> When you work for very intelligent and driven people, they tend to be disgusted with incompetence.

When you work for jerks, you mean. As a society, we tend to tolerate jerks who get results, but let's not hide the fact that those people are still jerks, and that behavior should be seen as something to avoid rather than emulate.
If two different objects expose the same functions then you can call them in the same way. You have no way of knowing, from the function names and arity, whether their semantics are what you need. Once you start asking that question, you are asking the sort of questions that using types helps answer.
How does Uber not have experience operating a physical business? They actually have customer support etc (Google has it for minimal products).
> if Boring co were serious...

Did you miss this one?

https://www.google.com/amp/s/www.cnbc.com/amp/2018/04/16/bor...
He could be considered Greek by nationality (he was born there and was a citizen of the country), and Greek by culture (he was raised there, spokes the language, etc), just not Greek by ethinicity (he doesn't share a generational lineage or has shared history with the ancestors of most people living in Greece).

This is often difficult to be understood in a place like the US, where everybody is from somewhere else and only came there recently-ish (even the arrival of Columbus is not much in European, Asian, etc historical terms), and thus there's not much of any collective ethnicity -- and people soon learn to shred their prior (pre-immigration) ethnic traits and norms in order to fit.
We're already quite good at digging tunnels.
> a practical decentralized database did not exist before FlureeDB

It was hard to keep reading after this.