skysight-inc/HackerNews huggingface dataset:
Codelitt Incubator | UX/UI Designer | Remote OK https://www.codelitt.com

We’re looking for a unique mix of a UX/UI designer and product manager to join our team. We need someone who has design skills, but also can lead design process and make product decisions.

We are a corporate product incubator and skunkworks/R&D lab. We develop scalable technology solutions on platforms such as Web + Mobile, Machine Learning, AR/VR, and AI/Robotics. You'll have the opportunity to stretch your design disciplines, learn from peers, and educate peers. You'll work with the latest and greatest of bleeding edge tech, have a diverse team, and we allow a lot of autonomy. We also offer 20% time to work on whatever you're passionate about (open source, pet project, etc).

We allow remote, but the must be authorized to work in the United States. (Please no agencies/recruiters)

Shoot us your CV and portfolio to vincent [at] codelitt.com and cody [at] codelitt.com
Yeah. I'm as fascinated by the theory as the next geek, but the evidence for a causal connection has remained pretty thin for awhile. The case for lithium in ground water reducing incidence of depression and suicide seems stronger. So if one is worried about toxoplasmosis then maybe they should also be buying pallets of Pellegrino, as it's the most widely available bottled water with the highest concentration[1] of lithium. It's part of how I justify the expense to my spouse :)

[1] It's still only a small amount. You can actually buy lithium water on Amazon with orders of magnitude more lithium, but that seems unwise....
It might still, at least arguably, be "the right tool for the job." If you have a huge team of expert C# developers C# might be "the right tool for the job" even if it would be a little easier to do in a different language, given the same pool of experts in that language.
So "blocking paywalls" that appear accessible in Google Search is now "opt out"?

Ewww. This might be the time I hit Duck Duck Go.

To be clear, I have no issue with paywalls. But they should be flagged as such.

"Article title: blah blah blah [Subscription required to view content]" even.

But they won't do that, because publishers, who buy advertising, will scream because they KNOW their click through rates would plummet. After all, even with a paywall, you still get plenty of metrics and advertising bumps on that first click to the site.
Douglas Connect GmbH | Functional programming generalist | Basel, Switzerland | ONSITE w partly remote | Full time or part time

We are a small company based in Basel, Switzerland working on solutions and research in the field of health sciences with a focus on toxicology. It's an exciting time to be in Toxicology as the whole field is moving towards minimizing animal testing by using machine learning to predict toxicity of new compounds.

We are looking for an experienced software engineer who is comfortable with functional programming languages (any of Elm, Elixir, F#, Haskell, OCaml, ...) and has experience both on the backend and in frontend development. Our existing solutions are built mostly with Elm, Python, R and a bit of Scala. You are a resident of Switzerland and while remote work is also possible, you are able to work from our office in Basel at least some of the time.

Find a more extensive job description here: https://douglasconnect.com/join-us . We are looking forward to your application!
Glad I upgraded to Sierra just before High Sierra came out. Always good to be a release behind, and upgrade to the latest if there's a reason to, or 6 months or a year after all these wrinkles are ironed out.

APFS looks very promising, it's hard to let Apple use me as a live beta tester.
Also, retaining dynamic types at runtime enables you to find type errors that the static type system could not discover, or that were worked around. Language implementations that discard dynamic types make it harder to find defects.
Many people who are "America First" don't just care about the economy, they care about preserving American identity and culture. I immigrated to the U.S. when I was five. I tend to think I fit in pretty well, but my attitudes are definitely different than those of my wife, whose family has been here for hundreds of years. (For example, I have a much higher pain threshold for political and social turmoil given what things are like where I'm from.)

You can, of course, disagree about whether that is a valid or justifiable impulse (and I'd be inclined to agree with you on that). But it's not a mysterious or even unusual one. Heck, we have a founding EU member state on the precipice of fracturing along a linguistic boundary. Certainly, if the shoe were on the other foot and a huge fraction of people running major Indian or Chinese businesses were American immigrants, lots of people would be pretty upset.
Yeah but that's more a matter of the criteria to decide on the right tool. Nobody would say "I intend to use the wrong tool for the job."
The grandparent's reaction is a bit unkempt.

I suggest that it is very possible that Facebook, with its access to something like 1 billion MAUs, needs to be regulated, and regulated possibly differently than companies before it. The FEC has some rules for political ads with respect to the Internet, but I am in favor of revisiting those to see what rules need to be established for the greater good of the public

>There are no easy answers to "keeping propaganda off Facebook"

It appears that Russians bought $100,000 worth of ads, so that is some place to start looking that is wholly different than a discussion on politics of users.
When they do simulate one, wouldn't the entities in that simulated environment make that exact same argument, and be wrong? If there are now two universes, that one and the real one, you've got a 50:50 chance. And I think we can rely on super-universes to simulate "interesting ones". Look at Greg Egan's works. Somewhere in the Super Universe, there is a Super Greg Egan saying "Imagine if quantum computers didn't work. What would that look like? Wow, they wouldn't be able to solve this kind of problem: in my novels, the protagonists will have to invent some kind of computation, and then they will run into this kind of problem and call it NP-hard. Poor bastards." And then some kid will read Super Egan's book and simulate, and here you are arguing it can't happen, because "random".
DuckDuckGo has gotten a lot better and is now a pretty decent alternative. You lose some features and the UI is less visually pleasing, but you can always go back to Google when you know you want a specific feature.
This was high sierra beta though.
Spline Script
Ask HN: Advances in technology yield deadlier weapons.  What do we do about it?
As with an attack stemming from a major vulnerability in an open source project, mass shootings give us a spotlight on the vulnerability that persists in our fragile flesh bodies in the face of advances in ballistic (and other firearm) technology.

The attack in Las Vegas was not possible with black-powder weaponry (ie, the best weaponry available at the time of the American revolution). It was probably not even possible with an M1 Garand (the semi-auto rifle that gave US troops an advantage in WW2).

Although I think we're all allergic to the ongoing propaganda which muddies the technical specifics of different firearms - which are significant - it is true that that AR15 platform and 5.56NATO round have brought a new capacity to American civilians.

So, I'm looking for good ideas in response to the following questions:

1) Does it make sense to have the same "gun control" policies the world over? Or is it better to have different laws in different places?

2) Does it make sense to have one set of rules for military and police, and a different set of rules for other citizens?

3) Does the evolution of firearm technology demand more restrictive laws?
I agree—I love pushing shell to its limits as much as anyone, but I had so many shell scripts that grew and grew till the point I got annoyed and rewrote them in perl/ruby and every time I thought it came out better (shorter, more comprehensible). Finding that point where it's better to be a "real" language is a bit of an art form though. For me it's heuristics like needing arrays or hashes or parsing command line arguments.
Onai | | Silicon Valley | FULL TIME, CONTRACTORS, GRADUATE INTERNS, POSTDOCTORAL FELLOWS, ONSITE, VISA

We have hired multiple people through HN and look forward to more.

Interview process: Video calls if you're presently distant or an in-person visit if you're local.

We're tackling exciting technical challenges and building offerings relevant to interesting real-world problems in a variety of fields (including for NASA). We have particular strengths in dispersed computation and deep learning.

We're currently open to engineers with solid experience in distributed systems, C++ and Rust (both), and/or Clojure/Idris/OCaml, as well as to enthusiastic developers who might lack this precise experience but are eager and able to learn. We also welcome interest from postdoctoral researchers or senior graduate students.

We do not presently have openings for undergraduates (B.Sc. students).

Send your resume to info@onai.com and we'll let you know if there's a potential fit.
I'm not really sure how you've interpreted my claim but the context of this discussion was about holding the text as an unbuffered array. This would mean every keystroke is effectively an edit. But even that aside, I'm sure we've all done stuff like:

type "foobar\n" -> select "foobar\n" -> copy
ctrl+v
ctrl+v
ctrl+v
ctrl+v
ctrl+v

...or the equivalent with replacing text within blocks of the same document; or other repetitive textual tasks that could easily be marcoed if it were a job you'd need to repeat again at a future point in time.
You can, but you may start to run into some limitations. Many languages have some version of type inference, which allows them to figure out the type of a thing, even though the programmer didn’t specify it.

C# has a very weak version of this with the auto keyword. Languages like Crystal take it much further by tracing the flow of data through the entire program. It generally works quite well, though there are a few edgecases that require explicit type annotations.

As for auto-completion, some languages feature designs that make it easy to offer auto completion even without type information. For instance, Elixir doesn’t have methods. You only have functions defined on modules, and it’s trivially easy to know what functions are defined on a module.

So it’s possible, but there are some limitations.
Legacy code is a thing. I fear the merging of template and logic that CF encouraged (and I don't think it's currently discouraged enough) results in hard to test and hard to reutilize code.

Since hard to test and, hence, untestable codebases are the hardest to migrate, I'd assume web applications that depend too much on Cold Fusion (or PHP, ASP or Model 1 JSP) will remain in those technologies until the whole thing is rewritten from scratch.
And the neoliberal class are highly mobile, they are rootless people and no one can really ever forget that.
Block select, tab. That's it, since in every editor I use, I use space indents for markdown.
You don't have enough information to conclude anything about the simulator's universe just because they thought of this one. Consider wakamoleguy's argument about Pacman above: Pacman could apply that same logic to conclude our world is like his, but the simulation's rules just don't impose such strong constraints on the simulator.
Show HN: Weekly Python Exercise
Show HN: Pure JavaScript implementation of the Parquet file format
I was able to stylize it fine. Maybe refresh and try again with a smaller size?
Still Spreadsheets?
Codelitt Incubator | Jr. Product/Project Manager | Remote OK https://www.codelitt.com

We’re looking for a unique mix of a Jr. Product/Project Manager to join our team. We're looking for someone who is comfortable working closely with end users, customers, designers, and engineers. Ideally you have good software product knowledge as well as the ability to lead a team from problem discovery to execution.

We are a corporate product incubator and skunkworks/R&D lab. We develop scalable technology solutions on platforms such as Web + Mobile, Machine Learning, AR/VR, and AI/Robotics. You'll have the opportunity to stretch your design disciplines, learn from peers, and educate peers. You'll work with the latest and greatest of bleeding edge tech, have a diverse team, and we allow a lot of autonomy. We also offer 20% time to work on whatever you're passionate about (open source, pet project, etc).

We allow remote, but the must be authorized to work in the United States. (Please no agencies/recruiters)

Shoot us your CV and portfolio to vincent [at] codelitt.com and cody [at] codelitt.com
It's amazing VCs have standing. Very unfortunate that we need executive action to allow entrepreneurs to make America their base of operations - not to get too CATO-y here, but it'd be excellent if the right to earn a living was identified as a Constitutional right.

Beyond the program proposed, I think anyone in America should be allowed to start a company and should be allowed to stay in America contingent upon their company growing - automatic citizenship for anyone who started and owns >50% of a company that has at least a million /yr in payroll for Americans.
You and I both. But in my experience, this has always been the case, since before Instagram and it will continue after Instagram. Some people like dining to be a more holistic experience that is less emphatically focused on the taste of the food and the quality of the ingredients.

Appearance, buzz, hype, and everything else that comes from the non-food elements of dining out has never done much for me and my wife. But we know plenty of people who value those attributes highly. When going out with friends, we'll often be swayed to go to places that have more visual or thematic embellishment than flavor and food quality. And that's fine.

It sounds like Instagram is simply a continuation of that, perhaps an amplification of that. But some of us will continue to prefer restaurants that focus on flavor and quality first. Yes, atmosphere matters, but I never take selfies, and I very rarely photograph my food. The delight of a free market is that I can support vendors that respect the things I value, and do so regularly, all the while others have distinct preferences and the market serves us both. Even this article is a bit of the market in action: a non-trade signal to chefs to remember that some out there may spend their money on a really good stew.
An important thing it has, is an actual source code layout in the readme,
something that is missing from nearly all open sourced projects, making it a hassle to map out the project and start reading them...
Thanks but due to imgur’s recent update these are even lower resolution than the quick finds in my original post (on mobile). I’ll post full-size links when I get to a PC.
DING: A magazine about the internet and things. #1 AUTUMN 2017
Just count the stars and put in the number.
Cool project! Thanks for publishing and sharing it.

It'd be interesting to know what topic terms it produces for each of my repos. It looks like it's taking all the repo descriptions, producing a topic model over that corpus with a single topic (`LdaModel(num_topics=1)`), and retrieving the top N terms for that topic. Those topic terms will be the most frequent words from the topic, so I think this will end up producing the most frequent words from the cleaned token set.

I'd be curious to see what happens if you could run LDA over the full dataset, produce multiple topics, and suggest repos based on those topics. This would be a pretty fun extension to the project!

If you're just running LDA over the repo description (and not looking into the content of any file, e.g. README), might http://ghtorrent.org/ be able to provide this?

Alternatively, maybe you want to include text from the README files -- could you use the Google Data snapshot of GitHub https://cloud.google.com/bigquery/public-data/github and do analysis like this:
https://blog.exploratory.io/clustering-r-packages-based-on-g...

Or, it might be interesting to try producing a vector representation per repo by taking the description (and readme?), and doing something like: produce word vectors for each word, and sum the word vectors. https://spacy.io/ is a nice-to-use library that could help here.

Once you have a vector representation for each repo, using a distance metric cosine similarity could find related repos. Or (depending on the dataset size / performance) an approximation like spill trees or LSH forest.

Looking forward to seeing where this goes next!
This is so untrue. There are many many American founders who are dying for mentorship and support and anything from VC, and many many more people who want to develop their careers in innovative ways who have degrees in STEM. Domestic innovation even if it's copy cat is socially better than importing non natives.
Tucuruí was built over 30 years ago, how's that working out for them?
The same happened to me.

Emailed back and forth with them, completed a phone screen, spent hours on their written assignment that they acknowledged they received then zero feedback.
Even if a large quantity of the workers are foreign, they do spend truckloads of their fat paychecks in the US. Or what you are saying is that trickle-down economy doesn't apply to foreigners, then?
There was a time when Google made a public priority of the importance of the site showing the visitor the same thing it showed the search engine. I believe they called it cloaking or masking? Someone into SEO will probably know the details better than I.

If I click a link on Google, I should see the same results that Google 'saw.' I think a fancier word for this would be 'trust.'

So far, I like Google's results and make use of their personalized results. One of the reasons I do so is because I trust the results, for certain definitions of trust that is.

If I can't trust that the site showed me the same response that it showed Google, we have an erosion of that trust. It may be time for me to seek an alternative.
Toxoplasmosis is naturally contracted from cat exposure and care.

Anecdotally I see mentally ill people as being drawn to cat ownership for their personal comfort and fascination. https://en.wikipedia.org/wiki/Louis_Wain

It is a difficult leap to go from saying "people with certain mental illnesses own cats, and thus are likely to have TP" to "TP causes mental illness".

If we are to believe cat owners are more likely to have mental illness, a correlation of mental illness and TP serum positivity follows naturally.
Sorry if I'm out of the loop, but what does Buzzfeed have to do with this? Did they also run false information today? I don't see that mentioned in this article? All I've seen from them is an article covering the various hoaxes/fake stories that are popping up and being spread widely. Thanks in advance.
I'm a high-income, highly educated immigrant. I grew up among similar people, and witnessed the extreme derision directed at "low-educated rural people." Given that, it's a bit difficult for me to blame Trump's base for not wanting more of us here.
> We prefer stable and known technologies over the new shiny tool on the block

> includes Ruby, NodeJS, Postgres, MongoDB, Rails, Grape, Express, Redis, React, D3, StatsD, Docker, Terraform, Ansible, AWS, and more

=(
VCs are free to invest in foreign based companies, so that would be the best arbitrage. Its in the interests of the US to maintain the strong network that already exists.

I am not sure how essential is this visa category, since there are other categories most founders would qualify under.
> The asymptote cannot reach 100% of program behavior in any finitary way. That would solve the halting problem.

There are languages that enforce termination. They only accept programs that can be shown to terminate through syntactic reasoning (e.g., when processing lists, you only recurse on the tail), or where you can prove termination by other means.

Coq is like this, as is Isabelle, as is F* , as are others. They also provide different kinds of escape hatches if you really want non-terminating things, like processing infinite streams.

This "we can never be sure of anything, because the halting problem" meme is getting boring. Yes, you cannot write the Collatz function in Coq. No, that is not a limitation in the real world.
I'm imagining a glider in Conway's game of life trying to find a bug to exploit. What would that even mean?
Just as we can create simulations using software, it's possible some other entity has created a simulation that contains us.

A running process thinks the real world is constrained by CPU and memory and hard disks, but that doesn't mean it's true. Similarly, the universe is the "real world" from our perspective, but it's (currently) physically impossible for us to know otherwise if that is the case.
It's absolutely ridiculous military vessels, that should have excellent awareness of their surroundings, would collide with a very large piece of metal that was not designed to be stealth in any way.
It seems as if this is yet another problem created by President Obama for choosing to legislate through the Executive Branch instead of working with Congress to pass laws.

This is somewhat analogous to President Obama allowing DACA illegal aliens to remain in the country. The appropriate course of action would be for the President to ask Congress to pass a law, which is the approach that President Trump took.

The VCs, unwisely, invested on President Obama's legislating through the Executive Branch. Now, because of their unwise investment they are complaining.

Instead of suing President Trump, the VCs should work with members of Congress to pass a law which would be the correct course of action.

Many seem to blame President Trump for events caused by President Obama attempting to legislate through the Executive Branch instead of enforcing the law which is the job of the Executive Branch.
> have a custom name

I assume this means that they would like to train their own activation word. I could see someone re-using an activation word from another ecosystem, for example, for a consistent interface for less-savvy users; plenty of others might go for a more-familiar name, or a joke name like Hal.

My understanding as to why this isn't possible currently is that these companies pre-train the model and ship it on a ROM, rather than training it on-device, for privacy reasons (since this is the model that is "always listening"). However, I doubt most consumers are aware of this differentiation, and might appreciate the flexibility to set their own activation word.
How so? What do you use your Google Home with that you cannot with an Amazon Echo? Curious as I have both and found little differences outside of answers to questions.
Microsoft | 3 devs for VS Code for Python+R support | Redmond mostly | Full-time

Our team builds tooling for Python and R developers:

https://www.visualstudio.com/vs/python/, https://www.visualstudio.com/vs/rtvs/, https://notebooks.azure.com/

In addition to support in Visual Studio, We are in the process building support for Visual Studio Code, which its lighter weight, cross-platform Editor++ cousin:

https://code.visualstudio.com/

If you are passionate about devtools, developer productivity, IDEs, languages, data science, ... this might be an exciting position for you!

Ideal candidate profile:

* 4+ years of JS/TS experience

* Experience building extensions for VS Code is a major plus

* Experience with IDE's (Editor/Debugger/...) is a major plus

* Experience with Python + R is a plus

All of our work has been done in open source from day one, as will these. We have no OS or HW religion - pick win, macos, linux, lenovo, macbook, ... :)

The positions are for Redmond, Wa, however I'll consider exceptional candidates for remote work.

If interested, or have questions, please send your resume to PythonJobs@Microsoft.com.

Thank you!