skysight-inc/HackerNews huggingface dataset:
Igalia | Multiple positions | A Coruña, Spain | Full-Time | REMOTE | https://www.igalia.com/nc/about-us/

Igalia is a worker-owned, employee-run company with 17 years of experience building Free Software in a wide range of exciting fields. We work on the core of such widely-deployed projects as the WebKit and Blink browser engines, the Mesa graphics drivers, the V8 and JavaScriptCore language runtimes, and the GStreamer multimedia toolkit. We are also at the cutting edge of high-speed software-defined networking with our work on Snabb Switch. At Igalia, you can develop your career in a unique environment, participating equally in the management of the company via our democratic, consensus-based assembly structure.

Igalia is a remote-friendly working environment, enabling employees all over the world to participate fully in the company culture. Our team includes employees based in Asia, Europe and America, spanning both timezones and cultures.

One of the core principles of Igalia is equality, so we feel a deep and continual obligation to acknowledge and counter the structural discrimination that permeates our industry and our world. In a practical sense this means that we use principles of diversity and inclusion to help shape company policy and to maintain a safe and just work environment. We also feel that one of the best ways to accomplish these goals is to grow and maintain the diversity of Igalia itself. We welcome applicants regardless of their age, disability, gender, race, marital status, religion, sexual orientation or whatever type of systemic discrimination that they have faced.

Our current open roles:

* Browsers developer (Chromium focus): https://www.igalia.com/nc/about-us/form/chromium-developer

* Browsers developer (WebKit focus): https://www.igalia.com/nc/about-us/form/webkit-developer

* Browsers graphics developer (WebKit focus): https://www.igalia.com/nc/about-us/form/webkit-graphics-deve...

* Communications and marketing manager: https://www.igalia.com/nc/about-us/form/communications-and-m...

* Graphics developer: https://www.igalia.com/nc/about-us/form/graphics-developer

* JavaScript engine developer: https://www.igalia.com/nc/about-us/form/javascript-engine-de...

* Multimedia developer: https://www.igalia.com/nc/about-us/form/multimedia-developer

* Web platform engineer: https://www.igalia.com/nc/about-us/form/web-platform-enginee...

* Project manager: https://www.igalia.com/nc/about-us/form/project-manager

* Sales engineer: https://www.igalia.com/nc/about-us/form/sales-engineer
Apple had at least two other revenue sources when Scully was there†. Apple II was still selling. There was also the LaserWriter. It was tied to their desktops, but their ecosystem today is also interdependent (eg: "services").

Apple was less big in the 80s than today, but they were still huge. There's a reason they lasted a decade despite uninspired management.

The situation is remarkably similar, if you ask me. Just replace IBM/MS with Android vendors/Google.

† Edit: on second thought, it's not necessarily a plus to say Apple is working on many different products. That was part of the problem post-Steve. See: https://youtu.be/xchYT9wz5hk
> When there are expected dimensions of software change, it can be worth paying the cost to create software with higher flexibility. Flexible software is harder to create, more complex, harder to understand, and harder to maintain.

I agree with what is being said, but the way it is coming across doesn't work for me - I had to go back to the first sentence because the "harder to maintain" confused me: What is maintenance if not making changes? If so, flexible (less coupled) software is easier to maintain (over time). But the author's central point feels correct: flexible software is requires more effort to think of writing in that way.

What definitions of "maintenance" and "complex" is the author using and how are they different from mine?
Controversial opinion:

He is not wrong technically. However, they are not at fault either.

Many people are dumb about things outside their scope. This happens.

Dumb is a little better than fucks though. And ignorant is likely best. He is well out of bounds on this aspect.

Treating people with disdain is very highly inadvisable. Nobody actually needs, nor benefits from it. This is very expensive gratification, among other questionables...

Frankly, they will trust. Once they do, there is money to be made. Many Googlers really get this, for example. Users give them credit too. A lot of credit, and it is worth something. Worth billions, frankly.

And they want, many need to trust. That is non trivial in both value and basic responsibility.

If it were me?

Shut up, make the money, treat them right, take it seriously, try really hard, add value to their lives and so fucking what if they cost sometimes?

It is paid for many times over. Many, many times over.

I think people who go down this road will both get more than what would normally come their way, and deserve it and then some.

Professionals of all kinds have some basic code of conduct norms and often rules for these reasons.

FB made people, the founder insane wealthy.

One would think that funds decency, at a bare minimum.

Flame on. I have pretty much zero sympathy related to completely avoidable, unforced errors like this.
In case it helps, from Wikipedia[0]:

TLA+ (pronounced as tee ell a plus, /ˈtiː ɛl eɪ plʌs/) is a formal specification language developed by Leslie Lamport. It is used to design, model, document, and verify concurrent systems. TLA+ has been described as exhaustively-testable pseudocode,[4] and its use likened to drawing blueprints for software systems;[5] TLA is an acronym for Temporal Logic of Actions.

For design and documentation, TLA+ fulfills the same purpose as informal technical specifications. However, TLA+ specifications are written in a formal language of logic and mathematics, and the precision of specifications written in this language is intended to uncover design flaws before system implementation is underway.[6]

Since TLA+ specifications are written in a formal language, they are amenable to finite model checking.

[0] https://en.wikipedia.org/wiki/TLA%2B
Luckily, almost no one uses flickr anymore these days, not gonna be that much rot.
Haha, come to Asia. You people haven't seen a thing. Not only are there far more people in far less space but personal space norms are drastically reduced, and in some cultures queuing unheard of. Here in China doing anything amongst a group in public is like catching a schoolbus... elbows out, grannies included!
It could, but if you rely on being sent a calendar invite you'll miss the event, because people aren't sending calendar invites, because everyone is on Facebook, because people aren't sending calendar invites, because everyone is on Facebook. This is the network effect, as the parent post was saying.
>>Phase 1 residential goes in and gets certificate of occupancy, next day "phase 1 went way over budget, we just cant do it right now." Not all developments go this way but a lot do.

Sounds like a great reason to blacklist that developer for, say, 5 years.
FIRE: The movement to live frugally and retire decades early
Three paralyzed men walked again after receiving electric jolts to the spine
Blog post: https://code.fb.com/ml-applications/horizon/ (would be a better link if that can be changed)
Having the blacklist at all was deemed to be a violation of data protection law.
It is. That is, the difference between a full airplane and an empty airplane in terms of fuel burn is quite marginal, maybe even less than 1% net fuel burn. This is because how heavily an airplane is loaded does not change its drag coefficient. A heavily loaded aircraft will not climb as quickly as a lightly loaded aircraft, but for the airliner, that just means it gets to cruise altitude a minute or two later than it otherwise would.
> I saw many examples on the net of people putting role/authorization and various other types of session information within the JWT and it just looked insane to me.

Why is this crazy? If you encrypt your JWT with a private key that is only known to the server, then any modification to the JWT will lead to an invalid token.

The only thing here is that the list of roles granted is visible to the user if they were to decode the JWT, which is something you might not be entirely comfortable with but I don't think it's totally crazy.
I wonder why the last-minute-inventory auction model is so popular for hotels and not for flights.

I get that not every flight is equal, but nor are hotels, yet they have systems for blind comparisons.
Why shouldn't I host it myself for €5/month?
Here Are The Stories Women Are Telling During The Walkout At Google Headquarters
Hope they'll be contacting archive.org before deleting those pictures of the free users with more than 1000 photos.
Show HN: I Installed Linux on my Hat
You should ask someone in Europe who use the same tools to do a GDPR request on their data. Something interesting may show up.
Why the “circumcision solution” to the AIDS epidemic in Africa may increase it
Go back and re-read the title, it's literally advice for Software Engineers.
Why not use this time to "sell" us your function as a service platform? You keep saying its a function as a service platform, but I still have no idea what it is or why it would be useful. I think you're missing a perfect opportunity to tell us more and get feedback from your potential customers (considering the HN crowd is full of developers/managers).
Yeah, it doesn't seem fair to call someone a crank if they have a lucid point with a subtle, hard-to-spot flaw; such arguments are typically wrong in interesting, useful ways.

Edit: At risk of self-congratulation, that's what I feel is happening to me on HN when I try to meticulously untangle a complicated issue where I feel people are talking past each other, and then get quickly downvoted but never responded to. Case in point:

https://news.ycombinator.com/item?id=14310444
What Does Working From Home Do to Your Immune System?
LUKRUM – Crypto and Bitcoin Portfolio Tracker App
Apple Music has gotta be a big chunk of the increase. It was at 17 million subscribers in Sep-17 and was at 50 million in May-18 so that's +$1B a quarter right there.
It's not free to participate.
I don't think you were misunderstood. But, I think the way you think of freedom is that one has an absolute freedom do do whatever, including infringing on other freedoms whereas others disagree.

By analogy; if one is free to rob someone, they're more free in absolute terms than they're free if they can't do that, but then the person who is about to get robbed isn't free to feel secure. So in other words, the robber is more free, but at the expense of the robbed.

In that sense, the BSD license is more absolutely/selfishly free for the individual, whereas the GPL is more freedom-perusing for the entire community.
Again: airline yield management is a deep and arcane art. We get glimpses of it through their public policies and pricing, and we can guess at some things through public financial statements that disclose or let us calculate their CASM/PRASM/etc.

But the moral of the story is it's not as simple as "selling the seat is always better".
They are not dumb, it's an information asymmetry problem.
https://en.wikipedia.org/wiki/Information_asymmetry
If all people knew how much of their personal lives they share, Facebook adoption and usage would have been different.
Last time I tried to watch something via the HBO Now website, it said I needed to install Flash. That's the definition of terrible for me.
Was this article flagged in some non-visible way? I don’t see it anywhere in the first 7 pages, despite having 123 points and a post time of just 16 hours ago. (Only noticed when I came back to it hoping for a reply to an earlier comment.)
There was a lot of judicial push back on the Muslim ban. Pretty sure they forced the Trump administration to make significant changes to it before it could be enforced.
funny guys, so instead 1TB of space you are giving me now roughly 5GB on par with dozens of free cloud storages and you think for the money you ask for pro account i won't rather set up my own paid cloud where i have complete control over my content instead of some smugs?

flickr app it's absolutely horrible, impossible to organize or share photos which i would like to do, but it's pretty much impossible so i just used it as backup, so good luck with your business if you think you will turn those free users into paid with this strategy and i will keep my public photos there for people to see, just going to delete account (10yo+) and finally get rid of yahoo account (at last one benefit from this mess), because apparently photographer enough if i am not willing to pay for sharing few photos andyou think 1000 photos it's enough for years

and if someone is into real photography they are already long time on 500px, so once again who needs paid flickr? might as well shut it down instead of this slow death and blackmailing users who dunno any better how to transfer photos and set their own cloud
That's counterproductive, Felipe, I'd appreciate if you deleted your comment.

Let's see you do the rest though.
I'm not sure about the history. It looks like UHC supported existential types at some point, but I'm not sure how that would interact with what I am presuming is a more sophisticated system in GHC Haskell.

This post had some interesting tidbits about technical challenges, but I didn't fully grasp everything on first read: http://blog.ezyang.com/2016/04/hindley-milner-with-top-level...

I really like tome's observation in the other comment: universally-quantified types have a direct encoding in System F as type abstractions, but there is no such direct encoding for existentially-quantified types.
#BLEEDINGBIT #Bluetooth flaws in TI chips expose enterprises to remote attacks
Yes. First point is it's culturally less obtuse because it's a western frame of reference. Second, it's historic fact. More interestingly, they adapted the tools toward peaceful uses making carrying them frowned upon in public. While the same has been considered before for guns, eg. a smart gun which only chambers a round or fires when in a designated recreational shooting zone, time or season, or when pointing in the right direction, etc. ... the reality is that clawing 100s of 1000s of firearms out of the general US public is not going to happen.
so... add a clause for officer discretion, like is already implied to exist? having it as an invisible clause doesn't make it any more or less game-able.
I live directly over a grocery store, and let me tell you, it's fantastic. The only problem is that the fire alarm goes off more often than normal, because of false alarms from the grocery store.
I was looking down Post Street last night and saw it, but thought it was just flames, since it was at the wrong angle to see the eye itself. This is a lot more fun.
Obligatory link to one of the many corporate bullshit generators around, though this one creates entire documents and not just sentences. Just in case someone needs one :)

https://lurkertech.com/corpspeak/
That is, I don't need an alternate theory in order to falsify yours.

I phrased that poorly: what the critics need to explain is the apparent agreement between the prior model and the observations. It wasn't just a case where someone looked at an oscilloscope screen and said, "Whoa. Look at that. Aliens!" As I understand it, the LIGO results showed good conformance to their predictions.

Does that make their position completely bulletproof? No, nothing in science ever is, but it does place Jackson's dispute into the category of "extraordinary claims."
> Someone who accumulates reports continuously as team members change probably is.

No. If the system is truly anonymous, then people outside the team can submit reports. Continuous accumulation would not indicate there is probably a problem with the accused, given the motive and opportunities for abuse of the reporting system.

Elsewhere in this thread the difference between anonymous and private is discussed, along with semi-anonymizing strategies for achieving privacy protection, which I believe would be helpful for the outcome you describe.
Time to start spoofing my wealthier friend’s phone numbers.
I like how the first comment muses about porting it to Amiga, and Linus reiterates that no, sorry, it's completely impossible to port. Just way too hardware-dependent, don't even bother trying.
>we ought not to operate as if we believe conclusions made on the basis of what we have not confirmed.

What?
Lugg | Front End / Back End / Full Stack Engineers | San Francisco (Remote Ok) | https://lugg.com

Lugg is building the best way for you to get anything moved. We partner with some of the biggest retailers in the world like Costco, IKEA, Restoration Hardware, and Pottery Barn to power same-day delivery for big and bulky furniture. With the push of a button, you are connected to movers and a truck who arrive, load, and haul anything you need. We make it dead simple to get your new furniture home, your craigslist purchases delivered to you, moving all of your stuff into your new apartment, and even donating to your local charity.

Seeking:

Front End Engineers - React, React Native, ES6, HTML, CSS Back End Engineers - Ruby, Rails, Node.js, Postgres, Redis Full Stack Engineers - All of the above

Email jobs@lugg.com to apply.
It’s not a criminal trial.
> The patent system needs to be changed in some way.

But is has. It's the changes in the patent system in the past decade that is forcing this patent troll to shut down. To wit:

* The US changed from first-to-invent to first-to-file. This reduces opportunities for patent trolls to patent obvious stuff that other people invented.

* Bilski and Alice have very firmly shut down the motherlode of crap arising from the State Street decision. Business method patents, and "do X on a computer" are quite invalid.

* Inter partes review makes it easier to challenge patents, and SCOTUS last year upheld it as constitutional.

* Venue shopping to get that one court that will always rule in favor of patents got a lot harder, as the TC Heartland case says you can only define the residence of the corporation as its place of incorporation.

* Prior use defense: if you used a method before it was patent, you don't have to pay to license the patent.

I think there are some other reforms that could be made (the big one is moving from one fixed term for all patent categories to varying it by industry), but life has gotten much harder for patent trolls.
The programs are full of loopholes. So yes, business flyers paying on company dime are footing the bill, but the clever travel hacker can often get a great deal in the process.
It's tough, I agree. Is it naive to think you can have a positive impact from within though?
Web app to access multiple Machine Translation engines (all of them)
Yup, I'll have had my 6S Plus for 3 years in December. With a new battery and the new OS it's still a very high end experience. 6S Plus was when they added optical image stabilization, so the camera is still pretty good too. Cost $1k brand new then and I'll probably drop the same $$ or more for a maxed out iPhone whatever in Dec 2019.

If only their laptops were this high quality.
Editor for decentralised article publishing, annotations and social interactions
Ewine van Dishoeck, the Netherlander Who Traced Water’s Origin
Show HN: A rapper that just makes painfully true songs about being a developer
In my experience places in the US that have strict aesthetic zoning rules end up with bland cookie-cutter buildings that look like a disneyfied facsimile of the aesthetic they are are trying to enforce. I don't know if the problem is in the details of their regulations or if the entire idea fundamentally failed, but I'll take unregulated variety over forced aesthetics anyday.
The only assets are these patents which will be sold at auction for pennies on the dollar. The creditors will get nothing. The lawyers running the scam will get contracted by the new holding company and the game will begin again.
Not necessarily. Two round trip in economy to Asia in a year will get you bottom tier status. Quarterly trips in business (not uncommon if you work at some big company) would get you top-tier status.
Decisio Health | Senior Engineer | Houston, Texas | Full-time | On site | https://www.decisiohealth.com/

Decisio is hiring a senior engineer to join the team responsible for building, validating, and operating the clinical data processing pipeline and API endpoints behind Decisio Insight. We need help right now with migrating our application to Kubernetes and scaling to meet the demands of larger and increasingly frequent deployments.

We're a Python 3 shop that makes heavy of use of technologies like Docker, Kafka, and PostgreSQL. We take devops seriously here, automating what we can and monitoring everything so we can make continuous improvements to our product. We're also active in the local Python community. We sponsor and host the monthly PyHou meetup group and are a past sponsor of the annual PyTexas conference.

More details and application at https://www.decisiohealth.com/sen-eng/
ReadMe (YC W15) | Multiple Positions | San Francisco | Onsite

We're hiring Node engineers and product designers! ReadMe makes creating beautiful API documentation easy.

We're a small startup with a big reach, so you'll be able to have a huge impact. Come work with us! https://readme.io/careers/
On Android I browse by default with Firefox Focus and only to use sessions like posting this response I copy the URL to chrome and make the post. Than I'll go back to Focus. It's crude but Firefox Focus beats all browsers privacy and responsiveness on Android imo.
Basically I agree with this sentiment "So what should we conclude? Green et al. get it right: “Before circumcising millions of men in regions with high prevalences of HIV infection, it is important to consider alternatives. A comparison of male circumcision to condom use concluded that supplying free condoms is 95 times more cost effective.”"
It’s still worth noting that apple does not meet every need if people are making carte blanche value statements.
The three points are spot on! I have done a couple of these in my career. Great summary!
While I'm reading this, I feel more and more like asking: Am I the only one that finds TLA+ much easier to read and write than PlusCal? It's an odd thing to say, with PlusCal positioned as the easier option.
PS: I made a small Twitter thread, with a GIF of a project I am quite proud of (Gali X, an autonomus robot for the french robotic cup). You can take a look and optionally retweet :)
https://twitter.com/Nodraak/status/1049261777299673088