skysight-inc/HackerNews huggingface dataset:
my whole gripe with a strict type system , is that it does not need to be a language feature the same way tests/IDE dont need to part of the language.

you can add them if you need it but it shouldnt be a center piece , what should always come first is the feature / tech spec.

Python has a great type system aswell its objects all the way down. And you can mix and match how you see fit. If you have identified that type checking is crucial part of the tech spec as a sanity check or otherwise you can import type checkers(ie mypy) with a very focused api to solve that problem.

And in my opinion type obsession obscures the techspec rather than clarifying it , and places a large burden when the question of changing the spec comes. The simple cognitive load of keeping track of all the int's which need to be made to str's can drain you and make you loose site of the functionality.
OddSmash – powerful tool for discovery of fair probabilities
> I've had to GC more than one repo where someone accidentally added an innocuous binary file

My god, the things I've seen in repos. vim .swp files. Project documentation kept as Word documents and Excel spreadsheets. Stray core dumps and error logs in random subdirectories, dated to when the repo was still CVS. Binary snapshots of database tables. But the most impressive by far was a repo where someone had managed to commit and push the entirety of their My Documents folder, weighing in at 2.4GB.
World's largest storage battery will replace gas peaker plants in New York
Carriers are important because they provide the ability to launch and resupply aircraft, which is critical to seize and maintain control of the enemy's airspace. Long-range missiles do nothing to control airspace. They let you hit enemies far away but do nothing to stop enemies from hitting your guys or cut your supply lines.
A mentor often repeated the title of Niklaus Wirth’s 1975 book “Algorithms Plus Data Structures Equals Programs”.

This encapsulates it for me and informs my coding everyday. If I find myself having a hard time with complexity, I revisit the data structures.
If you introduce a coupling, then yeah, they'll be coupled.
They have a built in command for their 'certbot' cli now that you can use to have your certificates update automatically.

(It's been a bit sinse I went through it but I think it may be as simple as a extra flag in the command to generate the inital cert)
Yes, it's stable.

Yes, people are using it in production. (Examples at https://www.reddit.com/r/Python/comments/bv50uz/is_anyone_us... ).

Is 'pip' a decent enough packaging solution?
As a heterosexual white male I find that oversimplification disrespectful. None of my known ancestors had anything that could be described as power or wealth, quite the contrary. I find it insulting to blame my skin color and sexual orientation because the elite who mistreated my ancestors mistreated also other races.
El Al Story
Zip Fuel
Presidential Innovation Fellows (PIF) | Marketing and Outreach Lead | Washington, DC | ONSITE | https://pif.gov

The Presidential Innovation Fellows (PIF) program team is looking to hire a Marketing and Outreach Lead. Our program pairs top technologists, entrepreneurs, designers and innovators from the private sector to team up with forward-thinking government agency partners to tackle challenging problems for the American people.

Our new class of fellows will be digging in on a range of important work including helping the U.S. Food and Drug Administration modernize and enhance its technological and data capabilities; helping the U.S. Department of Veterans Affairs become more data-driven and better leverage AI; working with the Millennium Challenge Corporation to leverage the digital data revolution to enable partner countries to drive their own development priorities; and helping the Centers for Medicare & Medicaid Services modernize their technology so that they can share data across the healthcare ecosystem to support data-driven decision-making and innovative research.

Does this type of work sound like something you could passionately endorse? Do you love to inspire people to action? Are you amazing at telling a story that really pulls people in and truly engages them? You could be the right person to join the PIF program team and serve as our next Outreach and Marketing Lead.

This position requires a confident leader who is assertive and able to bring big ideas to the table. A creative, conceptual thinker with big, outside-of-the-box ideas who is also a tireless executor, able to roll up their sleeves and translate those big ideas into action and business results.

Read more about the role here:
https://join.tts.gsa.gov/join/outreach-and-marketing-lead/

To apply, please send your resume to JoinTTS@gsa.gov with the subject line "Presidential Innovation Fellows - Outreach and Marketing Lead".
I have experience with CSS and can help with #2

My email is in the profile.
Wouldn't the result be skewed if it didn't include Netflix?
>It is difficult to get a man to understand something, when his ideology... I mean salary depends upon his not understanding it
Cool, enjoy some well deserved time off!
I learned Python in 2011 for a Django project.

> embedded stick-in-the-mud Python2 developer

Python (CPython) is also getting crowded out on the low-end thanks to native languages getting easier: Rust, Go, even modern C++.
> we are no better than the Chinese government who have banned countless "American" apps

If someone punches you (bans your apps, bans your companies from operating and acquiring companies in their country) and you then punch them back (ban their companies from acquiring companies in your country) you are not the same as them.

The order matters and they started it.
I'm not sure why this is being downvoted; this really isn't that simple an issue and there's good points on both sides. While I think the police response here was utterly ridiculous, I would like to know why the homeowner supposedly needs so much money just to rebuild the house. Houses aren't valued by how much it costs to rebuild them; they're valued on how much you can get someone to buy them for, and an appraisal value is based on how much the land is worth (location, location, location!!) plus the rebuild cost. Insurance value is generally based only on rebuild value. Most of the value of this particular house should have been the land alone, and the police ineptitude didn't change the value of the land. The only additional cost is really the cost of demolition, which shouldn't be that much: bulldozers aren't that expensive to run for a day. What's more, the house's foundation is most likely in usable shape, and that's a significant minority of the total rebuild cost. Homeowner's insurance isn't supposed to pay you enough to build a house twice as big as your current one.
Location: Mexicali, Baja California, Mexico (NO US VISA SPONSORSHIP REQUIRED)

Remote: Yes

Willing to relocate: Yes

Technologies: Linux, C / C++, GDB, virtualization, Haxe, NodeJS, Full-stack, HTML, CSS, RESTful APIs, Mongo, Git, Codefresh, Jenkins, TypeScript, Docker

Résumé/CV: https://drive.google.com/file/d/0B6hC_qDHYugPT0VDQzF5aERoNlh....

Email: edgarmv97@gmail.com

Experience: Google (full-time, internship), Linio (full-time), Gameloft (full-time)

Linkedin: https://www.linkedin.com/in/edgar-magdaleno/

Looking for a remote or new grad position (graduating June 2019). I did kernel development during my internship at Google, I built a simple native compiler, I've done some CTFs (hackthebox) and binary exploitation. Love anything security / low-level / Linux related.
Real Geeks | Software Developer, DevOps Engineer | Dallas, TX | Onsite

We develop solutions to help real estate agents grow their businesses. Founded 10 years ago, we are a profitable, fast growing company of ~60 people who are passionate about helping each other and our customers succeed. Our team has a positive and supportive culture. When you need help, your teammates have your back. We value an atmosphere of leading and teaching and are always pushing each other to grow personally and professionally.

Our platform consists primarily of Python (Django) web apps, in addition to several core services written in Go, and a handful of services in other languages. Our infrastructure runs on AWS using modern tools like Terraform, Docker, and Kubernetes.

We’re looking for an experienced software engineer who has a solid understanding of web technologies to join our dev team of 12. If you're someone who is excited by your craft and who craves to share your skills and expertise with teammates, you'll be a great fit.

Apply on SO:

- Software Developers: https://stackoverflow.com/jobs/289190
- DevOps Engineer: https://stackoverflow.com/jobs/289189
Thirdlove | Frontend Engineer, Fullstack Engineer, Product Designer | Fulltime/Onsite | SF

Thirdlove is a company for women by women. We are disrupting the bra industry by offering over 78 different sizes including our signature half cups.

We are hiring 3 positions for our Growth team - 2 software engineers and a product designer.

Open roles here: https://careers.thirdlove.com/
A Questionable Sigir 2019 Paper
It's only bad when other countries do it.
No, it didn't. NetMarketShare has a very limited view into these things. Actual data from browser makers

Firefox - 80%
https://letsencrypt.org/stats/

Google -- 88% on Android; 84% on Windows; 91% on Mac; 73% on Linux
https://transparencyreport.google.com/https/overview?hl=en
> Agreed. Authoritarian governments with morally questionable methods were and are better than the West at Humanint and propaganda. Russia and China are two good examples. I recently saw a documentary about North Korea. It was talking about the Clinton talks, NK would study everyone they would speak to. They also knew with an election would change guards and wait to get what they wanted.

Do you think that the US Department of State, or the foreign ministries of any other country of note don't do this sort of thing?
While this milestone is wonderful, don't forget that it can't be decrypted for now. IMO we trust contemporary encryption algorithms too much, putting too much data through the wires that will only increase in value. We aren't at the end of the evolution either: we still don't have really secure random generators everywhere, we are still using key exchange methods that aren't quantum proof. And of course, computer programs (as well as hardware) still have security bugs.
Reflecting on My Past 3 Years at an Early-Stage Software Company
Factual | Software Engineers and Data Scientists | Los Angeles | https://www.factual.com/company/careers/#career

Factual is currently hiring Software Engineers and Data Scientists, at all levels, in the Los Angeles office. Remote positions available for experienced candidates. Factual is the location data company that the world’s most valuable brands and technology companies trust to understand and intelligently grow their businesses. We help engineering teams, marketers and data analysts build the best digital products, deliver more impactful marketing and transform their businesses with the most accurate and comprehensive data on places and people worldwide.

There are many challenging problems to work on at all layers of the stack: data cleaning and canonicalization, storage, deduping, serving, APIs, improving data using machine learning, etc. If you love data, Factual is the place to be. Experience with Clojure, machine learning, NLP, algorithm design, or Hadoop/Spark is a plus!

You can email me personally at alexr@factual.com, or view our job postings here: https://www.factual.com/company/careers/#career
SEEKING WORK / Remote / Based in Los Angeles / Designer + Developer

I have 15+ years of experience as a graphic designer and web developer. I create websites, brand identities and marketing material for a variety of companies including startups, agencies and non-profit organizations. In addition to my design skills, I have thorough knowledge of full-stack web development.

DESIGN: websites, mobile apps, logos, banner ads, marketing material, advertising, billboards, trade show displays, packaging, 3D modeling, photo retouching

DEVELOPMENT: HTML, CSS, LESS, JavaScript, Angular, jQuery, Node, PHP, Python, Django, MySQL, PostgreSQL, Bootstrap, Foundation, REST APIs, Wordpress, Git, Webpack, Grunt/Gulp, <3 Static Site Generators

PORTFOLIO: https://sunderland.studio

LINKEDIN: http://linkedin.com/in/stevesunderland

CONTACT: stevesunderland[at]gmail.com
2 years seems too short. IMO you start looking less valuable at some point because anyone looking to hire you knows you're going to bail in 2 years, which may reduce their willingness to invest.
I guessed that this would be an article about how mathematicians are starting to become newly important today, with the rise of ML. Most use of mathematics we rely on, up to the present, is performed by non-mathematicians.

Off by only five centuries...
In larger companies, switching teams is a good way to get out of one’s comfort zone and avoid taking a bigger risk.
Disclaimer: I don't work for or have any business relations (other then as a customer) with greyhound
10x Genomics | Pleasanton, CA & San Francisco, CA | Software Engineers, multiple levels

Target cancer, not ads.

If you're a software engineer looking to use your powers for good and improve human health without compromising on cutting-edge technology, reach out and let's chat!

10x Genomics is a fast-growing biotech company that develops software, hardware, and chemistry that enables researchers to study disease at an unprecedented resolution. Researchers at 93 of the top 100 global research institutions and 13 of the top 15 global pharmaceutical companies use our technology to make groundbreaking discoveries in diseases like cancer, Alzheimer's, cystic fibrosis, asthma, and many more. We went public this year as the largest healthcare IPO of 2019.

Software is an integral part of the 10x Genomics product. We develop software to convert petabytes of raw sequencing data to biologically actionable data that scientists can explore programmatically or visually. We develop internal and customer-shipping systems in Go, use React/Redux, Typescript, and Electron for easy-to-use visualization applications, and are making increasing use of Rust to accelerate and harden our bioinformatics code.

There are open positions for front-end software engineers (remote-friendly), full stack engineers, backend engineers, QA engineers, SREs, computational biologists, and firmware engineers. Please contact me directly at kevin.wu@10xgenomics.com with your resume. You can find all of our job listings at https://www.10xgenomics.com/careers/.

We're offering:

- Competitive salary with equity
- Work with domain experts across a variety of fields
- Medical, dental, vision, FSA, 401k, ESPP
- Unlimited vacation policy
- A beautiful new HQ 10 minute walk from West Dublin/Pleasanton BART
- A satellite office in downtown SF at Embarcadero
- Eat Club (at HQ) 3 days a week and unlimited snacks
- The existential satisfaction of knowing your software is being used to study and improve human health

We look forward to hearing from you and good luck on your search!
you can also use vim's built in terminal multiplexer if you have vim 8 or newer. The benefit with using the vim variant is that you can apply most of the vim features to terminal use. i.e. you can use vim to sift through terminal output, you can make vim macros that leverage the terminal as well, and you can yank and paste using vim registers.

Still not as polished as tmux in some ways but I've found it to be a very nice improvement over tmux with vim. Mind you when doing this I still use vim inside tmux so that I can detach and so that I get a bit more consistent terminal output between devices.
The fact that Let's Encrypt certificates expire quickly is a feature, not anything to do with paid vs. non-paid.

Let's Encrypt could have just as easily generated certificates good for a year or more. But the point of Let's Encrypt is to force you to do this in an automated way, using scripts like you suggest.

You're not getting around anything. The choice was by design.

https://letsencrypt.org/2015/11/09/why-90-days.html
This has not changed. It has always been considered sideloading to install an APK in the UI, as this is entirely identical to using adb.

Sideloading only means that you are providing the thing yourself, as opposed to using official channels.
Just anecdotal. What's the harm in trying it a couple of nights? I was just as skeptical until I tried it. I could link to several fringe studies but what's the point? Nobody serious is going to fund this kind of research. And it's passed the tipping point, how could you find a control group that has not had previous exposure? But of course it does penetrate, it goes through walls.
How long before there's some kind of drop-in "drone pilot" array to retrofit existing aircraft (e.g. the Super Hornet) such that they operate unmanned? Not only would the handling not be restricted by human anatomy, but the large time/financial investment in pilot training wouldn't be at risk of being lost should an incident occur.
The planning and project management aspect sounds like it's straight out of a post apocalyptic bureaucratic nightmare.

It was intended to be a strike drone, but wait, let's flip the project halfway through into an intelligence drone. You know what? f*ck it, let's flip it into a refuelling drone.

The project history is a sinuous cautionary tale of scope creep and descoping.
And yet you can’t say anything negative about Muhamed in Europe without fearing punishment from the government.
The Apple Watch cellular requires an active phone subscription to pair with it.
>But it adds tremendously to our social wealth.

All art adds to our social wealth?

Like anything else, some art does, lots probably doesn't. And how do we decide what is bringing us value? Which art should be promoted and which is just a scam, a big pile of poop put in a mason jar?

We circle right back to capitalism. Giving the populace a mechanism to vote for what has value and what doesn't. Money. Attention. Time. Esteem. Fame.
SEEKING WORK

Lead Gen services, finding prospects and their contact info. I get the data from Crunchbase, AngelList and LinkedIn, but I can work with other websites too. Its all automated, and depending on where the data is gathered from it can take from a day to a weeks to scrape all the data, usually outputting 1000 contacts.

Location: New York City

Remote: Yes

Technologies: Biz dev, lead gen, sales research

Email: andrej.kocevski.15 [at] ucl.ac.uk
> You yourself admit that it might not be flexible enough to evolve.

I don't really think so, but I don't really know, I haven't every tried to do anything in that direction.

> It has certainly had a lot of time to try.

Except that people have to do it? As far as I am concerned, IRC is good enough, so I don't feel like putting any effort into "improving" anything, and it seems like a lot of people using IRC feel this way. Those who feel it's not good enough, though, seem to prefer building non-interoperable systems or just using proprietary lock-in vendors. Obviously, that's not gonna result in anything new in IRC.
This is a really interesting article, and reinforces just how wrong the common conception that he was just "throwing paint at canvas" is. Drip technique, the way Pollock did it, is technically very difficult and required substantial time and effort to perfect.
> when a dozen major online platforms and infrastructure services "independently" ban the same person in a 72 hour period

This is a weird complaint. One site bans Alex Jones (after a major news event covered internationally). Media gets wind (likely due to him complaining very loudly about it) and starts asking the other major social networks why they aren't following suit.

No conspiracy required, for the same reasons multiple independent news sites writing about Fitbit today doesn't require collusion.
I agree that particularly strong and extended dream recall is a bad sign (that kind of thing is supposed to be blocked during sleep), but REM sleep is not a precursor to deep sleep. They are independent and usually deep sleep is entered most early in the night and REM later. REM episodes soon after getting to sleep are a sign of narcolepsy. Some medications (including some antidepressants) reduce or nearly eliminate REM sleep. Dreaming has been connected to dopamine that can also be affected by many medications and a variety of other things (like exercise). There are a bunch of sleep realted substances that still have unknown function so I'm sure there are a bunch of things that can go wrong completely outside the realm of current medical science.
The first time I saw these, I thought it hinted at some deep insight into the nature of primes. However, after watching the following video, I think it just says something about modular arithmetic and rational approximations of 2 Pi.

https://www.youtube.com/watch?v=EK32jo7i5LQ

The video is only about Archimedian spirals, but I suspect a similar analysis would apply to Ulam spirals too. We really like to find patterns.
Wow what a bunch of FUD.
I've learned from my recent experience that dog maulings is why states take animal bites so seriously. My cat bit me, requiring medical attention (due to infection, the bite wasn't bad at all), cat may have rabies, may be an outdoor cat (mine isn't), and may bite a dog that would potentially maul someone.

The problem with cat bites is that people don't know how they can cause sepsis and kill you within a few days, despite appearing relatively minor. If their teeth penetrates ligament lining, it can totally destroy it, etc.

My doctor told me they'll clean dog bite and send you on your way, but a cat bite they may hospitalize you for days for monitoring, antibiotics, etc. expecting a wide variety of dangerous ailments.
You got me. How many people are looking for vulnerabilities in WhatsApp full time?
What this is:

• Preventing malware and enterprises from silently installing unremovable extensions through a special mechanism

What this is not:

• Preventing users from installing extensions without using the Internet (they can just load an xpi file like always)

• Preventing power users from installing unsigned extensions (already not possible in standard Firefox except non-persistently for development, but Mozilla provide unbranded builds which let you use extensions)

Why this is being done:

• Preventing adware adding itself to your browser without your consent and making itself difficult to remove

Not why this is being done:

• Mozilla hates users / the open Internet / freedom (their foremost concern is protecting users from malware nonconsensually installing extensions, they have always provided versions of Firefox allowing you to do whatever you want if you want that, and indeed standard Firefox does let you load unsigned extensions temporarily)
Oh it is when the entity with a monopoly also has a monopoly on violence a.k.a government. A Uighur detention center, U.S. concentration camp etc. can only enforce their views with threat of violence. It is on an entirely different level of cardinality. To equate them would be to undermine the misery that those that suffer under such extreme regulations of content/thought.
>"We live in a society."
>Ive attempted to setup openVPN a few times and ended up giving up.

Give wireguard a try. Had the same experience with OpenVPN, yet got wireguard to work pretty much immediately.
But I also then choose to squash/fixup/edit/reorder commits. Mercurial insists I do that in two steps. WHY?
SEEKING WORK | UK or REMOTE

Senior Rust engineer with experience in compilers, distributed systems, networking (including decentralized networks), native libraries & APIs, and performance optimization.

Email: nikita.baksalyar@gmail.com
I've been working on Premium Poker Tools (https://premiumpokertools.com/) for the past two years, which I built with Vue, Node, Express and Mongo.

Location: Las Vegas, NV

Remote: Yes (Remote only)

Willing to relocate: No

Technologies: Vue, React, Node

Résumé/CV: https://www.linkedin.com/in/adam-zerner-55564490/

Email: azerner3@gmail.com