skysight-inc/HackerNews huggingface dataset:
PAX | San Francisco, CA | Onsite | https://www.paxvapor.com

PAX is a leading consumer technology company that designs and manufactures premium vaporizers for safe and responsible consumption of legal cannabis. PAX devices are compatible with the PAX Mobile App that allows consumers to bring control, predictability, and simplicity to their cannabis rituals.

To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/pax-labs

Recruiting Contact: molly@pax.com

Our open positions:

* All Roles: https://grnh.se/8d25e6c71

* Senior Android Engineer : https://boards.greenhouse.io/paxlabs/jobs/1490605?t=8d25e6c7...

* Senior iOS Engineer: https://boards.greenhouse.io/paxlabs/jobs/1563916?t=8d25e6c7...

* Senior Software Engineer, Backend: https://boards.greenhouse.io/paxlabs/jobs/1490621?t=8d25e6c7...

* Infrastructure Engineer: https://boards.greenhouse.io/paxlabs/jobs/1671812?t=8d25e6c7...

* Security Engineer: https://boards.greenhouse.io/paxlabs/jobs/1664893?t=8d25e6c7...

* Senior Full Stack Software Engineer, Toronto: https://grnh.se/9fdceae41

Tech Stack: Cloud Foundry on AWS for hosting all servers, Akamai CDN, Java 8/Kotlin used on all backend services and APIs, RDS (AWS MySQL) used for account data storage, AWS S3 used for raw storage, RedShift used for analytics, React.js used for web based front end clients (including dashboards), Swift for iOS, Kotlin for Android, Python for Data Science
I mean, what a vague word. Mindfulness.

Come on. You can bend that word to mean anything you want.

It's pretty hand wavey to say that people goof off less when they invest effort and try to take things seriously. Why is this even a discussion?

It's like saying people seem to fall out of their car less when they wear their seatbelts... Gee, I wonder why?
Oh, I'm not disparaging scientists! I'm just not seein how the claim was ridiculous.
SEEKING WORK - San Francisco / New York City / Remote

-------------

hello@bitmatica.com

-------------

Hi! I'm the co-founder of Bitmatica. We build cutting-edge web and mobile products for enterprise and fast-growing startups.

-------------

Our clients:

- Maersk, Capital One, Stanford, AVG, BART, and many more I can mention privately

Our skills:

- Product, UI / UX Design, Full-stack Engineering

- React, Redux / MobX, Node.js, Rails, Scala, TypeScript, iOS (Swift / Obj-C), Android (Kotlin / Java)

Our prices:

That's right, we put them right here.

- Design and Discovery: Turn concepts into a fully-executable roadmap and rollout strategy, managing risk and exceeding expectations. Starting at $23,000

- Prototyping: Fully-functioning versions of new concepts within weeks to demonstrate value, validate with customers, and gather stakeholder support. Staring at $138,000

- Engineering and Launch: Production-ready, user-validated, scalable product. Starting at $184,000
Stop Using That MacBook Pro, Says Uncle Sam
Location: Greater New York

Remote: Yes (Remote Only)

Willing to relocate: No

Technologies:

• Web: ReactJs | ES6/7 | TypeScript | Redux | Node.js | Express.js | AngularJs | HTML5 | Bootstrap

• Microsoft: .NET Core | C# | Asp.Net MVC | Web API | Linq | Entity Framework

• Data: SQL Server | MySQL | MongoDB | Redis | CouchDB

• Cloud: AWS | Azure | Docker | S3 | EC2 | SQS | SNS | RDS

• Packages & Tools: Axios | GraphQL | Redux | WebPack | Babel | NPM | Git | Splunk | SumoLogic | Jira | Sitecore

Email: jainrasik [at] gmail.com
Résumé/CV: https://www.rasikjain.com/resume/

Stackoverflow: https://stackoverflow.com/users/1993944/rasik-jain

LinkedIn: https://www.linkedin.com/in/rasikjain/

Github: https://github.com/rasikjain

Experienced (15+ years) Software Engineer & Architect with experience in FULL-STACK applications in React.js / TypeScript / C# / AWS / Cyber Security. Worked in different roles dealing with Product Development, Solution & Enterprise Architecture, Security & Cloud.
Location: San Francisco

Remote: Yes, though local preferred

Willing to relocate: NYC possible

Skills: Product management, UX design, user research, business development, corporate development, marketing

Email: dwyer.ed@gmail.com

Linkedin: linkedin.com/in/neddwyer

Resume: on request

I'm an entrepreneur turned product manager. Experience in marketplaces (Elto - acquired by GoDaddy), 0-1 + 1-n situations (Director of Product @ GoDaddy), and building kick ass teams.

Most recently built a corporate card product at Spritz... and shut it down. Read the post-mortem here: https://medium.com/@nedwin/spritz-has-lost-its-fizz-94ba6806...

Now looking for a post product-market fit company where I can leverage my experience in product strategy + marketing + BD to build something great - fintech, B2B + SMB focus are a big plus.
Can I move a v6 address between locations/machines?
Indeed, since the former is a Whataboutism.
A tutorial on building RPC layer in a distributed system using Netty
Security Maven Bruce Schneier Is Leaving IBM
This is the 2015 preproduction of the original machine:
http://www.ghat-art.org.uk/mark-1-the-worlds-first-whole-bod...
> The world has released more since that document was produced, than in the whole of human history before it.

Unfortunately there's still a lot of people that think this is a natural cycle and that it's not caused by humans. The sad truth is that for anything drastic to happen we will probably need to wait another 20-30 years for (a) the consequences to be right in your face, and (b) a majority of the old decision makers holding us back to be dead, retired, or irrelevant (no longer have the pull whisper in new decision maker's ears).
I think every owner of a casino knows there is luck involved in their profits, and that the odds are stacked slightly in their favor.

I don't think any owner of a business thinks that there is luck involved in creation of their software systems. They absolutely look at the $10 million per year they are spending on "IT" and look at the $26 million per year in value that spending is unlocking in absolute dollar terms.
More than a cute factor, Norway is investing the wealth derived from fossil fuels in future alternatives to them.

And being the leader in EV penetration, Norway will be able to provide clues to the rest of the world about how the transition will go. Things like:

- At what level of EV penetration will petrol stations start to close?
- What types of business models work for charging? Is it retail stores subsidizing charging stations to drive foot traffic while people wait? Retrofitting streetlights to enable on street parking? Subscription service or pay by the kwh or maybe by the mile?
- Can EVs enable smart grid demand response?
Probably, but why? When every laptop had it's own proprietary charging cable, MagSafe was the best. But I'll take standard charging cable over proprietary every time. I don't feel any need for MagSafe and I don't want MagSafe socket on my laptop (because I think that would made already slow USB-C adoption slower)
Windows 10 Hit Repeatedly by Serious New Vulnerability
Location: Washington, DC | Northern Virginia

Remote: Yes (have remote work experience)

Willing to relocate: Yes

Technologies: JavaScript, PHP, Linux, MySQL, PostgreSQL, Python, Pandas, Selenium, Ansible

Résumé/CV: Available upon request.

Email: dctechj@gmail.com

I'm open to all positions or contracts.

I took a break to complete my degree a few years back. I have recently completed a small project, but I do have a coding resume gap after graduation (open to discussion) that I'm looking to close.

My work experience is focused in full stack web development and managing IT infrastructure. I am comfortable outside of this range and have worked on systems ranging from USB duplication automation, warehouse inventory systems, and 'complex' proprietary databases.

I enjoy working independently or with teams, and have experience developing practical solutions to problems. I am capable of quickly learning new tech on my own time, or absorbing knowledge by working with others.

Current side project: Building a web app using Flask for the backend and React for the frontend.
One factor may be government, vs private parties, control of the companies. For the largest company Equinor, read this quote:

The current company was formed by the 2007 merger of Statoil with the oil and gas division of Norsk Hydro. As of 2017, the Government of Norway is the largest shareholder with 67% of the shares, while the rest is public stock. The ownership interest is managed by the Norwegian Ministry of Petroleum and Energy.
Because when people interpret some behavior being done to the legal extent possible, on average they will do so with a poor understanding of the law and their interpretations will assume behavior which is in line with how they think the law works, not how it actually works. While this is their own misunderstanding, it is common enough and exploited purposefully enough that I don't think one can just declare Caveat Emptor (assuming that to buy into something is also a valid translation, which is probably isn't).
> Right now several apartment societies with 3000+ apartments in them are coming up in my immediate neighbourhood. So next year, we can expect the borewell water to be over way before june (early may?).

Do you mean that a permit had been given to developement project without providing adequate water supply first? And it will depend on borewells?

> Rain water harvesting doesnt works greatly in areas like ours which only get a few months of rain. Where will you keep the harvested water for the next 8-9 months?

Some desert cities in Palestine had a rain once in a three years. Still tanks provided adequate amounts of water.

Seems like India ain't lacking in water resources but in governance.
insert x [] = [x]
insert x (y:ys) = if x > y then y:(insert x ys) else x:y:ys
insertSort xs = foldr insert [] xs

Three lines of Haskell, fully statically typed.

Yes, Idris' proofs are verbose. They're also a perfect validation of the properties that need to be proven, better than any test case in the world.
The central definition of magic at use here is that an act is magical to the extent that control is removed from causation. Something went my way, but I didn't directly do anything in order to make it happen, and there's no rational way to ascertain how. It's as if I waved my hands and my will just manifested.

The key is that behind every act of magic is a hidden jungle of complexity that the magical practitioner must master. A wizard masters arcane correspondences, which largely involve study of magical law, which is a rational domain divorced from human intention. If you mumble the words right and have just the right slice of frog lips, then your fireball goes boom. Or your code has to pass the syntax checker before it can get on with semantic evaluation.

A priest masters the domain of human emotion and feeling, learning how to harness these things to earn mastery over divine power. If enough people believe a thing to be true, the truth manifests, called by a higher power into physical expression in the world. Or your startup manages to find funding because YC gave you their stamp of orthodox approval.

You can't dispel magic because that means that there's no longer any complicated domain that we fail to understand but will pay dearly for a guide through it. Any time you have that, the emergent property of people willing to front-load time and effort for later riches and the dramatic flair for making it all look easy will manifest.
My favorite Culture Ship name to date remains the "Frank Exchange Of Views".

I've had a good time this morning (re-)reading https://en.wikipedia.org/wiki/List_of_spacecraft_in_the_Cult....
There's a bureaucratic barrier in American turbines at 499 feet (152 meters) tall which requires FAA approval and a bunch of related paperwork. So that means turbines larger than 3MW are rare. The calculus may change when >10MW turbines become more widespread. GE is shopping around a 12-14MW design.
"...It's talking about scientists that did NOT switch to writing software as a product, but as merely a way to accomplish their primary scientific goals. ..."

Sure, for this they would do what is just enough to solve their specific problem. Just as ANY sound business would do.
Same with certain United flights. Stream movies onto your own phone from the plane's WiFi.
>I strongly believe that any wildlife hunting/fishing should be prohibited, no matter if it's recreational or for selling.

In some cases, culling of certain wild animal populations is actually beneficial to the ecosystem, e.g. in the case of invasive species, or certain native species whose populations have become unsustainably fast-growing due to external factors (habitat changes; predator or prey population changes, etc.).
Which really means, if we invest in government subsidies for EVs, people will understand the real costs to the petroleum infrastructure (for those of you playing along at home - the petroleum industry gets billions in tax subsidies yearly already, so this would be a leveling of the playing field).

The problem is a political/governance one.
SEEKING WORK - San Francisco / Remote

I'm an experienced entrepreneur (2 exits, several failures) and product manager (most recently Director of Product @ GoDaddy), looking for project based work.

I've had the most impact with clients on:

* Pricing strategy and revenue optimization

* Product management & prioritization

* Customer discovery and user research

Linkedin: linkedin.com/in/neddwyer

Email: dwyer.ed@gmail.com
All mental models are imperfect and have their limitations. If you understand that explicitly upfront, simulations have their uses.

You only get in trouble if you are trying to accomplish something in the real world and being told "Your conclusion is wrong. That sounds nice in theory, but the real world doesn't work that way." And your response is to double down on "But the simulation says...!!!!" instead of going back to the drawing board and checking your assumptions and mental models.

This is a general forum with a lot of programmers and other professionals. Most people here are not professional city planners.

I have a Certificate in GIS. At one time, I was studying to be an urban planner. So I actually have some idea of how this stuff works in the real world.

I also play SimCity. My SimCity example was to say "If you want to understand this concept a little better without getting enough education to become an urban planner, you can loosely simulate this in this readily available game. Here's the way to do that."
Thoughts on Clojure.spec
This has been public for several years, any reason in particular to post it here now?
رائحة المهبل الكريهة مثل رائحة السمك، كيف أتخلص منها؟
There is some truth to what you're saying -- medical professionals need to examine in person, retail employees need to be at the store, package delivery can't yet be completely automated.

If you had said there was no way those employers can work with all their employees being remote, that would be true.

However, all office work could potentially be remote with little or no technical advancement from where we are now. When I look around the city I'm in (Boston) I see a lot of office buildings. I think the potential reduction in commuting is huge.

You mention your feeling that the vast majority of jobs are done more efficiently in person. Do you still feel the same way when you factor in the unproductive hours spent behind a steering wheel daily?
Are You CTO or Data Scientist Excited by EMobility? -London/Co-Founders

I am the founder of Parking Eagle (www.parkingeagle.com).
We make EV travel easy and enjoyable. Our end-to-end services include: facilitating EV car hire, optimal journey planning focused on available chargers and nearby points of interest, and locating charging facilities at the destination (e.g. hotels). We currently deliver these services via our website (www.parkingeagle.com) and app.

We currently are working on an interesting project with the Hartree centre in the UK on augmenting car journeys by what you would like to do, whilst charging.

Are on the hunt for CTO and a Data Scientist. We just won a global mobility call with Engie last week! Beating 37 companies. So, lots of work to be done. If anyone is interested to work proliferating eMobility and engaging with some technically challenging problems, feel free to drop me a line to talib.qayyum@parkingeagle.com.

Many thx

Talib
I read their message as saying USB-C with MagSafe technology to prevent the cord from pulling the machine off your desk if tripped over, and not two separate ports. Basically as it exists but a modification to the cable or connector to have magnetic breakaways or something?
It's also the 5th link "open sourced" in the article.
Emscripten and the LLVM WebAssembly Back End
I recently started a new position at a company that is using Gitlab. In the last month I've seen a lot of degraded performance and service outages (especially in Gitlab CI).

And then I see stuff like this that makes me scratch my head: https://about.gitlab.com/product/service-desk/

If anyone at Gitlab is reading this ... please, please slow down on chasing new markets + features and just make the stuff you already have work properly, and fill in the missing pieces. Example: https://gitlab.com/gitlab-org/gitlab-ce/issues/63880
IIUC if you are holding locks for a very short amount of time you will have a higher probability of finding the lock free if you don't form queues on it in the first place, and you are able to make more progress without context switching.
Although this makes the locking unfair, if each process holds onto it for only a very short amount of time avoiding the convoy and context switching overheads may be a good tradeoff for some unfairness.

I don't think this would work for all kinds of locks, in particular not for locks that are held for long or unpredictable amounts of time (i.e. those involving I/O), but it should work great for in-memory data structures if you can avoid taking a pagefault while dealing with the data structure.
> multiply by the LarryDarrell Constant of 1.5.

Funny thing. If you do this organizationally, then you eventually end up making larger and larger estimates. IMO it is better for management to understand the inherent risks associated with engineering estimation and build the padding on their end.
I saw this as a child (full of wonder) in the 1980's. It was still in active use during the shuttle missions. I've always wanted my children to see it and now that can.
Root Insurance Co| Columbus, OH / Chicago, IL | Full-time | Onsite / remote (US only)| $80k-$170k
https://root.engineering/

Root is an auto insurance carrier, like GEICO and Progressive. We use data science to identify and insure good drivers, reducing insurance premiums for good drivers significantly as a result.

We're a startup — we're 600+ people who have been working on this since March 2015. We've built an iOS and Android app that gathers data on how well people drive. We use that to set insurance prices. To build the best possible product and user experience, we went through the arduous process of starting an insurance carrier from scratch.

We're focused on becoming a national insurance carrier and are now live in 24 states.

We've raised $180M in Venture Capital since 2015 and we're scaling rapidly. To do that, we're looking to bring on more exceptionally talented engineers. Whether you're just getting started out in software development or someone who is looking to lend your experience in leadership to a rapidly scaling engineering organization, we plan on doubling our engineering team in the next year alone.

Our tech stack involves Ruby / Rails and Javascript / React Native. However, we're not only looking for people with experience in our stack but rather we're looking for experienced technologists with sound engineering fundamentals using any technology.

We're actively hiring in Columbus, OH and are also building an Engineering Team in Chicago, IL that will be working very closely with our telematics data. This team will play a major part in where we're headed, and we're searching for experienced Engineers who are looking to have a significant impact by building and leading a team from scratch specifically in Chicago.

Email us at enghiring@joinroot.com to apply and either Tim or Chris will respond to you promptly.
I wonder if the aversion is not to the task itself, but to the disruption of cognitive frame. Now that I think about it, I never have a problem with simple chores like laundry--I just hate tearing myself away from whatever I'd otherwise choose to be doing.
> Memorising docker commands is hard.

I wouldn't agree. Literally: run, build, delete, ps, rm.
Uncountable | San Francisco (Onsite) | Full Stack / Front End, Machine Learning, Enterprise Sales
https://www.uncountable.com/careers

Uncountable accelerates the innovation of the world’s largest manufacturers. By leveraging advanced artificial intelligence techniques, Uncountable's algorithms get better material and chemical products to the market in half the time. We currently have fewer than 15 employees and are located in the Design District in SF.

Senior Full Stack / Frontend Engineers | $120k - $170k + Equity

---> Uncountable is looking for an experienced engineer who can spear head the development of the Uncountable Web Platform. The position is an 70/30 mix of front-end and back-end with the primary challenge being overcoming UX challenges.

Enterprise Sales | $70k - $120k + Commission & Equity

---> Uncountable is looking for resourceful, scrappy, and driven professionals to grow out our sales and business development team. As a sales representative, you will be responsible for generating leads, pitching Uncountable’s AI platform to Directors/VPs, and closing enterprise deals.

These are all onsite, full-time positions in San Francisco, CA. Learn more: https://www.uncountable.com/careers

Contact: jason@uncountable.com
Kubernetes Universal Declarative Operator (KUDO) v0.3.0 Released
If you Google it you'll find several comparisons to k8s and others.

I looked into this a while back, and Service Fabric was a clear winner over k8s, and resource use was a fraction of k8s too.

But, I felt it needed to gain community traction before I could commit to using it - knowing my luck, I'd build something and Microsoft would abandon it because k8s...

Kind of a chicken and egg problem, which is a shame really.
"A week" is a terrible estimate for complex things that have components that you can't foresee. If you lose "a day" on some problem outside of your control (compiling starts to fail and it turns out someone checked in some code into your branch by mistake), you've basically wasted 20% of your estimate.

Never say a week when there's the chance something will require a month because you didn't understand it.

You need to learn this lesson. A week is a blink of an eye in software, and only things you understand take a week.
The effect of modern medicine is actually mostly muted in the data, excluding infant mortality, because of other factors (diet, fitness, environment.)

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC2672390/

Between 1850-1880, life expectancy in England was as long or longer than it is now. This predates antibiotics and nearly all vaccines, let alone what we today think of as advanced medical care.
Agile was dead to me when I finished my PhD and joined a company that paid a Scrum consultant more than they paid me to help us move tickets without knowing what was the project about.
Why TikTok had more downloads than Instagram in 2018
Gitlab Supercharged – Introducing Gitlab Dashboard